[논문 리뷰] Affine Deligne-Lusztig varieties and the action of J

Miaofen Chen, Eva Viehmann|arXiv (Cornell University)|2015. 07. 10.

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

한 줄 요약

이 논문은 군 $J_b(F)$의 작용을 통해 아핀 덜레인-루스티그 다양체의 새로운 군론적 계층화를 제안한다. 이는 상대 위치 함수 $f_g: J_b(F) \to X_*(T)_{\text{dom}}$ 를 통해 정의되며, 주요 기여는 브라하트-티츠, 반모듈, $a$-관측 계층화와 같은 기존 계층화를 이 일반적 프레임워크의 특수한 경우로 통합하는 것이다. 특히 $f_g$가 특정한 $J_b(F)$-오빗에 있을 때에만 $a$-관측이 1이 된다.

ABSTRACT

We propose a new stratification of the reduced subschemes of Rapoport-Zink spaces and of affine Deligne-Lusztig varieties that highlights the relation between the geometry of these spaces and the action of the associated automorphism group. We show that this provides a joint group-theoretic interpretation of well-known stratifications which only exist for special cases such as the Bruhat-Tits stratification of Vollaard and Wedhorn, the semi-module stratification of de Jong and Oort, and the locus where the a-invariant is equal to 1.

연구 동기 및 목표

• 아핀 덜레인-루스티그 다양체의 서로 다른 계층화—브라하트-티츠, 반모듈, $a$-관측 계층화—를 하나의 군론적 프레임워크로 통합하는 것.
• 상대 위치 기반으로 새로운 불변량을 정의함으로써 $J_b(F)$의 기하학적 역할을 명확히 하는 것.
• 기존에 일반적인 서술 없이 관찰된 아핀 덜레인-루스티그 다양체의 기하학과 $J_b(F)$의 브라하트-티츠 건물 간의 관계를 개념적으로 설명하는 것.
• $a$-관측이 1일 때 정확히 $f_g$가 특정한 함수 $F$의 $J_b(F)$-오빗에 있을 조건을 보여주어 이 불변량의 군론적 특성화를 제공하는 것.

제안 방법

• 각 $g \in G(L)/K$에 대해 카르탕 분해를 통해 함수 $f_g: J_b(F) \to X_*(T)_{\text{dom}}$ 를 정의하며, 각 $j \in J_b(F)$에 대해 상대 위치 $\text{inv}(j,g)$ 를 할당한다.
• 카르탕 분해 $G(L) = \coprod_{\xi \in X_*(T)_{\text{dom}}} K\xi(\epsilon)K$ 를 사용하여 $f_g(j)$ 의 값을 $j^{-1}g \in K\epsilon^{f_g(j)}K$ 에 대응하는 코캐릭터로 계산한다.
• $X_\mu(b)$ 를 $f_g$ 의 이미지로 색인화된 국소적으로 닫힌 부분 스킴의 계층화로 구성하며, 이 계층화가 기존의 경우를 일반화함을 보인다.
• $a$-관측이 1인 것과 $f_g$ 가 고정된 함수 $F$ 의 $J_b(F)$-오빗에 있을 조건이 동치임을 보이며, 디우도네 모듈의 다중-반모듈 구조를 활용한다.
• $J_b(F)$ 의 작용을 통해 $M \subset M_0$ 인 격자를 정규화하고, $v_\epsilon(\det j) > 0$ 인 모든 $jM_0$ 에 포함되지 않는 경우로 단순화하여 $a$-관측 분석을 용이하게 한다.
• 등이소크리스털의 구조와 $\tau_0 = \sigma$, $\tau_1 = (b\sigma)^a \epsilon^{a'}$ 의 작용을 활용하여 $J_b(F)$-안정 격자를 이들 연산자에 대한 불변성으로 특성화한다.

실험 결과

연구 질문

• RQ1 아핀 덜레인-루스티그 다양체의 기하학은 어떻게 군 $J_b(F)$ 의 작용과 체계적으로 연결될 수 있는가?
• RQ2 브라하트-티츠 계층화, 반모듈 계층화, $a$-관측 계층화는 하나의 통합된 군론적 계층화의 특수한 경우로 이해될 수 있는가?
• RQ3 $f_g$ 에 대한 정확한 군론적 조건은 무엇인가? 이 조건은 라티스 $M = gM_0$ 의 $a$-관측이 1일 때를 특성화한다.
• RQ4 새로운 계층화에서 한 스트라툼의 클로처는 항상 스트라툼의 합집합인가? 그렇지 않다면 클로처 관계의 성격은 어떠한가?

주요 결과

• 함수 $f_g: J_b(F) \to X_*(T)_{\text{dom}}$ 를 통한 $X_\mu(b)$ 의 새로운 계층화는 국소적으로 닫혀 있으며, 기존의 브라하트-티츠 계층화와 반모듈 계층화를 일반화한다.
• $a$-관측이 1인 것과 $f_g$ 가 정규 함수 $F$ 의 $J_b(F)$-오빗에 있을 조건이 동치임을 보이며, 이는 이 불변량의 군론적 특성화를 제공한다.
• $v_\epsilon(\det j) > 0$ 인 모든 $jM_0$ 에 포함되지 않는 격자 $M \subset M_0$ 에 대해, 다중-반모듈이 $A_{\text{gen}}$ 과 같을 조건은 $a(M) = 1$ 과 동치이며, 이 조건은 $f_g$ 가 주어진 $J_b(F)$-오빗에 있을 때에 해당한다.
• 계층화가 항상 클로처에 대해 닫혀 있지는 않으며, 2.1절의 반례로 이를 보였다. 이는 클로처 관계가 비트리비얼하며 단순히 스트라툼의 합집합이 아니라는 것을 의미한다.
• $J_b(F)$ 의 작용을 통해 $g$ 를 정규화할 수 있으며, 이 경우 $M = gM_0 \subset M_0$ 이고 $M$ 이 $v_\epsilon(\det j) > 0$ 인 모든 $jM_0$ 에 포함되지 않게 할 수 있다. 이는 $a$-관측 분석을 단순화한다.
• 등이소크리스털 $(L^h, b\sigma)$ 에서의 격자 $M$ 이 $J_b(F)$-안정적(즉, 어떤 $j \in J_b(F)$ 에 대해 $M = jM_0$)임은, $\tau_0$ 와 $\tau_1$ 에 대해 불변임과 동치이며, 이들은 $b\sigma$ 와 $\epsilon$ 의 작용을 생성한다.