[论文解读] Demazure roots and spherical varieties: the example of horizontal SL(2)-actions

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

Advanced Algebra and Geometry参考文献 35被引用 4

一句话总结

本文通过引入Demazure根的概念，对仿射 $G$-球面化空间上被约化群 $G$ 归一化的 $\mathbb{G}_a$-作用进行分类，该概念参数化了此类作用。对于 $G = \mathrm{SL}_2 \rtimes T$（与一个环面的半直积），本文给出了Demazure根集的完整组合描述，即 $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 中有限个多面体的交集与 $\mathbb{X}(G)$ 的子格的交集，并猜想该方法可推广至所有仿射球面化空间。

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$ 归一化的 $\mathbb{G}_a$-作用进行分类。
• 定义并研究Demazure根集 $\mathrm{Rt}(X)$，作为此类归一化 $\mathbb{G}_a$-作用的参数化。
• 利用多面体除子和格交集，为 $G = \mathrm{SL}_2 \rtimes T$ 提供 $\mathrm{Rt}(X)$ 的完整组合描述。
• 猜想该组合描述可推广至所有仿射球面化空间。

提出的方法

• 使用Luna–Vust理论和着色扇，通过组合数据描述 $G$-球面化空间。
• 应用多面体除子理论，对复杂度为一的仿射 $\mathbb{T}$-空间（$\mathbb{T}$ 为环面）进行建模。
• 将归一化的 $\mathbb{G}_a$-作用识别为具有特定轨道结构的拟仿射齐次空间上的齐次 $\mathbb{G}_a \rtimes G$-作用。
• 通过 $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 中多面体的交集与 $\mathbb{X}(G)$ 的子格的交集，刻画 $G = \mathrm{SL}_2 \rtimes T$ 时的Demazure根。
• 根据作用是否保持开 $G$-轨道，区分内部与外部Demazure根。
• 利用条件 $\rho(e) = \rho_-(\theta) = \rho_+(\theta) = 0$ 验证归一化并分类根。

实验结果

研究问题

• RQ1 如何通过组合方法对仿射 $G$-球面化空间 $X$ 上被 $G$ 归一化的 $\mathbb{G}_a$-作用进行分类？
• RQ2 $G = \mathrm{SL}_2 \rtimes T$ 时，Demazure根集 $\mathrm{Rt}(X)$ 的结构是什么？
• RQ3 能否将 $X$ 的Demazure根描述为 $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 中有限个多面体的交集与 $\mathbb{X}(G)$ 的子格的交集？
• RQ4 在何种条件下，内部Demazure根集 $\mathrm{Rt}_{\mathrm{int}}(X)$ 非空？
• RQ5 对所有仿射球面化空间，$\mathrm{Rt}(X)$ 的组合描述是否可推广？

主要发现

• 对于 $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))$。
• 当且仅当 $H$ 是不包含 $\mathrm{SL}_2$ 的极大环面的环面时，内部Demazure根非空，此时 $\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\} \}$。
• 对于 $G = \mathrm{SL}_2 \rtimes T$，集合 $\mathrm{Rt}(X)$ 明确描述为 $\mathbb{Q} \otimes_{\mathbb{Z}} \mathbb{X}(G)$ 中有限个多面体的交集与 $\mathbb{X}(G)$ 的子格的交集。
• 归一化的 $\mathbb{G}_a$-作用在等价意义下由其Demazure根唯一确定，且此类作用对应于具有 codimension-one 补集或空补集的拟仿射空间上的齐次 $\mathbb{G}_a \rtimes G$-作用。
• 结果确认了对问题 5.10 的肯定回答，适用于 $G_e = \mathrm{SL}_2 \rtimes T$，支持了更广泛的猜想：此类组合描述可推广至所有仿射球面化空间。