2025-11-15T20:16:12.083528

Spectrum of equivariant cohomology as a fixed point scheme

Hausel, Rychlewicz

An action of a complex reductive group $\mathrm G$ on a smooth projective variety $X$ is regular when all regular unipotent elements in $\mathrm G$ act with finitely many fixed points. Then the complex $\mathrm G$-equivariant cohomology ring of $X$ is isomorphic to the coordinate ring of a certain regular fixed point scheme. Examples include partial flag varieties, smooth Schubert varieties and Bott-Samelson varieties. We also show that a more general version of the fixed point scheme allows a generalisation to GKM spaces, such as toric varieties.

academic

等変コホモロジーのスペクトラムを固定点スキームとして

基本情報

論文ID: 2212.11836
タイトル: Spectrum of equivariant cohomology as a fixed point scheme
著者: Tamás Hausel, Kamil Rychlewicz (オーストリア科学技術研究所)
分類: math.AG (代数幾何), math.AT (代数的位相幾何)
掲載誌: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 1
論文リンク: https://arxiv.org/abs/2212.11836

要約

本論文は、複素簡約群Gが滑らかな射影多様体X上に作用するときの等変コホモロジー環の幾何学的実現を研究する。Gの作用が正則である（すなわち、すべての正則冪零元素の作用が有限個の不動点を持つ）場合、複素G-等変コホモロジー環はある正則不動点スキームの座標環と同型である。主な例としては、部分旗多様体、滑らかなSchubert多様体、およびBott-Samelson多様体が含まれる。本論文はさらに、より一般的なバージョンの不動点スキームがGKM空間（トーラス多様体など）への一般化を許すことも証明している。

研究背景と動機

核心的問題: 等変コホモロジー環の構造をどのように幾何学的に理解するか？従来、等変コホモロジーは代数的方法により定義されており、直感的な幾何学的解釈が欠けている。
問題の重要性: 等変コホモロジーは代数幾何、表現論、および数学物理において重要な応用を持つ。特にHitchin系とミラー対称性の研究において重要である。等変コホモロジーと幾何学的対象の直接的な関連性を確立することは、これらの理論をより深く理解するのに役立つ。
既存方法の限界:
- Carrell-Liebermann定理は部分的な結果を提供するが、特定の群作用にのみ適用可能
- 一般的な簡約群の等変コホモロジーを理解するための統一的な幾何学的枠組みが欠けている
研究動機:
- 著者らがGrassmannianのHitchin写像を研究する際に、ある無限小不動点スキームが等変コホモロジーのスペクトラムと同型であることを発見
- これにより、より一般的な場合における等変コホモロジーの幾何学的実現を求める研究へと導かれた

核心的貢献

主定理: 主配対群Hが滑らかな射影多様体X上で正則に作用するとき、零スキーム $Z_S \subset S \times X$ （ここでSはKostant切断）の座標環がH-等変コホモロジー環と同型であることを証明した。
統一的枠組み: 可解群から簡約群を経て一般的な主配対群へと至る統一的な理論枠組みを確立した。
幾何学的実現: 抽象的な等変コホモロジー環をアフィンスキームの座標環として具体的に実現し、直感的な幾何学的解釈を提供した。
一般化結果:
- GKM空間（トーラス多様体など）に対して同様の結果が成立することを証明
- 全零スキームと等変コホモロジーの関係を確立
関手性: 構成された関手の関手性を証明。すなわち、等変写像に対して、対応するスキーム写像が等変コホモロジーの引き戻し写像と両立する。

方法の詳細解説

問題設定

主配対群Hが滑らかな射影多様体X上に作用するとき、その座標環がH-等変コホモロジー環 $H_H^*(X;\mathbb{C})$ と同型となるアフィンスキームを構成する。

核心概念

1. 主配対群 (Principally Paired Groups)

定義: 複素線形代数群Hが主配対であるとは、そのLie代数 $\mathfrak{h}$ に対 $(e,h) \subset \mathfrak{h}$ が存在して以下を満たすことである：

$[h,e] = 2e$ であり、eは正則冪零元素
代数群準同型 $\phi: SL_2 \to H$ が存在して、その微分が正則冪零元素をeに写す

例:

簡約群（Jacobson-Morozov定理による）
放物部分群

2. 正則作用 (Regular Actions)

定義: 主配対群Hの光滑射影多様体X上への作用が正則であるとは、正則冪零元素 $u \in H$ が有限個の不動点を持つことである。

冪零元素は常に連結な不動点集合を持つため、正則作用は $X^u = \{o\}$ （ある $o \in X$ に対して）を意味する。

3. Kostant切断の一般化

一般的な主配対群Hに対して、Levi部分群 $L \subset H$ を選択して $H = N \rtimes L$ とする。ここでNはHの冪零根基である。正則冪零元素 $e \in H$ は $e = e_n + e_l$ （ $e_n \in \mathfrak{n}, e_l \in \mathfrak{l}$ ）に分解される。

一般化されたKostant切断は以下のように定義される： $S := e + C_{\mathfrak{l}}(f_l) \subset \mathfrak{h}$

ここで $(e_l, f_l, h_l)$ は $\mathfrak{l}$ 内の $sl_2$ -三元組である。

モデルアーキテクチャ

1. 全ベクトル場の構成

$\mathfrak{h} \times X$ 上に全ベクトル場 $V_{\mathfrak{h}}$ を定義する。任意の $y \in \mathfrak{h}$ に対して、その $\{y\} \times X$ 上への制限 $(V_{\mathfrak{h}})_y$ はyにより生成される無限小ベクトル場である。

2. 零スキームの定義

$V_S := V_{\mathfrak{h}}|_{S \times X}$ を全ベクトル場の $S \times X$ 上への制限とする。零スキーム $Z_S \subset S \times X$ は $V_S$ の零点スキームとして定義され、イデアル層 $V_S(\mathcal{O}_{S \times X}) \subset \mathcal{O}_{S \times X}$ により定義される部分スキームである。