[논문 리뷰] $G$-stable pieces and partial flag varieties

Xuhua He|ArXiv.org|2007. 08. 31.

Advanced Algebra and Geometry참고 문헌 8인용 수 9

한 줄 요약

이 논문은 와일 군의 조합론과 프로베누스 작용을 이용하여 부분 플랑크 다양체에서 루슈티그의 $G$-안정 조각에 대한 폐쇄 관계를 수립한다. $G$-안정 조각으로의 분할이 부분 순서 $\leq_{J,\delta}$에 의해 정의된 $W^J$ 위에서의 부분 순서에 의해 지배되는 분할을 이룬다는 것을 증명하며, 프로베누스 자기동형사상에 대한 와일 군 원소의 지지집합을 통해 이러한 조각의 기약성 조건을 규명한다.

ABSTRACT

We will use the combinatorics of the $G$-stable pieces to describe the closure relation of the partition of partial flag varieties in \cite[section 4]{L3}.

연구 동기 및 목표

• Lusztig(1977)에서 정의된 부분 플랑크 다양체의 $G$-안정 조각으로의 분할에 대한 폐쇄 관계를 기술하는 것.
• 이 분할이 부분 플랑크 다양체의 분할을 이룬다는 것을 확립하는 것.
• 프로베누스 자기동형사상에 대한 와일 군 원소의 지지집합을 이용하여 분할에 속하는 국소적으로 닫힌 부분다양체의 기약성 조건을 규명하는 것.
• F-안정 포물선 부분군과 그 궤도를 포함하는 새로운 설정으로 브라우트 분해를 확장하는 것.

제안 방법

• 순서집합 $\mathcal{T}(J,\delta)$를 통한 $G$-안정 조각의 조합론을 이용하며, 이는 반복적인 교차와 와일 군 대표원을 통한 $W^J$의 원소를 매개하는 전단사 사상에 기반한다.
• 와일 군 위에서 $x \cdot y = \delta(x) y x^{-1}$로 정의된 $W_J$-작용을 이용하여 동치류와 최소 길이 대표원을 정의한다.
• 프로베누스 자기동형사상 $\delta$에 대해 원소들을 연결하는 강한 $ (J,\delta) $-공轭과 순환 이동의 개념을 활용한다.
• 부분 순서 $\leq_{J,\delta}$를 이용하여 플랑크 다양체에서의 $G$-안정 조각의 폐쇄 관계를 묘사한다.
• 등사관계 $\mathcal{P}_{J,w}$와 $\mathcal{P}_{K,w}$ 사이의 등사성($K = I(J,\delta;w)$)을 이용하여 기약성 문제를 $w$-궤도의 구조로 환원한다.
• 델리뉴-루슈티그 이론과 루슈티그의 원래 분할 결과를 응용하여, $G$-안정 조각이 포물선 부분군 내의 $F$-공轭류를 포함하는 몫으로 표현됨을 해석한다.

실험 결과

연구 질문

• RQ1 부분 플랑크 다양체에서 $G$-안정 조각의 폐쇄 관계는 어떻게 결정되는가?
• RQ2 어떤 조건이 $G$-안정 조각 $\mathcal{P}_{J,w}$의 기약성을 보장하는가?
• RQ3 프로베누스 자기동형사상 $\delta$는 와일 군에 어떻게 작용하여 분할을 정의하는가?
• RQ4 $F$-안정 포물선 부분군을 통해 궤도 분해를 이용하여 브라우트 분해를 확장할 수 있는가?
• RQ5 기약성 결정에 있어 $\operatorname{supp}_\delta(w)$의 역할은 무엇인가?

주요 결과

• 모든 $\mathcal{P}_{J,w'}$에 대해 $w'^{-1} \leq_{J,\delta} w^{-1}$를 만족하는 조합의 폐쇄는 $\mathcal{P}_{J,w}$의 폐쇄이며, 이는 부분 순서 $\leq_{J,\delta}$에 의해 분할이 형성됨을 보여준다.
• $G$-안정 조각 $\mathcal{P}_{J,w}$는 부분 플랑크 다양체 $\mathcal{P}_J$의 유한하고 국소적으로 닫힌 분할을 이루며, 이는 분할을 이룬다.
• 준단순 $G$와 $J \neq I$에 대해 $\mathcal{P}_{J,w}$는 $\operatorname{supp}_\delta(w) = I$일 때이고 그 때에만 기약적이다.
• 다양체 $\mathcal{P}_{J,w}$는 $K = I(J,\delta;w)$에 대해 $\mathcal{P}_{K,w}$와 등기하적이다. 이는 $w$가 $\delta$에 대해 $K$를 안정화할 경우 기약성 문제를 다루는 데에 환원된다.
• $R = \{(lu, lu')\}$로 정의된 $G$ 위의 $R$-궤도는 유한하며 ${}^J W$로 색인화되며, $T'$가 $F$-안정일 경우 각 궤도는 $N_G(T')$에 속하는 원소를 포함한다.
• $G$-안정 조각 $\mathcal{P}_{J,w}$는 $\{g \in G : g^{-1}F(g) \in \dot{w}U_{P_K}\}/L_K^{\operatorname{Ad}(\dot{w}) \circ F}(U_{P_K} \cap {}^{\dot{w}}U_{P_K})$ 형태의 몫과 등기하적이다. 이는 그들을 델리뉴-루슈티그 다양체와 연결한다.