[논문 리뷰] Semi-modules and irreducible components of affine Deligne-Lusztig varieties

Sian Nie|arXiv (Cornell University)|2018. 02. 13.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 일반 선형군의 Weil 제한에 대해 반순서 모듈을 사용하여 아핀 덜레인-루스티그 다양체의 계층화를 수립하며, 첸과 주의 추측을 증명한다. 이 추측은 π₁-궤도의 수가 쌍대 표현에서의 무게 공간의 차원과 일치한다는 것이다. 계층화는 히오지 유형 μ를 가진 반순서 모듈에 의해 매개화되며, 기약 성분들이 Jγ-작용에 대해 서로 쌍대일 뿐 아니라, Vμ^Ĝ(λG(γ))의 차원과 일치하는 수를 보인다. 이는 p-진 군과 시무라 다양체의 맥락에서 기하학적 구조와 표현 이론 사이의 깊은 연결 고리를 확인한다.

ABSTRACT

Let $G$ be the Weil restriction of a general linear group. By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we obtain a stratification of the affine Deligne-Lusztig varieties for $G$ (in the affine Grassmannian) attached to a minuscule coweight and a basic element. As an application, we verify a conjecture by Chen and Zhu on irreducible components of affine Deligne-Lusztig varieties for $G$.

연구 동기 및 목표

• G = Res_{F_{q^d}/F_q}GL_n에 대해 아핀 덜레인-루스티그 다양체 X_μ^G(γ)의 기하학적 구조, 특히 그 기약 성분을 이해하는 것.
• 데종, 오르트, 비에만, 하마처의 반순서 모듈 방법을 기본 γ와 최소성 μ의 경우로 확장하여 X_μ^G(γ)의 계층화를 제공하는 것.
• 첸과 주가 제기한 추측을 검증하는 것: Jγ-궤도의 수가 쌍대 표현 V_μ^Ĝ(λG(γ))의 무게 공간의 차원과 일치한다는 것.
• 미르코비치-비론슨 사이클을 통해 Jγ-궤도의 기약 성분과 V_μ^Ĝ(λG(γ))의 기저 사이의 전단사 사상 수립

제안 방법

• 논문은 G = Res_{F_{q^d}/F_q}GL_n에 대해 μ가 최소성이고 γ가 기본일 때, 확장된 반순서 모듈 프레임워크(또는 '확장된 EL-차트')를 사용하여 X_μ^G(γ)를 계층화한다.
• X_μ^G(γ) = ⊔_A L(A)로 분해하며, A는 히오지 유형 μ를 가진 반순서 모듈을 뜻하고, 각 L(A)는 국소적으로 닫힌, 유한하고, 아핀 공간 위에서 평탄한 부분집합이다.
• Jγ가 X_μ^G(γ)에 작용하는 방식은 L(A) → L(^γA)로 가는 사영 사상 β_γ를 통해 분석되며, 이는 리만 군의 다양체로의 사영이다.
• 반순서 모듈의 강성과 이와하라 분해의 구조를 이용하여, L(A)의 기약 성분들이 Jγ-동치일 경우 그 기반 반순서 모듈도 동치가 됨을 보인다.
• 하마처와 비에만의 초기본 사례에 대한 결과를 활용하고, 파라보릭 유도와 σ-고정 Weyl 군 원소에 의한 쌍대변환을 통해 이를 확장한다.
• 마지재로 Jγ-궤도의 수를 표현 이론적 이중성과 결합하여, λG(γ)가 σ-고정 쌍대변환에 대해 보존된다는 사실을 이용해, dim V_μ^Ĝ(λG(γ))와 일치시킨다.

실험 결과

연구 질문

• RQ1 γ가 기본이고 μ가 최소성일 때, 반순서 모듈 계층화가 Weil-제한 GL_n로까지 확장되는가?
• RQ2 첸과 주의 추측, 즉 Jγ-궤도의 수가 V_μ^Ĝ(λG(γ))의 차원과 일치한다는 것의 이 설정에서 검증 가능한가?
• RQ3 L(A)의 기약 성분들이 Jγ ∩ N(L) 작용에 대해 서로 쌍대일까? 이는 L(^γA)의 구조와 어떻게 관련되는가?
• RQ4 Jγ-작용이 기약 성분에 대해 Mirković-Vilonen 사이클을 통해 V_μ^Ĝ(λG(γ))의 무게 공간과 어떻게 연결되는가?
• RQ5 L(A)의 차원과 관련 리만 군의 다양체 X_{λ_A}^M(γ)의 차원 사이의 정확한 관계는 무엇인가?

주요 결과

• 아핀 덜레인-루스티그 다양체 X_μ^G(γ)는 A가 히오지 유형 μ를 가진 반순서 모듈을 뜻하는 ⊔_A L(A)로 계층화되며, 각 L(A)는 아핀 공간 위에서 국소적으로 닫히고, 평탄하고, 유한한 부분집합이다.
• L(A)의 기약 성분들은 Jγ-작용에 대해 모두 쌍대이며, surjective 사영 β_γ: L(A) → L(^γA)와 L(^γA)의 기약성에 의해 보여진다.
• 두 반순서 모듈 A와 A'이 Jγ · IrrL(A) = Jγ · IrrL(A')를 만족하면, A ∼ A'이 되며, 이는 Jγ-작용 하에서 동치임을 의미한다.
• 자연적인 전단사 사상 Jγ \ IrrX_μ^G(γ) ≅~ ˜R_μ^{top}(G)가 존재하며, 이는 Jγ-궤도의 기약 성분과 최상위 반순서 모듈을 연결한다.
• Jγ-궤도의 수는 정확히 dim V_μ^Ĝ(λG(γ))와 일치하며, 이는 첸-주 추측을 검증한 것이다.
• 최종 수는 σ-고정 Weyl 군 원소에 의한 쌍대변환에 대해 보존되며, 이에 따라 dim V_μ^Ĝ(λG(γ)) = dim V_μ^Ĥ(λH(γ))가 성립한다. 여기서 H는 관련 파라보릭 부분군이다.