[논문 리뷰] The algebraisation of higher Deligne--Lusztig representations

Zhe Chen, Alexander Stasinski|arXiv (Cornell University)|2016. 04. 06.

Advanced Algebra and Geometry참고 문헌 4인용 수 4

한 줄 요약

이 논문은 유한환 $ \mathcal{O}_r $ 위에서 재수성 군의 고차 Deligne–Lusztig 표현이 짝수 수준 $ r = 2l $일 때, 특정 대수적 부분군으로부터 유도된 표현과 일치함을 증명하며, Lusztig가 제기한 오랜 문제를 해결한다. 핵심 결과는 등형 $ R_T^\theta \cong \mathrm{Ind}_{(TG^l)^F}^{G^F} \widetilde{\theta} $이며, 이는 이러한 표현의 차원이 $ |G_l^F| / |T_l^F| $ 임을 결정하고, Letellier의 추측을 $ \mathrm{GL}_2 $ 및 $ \mathrm{GL}_3 $에 대해 검증한다.

ABSTRACT

In this paper we study higher Deligne--Lusztig representations of reductive groups over finite quotients of discrete valuation rings. At even levels, we show that these geometrically constructed representations coincide with certain induced representations in the generic case; this gives a solution to a problem raised by Lusztig. In particular, we determine the dimensions of these representations. As an immediate application we verify a conjecture of Letellier for $\mathrm{GL}_2$ and $\mathrm{GL}_3$.

연구 동기 및 목표

• Lusztig가 제기한 문제에 대응: 기하학적으로 구성된 고차 Deligne–Lusztig 표현과 유한환 $ \mathcal{O}_r $ 위에서 대수적으로 구성된 유도 표현 간의 동치성 문제를 다룸.
• 짝수 $ r = 2l $일 때, 고차 Deligne–Lusztig 표현 $ R_T^\theta $가 유도 표현 $ \mathrm{Ind}_{(TG^l)^F}^{G^F} \widetilde{\theta} $와 등형임을 증명함. 여기서 $ \widetilde{\theta} $는 $ \theta $의 자명한 확장임.
• 이 표현들의 차원 공식을 제공: $ \dim R_T^\theta = |G_l^F| / |T_l^F| $, 이는 일반성 조건과 짝수 수준 조건 하에서 유효함.
• Letellier의 추측을 검증: 유한 리 대수 $ \mathfrak{g}^F $의 모든 기약 불변 문자가 고차 Deligne–Lusztig 문자에 나타남을 확인함. 특히 $ \mathrm{GL}_2 $ 및 $ \mathrm{GL}_3 $에 대해 검증함.
• 기존 $ \mathrm{GL}_n $의 기법을 일반화하여 코호몰로지 표현에서 내적 항등식을 수립함. Lang 전상수와 Frobenius 수반성질을 활용함.

제안 방법

• 특정 대수적 군의 Lang 전상수의 코호몰로지를 이용해 유도 표현 $ \mathrm{Ind}_{(TG^l)^F}^{G^F} \widetilde{\theta} $를 실현함. 이는 [Che]의 구성 방식을 고차 수준으로 일반화한 것임.
• Greenberg 함수자 $ \mathcal{F} $를 사용하여 $ \mathcal{O}_r^{\mathrm{ur}} $ 위의 스킴을 $ \overline{\mathbb{F}}_q $ 위의 대수적 군으로 연결함으로써 기하 데이터를 대수적 군의 구조로 이전함.
• Frobenius 수반성질과 Mackey 상호작용 공식을 적용하여 표현 간 내적을 계산함. 이로써 $ R_T^\theta $와 유도 표현 간 내적은 1임을 보임.
• 역할이 $ r = 2l $일 때 $ G^l $이 아벨 군임을 이용하여, $ T^F $ 위에서의 문자 $ \theta $를 $ (TG^l)^F $로 자명하게 확장할 수 있음. 이는 대수적 구성에 필수적임.
• 지역체의 최대 무분할 확장에서 작업함. $ \mathcal{O}_r^{\mathrm{ur}} $와 그 잔여체 $ k = \overline{\mathbb{F}}_q $를 사용하여 군 스킴 $ \mathbb{G} $의 기저 변경을 정의함.
• 고차 Deligne–Lusztig 문자를 $ (G^1)^F \cong \mathfrak{g}^F $의 핵에 제한하여, 유한 리 대수의 불변성을 연구함. 이는 Letellier의 추측과 연결됨.

실험 결과

연구 질문

• RQ1 짝수 수준 $ r = 2l $일 때, 기하학적으로 구성된 고차 Deligne–Lusztig 표현 $ R_T^\theta $가 대수적으로 구성된 유도 표현 $ \mathrm{Ind}_{(TG^l)^F}^{G^F} \widetilde{\theta} $와 일치하는가?
• RQ2 일반성 조건과 짝수 수준 조건 하에서 $ R_T^\theta $의 차원을 명시적으로 계산할 수 있으며, $ |G_l^F| / |T_l^F| $ 와 동일한가?
• RQ3 Letellier의 추측에 따르면, 유한 리 대수 $ \mathfrak{g}^F $의 모든 기약 불변 문자가 어떤 고차 Deligne–Lusztig 문자에 나타나는가?
• RQ4 Mackey 공식에 따라 기하학적 및 대수적 구성 간의 등형이 안정적인가? 만약 $ \theta $가 일반적이지 않다면 실패하는가?
• RQ5 Frobenius 수반성질과 Lang 전상수 기법을 사용하여, $ R_T^\theta $와 유도 표현 간의 코호몰로지 내적을 1로 보일 수 있는가?

주요 결과

• 짝수 수준 $ r = 2l $일 때, 고차 Deligne–Lusztig 표현 $ R_T^\theta $는 $ \theta $를 $ (TG^l)^F $로 자명하게 확장한 $ \widetilde{\theta} $에 대한 유도 표현 $ \mathrm{Ind}_{(TG^l)^F}^{G^F} \widetilde{\theta} $와 등형임을 보이며, Lusztig가 제기한 문제를 해결함.
• 표현 $ R_T^\theta $의 차원은 정확히 $ |G_l^F| / |T_l^F| $이며, 일반적인 경우에 이러한 표현의 크기를 정확히 기술하는 공식을 제공함.
• 만약 $ \theta $가 일반적이지 않다면 등형이 실패함을 보여주는 반례가 Lusztig의 작업에서 제시되었으며, 이는 일반성 조건이 필수적임을 시사함.
• Letellier의 추측, 즉 $ \mathfrak{g}^F $의 모든 기약 불변 문자가 고차 Deligne–Lusztig 문자에 나타남을 $ \mathrm{GL}_2 $ 및 $ \mathrm{GL}_3 $에 대해 검증함. 이는 이전 결과에서 요구하던 $ |\mathbb{F}_q| > 3 $ 조건을 초월함.
• Mackey 상호작용 공식과 Frobenius 수반성질을 활용하여, $ (G^1)^F $의 모든 기약 문자가 어떤 $ R_{\mathfrak{t},\mathfrak{u}}^{\theta^1} $에 나타남을 보였으며, 이는 특정 군들에 대해 추측을 확인함.
• Lang 전상수를 통한 유도 표현의 명시적 코호몰로지 실현이 확립되어, 대수적 구성과 기하적 구성 사이의 기하학적 다리를 제공함.