[论文解读] Factorial threefolds with Ga-actions

Adrien Dubouloz, David R. Finston+1 more|ArXiv.org|Feb 23, 2009

Algebraic Geometry and Number Theory参考文献 12被引用 4

一句话总结

本文研究了在 $\mathbb{A}^4$ 中由方程 $x^m v - y^n u = 1$ 定义的阶乘三叉簇，这些簇具有自由的 $\mathbb{G}_a$-作用，并且是 $\mathbb{A}^2_*$ 上非同构的 $\mathbb{G}_a$-丛的全空间。尽管丛结构不同，但其中一些簇被证明作为抽象簇是同构的，这使得它们是否构成仿射取消问题的反例仍处于开放状态。

ABSTRACT

The affine cancellation problem, which asks whether complex affine varieties with isomorphic cylinders are themselves isomorphic, has a positive solution for two dimensional varieties whose coordinate rings are unique factorization domains, in particular for the affine plane, but counterexamples are found within normal surfaces Danielewski surfaces and factorial threefolds of logarithmic Kodaira dimension equal to 1. The latter are therefore remote from the affine three-space, the first unknown case where the base of one cylinder is an affine space. Locally trivial Ga-actions play a significant role in these examples. Threefolds admitting free Ga-actions are discussed, especially a class of varieties with negative logarithmic Kodaira dimension which are total spaces of nonisomorphic Ga-bundles. Some members of the class are shown to be isomorphic as abstract varieties, but it is unknown whether any members of the class constitute counterexamples to cancellation.

研究动机与目标

• 分析在 $\mathbb{A}^4$ 中由 $x^m v - y^n u = 1$ 定义的阶乘三叉簇 $X_{m,n}$ 的结构与不变量，这些簇具有自由的 $\mathbb{G}_a$-作用。
• 研究这些簇，它们是 $\mathbb{A}^2_*$ 上非同构 $\mathbb{G}_a$-丛的全空间，是否可作为仿射取消问题的反例。
• 探讨 $\mathbb{G}_a$-作用的局部平凡性与商空间几何之间的关系，特别是在阶乘簇的背景下。
• 通过 $\mathbb{G}_m$-丛结构和 Picard 群的平凡性，建立某些 $X_{f,g}$ 与 $X_{m,n}$ 之间的同构关系。

提出的方法

• 作者将 $X_{m,n} \subset \mathbb{A}^4$ 定义为 $x^m v - y^n u - 1$ 的零点集，该集合在 $\mathbb{G}_a$-作用 $t \cdot (x,y,u,v) = (x,y,u + t x^m, v + t y^n)$ 下保持不变。
• 他们利用局部幂零导子理论和 $\mathbb{G}_a$-不变环来分析几何商，并通过截面环的整闭包将商空间构造为拟仿簇。
• 该构造涉及定义 $R_i = \mathbb{C}[X, \delta(a_i)^{-1}]^{\mathbb{G}_a}$，并形成由这些生成的环的整闭包 $R$，以获得商结构。
• 通过证明两者都是同构仿射曲面 $S_{d,m}$ 上的 $\mathbb{G}_m$-丛，并利用其 Picard 群的平凡性，论文建立了 $X_{f,g}$ 与 $X_{m,n}$ 之间的同构关系。
• 应用 Gizatullin 对有理曲面的分类，将 $\mathbb{F}_{|m-n|} \setminus \Delta_{m,n}$ 识别为同构于 $\mathbb{F}_{|m-n|} \setminus \Delta_{f,g}$，从而构造了纤维积 $Z = X_{m,n} \times_{S_{d,m}} X_{f,g}$。
• 由于 $X_{m,n}$ 和 $X_{f,g}$ 的 Picard 群平凡，因此它们上的 $\mathbb{G}_m$-丛是平凡的，从而导出同构关系 $X_{m,n} \times \mathbb{A}^1_* \cong X_{f,g} \times \mathbb{A}^1_*$，该同构可下降为 $X_{m,n} \cong X_{f,g}$。

实验结果

研究问题

• RQ1 对于不同的 $(m,n)$ 对，由 $x^m v - y^n u = 1$ 定义的阶乘三叉簇 $X_{m,n}$ 是否作为抽象簇同构，尽管它们是 $\mathbb{A}^2_*$ 上非同构的 $\mathbb{G}_a$-丛？
• RQ2 鉴于它们的柱面同构，$X_{m,n}$ 是否可作为仿射取消问题的反例？
• RQ3 $\mathbb{G}_a$-作用在决定几何商结构和坐标环不变量方面起什么作用？
• RQ4 $X_{f,g}$ 和 $X_{m,n}$ 上的 $\mathbb{G}_m$-作用如何与商曲面的结构以及三叉簇之间的同构关系相关？
• RQ5 在有理曲面如 $\mathbb{F}_{|m-n|}$ 中，截面的自交数在多大程度上决定了相应 $\mathbb{G}_a$-丛的同构类？

主要发现

• 这些簇 $X_{m,n}$ 是具有自由 $\mathbb{G}_a$-作用的阶乘三叉簇，是 $\mathbb{A}^2_*$ 上非同构 $\mathbb{G}_a$-丛的全空间，这由 $H^1(\mathbb{A}^2_*, \mathcal{O})$ 中不同的 Čech 上链所证实。
• 对于不同的 $(m,n)$ 对，$X_{m,n}$ 作为 $\mathbb{G}_a$-丛是非同构的，但某些作为抽象代数簇是同构的，这是由于商结构同构且 Picard 群平凡所致。
• $X_{m,n}$ 在 $\mathbb{G}_m$-作用下的商同构于有理曲面 $\mathbb{F}_{|m-n|}$ 中自交数为 $m+n$ 的截面的补集，这是分类中的关键不变量。
• 当 $X_{f,g}$ 和 $X_{m,n}$ 都是同构仿射曲面 $S_{d,m}$ 上的 $\mathbb{G}_m$-丛时，它们作为抽象簇同构，这通过其 Picard 群的平凡性得以确立。
• 纤维积 $Z = X_{m,n} \times_{S_{d,m}} X_{f,g}$ 是 $X_{m,n}$ 和 $X_{f,g}$ 上的平凡 $\mathbb{G}_m$-丛，从而导出同构关系 $X_{m,n} \times \mathbb{A}^1_* \cong X_{f,g} \times \mathbb{A}^1_*$，该同构可下降为 $X_{m,n} \cong X_{f,g}$。
• 在 $\mathbb{F}(m,n)$ 中，截面 $\Delta_{f,g}$ 的自交数为 $m+n$，该不变量决定了补集曲面的同构类，这对建立 $X_{f,g}$ 与 $X_{m,n}$ 之间的同构关系至关重要。