[论文解读] Satellites of spherical subgroups

Victor V. Batyrev, Anne Moreau|arXiv (Cornell University)|Oct 24, 2016

Advanced Algebra and Geometry参考文献 29被引用 3

一句话总结

本文引入了'卫星'的概念——对于给定的球对称子群 $ H \subset G $，其球对称子群 $ H_I \subset G $ 与 $ H $ 维数相同，通过 $ G/H $ 的球对称根的子集 $ I $ 定义。本文建立了 $ G/H $ 与 $ G/H_I $ 的 Poincaré 多项式之间的深刻联系，证明其比值为 $ t^{-1} $ 的整系数多项式，并在多种情形下给出了该比值的显式公式，包括对称空间和秩一球对称簇。

ABSTRACT

Let $G$ be a complex connected reductive algebraic group. Given a spherical subgroup $H \subset G$ and a subset $I$ of the set of spherical roots of $G/H$, we define, up to conjugation, a spherical subgroup $H_I \subset G$ of the same dimension of $H$, called a satellite. We investigate various interpretations of the satellites. We also show a close relation between the Poincaré polynomials of the two spherical homogeneous spaces $G/H$ and $G/H_I$.

研究动机与目标

• 定义并系统研究与给定球对称齐性空间 $ G/H $ 的球对称根子集相关联的一类新球对称子群，称为卫星。
• 建立组合与几何框架，以理解在共轭下 $ H $ 与其卫星 $ H_I $ 的球对称数据之间的关系。
• 研究 $ G/H $ 与 $ G/H_I $ 的 Poincaré 多项式之间的关系，特别是其比值，证明该比值为 $ t^{-1} $ 的整系数多项式。
• 为多种球对称簇（包括对称空间和秩一情形）显式计算 Poincaré 多项式比值 $ R_\varnothing(t^{-1}) $。
• 通过卫星构造统一并推广此前关于球对称簇的研究成果，尤其在美妙嵌入与抛物型稳定子的背景下。

提出的方法

• 对于给定球对称子群 $ H \subset G $，定义其卫星 $ H_I \subset G $，其中 $ I $ 为 $ G/H $ 的球对称根的子集，定义在共轭意义下，且保持 $ H $ 的维数不变。
• 利用 Luna-Vust 的颜色扇理论及赋值锥 $ \mathcal{V} \subset N_{\mathbb{Q}} $ 描述 $ H_I $ 的组合结构，利用球对称根 $ s_1, \dots, s_k $ 作为对偶锥的生成元。
• 通过公式 $ \tilde{P}_X(t) = \tilde{P}_{G/H}(t) + \tilde{P}_{X'}(t) = \tilde{P}_{G/H}(t) + \frac{\tilde{P}_{G/H_\varnothing}(t)}{t-1} $，将 $ G/H $ 的 Poincaré 多项式 $ \tilde{P}_{G/H}(t) $ 与卫星 $ G/H_I $ 的 Poincaré 多项式联系起来，其中 $ X $ 是一个美妙嵌入，其闭轨道 $ X' \cong G/P $。
• 利用关系式 $ \tilde{P}_{G/H_\varnothing}(t) = \tilde{P}_{G/P}(t)(t-1) $ 计算 $ \tilde{P}_{G/H_\varnothing}(t) $，其中 $ P $ 是由维数和 Levi 型约束确定的抛物子群。
• 应用关于 $ \tilde{P}_{G/B}(t) $ 和 $ \tilde{P}_{P/B}(t) $ 的已知公式，以根系的指数表示，推导出 $ \tilde{P}_{G/P}(t) $，从而得到 $ \tilde{P}_{G/H_\varnothing}(t) $ 在特定情形下的表达式。
• 显式推导出比值 $ R_\varnothing(t^{-1}) = \frac{\tilde{P}_{G/H_\varnothing}(t)}{\tilde{P}_{G/H}(t)} $ 在 15 个秩一球对称簇中的表达式，证明其恒为 $ t^{-1} $ 的整系数多项式。

实验结果

研究问题

• RQ1 如何在共轭意义下，为给定球对称子群 $ H \subset G $ 构造一个与之维数相同的球对称子群 $ H_I \subset G $，其索引为 $ G/H $ 的球对称根的子集 $ I $？
• RQ2 $ G/H $ 与其卫星 $ G/H_I $ 的 Poincaré 多项式之间存在何种精确关系，特别是其比值？
• RQ3 在哪些情形下，Poincaré 多项式的比值 $ R_\varnothing(t^{-1}) $ 是 $ t^{-1} $ 的整系数多项式？
• RQ4 能否直接从 $ G/H $ 的美妙嵌入的几何结构（特别是闭轨道 $ X' \cong G/P $）计算卫星 $ G/H_\varnothing $ 的 Poincaré 多项式？
• RQ5 在卫星构造下，$ G/H $ 与 $ G/H_I $ 的组合不变量——球对称根、赋值锥、颜色扇——之间存在何种关系？

主要发现

• 球对称子群 $ H \subset G $ 的卫星 $ H_I $ 在共轭意义下定义良好，且与 $ H $ 维数相同，其球对称数据由 $ G/H $ 的球对称根的子集 $ I $ 决定。
• 对于表 1 列出的全部 15 个秩一球对称簇，比值 $ R_\varnothing(t^{-1}) = \frac{\tilde{P}_{G/H_\varnothing}(t)}{\tilde{P}_{G/H}(t)} $ 恒为 $ t^{-1} $ 的整系数多项式。
• 当 $ G = \mathbf{F}_4 $，$ H = \mathbf{B}_4 $ 时，比值为 $ R_\varnothing(t^{-1}) = 1 - t^{-8} $，通过抛物子群 $ P $ 的维数约束 $ \dim G/P = 15 $ 计算得出。
• 当 $ G = \mathbf{G}_2 $，$ H = \mathrm{GL}_2 \ltimes (\mathbb{C} \oplus \mathbb{C}^2) \otimes \wedge^2 \mathbb{C}^2 $ 时，比值为 $ R_\varnothing(t^{-1}) = 1 - t^{-2} $，由 $ G/H_\varnothing $ 与 $ G/H $ 的 Poincaré 多项式推导得出。
• 对于对称空间如 $ G = \mathrm{SL}_n $，$ H = S(L_1 \times L_{n-1}) $，比值为 $ R_\varnothing(t^{-1}) = 1 - t^{-(n-1)} $，揭示了该族的一般规律。
• 卫星构造及其产生的多项式比值 $ R_\varnothing(t^{-1}) $ 在 $ H $ 连通的情形下保持一致，且可通过美妙嵌入或直接从闭轨道 $ X' \cong G/P $ 的抛物型稳定子 $ P $ 计算得出。