Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials

技術的概要：完全単体扇、スタンレー・ライスナー環、および等変 h-多項式

問題提起
本論文は、有限群によるトーリック多様体のコホモロジーおよびそれに関連する代数構造への作用の組合せ論的・代数的研究に取り組む。具体的には、有限群 $G$ がベクトル空間 $V$ 線形に作用し、完全単体扇 $\Sigma$ を保つ場合を対象とする。コンパクトなトーリックオーブifold（有理完全単体扇に関連するもの）のコホモロジーは、スタンレー・ライスナー環 $A(\Sigma)$ とそのアルティン環化を通じてよく理解されているが、一般の扇に対するこの環への群作用の次数付き指標は、まだ完全に特徴付けられていなかった。さらに、本論文は、有限鏡映群の作用下におけるこれらの環の不変量の組合せ論的構造を調査し、商空間の位相を符号化する組合せ論的対象を追求する。

手法
著者は、可換代数、表現論、および凸幾何学の統合を適用する：

1. 代数枠組み：完全単体扇 $\Sigma$ のスタンレー・ライスナー環 $A(\Sigma)$ を、単項式イデアルによる多項式環の商として定義し、研究に利用する。この環は、多項式環 $A = \text{Sym}(V^*)$ 上の次数付き加群として扱われる。「アルティン環化」$\overline{A(\Sigma)}$ は、$A(\Sigma)$ を線形パラメータ系で割ることで得られ、$\Sigma$ が有理的な場合、関連するトーリック多様体の通常のコホモロジーに対応する。
2. 等変指標論：本論文は、$\overline{A(\Sigma)}$ への $g \in G$ の作用に対する次数付き指標の公式を導出する。これには、環を錐でインデックス付けされた部分空間に分解し、扇上の群作用の固定点集合を分析し、商空間 $V/V_\sigma$ 上の誘導表現 $\psi_\sigma: G_\sigma \to \text{GL}(V/V_\sigma)$ を利用することが含まれる。
3. 鏡映群の解析：$G$ が有限鏡映群 $W$ である特定のケースについて、著者は「ハイブリッド扇」$\Sigma_W$ と呼ばれる新しい組合せ論的対象を導入する。この構成はコリン・クロウリーとコナー・シンプソンに帰せられ、$W$ の基本領域からの射线と負の単純ルートを組み合わせることで $W$ の作用を符号化する。
4. 誘導表現とフロベニウスの相互律：証明は、誘導表現の理論、フロベニウスの相互律、および鏡映群内の放物部分群の性質に大きく依存しており、元の扇の不変量をハイブリッド扇の組合せ論に関連付ける。

主要な貢献と結果

• 等変 h-多項式公式（定理 1.1）：
  主要な結果は、任意の有限群 $G$ のアルティン環化 $\overline{A(\Sigma)}$ への作用に対する次数付き指標の公式である。等変ヒルベルト級数 $R_{A(\Sigma)}(t)$ は次で与えられる：
  $$R_{A(\Sigma)}(t) = \sum_{\sigma \in \Sigma} \frac{|G_\sigma|}{|G|} \text{Ind}_{G_\sigma}^G (\det(tI - \psi_\sigma))$$
  ここで、$G_\sigma$ は錐 $\sigma$ の集合的安定化子であり、$\psi_\sigma$ は商空間 $V/V_\sigma$ 上の誘導表現である。この公式は、古典的な h-多項式（$g=\text{id}$ の場合に回復される）を一般化し、ペルムノヘドロンに作用するウェイル群に対する既知の結果（プロセシ、ドルガチェフ・ルンツ、ステムブリッジ、レーラー）を回復する。

• 対称性（命題 3.2）：
  本論文は、次数付き指標 $P_G(t, g)$ が $P_G(t, g) = t^d P_G(t^{-1}, g)$ を満たす対称性（パリンドロミック）を持つことを証明する。ここで $d = \dim(V)$ である。これは、アルティン環化の最高次数成分が自明な表現を担うことを示すことで確立され、これはスタンレー・ライスナー環のゲルレンシュタイン性質と、群作用による体積要素の保存の結果である。

• ハイブリッド扇と不変量（定理 1.2）：
  $W$ が有限鏡映群であるとき、$\overline{A(\Sigma)}$ の $W$-不変量のポアンカレ多項式は、新たに定義された「ハイブリッド扇」$\Sigma_W$ の h-多項式に等しいことが示される。ハイブリッド扇は、基本領域内の射线を取り、負の単純ルートによって張られる射线を追加し、元の扇の軌道によって錐構造を決定することで構成される。

• 商のコホモロジー（定理 1.3）：
  直接的な応用として、$\Sigma$ が有理完全単体扇である場合、商トーリックオーブifold $X_\Sigma/W$ のコホモロジーのポアンカレ多項式は、ハイブリッド扇に関連するトーリックオーブifold $X_{\Sigma_W}$ のポアンカレ多項式に等しい。これは、多面体とその法扇の商に関するホリグチ・マサダ・シャレシュアン・ソンおよびクロウリー・ゴン・シンプソンによる先行結果を一般化するものである。

意義と主張
本論文は、有限群作用下におけるトーリック多様体の等変コホモロジーを理解するための統一的な組合せ論的枠組みを提供すると主張しており、有理的な場合を超えて一般の完全単体扇へと拡張する。

• 「等変 h-多項式」が（有理的な場合において）関連するトーリック多様体のコホモロジー上の群の次数付き表現に対する完全な不変量として機能することを確立する。
• 商空間 $X_\Sigma/W$ のコホモロジーを計算するという複雑な問題は、元の扇が非有理的であっても、ハイブリッド扇 $\Sigma_W$ の h-多項式の組合せ論的計算に還元できることを示す。
• この研究は、扇の組合せ論と商空間の位相の間のギャップを埋め、ハイブリッド扇が商に対する正しい組合せ論的モデルであることを示唆する。

未解決の問題と将来の方向性
本論文は、いくつかの未解決の問題を提起して結論付ける：

1. 環の同型：不変量 $\overline{A(\Sigma)}^W$ とハイブリッド扇のスタンレー・ライスナー環 $\overline{A(\Sigma_W)}$ の間に、明示的な次数付き環同型が存在するかどうか。
2. 多様体の同型（予想 5.2）：任意の有理扇に対して、商トーリック多様体 $X_\Sigma/W$ がトーリック多様体 $X_{\Sigma_W}$ と同型であるかどうか。本論文は、多面体扇と単一錐については既知であるが、一般の扇については未解決であると指摘する。
3. 交差コホモロジー：一般の（非単体の）扇の組合せ論的交差コホモロジーに対して、同様の等変指標公式が存在するかどうか。これには、等変カザドラン・ルスティン・スタンレー多項式が関与する可能性がある。
4. 商の交差コホモロジー：扇の組合せ論的交差コホモロジーの不変量が、ハイブリッド扇の交差コホモロジーに等しいかどうか。商における特異点がこの関係を複雑にする可能性があることに留意する必要がある。