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

Spectrum of equivariant cohomology as a fixed point scheme

基本信息

论文ID: 2212.11836
标题: Spectrum of equivariant cohomology as a fixed point scheme
作者: Tamás Hausel, Kamil Rychlewicz (Institute of Science and Technology Austria)
分类: 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称为主配对的，如果其李代数h中包含一对 $(e,h) \subset \mathfrak{h}$ 满足：

$[h,e] = 2e$ 且e是正则幺零元素
存在代数群同态 $B(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}$ 定义的子格式。