[논문 리뷰] Shi variety corresponding to an affine Weyl group

Nathan Chapelier‐Laget|arXiv (Cornell University)|2020. 10. 09.

Advanced Combinatorial Mathematics인용 수 4

한 줄 요약

이 논문은 Jian-Yi Shi의 $Φ^+$-튜플인 정수 $k(w,\alpha)$를 통한 알코브(characterization)를 사용하여, 애파인 웨일 군 $W_a$와 애파인 다양체 $̂{X}_{W_a}$의 정수점 사이의 전단사 사상(bijection)을 수립한다. 이 다양체는 시의 다양체라고 불린다. 주요 기여는 정리 4.3로, $W_a \simeq ̂{X}_{W_a}(\mathbb{Z})$를 보여주며, 군의 구조를代수기하학을 통해 기하학적으로 실현하고, 부호 유형(sign types)을 통한 카즈단-루스트리그 셀(cell)와의 연결 고리를 드러낸다.

ABSTRACT

Let $W$ be an irreducible Weyl group and $W_a$ its affine Weyl group. In this article we show that there exists a bijection between $W_a$ and the integral points of an affine variety, denoted $\widehat{X}_{W_a}$, which we call the Shi variety of $W_a$. In order to do so, we use Jian-Yi Shi's characterization of alcoves in affine Weyl groups. We then study this variety further. We highlight combinatorial properties of the irreducible components of $\widehat{X}_{W_a}$ and we show how they are related to a fundamental parallelepiped $P_{\mathcal{H}}$.

연구 동기 및 목표

• 애파인 웨일 군의 기하학적 실현을 애파인 다양체, 즉 시의 다양체를 통해 도입하여 그 조합론적 및 대수적 구조를 더 잘 이해하고자 한다.
• Jian-Yi Shi의 애파인 웨일 군 내 알코브에 대한 특성화를 $Φ^+$-튜플인 정수 $k(w,\alpha)$를 사용한 전역 대수적 프레임워크로 확장하고자 한다.
• 시의 다양체의 기약 성분들과 그들이 기본 평행육면체 $P_{\mathcal{H}}$와 세포 이론과 어떻게 관련되어 있는지 조사하고자 한다.
• 특히 $A$형에서 시의 다양체와 카즈단-루스트리그 세포 사이의 연결 고리를 명확히 하기 위해, 부호 유형과 일반화된 각도(orthants)를 분석하고자 한다.
• 유한 웨일 군 $W$가 시의 다양체 $̂{X}_{W_a}$에 작용할 때, 이는 $f_\Phi$개의 궤도로 다양체를 분할하며, 각 궤도는 유일한 $W$의 원소를 포함한다.

제안 방법

• 애파인 웨일 군 $W_a$의 알코브에 대한 Shi의 특성화를 바탕으로, $Φ^+$-튜플 $(k(w,\alpha))_{\alpha \in \Phi^+}$를 사용하여, 근계로부터 유도된 선형 관계를 만족하는 정수점의 집합으로서 시의 다양체 $\widehat{X}_{W_a}$를 정의한다.
• 다양체 $\widehat{X}_{W_a}$는 애파인 부분공간들의 합집합으로 구성되며, $\mathbb{R}^{\Phi^+}$ 내에서 $k(w,\alpha)$의 부호 조건에 의해 정의되는 일반화된 각도(orthants)와 각각 대응된다.
• 논문은 $W_a$의 $Φ^+$-표현을 사용하여 각 군 원소 $w$를 $\mathbb{Z}^{\Phi^+}$ 내의 점 $\iota(w)$로 매핑함으로써, 전단사 사상 $W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$를 형성한다.
• 논문은 유한 웨일 군 $W$가 $\widehat{X}_{W_a}$에 작용하는 방식을 분석하여, 각 궤도가 정확히 하나의 $W$ 원소를 포함하고 있으며, 총 $f_\Phi$개의 궤도가 존재함을 보여주며, 여기서 $f_\Phi$는 $W$-궤도의 수이며, 이는 $\Phi^+ \setminus \Delta$ 위에서의 $W$-궤도의 수이다.
• 다른 생성자들에 대해 성분의 구별성을 증명하기 위해, $P_\theta(s_i) \neq P_\theta(s_j)$를 만족하는 근 $\theta \in \Phi^+ \setminus \Delta$를 구성함으로써, 성분이 같지 않다는 것을 보이며, 이는 $s_i = s_j$이 아니면 성분이 같아질 수 없다는 모순을 유도한다.
• 기본 평행육면체 $P_{\mathcal{H}}$의 연구는 $\widehat{X}_{W_a}$의 기약 성분들에 대한 기하학적 모델을 제공하며, 이는 근계의 기하학과 연결된다.

실험 결과

연구 질문

• RQ1 애파인 웨일 군 $W_a$의 원소들은 자연스럽게 대수적 다양체의 정수점으로 매개화될 수 있는가?
• RQ2 시의 다양체 $\widehat{X}_{W_a}$의 기약 성분들은 기본 평행육면체 $P_{\mathcal{H}}$와 근계의 구조와 어떻게 관련되어 있는가?
• RQ3 부호 유형과 일반화된 각도는 카즈단-루스트리그 세포를 시의 다양체 내에 어떻게 코딩하는가?
• RQ4 왜 $W_a \neq W(\widetilde{A}_2)$일 때, 서로 다른 단순 반사 $s_i$와 $s_j$는 $\widehat{X}_{W_a}$의 다른 기약 성분에 속하는가?
• RQ5 $W$가 $\widehat{X}_{W_a}$에 작용할 때 다양체는 어떻게 궤도로 분해되며, 수 $f_\Phi$의 의미는 무엇인가?

주요 결과

• 논문은 $W_a \simeq \widehat{X}_{W_a}(\mathbb{Z})$라는 표준 전단사 사상을 수립하여, 애파인 웨일 군이 시의 다양체의 정수점과 일대일 대응됨을 증명한다.
• $\widehat{X}_{W_a}$의 기약 성분들은 애파인 부분공간이며, 각각은 $\mathbb{R}^{\Phi^+}$ 내에서 $k(w,\alpha)$ 계수의 부호 조건에 의해 정의되는 일반화된 각도와 대응된다.
• $A$형에서 각 카즈단-루스트리그 세포는 부호 사상 $Sg(w)$에 의해 결정되는, $\widehat{X}_{W_a}(\mathbb{Z})$와 일반화된 각도의 교차의 합집합으로 표현된다.
• $W_a \neq W(\widetilde{A}_2)$일 때, 서로 다른 단순 반사 $s_i$와 $s_j$는 $\widehat{X}_{W_a}$의 다른 기약 성분에 속한다. 이는 $P_\theta(s_i) \neq P_\theta(s_j)$를 만족하는 근 $\theta$를 구성함으로써 증명된다.
• 유한 웨일 군 $W$가 $\widehat{X}_{W_a}$에 작용할 때 정확히 $f_\Phi$개의 궤도를 얻으며, 각 궤도는 유일한 $W$의 원소를 포함한다. 여기서 $f_\Phi$는 $\Phi^+ \setminus \Delta$ 위에서 $W$-궤도의 수이다.
• 기본 평행육면체 $P_{\mathcal{H}}$는 $\widehat{X}_{W_a}$의 기약 성분들에 대한 기하학적 모델을 제공하며, 각 성분은 $\mathbb{Z}\Phi$의 작용에 의한 $P_{\mathcal{H}}$의 평행이동으로서 유도된다.