Intersection cohomology of Popov-Vinberg varieties

問題設定
本論文は、単純連結でスプリットな代数群 $G$ に付随する特異なアフィン多様体であるポポフ・ヴィンベルク多様体 $X_G$ の交差コホモロジーの計算について扱っている。$X_G$ は基本アフィン空間 $G/U$（ここで $U$ は極大ユニポテント部分群）の関数環のスペクトラムとして定義され、$G/U$ をザリスキー開部分集合として含み、かつ $G$ の極大コンパクト部分群に対する普遍的なシンプレクティック・インプロージョン（symplectic implosion）として機能する。$X_G$ のトポロジーはパラボリック部分群によってインデックス付けされた軌道によって層化されていることが知られているが、その交差コホモロジーのポアンカレ多項式の明示的な計算は限られており、$SL_3$ のケースが先行文献における主要な例であった。著者らは、特に $G = SL_n$ のケースに焦点を当てた、これらの多項式を計算するための一般的な再帰的手順を求めている。

手法
著者らは、複素群 $G$ を整数環 $\mathbb{Z}$ 上の群スキームへと持ち上げ、十分大きな標数を持つ有限体 $\mathbb{F}_q$ への基底変換を行う戦略を採用している。彼らの手法の核心は、交差コホモロジー（IC）層の $\ell$ 進エタール交差コホモロジーを計算するためのグロタンディーク・レフシェッツのトレース公式に基づいている。

主な技術的ツールは以下の通りである：

1. 層化と正規スライス： 単純根の集合によってインデックス付けされた $G$ 同変な層化を利用し、著者らは軌道への正規スライスがより小さなポポフ・ヴィンベルク多様体 $X_{G_S}$ であることを特定している。
2. 再帰的枠組み： 著者らは、有限体上の点計数とエタール交差コホモロジーのポアンカレ多項式を関連付ける [Pro18] の定理を適用している。この定理は、多様体が円錐作用を持ち、かつ交差コホモロジーが奇数次で消滅する場合、多様体のポアンカレ多項式とその正規スライスの多項式を結びつける関数方程式を確立している。
3. 比較定理： 標準的な比較結果により、$\mathbb{F}_q$ 上のエタール $\ell$ 進コホモロジーから $\mathbb{C}$ 上の位相的交差コホモロジーへの翻訳が可能となる。

主要な貢献と結果

• 再帰的手順 (定理 3.4)： 主要な結果は、$X_G$ の交差コホモロジー・ポアンカレ多項式 $P_G(t)$ のための再帰公式である。この公式は、$P_G(t)$ をレヴィ部分群 $G_S$ に付随するポポフ・ヴィンベルク多様体の多項式 $P_{G_S}(t)$ を用いて表現する。具体的には、非自明な群 $G$ に対して以下が成り立つ：
  $$\frac{P_G(t)}{f_G(t)} = \sum_{S \subset \Delta} \frac{t^{d_{G_S}} P_{G_S}(t^{-1})}{f_{G_S}(t)}$$
  ここで、$f_G(t)$ は $G$ の指数によって決定される多項式であり、$d_G$ は $X_G$ の次元である。著者らは、交差コホモロジーが奇数次で消滅すること、および $P_G(t)$ の次数が $d_G/2$ 未満であることを証明している。

• タイプAへの特殊化 (系 4.1)： $G = SL_n$ の場合、再帰は著しく簡略化される。$X_{SL_n}$ の多項式 $P_n(t)$ は、$m < n$ である $P_m(t)$ のみを用いて計算できる。著者らは付録において、$n \leq 13$ に対する明示的な計算を提供している。

• 生成級数と関数方程式 (命題 4.5)： 著者らは、係数が $X_{SL_n}$ の $SL_n$ 同変交差コホモロジーのヒルベルト級数となるような生成級数 $\Psi(t, u)$ を定義している。彼らは、この級数に対して驚くほど単純な関数方程式を導出した：
  $$\Psi(t^{-1}, u) \Psi(t, -u) = 1$$
  この方程式は、特定の初期条件が与えられたとき、級数を一意に決定する。

• ベティ数の漸近挙動 (命題 5.2)： 本論文は、$X_{SL_n}$ の $(2i)$ 次交差コホモロジー・ベティ数 $c_i(n)$ が、十分大きな $n$ に対して高々 $i/2$ 次の $n$ の多項式であることを証明している。著者らは、これらの多項式が二項係数の非負線形結合であるという予想 (予想 5.3) を立て、$i=9$ までの係数の明示的な公式を提供している。

• 代数的構造 (セクション 6)： 著者らは、すべての $n$ に対する $X_n$ の（同変）交差ホモロジー群の直和からなる2つの双次数環 $R$ および $\tilde{R}$ を定義している。彼らは、$\tilde{R}$ のヒルベルト級数が $\Psi(t, u)$ であることを示している。環の構造を完全に記述することはできていないが、$\tilde{R}$ が非可換であることを示し、低次ホモロジー次数における環の基底を提供している。

意義
本論文は、ポポフ・ヴィンベルク多様体の交差コホモロジーを計算するための初の一般的な再帰的メカニズムを提供し、既知の結果を $SL_3$ から任意の $SL_n$ や $G_2$ などの他の群へと拡張している。これらの幾何学的対象と、単純根のブーリアン・ポセットのカズダン・ルスティグ・スタンレー多項式との関連性を確立することで、本研究は、これらの特異な多様体の研究を確立された組合せ論的手法と統一している。生成級数 $\Psi(t, u)$ の単純な関数方程式の発見は、深い潜在的な代数的構造を示唆しており、関連する非可換環の研究を動機付けている。これらの結果は、普遍的なシンプレクティック・インプロードとその層化を理解するための具体的な計算ツールを提供するものである。