[论文解读] Bia{\l}ynicki-Birula decomposition for reductive groups

Joachim Jelisiejew, Łukasz Sienkiewicz|arXiv (Cornell University)|May 29, 2018

Algebraic Geometry and Number Theory参考文献 22被引用 3

一句话总结

本文将经典的 Białynicki-Birula 分解从 $\mathbb{G}_m$-作用于光滑概形的情形推广到任意线性重新性群 $\mathbf{G}$ 作用于有限型概形和代数空间的情形。它引入了一种函子性构造，利用紧化幺半群 $\overline{\mathbf{G}}$ 来参数化 $\mathbf{G}$-等变的态射扩张，证明了其由局部有限型概形态射表示，并表明 Hilbert 概形中 Gröbner 单元的交集同构于仿射空间。

ABSTRACT

We generalize the Bia{\\l}ynicki-Birula decomposition from actions of $G_m$ on smooth varieties to actions of linearly reductive group ${\\bf G}$ on finite type schemes and algebraic spaces. We also provide a relative version and briefly discuss the case of algebraic stacks. We define the Bia{\\l}ynicki-Birula decomposition functorially: for a fixed ${\\bf G}$-scheme $X$ and a monoid $\\overline{\\bf G}$ which partially compactifies ${\\bf G}$, the BB decomposition parameterizes ${\\bf G}$-schemes over $X$ for which the ${\\bf G}$-action extends to the $\\overline{\\bf G}$-action. The freedom of choice of $\\overline{\\bf G}$ makes the theory richer than the $G_m$-case.

研究动机与目标

• 将经典的 Białynicki-Birula 分解从 $\mathbb{G}_m$-作用推广至任意线性重新性群 $\mathbf{G}$ 在有限型概形和代数空间上的作用。
• 为该分解提供一个函子性框架，使用 $\mathbf{G}$ 的部分紧化 $\overline{\mathbf{G}}$，推广 $\mathbb{G}_m$ 情形中 $\mathbb{A}^1$ 的作用。
• 在温和假设下（包括 $\overline{\mathbf{G}}$ 中存在零元），建立 Białynicki-Birula 函子 $\mathcal{D}_{X,\overline{\mathbf{G}}}$ 由局部有限型概形态射表示。
• 分析 Hilbert 概形中不同单项序下 Gröbner 单元的交集，表明其同构于仿射空间。

提出的方法

• 将 Białynicki-Birula 函子 $\mathcal{D}_{X,\overline{\mathbf{G}}}(S)$ 定义为所有 $\mathbf{G}$-等变态射 $\varphi: \overline{\mathbf{G}} \times S \to X$ 的集合，其中 $\mathbf{G}$ 通过左乘作用于 $\overline{\mathbf{G}}$，而平凡地作用于 $S$。
• 利用 $\overline{\mathbf{G}}$ 中零元的存在性与正规性假设，将其约化为一个含零元的连通幺半群，从而保证表示性。
• 通过形式论证与光滑性论证，证明函子 $\mathcal{D}_{X,\overline{\mathbf{G}}}$ 由局部有限型概形态射表示。
• 将该理论应用于 Hilbert 概形 $\mathcal{H} = \mathrm{Hilb}_d(\mathbb{A}^2)$，利用由不同单项序诱导的两个 $\mathbb{G}_m$-作用。
• 证明对应于同一单项理想的两个 Białynicki-Birula 单元的纤维积 $Z_1 \times_{\mathcal{H}} Z_2$ 通过从 $\mathbb{A}^2 \setminus \{0\}$ 到 $\mathbb{A}^2$ 的等变态射扩张，同构于一个仿射空间。
• 利用 $\mathcal{H}$ 的光滑性与等变提升性质，证明 $\mathbb{A}^2 \setminus \{0\}$ 上的族可唯一延拓至 $\mathbb{A}^2$，从而在 $\mathbb{A}^2$-紧化分解的单元与纤维积之间建立典范同构。

实验结果

研究问题

• RQ1 能否将 $\mathbb{G}_m$-作用下的经典 Białynicki-Birula 分解推广至任意线性重新性群 $\mathbf{G}$ 在有限型概形和代数空间上的作用？
• RQ2 当从 $\mathbb{G}_m$ 推广至 $\mathbf{G}$ 时，函子性描述中 $\mathbb{A}^1$ 的正确替代物是什么？
• RQ3 在何种条件下，Białynicki-Birula 函子 $\mathcal{D}_{X,\overline{\mathbf{G}}}$ 可由局部有限型概形态射表示？
• RQ4 在 $\mathbb{A}^2$ 上点的 Hilbert 概形中，对应于不同单项序但相同首项理想的两个 Białynicki-Birula 单元的交集具有何种几何结构？
• RQ5 有限个具有相同首项理想的 Gröbner 单元的交集是否同构于一个仿射空间？

主要发现

• 对于任意有限型 $\mathbf{G}$-概形 $X$，只要 $\mathbf{G}$ 连通且 $\overline{\mathbf{G}}$ 包含零元，则 Białynicki-Birula 函子 $\mathcal{D}_{X,\overline{\mathbf{G}}}$ 可由局部有限型概形态射表示。
• 在代数闭域上，每个含零元的正规幺半群 $\overline{\mathbf{G}}$ 都与一个含零元的连通幺半群 $\overline{\mathbf{N}}$ 等价，因此连通性与零元存在的假设并不具限制性。
• 在 Hilbert 概形 $\mathcal{H} = \mathrm{Hilb}_d(\mathbb{A}^2)$ 中，对应于同一单项理想的两个 Białynicki-Birula 单元 $Z_1$ 与 $Z_2$ 的交 $Z_1 \times_{\mathcal{H}} Z_2$ 同构于一个仿射空间。
• 该交集的维数为 $\dim_k \mathrm{Hom}(M, S/M)_{\geq 0, \geq 0}$，即在单项理想 $[M]$ 处切空间的非负分量的维数。
• 该结果可推广至任意多个具有相同首项理想的此类单元的交集，所有交集均同构于仿射空间。
• 纤维积 $Z_1 \times_{\mathcal{H}} Z_2$ 与 $\mathbb{A}^2$-紧化分解中单元之间的典范同构，源于从 $\mathbb{A}^2 \setminus \{0\}$ 到 $\mathbb{A}^2$ 的唯一 $\mathbb{G}_m \times \mathbb{G}_m$-等变态射的延拓。