[论文解读] The tight approximation property

Olivier Benoist, Olivier Wittenberg|arXiv (Cornell University)|Jul 25, 2019

Algebraic Geometry and Number Theory参考文献 63被引用 2

一句话总结

本文引入了紧致逼近性质，这是复或实曲线函数域上代数簇的弱逼近性质的改进，结合了欧氏拓扑约束。该性质被证明是稳定双有理不变量，与纤维化和主丛相容，并证明其对有理连通簇（如光滑三次超曲面和齐次空间）成立，从而解决了实代数曲线上的逼近问题以及具有指定喷射的纤维化截面问题。

ABSTRACT

This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological obstructions to it) by incorporating an approximation condition in the Euclidean topology. We prove that the tight approximation property is a stable birational invariant, is compatible with fibrations, and satisfies descent under torsors of linear algebraic groups. Its validity for a number of rationally connected varieties follows. Some concrete consequences are: smooth loops in the real locus of a smooth compactification of a real linear algebraic group, or in a smooth cubic hypersurface of dimension at least 2, can be approximated by rational algebraic curves; homogeneous spaces of linear algebraic groups over the function field of a real curve satisfy weak approximation.

研究动机与目标

• 定义并研究一种新的逼近性质，通过引入欧氏拓扑的约束来改进弱逼近。
• 将紧致逼近性质确立为稳定双有理不变量，并证明其与线代数群的纤维化和主丛相容。
• 证明该性质对关键类别的有理连通簇（包括实或复曲线上光滑三次超曲面和齐次空间）成立。
• 解决实代数几何中关于光滑映射通过实有理曲线逼近的C∞逼近的开放问题。
• 提供一个统一并强化现有弱逼近与有理曲线结果的上同调与几何框架。

提出的方法

• 将紧致逼近性质定义为在簇的实或复点集上，同时在 adelic 拓扑与欧氏拓扑中实现逼近的条件。
• 利用 G-等变全纯几何与形变理论构造具有指定喷射的截面，借助 Stein 性质与 G-稳定邻域。
• 应用 Stone–Weierstrass 定理与 C∞-逼近技术，证明从实曲线到实簇的光滑映射可被有理曲线逼近。
• 使用 G-等变向量丛与法丛，在具有指定喷射数据的截面附近构造局部双全纯同构与截面形变。
• 通过构造 G-等变分裂与全纯范畴中的局部逆元，建立线代数群主丛下的下降性质。
• 依赖无分支上同调与互反律理论，将拓扑障碍与有理截面的存在性联系起来。

实验结果

研究问题

• RQ1 从实曲线到实有理连通簇的光滑 C∞-映射能否被定义在实数上的有理曲线逼近？
• RQ2 若存在具有指定喷射数据的 C∞-截面，是否意味着在实或复曲线的函数域上存在有理截面？
• RQ3 紧致逼近性质是否在稳定双有理等价、纤维化与线代数群主丛下保持不变？
• RQ4 维数 ≥2 的实数上光滑三次超曲面是否在欧氏拓扑下满足弱逼近？
• RQ5 当拓扑障碍消失时，实曲线函数域上线性代数群的齐次空间是否已知满足弱逼近？

主要发现

• 紧致逼近性质是稳定双有理不变量，即对光滑射影簇而言，在双有理等价下保持不变。
• 该性质与纤维化相容：若其在基与一般纤维上成立，则在全空间上也成立。
• 该性质在线代数群主丛下保持不变，扩展了齐次空间弱逼近的已知结果。
• 对于实数上维数 ≥2 的光滑三次超曲面，其实点集中的任意光滑环路均可被 C∞-逼近于有理曲线。
• 对于实曲线函数域上线性代数群的齐次空间，若实点集允许具有指定喷射数据的 C∞-截面，则弱逼近成立。
• 本文证明了问题 1.1 的正解：只要簇双有理等价于三次超曲面、两二次曲面的交集或齐次空间，从实曲线到实有理连通簇的光滑映射即可被有理曲线逼近。