[논문 리뷰] Demazure roots and spherical varieties: the example of horizontal SL(2)-actions

Kevin Langlois, Alexander Perepechko|arXiv (Cornell University)|2014. 06. 22.

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

한 줄 요약

이 논문은 Demazure 루트의 개념을 도입하여 재구성된 군 $G$에 의해 정규화된 아핀 $G$-spherical 다양체 위의 $\mathbb{G}_a$-행동을 분류한다. $G = \mathrm{SL}_2 \rtimes T$ (토러스와의 반직접곱)인 경우, $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 안의 다면체 유한합과 $\mathbb{X}(G)$의 부분격자와의 교차로 이루어진 Demazure 루트 집합의 완전한 조합론적 기술을 제공하며, 이 방법이 모든 아핀 spherical 다양체로 일반화될 것이라 추측한다.

ABSTRACT

Let $G$ be a connected reductive group, and let $X$ be an affine $G$-spherical variety. We show that the classification of $\mathbb{G}_{a}$-actions on $X$ normalized by $G$ can be reduced to the description of quasi-affine homogeneous spaces under the action of a semi-direct product $\mathbb{G}_{a} times G$ with the following property. The induced $G$-action is spherical and the complement of the open orbit is either empty or a $G$-orbit of codimension one. These homogeneous spaces are parametrized by a subset ${ m Rt}(X)$ of the character lattice $\mathbb{X}(G)$ of $G$, which we call the set of Demazure roots of $X$. We give a complete description of the set ${ m Rt}(X)$ when $G$ is a semi-direct product of ${ m SL}_{2}$ and an algebraic torus; we show particularly that ${ m Rt}(X)$ can be obtained explicitly as the intersection of a finite union of polyhedra in $\mathbb{Q}\otimes_{\mathbb{Z}}\mathbb{X}(G)$ and a sublattice of $\mathbb{X}(G)$. We conjecture that ${ m Rt}(X)$ can be described in a similar combinatorial way for an arbitrary affine spherical variety $X$.

연구 동기 및 목표

• 재구성된 군 $G$에 의해 정규화된 아핀 $G$-spherical 다양체 위의 $\mathbb{G}_a$-행동을 조합론적 불변량을 사용하여 분류하기.
• Demazure 루트 집합 $\mathrm{Rt}(X)$를 정의하고, 이러한 정규화된 $\mathbb{G}_a$-행동의 매개변수화로 연구하기.
• $G = \mathrm{SL}_2 \rtimes T$에 대해 다각형 분할과 격자 교차를 이용하여 $\mathrm{Rt}(X)$의 완전한 조합론적 기술 제공하기.
• 이 조합론적 기술이 모든 아핀 spherical 다양체로 일반화된다는 추측 제기하기.

제안 방법

• Luna–Vust 이론과 색깔이 있는 피라미드를 사용하여 $G$-spherical 다양체를 조합론적 자료로 기술하기.
• 다각형 분할 이론을 적용하여 복잡도가 1인 아핀 $\mathbb{T}$-다양체($\mathbb{T}$는 토러스)를 모델링하기.
• 특정 궤도 구조를 가진 준아핀 동지수 공간 위의 동지수 $\mathbb{G}_a \rtimes G$-행동으로 정규화된 $\mathbb{G}_a$-행동을 식별하기.
• 특정 조건 $\rho(e) = \rho_-(\theta) = \rho_+(\theta) = 0$을 사용하여 정규화를 확인하고 루트를 분류하기.
• $G = \mathrm{SL}_2 \rtimes T$인 경우, $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 안의 다면체와 $\mathbb{X}(G)$의 부분격자 간의 교차로 Demazure 루트를 특성화하기.
• 행동이 열린 $G$-궤도를 유지하는지 여부에 따라 내부 및 외부 Demazure 루트를 구분하기.

실험 결과

연구 질문

• RQ1 재구성된 군 $G$에 의해 정규화된 아핀 $G$-spherical 다양체 $X$ 위의 $\mathbb{G}_a$-행동은 어떻게 조합론적으로 분류할 수 있는가?
• RQ2 $G = \mathrm{SL}_2 \rtimes T$인 경우 Demazure 루트 집합 $\mathrm{Rt}(X)$의 구조는 어떠한가?
• RQ3 Demazure 루트 집합 $\mathrm{Rt}(X)$가 $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 안의 다면체 유한합과 $\mathbb{X}(G)$의 부분격자와의 교차로 기술될 수 있는가?
• RQ4 내부 Demazure 루트 집합 $\mathrm{Rt}_{\mathrm{int}}(X)$가 비어 있지 않은 조건은 무엇인가?
• RQ5 Demazure 루트 집합 $\mathrm{Rt}(X)$의 조합론적 기술이 모든 아핀 spherical 다양체로 일반화되는가?

주요 결과

• $G = \mathrm{SL}_2 \rtimes T$인 경우, Demazure 루트 집합 $\mathrm{Rt}(X)$는 $\mathrm{Rt}(X) = \mathrm{Rt}_{\mathrm{ext}}(X) \cup \mathrm{Rt}_{\mathrm{int}}(X)$로 주어지며, 두 성분 모두 조합론적으로 기술된다.
• 외부 Demazure 루트는 $\theta \in \mathrm{Rt}(\Gamma) \cap L$ 이고 $\rho_\theta \in \mathrm{lin}(\mathcal{V})$ 이며 $\theta \in \eta(\mathcal{F}_0)^\perp$ 를 만족하는 것으로 특성화된다. 여기서 $\Gamma = \mathrm{Cone}(\mathcal{C} \cup \eta(\mathcal{F}_0))$이다.
• 내부 Demazure 루트는 $H$가 $\mathrm{SL}_2$의 최대 토러스를 포함하지 않는 토러스일 때에만 비어 있지 않으며, 이 경우 $\mathrm{Rt}_{\mathrm{int}}(X) = \{\theta \in \mathrm{Rt}(\Gamma) \cap L \mid \rho_\theta \in \mathrm{lin}(\mathcal{V}), \{\eta(D_1)(\theta), \eta(D_2)(\theta)\} = \{-1, 1\} \}$ 로 주어진다.
• 특정 조건에서 $\mathrm{Rt}(X)$는 $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 안의 다면체 유한합과 $\mathbb{X}(G)$의 부분격자와의 교차로 명시적으로 기술된다.
• 정규화된 $\mathbb{G}_a$-행동는 동치를 제외하고는 Demazure 루트에 의해 유일하게 결정되며, 이러한 행동들은 보편적 보존이 없는 또는 복수의 보존이 없는 준아핀 공간 위의 동지수 $\mathbb{G}_a \rtimes G$-행동과 대응된다.
• 결과적으로, $G_e = \mathrm{SL}_2 \rtimes T$인 경우 질문 5.10에 대한 긍정적 답변가 확인되었으며, 이는 모든 아핀 spherical 다양체로 일반화된다는 보다 넓은 추측을 지지한다.