[论文解读] Algebraic vector bundles on the 2-sphere and smooth rational varieties with infinitely many real forms

Adrien Dubouloz, Gene Freudenburg+1 more|arXiv (Cornell University)|Jul 16, 2018

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

一句话总结

本文通过代数化2-球面上的拓扑向量丛，构造了具有无穷多个两两非同构实形式的光滑有理实仿射四fold。证明了 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$ 通过复化秩-2向量丛的代数模型，具有可数无穷多个实形式，填补了在具有无穷多个实形式的有理簇分类中的空白。

ABSTRACT

We construct smooth rational real algebraic varieties of every dimension $\\ge$ 4 which admit infinitely many pairwise non-isomorphic real forms.

研究动机与目标

• 为解决光滑有理实代数簇是否可具有无穷多个两两非同构实形式这一开放问题。
• 在维度 ≥4 中显式构造此类簇的例子，填补先前关于非有理簇结果留下的空白。
• 证明尽管 $\mathbb{S}^2$ 和 $\mathbb{A}^2_{\mathbb{R}}$ 各自仅有有限多个实形式，其积 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$ 仍具有无穷多个实形式。
• 通过具有对数一般型的簇，将构造推广至更高维度，同时保持无穷实形式的性质。

提出的方法

• 在实2-球面 $\mathbb{S}^2$ 上构造秩为2的代数向量丛 $p_n: V_n \to \mathbb{S}^2$，其模型基于由 $\mathcal{O}_{\mathbb{CP}^1}(n)$ 分类的拓扑实向量丛。
• 证明所有复化 $V_{n,\mathbb{C}}$ 同构于平凡丛 $\mathbb{S}_{\mathbb{C}}^2 \times \mathbb{A}^2_{\mathbb{C}}$，从而确保全空间的复同构性。
• 利用 $V_n$ 作为实代数簇两两非同构（尽管在 $\mathbb{S}^2$ 上局部同构）的事实，生成 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$ 的不同实形式。
• 应用 Iitaka-Fujita 强消去定理，证明任意 $V_n \times X$ 与 $V_m \times X$ 之间的同构必为在 $X$ 上的纤维同构，从而当 $X_{\mathbb{C}}$ 的自同构群平凡时，必有 $n = m$。
• 通过取与具有对数一般型且 $\mathrm{Aut}(X_{\mathbb{C}})$ 平凡的光滑有理实仿射簇 $X$ 的积，来改进构造，确保实形式的无穷多组互异。

实验结果

研究问题

• RQ1 光滑有理实代数簇是否可具有无穷多个两两非同构的实形式？
• RQ2 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$ 的实形式是否可由 $S^2$ 上拓扑向量丛的代数模型实现？
• RQ3 能否通过具有对数一般型的簇，将无穷多个实形式的构造推广至4维以上？
• RQ4 复化自同构群在区分积的实形式中起什么作用？
• RQ5 具有无穷多个实形式的性质是否在与对数一般型有理簇的积下保持不变？

主要发现

• 光滑有理实仿射四fold $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}}$ 至少具有可数无穷多个两两非同构的实形式。
• 这些实形式作为 $\mathbb{S}^2$ 上秩2代数向量丛 $V_n$ 的全空间实现，且对所有 $n \geq 0$ 满足 $V_{n,\mathbb{C}} \cong \mathbb{S}_{\mathbb{C}}^2 \times \mathbb{A}^2_{\mathbb{C}}$。
• 尽管 $V_n$ 在 $\mathbb{S}^2$ 上局部同构，但其底层实向量丛的非平凡拓扑分类导致它们作为实代数簇两两非同构。
• 对每个 $d \geq 4$，存在维度为 $d$ 的光滑有理实仿射簇，至少具有可数无穷多个两两非同构的实形式。
• 该构造可推广至 $\mathbb{S}^2 \times \mathbb{A}^2_{\mathbb{R}} \times X$，其中 $X$ 为光滑有理实仿射簇，且 $X_{\mathbb{C}}$ 为对数一般型、$\mathrm{Aut}(X_{\mathbb{C}})$ 平凡，从而产生无穷多个实形式。
• 对应于 $V_n$ 的 $\mathbb{S}_{\mathbb{C}}^2 \times \mathbb{A}_{\mathbb{C}}^2$ 上的实结构，当 $n \neq m$ 时，不等价于 $V_m$ 的实结构，从而确认了实形式的非同构性。