[논문 리뷰] The $G$-stable pieces of the wonderful compactification

Xuhua He|ArXiv.org|2004. 12. 15.

Advanced Algebra and Geometry참고 문헌 6인용 수 10

한 줄 요약

이 논문은 단순 대수적 군 $G$의 워너블리 컴actsification $\bar{G}$에서의 $G$-안정 조각의 닫힘 성질과 세포 분해를 연구한다. 만약 $G$-안정 조각의 닫힘에 포함된 $G$-오빗이 유한하다면, 이는 세포 분해를 갖는다고 증명하며, 이는 $\bar{G}$ 위에서의 파라보릭 특성층에 대한 카즈단–루스티그 이론을 위한 기초 단계를 제공한다.

ABSTRACT

Let $G$ be a connected, simple algebraic group over an algebraically closed field. There is a partition of the wonderful compactification $\bar{G}$ of $G$ into finite many $G$-stable pieces, which were introduced by Lusztig. In this paper, we will investigate the closure of any $G$-stable piece in $\bar{G}$. We will show that the closure is a disjoint union of some $G$-stable pieces, which was first conjectured by Lusztig. We will also prove the existence of cellular decomposition if the closure contains finitely many $G$-orbits.

연구 동기 및 목표

• 단순 대수적 군 $G$의 워너블리 컴actsification $\bar{G}$에서의 $G$-안정 조각의 닫힘 구조를 이해하기 위해.
• 특정 $G$-안정 조각의 닫힘이 세포 분해를 갖는 조건을 확립하기 위해.
• parabolic character sheaves에 대한 카즈단–루스티그 이론을 개발하기 위해 필요한 기하적 프레임워크를 제공하기 위해.
• 색인 집합 $(J,w)$에 대한 부분 순서를 사용하여 $B \times B$-오빗 닫힘의 결과를 $G$-안정 조각으로 일반화하기 위해.

제안 방법

• 루스티그가 도입한 $G$-안정 조각 분해를 사용하며, $J \subset I$, $w \in W^J$인 쌍 $(J,w)$로 인덱싱되며, 코셋 내에서 최소 길이를 갖는다.
• 닫힘 관계를 묘사하기 위해 $\delta(I_2)$의 반사 시퀀스를 통한 부분 순서 $\leqslant^\prime$를 $W_\delta(J,w)$에 도입한다.
• 닫힘의 기하학적 분석과 세포 분해의 구축을 위해 '섬세화를 통해 컴actsification' 기법을 적용한다.
• 스프링거의 결과(일부 $B \times B$-오빗의 합집합은 아핀 공간과 동형이다)를 이용하여 이를 $G$-안정 조각으로 확장한다.
• $G \times G$의 작용을 $\tilde{Z}_{J,y,\delta}$에 적용하고, $\mathcal{B}$ 위에 아핀 공간을 갖는 $G$-다양체로 $X^{(J,w,\delta)}_u$를 구성한다.
• 만약 $I_2 = \varnothing$이면 다양체 $X^{(J,w,\delta)}_u$는 $\mathcal{B}$ 위의 벡터 번들의 동형이 되며, 따라서 세포 분해를 갖는다.

실험 결과

연구 질문

• RQ1 워너블리 컴actsification $\bar{G}$에서의 $G$-안정 조각의 닫힘이 언제 세포 분해를 갖는가?
• RQ2 특정 $G$-안정 조각의 닫힘은 다른 $G$-안정 조각들과 어떻게 관련되어 있으며, 이러한 관계를 지배하는 부분 순서는 무엇인가?
• RQ3 $G$-안정 조각의 기하학적 성질을 이용하여 $\bar{G}$ 위에서의 파라보릭 특성층에 대한 카즈단–루스티그 이론을 어떻게 구성할 수 있는가?
• RQ4 재수정된 군 $\hat{G}$의 비연결 성분 $G^1$은 $G$에서 $\hat{G}$로의 결과 일반화에 어떤 역할을 하는가?

주요 결과

• 모든 $G$-안정 조각의 닫힘은 다른 $G$-안정 조각의 합집합이며, 포함 관계는 색인 집합 $(J,w)$에 대한 부분 순서에 의해 지배된다.
• 특정 $G$-안정 조각의 닫힘이 $G$-오빗을 유한하게 포함한다면, 이는 세포 분해를 갖는다.
• $\leqslant^\prime$ 부분 순서는 오빗 수가 유한할 경우 $W_\delta(J,w)$에 대해 잘 정의된 부분 순서이며, 이는 분해가 $\alpha$-분할임을 보장한다.
• $I_2 = \varnothing$이면 다양체 $X^{(J,w,\delta)}_u$는 $\mathcal{B}$ 위의 벡터 번들과 동형이 되며, 따라서 세포 분해를 갖는다.
• 결과는 가능한 비연결 리 군 $\hat{G}$의 임의의 연결 성분 $G^1$로 확장되며, 이 경우의 구조는 $G$-경우의 '왜곡된' 형태이다.
• $\overline{Z^w_{J,\delta}}$는 서로소 합집합 $\sqcup_{u \in W_\delta(J,w)} X^{(J,w,\delta)}_u$로 분해되며, 오빗 수가 유한할 경우 이 분해는 세포 분해이다.