[论文解读] Algebraic models of the Euclidean plane

Jérémy Blanc, Adrien Dubouloz|arXiv (Cornell University)|Aug 27, 2017

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文引入了实对数Kodaira维数，这是一种新的双有理不变量，可用于区分光滑实代数曲面在双有理微分同胚下的分类。通过构造具有平凡有理同调且实点集微分同胚于R²的有理实代数曲面的无限族，作者证明了欧氏平面存在无穷多个非双有理微分同胚的模型——这与紧致情形相反——从而回答了关于Kodaira维数为0、1和2的虚假实平面的一个关键问题。

ABSTRACT

We introduce a new invariant, the real (logarithmic)-Kodaira dimension, that allows to distinguish smooth real algebraic surfaces up to birational diffeomorphism. As an application, we construct infinite families of smooth rational real algebraic surfaces with trivial homology groups, whose real loci are diffeomorphic to $\mathbb{R}^2$, but which are pairwise not birationally diffeomorphic. There are thus infinitely many non-trivial models of the euclidean plane, contrary to the compact case.

研究动机与目标

• 解决关于是否存在无穷多个非双有理微分同胚的实代数模型的开放问题，这些模型是欧氏平面R²的双有理微分同胚形式。
• 定义实对数Kodaira维数并证明其在双有理微分同胚下不变，这是经典Kodaira维数所不具备的性质。
• 为每个Kodaira维数κ = 0, 1, 2，显式构造具有平凡有理同调且实点集微分同胚于R²的有理实代数曲面族。
• 证明当κ = 1和2时，此类模型可具有拓扑上可缩的复化，从而强化了极小性的概念。
• 对一般型虚假实平面的非平凡实形式进行分类，表明即使复化同构，实结构的非同构性仍可保持。

提出的方法

• 基于光滑射影完成的SNC边界上的典范除子，为光滑仿射实曲面S定义实对数Kodaira维数κR(S)。
• 通过分析典范除子在实双有理映射下的行为，证明κR(S)在双有理微分同胚下不变，而经典Kodaira维数不具备此性质。
• 通过在实点处迭代进行实爆破，构造曲面Si = Vi \\(Γi ∪ Tp0(Γi) ∪ ⋃ Ej)，以精确控制边界曲线Γi及其切线的总提升。
• 利用条件4b − a = ±1，确保总提升中系数关系满足要求，从而实现对典范除子乃至Kodaira维数的控制。
• 利用射影变换θ: [x:y:z] ↦ [x+iy:x−iy:z/2]，证明S1和S2的复化同构，尽管其实结构不同构。
• 应用关于Q-无瑕曲面和可缩复化的已知结果，验证所构造的曲面为具有平凡有理同调的虚假实平面。

实验结果

研究问题

• RQ1 是否存在无穷多个有理实代数曲面S，满足有理同调平凡，且S(R) ≅ R²，但S不与A²_R双有理微分同胚？
• RQ2 实对数Kodaira维数能否区分在C上双有理等价但在R上不等价的实代数曲面？
• RQ3 是否存在Kodaira维数为1或2的虚假实平面，其复化为拓扑可缩？
• RQ4 当复化同构时，一般型虚假实平面的实形式在双有理微分同胚下如何表现，尤其是其行为特征？
• RQ5 实Kodaira维数能否以类似于经典Kodaira维数的方式计算？在自然几何条件下，它是否能恢复经典值？

主要发现

• 实对数Kodaira维数κR(S)在双有理微分同胚下不变，为区分实代数曲面提供了新工具。
• 对每个κ ∈ {0,1,2}，存在无穷多个光滑有理实代数曲面S，满足有理同调平凡˜Hi(SC;Q)且S(R) ≅ R²，且两两之间不双有理微分同胚。
• 当κ = 1和2时，所构造的曲面可被选择为使得其复化SC为拓扑可缩，满足强极小性条件。
• Kodaira维数为0的虚假实平面S1满足κR(S1) = −∞，且双有理微分同胚于A²_R；而Kodaira维数为2的S2满足κR(S2) = 2，且不双有理微分同胚于A²_R。
• S1和S2的复化通过变换θ同构，但其实结构非同构，表明即使复化等价，实形式仍可为奇异的。
• 通过迭代实爆破并施加系数条件4b − a = ±1，可精确控制典范除子，从而控制实Kodaira维数。