[논문 리뷰] Closure of Steinberg fibers and affine Deligne-Lusztig varieties

Xuhua He|arXiv (Cornell University)|2010. 03. 01.

Advanced Algebra and Geometry참고 문헌 20인용 수 5

한 줄 요약

이 논문은 아핀 델 브리그-루스티그 다양체 $X_w(1)$ 의 공집합 여부와 와이드 컴acts이션 $\bar{G}$ 에서 $B \times B$-오빗과 스티븐버그 피브어의 클로처의 교차를 연결한다. 스프링거의 전문화 사상에 기반하여, $w$ 의 이동 부분이 준정규일 경우, $X_w(1)$ 이 공집합이거나 비공집합이 되는 것은 각각 해당 $\bar{G}$ 내 교차가 공집합이거나 비공집합일 때와 정확히 일치함을 증명한다. 이는 이전에 [9]에서 확립된 스티븐버그 피브어의 클로처의 기술에 대한 새로운 증명을 제공하며, 최저 두 측면 셀을 초월한 결과의 확장도 이룩한다.

ABSTRACT

We discuss some connections between the closure $\bar F$ of a Steinberg fiber in the wonderful compactification of an adjoint group and the affine Deligne-Lusztig varieties $X_w(1)$ in the affine flag variety. Among other things, we describe the emptiness/nonemptiness pattern of $X_w(1)$ if the translation part of $w$ is quasi-regular. As a by-product, we give a new proof of the explicit description of $\bar F$, first obtained in \cite{H1}.

연구 동기 및 목표

• 아핀 플래그 다양체에서 아핀 델 브리그-루스티그 다양체 $X_w(1)$ 의 공집합 여부 패턴을 이해하기 위해.
• 이 패턴을 와이드 컴acts이션 $\bar{G}$ 에서 스티븐버그 피브어의 클로처 기하학과 연결하기 위해.
• 이전에 [9]에서 확립된 스티븐버그 피브어의 클로처에 대한 명시적 기술에 대한 새로운 증명을 제공하기 위해.
• 확장된 아핀 웨일 군의 최저 두 측면 셀을 초월하여 공집합 여부 기준을 확장하기 위해.
• $G(L)$ 내의 $K$-안정 조각과 $\bar{G}$ 내의 $G$-안정 조각 사이의 대응관계를 설정하고, $I' \times I'$-오빗과 $B \times B$-오빗 사이의 대응관계를 설정하기 위해.

제안 방법

• 루프 군 $G(L)$ 에서 와이드 컴acts이션 $\bar{G}$ 로의 스프링거의 전문화 사상은 오빗 분해 간의 대응관계를 유도한다.
• $G(L)$ 의 $I' \times I'$-오빗 분해를 분석하고, 전문화 사상에 의해 $\bar{G}$ 의 $B \times B$-오빗 분해와 연결한다.
• $G(L)$ 의 $K$-안정 조각 분해를 연구하고, $\bar{G}$ 의 $G$-안정 조각 분해(포함 관계 포함)와 연결한다.
• 확장된 아핀 웨일 군 $\tilde{W}$ 내 준정규 이동 부분의 개념을 활용하여 $X_w(1)$ 의 공집합 여부를 분류한다.
• 군론적 조합론과 루트 시스템 자료(예: $\rho^\vee_J$, $I(\lambda)$, $W^J$)를 사용하여 웨일 군 원소의 지지 조건을 분석한다.
• 주요 정리를 귀납법과 오빗 포함 관계 논증을 통해 증명하기 위해 [9], [10], [11], [12], [7] 의 결과를 활용한다.

실험 결과

연구 질문

• RQ1 이동 부분이 준정규인 $w$ 에 대해 아핀 델 브리그-루스티그 다양체 $X_w(1)$ 는 언제 비공집합인가?
• RQ2 와이드 컴acts이션 $\bar{G}$ 에서 스티븐버그 피브어의 클로처는 $X_w(1)$ 의 기하학과 어떻게 관련되는가?
• RQ3 $X_w(1)$ 의 공집합 여부 패턴은 $\bar{G}$ 의 $B \times B$-오빗과의 교차를 통해 결정될 수 있는가?
• RQ4 확장된 아핀 웨일 군의 최저 두 측면 셀 외부에 위치한 $w$ 에 대해 $X_w(1)$ 이 비공집합일 정확한 조건은 무엇인가?
• RQ5 루프 군에서 와이드 컴acts이션으로의 전문화 사상은 오빗 및 안정성 자료를 어떻게 군과 컴acts이션 간에 이전할 수 있는가?

주요 결과

• 이동 부분이 준정규인 $w$ 에 대해, $X_w(1)$ 이 공집합이 되는 것은 $\bar{G}$ 의 해당 $B \times B$-오빗과 스티븐버그 피브어의 클로처의 교차가 공집합일 때와 정확히 일치한다.
• 이동 부분이 준정규인 $w$ 에 대해, $X_w(1)$ 이 비공집합임은 $\bar{F}$ 와 $w$ 가 인덱스로 지정한 $B \times B$-오빗의 교차가 비공집합임과 동치이다.
• 이전에 [9]에서 확보된 스티븐버그 피브어의 클로처 $\bar{F}$ 의 기술에 대한 새로운 증명이 전문화 사상과 오빗 대응을 통해 제시된다.
• 논문은 $w = x\epsilon^{-\lambda}y^{-1}$ 이고 $\lambda \in Y^+$, $I(\lambda) = J \subsetneq S$ 일 때, $\text{supp}(y^{-1}x) \neq S$ 이면 $X_w(1) = \emptyset$ 임을 증명하며, [7, Proposition 9.4.4] 를 확장한다.
• 특히 $y=1$ 이고 $\text{supp}(x)=S$ 이거나, 모든 $u \in W_J$ 에 대해 $\text{supp}(uy^{-1}xu^{-1}) = S$ 이면, 적절한 지배성 및 크기 조건 하에서 $X_w(1) \neq \emptyset$ 임을 제시한 Corollary 5.3(2) 에 따라 성립한다.
• 공집합 여부를 보장하기 위해 $\text{supp}(y^{-1}x) = S$ 는 부족하며, 모든 $u \in W_J$ 에 대해 $\text{supp}(uy^{-1}xu^{-1}) = S$ 가 성립하는 것이 필수적임을 보여주는 예시가 제시된다.