[论文解读] Projective linear configurations via non-reductive actions

Brent Doran, Noah Giansiracusa|arXiv (Cornell University)|Jan 3, 2014

Finite Group Theory Research参考文献 24被引用 5

一句话总结

本文通过利用可解群作用对仿射空间进行非半单几何不变量理论（GIT）商，构建了射影空间沿线性子空间的迭代爆破的代数统一化。它以算法方式完整描述了考克斯环作为两个有限生成环的交集，为超曲面模的几何与拓扑解释提供了依据，并将 Hu-Keel 猜想在 $\bar{M}_{0,n}$ 情形下作为希尔伯特第14题关于 $\bar{G}_a$ 的一个特例予以解决。

ABSTRACT

We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just algebraic line bundles, we construct an "algebraic uniformization": X is a quotient of affine space by a solvable group action. This provides a clean dictionary, using a single coordinate system, between the algebra and geometry of hypersurfaces: effective divisors are characterized via toric and invariant-theoretic techniques. In particular, the Cox ring is an invariant subring of a Pic(X)-graded polynomial ring and it is an intersection of two explicit finitely generated rings. When all linear subspaces are points, this recovers a theorem of Mukai while also giving it a geometric proof and topological intuition. Consequently, it is algorithmic to describe Cox(X) up to any degree, and when Cox(X) is finitely generated it is algorithmic to verify finite generation and compute an explicit presentation. We consider in detail the special case of $\overline{M}_{0,n}$. Here the algebraic uniformization is defined over the integers. It admits a natural modular interpretation, and it yields a precise sense in which $\overline{M}_{0,n}$ is "one non-linearizable $\mathbb{G}_a$ away" from being a toric variety. The Hu-Keel question becomes a special case of Hilbert's 14th problem for $\mathbb{G}_a$.

研究动机与目标

• 为沿线性子空间的 $\bar{P}^r$ 的迭代爆破提供几何与算法描述考克斯环。
• 通过可解群作用，建立此类爆破的非半单几何不变量理论（GIT）商结构。
• 通过 $\bar{A}^1$-同伦与不变量理论，恢复并几何解释 Mukai 关于爆破点处考克斯环的定理。
• 将 $\bar{M}_{0,n}$ 作为 $\bar{G}_a$-变形的模形式与算术解释，视其为一个 тор簇的变形。
• 证明 $\bar{M}_{0,n}$ 的 Hu-Keel 猜想是希尔伯特第14题关于 $\bar{G}_a$-作用的一个特例。

提出的方法

• 用由 $\bar{A}^1$-纤维丛构成的 $\bar{A}^1$-同伦等价模型替代普遍 torsor，而不仅限于线丛。
• 通过 $\bar{G}_a^t \rtimes \bar{G}_m^{s+1}$ 作用在仿射空间上构造可解群作用，其中 $t = n - r - 1$，$n$ 为线性子空间的总维数。
• 利用矩阵 $A$ 导出的线性投影 $\bar{P}^{r+t} \dashrightarrow \bar{P}^r$，其核定义了群 $G = \ker A \subseteq \bar{G}_a^n$。
• 将爆破之间的有理映射上拉至更大爆破 $X'$ 的普遍 torsor 上的 $G$-作用，并将其延拓至仿射空间 $\operatorname{Spec} \operatorname{Cox}(X')$。
• 证明 $G$-作用在 codimension 二子集之外诱导出 torsor 结构，因此 $X \cong \operatorname{Spec} \operatorname{Cox}(X')^{G}$。
• 将考克斯环 $\operatorname{Cox}(X)$ 表示为 $\operatorname{Cox}(X')$ 与 $G$-作用在例外除子余集上的线性不变量环的交集。

实验结果

研究问题

• RQ1 如何算法化地描述沿线性子空间的 $\bar{P}^r$ 的迭代爆破的考克斯环？
• RQ2 此类爆破在何种意义上是“几乎 toric”的？如何对此进行量化？
• RQ3 $\bar{M}_{0,n}$ 能否被理解为通过非半单群作用对 toric 变量进行变形？
• RQ4 通过 $\bar{A}^1$-同伦实现的代数统一化如何与超曲面及其有理等价类的几何相关联？
• RQ5 $\bar{M}_{0,n}$ 的 Hu-Keel 猜想是否是希尔伯特第14题关于 $\bar{G}_a$-作用的一个特例？

主要发现

• 沿 $s$ 个线性子空间的 $\bar{P}^r$ 的爆破 $X$ 同构于 $\bar{A}^{r+s+t+1}$ 关于 $\bar{G}_a^t \rtimes \bar{G}_m^{s+1}$ 的非半单几何不变量理论（GIT）商，其中 $t = n - r - 1$，$n$ 为子空间的总维数。
• 考克斯环 $\operatorname{Cox}(X)$ 是两个有限生成环的交集：$\operatorname{Cox}(X')$ 与 $G$-作用在例外除子余集上的线性不变量环。
• 当所有子空间为点时，该构造恢复了 Mukai 定理，并提供了几何与拓扑证明，精确说明了 $\bar{M}_{0,n}$ 在“一个非可线性化 $\bar{G}_a$ 的距离”内是 toric 的。
• 代数统一化在 $\operatorname{Spec} \mathbb{Z}$ 上定义，为 $\bar{M}_{0,n}$ 提供了自然的模解释。
• 该方法具有算法性：可对任意次数显式计算 $\operatorname{Cox}(X)$，当其有限生成时，可提供验证有限生成性与计算表示式的算法。
• 该构造通过可解群作用将 $X$ 实现为仿射空间的商，利用 toric 与不变量理论技术，为有效除数提供了清晰的代数-几何字典。