[論文レビュー] Satellites of spherical subgroups

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

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

ひとこと要約

本稿は、与えられた球面的部分群 $ H \subset G $ の球面的根の部分集合 $ I $ を用いて定義される、$ H \subset G $ と同次元の球面的部分群 $ H_I \subset G $ である「衛星（satellites）」の概念を導入する。$ G/H $ と $ G/H_I $ のPoincaré多項式の間には深い関係が存在し、その比が $ t^{-1} $ の整数係数多項式であることを示し、対称空間やランク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_I $ と $ H $ の球面的データが共役の下でどのように関係するかを理解するための組合せ論的・幾何的枠組みを構築すること。
• $ G/H $ とその衛星 $ G/H_I $ のPoincaré多項式の関係、特にその比が $ t^{-1} $ の整数係数多項式であることを示すこと。
• $ G/H $ と $ G/H_I $ のPoincaré多項式比 $ R_\varnothing(t^{-1}) $ を、対称空間やランク1の球面的多様体を含むさまざまな球面的多様体について明示的に計算すること。
• 特に、完璧埋め込みと放物型安定化子の文脈において、衛星構成を用いて既存の球面的多様体に関する結果を統一的かつ拡張すること。

提案手法

• 与えられた球面的部分群 $ H \subset G $ と、$ G/H $ の球面的根の部分集合 $ I $ に対して、$ H $ と同次元で、共役を除いて一意に定まる球面的部分群 $ H_I \subset G $ を定義する。
• Luna-Vustの色付きファン理論と価値の錐 $ \mathcal{V} \subset N_{\mathbb{Q}} $ を用い、球面的根 $ s_1, \dots, s_k $ を双対錐の生成子として用いることで、$ H_I $ の組合せ的構造を記述する。
• $ G/H $ のPoincaré多項式 $ \tilde{P}_{G/H}(t) $ とその衛星 $ G/H_I $ のPoincaré多項式との関係を、公式 $ \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} $ を用いて記述する。ここで $ X $ は閉軌道 $ X' \cong G/P $ を持つ完璧埋め込みである。
• $ \tilde{P}_{G/H_\varnothing}(t) $ を関係 $ \tilde{P}_{G/H_\varnothing}(t) = \tilde{P}_{G/P}(t)(t-1) $ を用いて計算する。ここで $ P $ は次元とレヴィ型の制約から定まる放物型部分群である。
• 根系の指数を用いた既知の公式 $ \tilde{P}_{G/B}(t) $ および $ \tilde{P}_{P/B}(t) $ を用い、特定のケースにおける $ \tilde{P}_{G/P}(t) $ そして $ \tilde{P}_{G/H_\varnothing}(t) $ を導出する。
• 15個のランク1球面的多様体について、比 $ R_\varnothing(t^{-1}) = \frac{\tilde{P}_{G/H_\varnothing}(t)}{\tilde{P}_{G/H}(t)} $ を明示的に導出し、それが常に $ t^{-1} $ の整数係数多項式であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた球面的部分群 $ H \subset G $ に対して、$ G/H $ の球面的根の部分集合 $ I $ を用いて、$ H $ と同次元の球面的部分群 $ H_I \subset G $ を共役を除いてどのように構成できるか。
• RQ2 $ G/H $ とその衛星 $ G/H_I $ のPoincaré多項式の間の明確な関係、特にその比の性質は何か。
• RQ3 $ G/H $ と $ G/H_\varnothing $ の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個のランク1球面的多様体すべてについて、比 $ 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} $ であり、$ \dim G/P = 15 $ を満たす放物型部分群 $ P $ の次元制約から計算される。
• $ 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)} $ であり、この族に一般化可能なパターンが示される。
• 連結な $ H $ を持つ場合、衛星の構成とそれに伴う多項式比 $ R_\varnothing(t^{-1}) $ は一貫しており、閉軌道 $ X' \cong G/P $ の放物型安定化子 $ P $ から直接計算することも、完璧埋め込みを通じて計算することも可能である。