[論文レビュー] The tight approximation property

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

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

ひとこと要約

本稿では、複素数または実数の曲線の関数体上の代数的多様体に対して、ユークリッド位相の制約を組み込んだ弱近似の改良版である「きつい近似性質」を導入する。この性質が安定なベッチ同型不変量であることを示し、ファイブレーションや torsor と整合する。有理的連結な多様体、たとえば滑らかな立方超曲面や同次空間に対してこの性質が成り立つことを証明し、実代数的曲線の近似問題や、指定されたジェットを持つファイブレーションのセクションに関する問題を解決する。

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.

研究の動機と目的

• ユークリッド位相からの位相的制約を組み込んだ弱近似の改良版である、新たな近似性質の定義と研究。
• きつい近似性質が安定なベッチ同型不変量であること、および線型代数的群のファイブレーションや torsor と整合することを確立する。
• 滑らかな立方超曲面や同次空間を含む、有理的連結多様体の主要クラスに対して、この性質が成り立つことを証明する。
• 実代数的幾何における、滑らかな写像を有理曲線でC∞近似するという未解決問題を解決する。
• 弱近似と有理曲線に関する既存の結果を統合・強化する、コhomologicalおよび幾何的枠組みを提供する。

提案手法

• 多様体の実または複素局所におけるアデール位相およびユークリッド位相の両方で近似が可能であるという条件として、きつい近似性質を定義する。
• G-可換な正則幾何学と変形理論を用いて、指定されたジェットを持つセクションを構成し、スティン性質とG安定近傍を利用する。
• Stone–Weierstrassの定理とC∞近似技術を適用して、実曲線から実多様体への滑らかな写像が有理曲線で近似可能であることを示す。
• G-可換なベクトルバンドルと正規バンドルを用いて、指定されたジェットデータを持つセクションの周囲で局所的バイホロモーフィズムとセクションの変形を構成する。
• 線型代数的群のtorsorにおける降下を、G-可換な分割と正則圏内での局所的逆写像の構成によって確立する。
• 未分岐コhomology理論と再帰的法則に依拠し、位相的障害が有理セクションの存在に関連することを関連付ける。

実験結果

リサーチクエスチョン

• RQ1 実曲線から実有理的連結多様体への滑らかなC∞写像は、実数上定義された有理曲線で近似可能か？
• RQ2 指定されたジェットデータを持つC∞セクションが存在することは、実または複素曲線の関数体上での有理セクションの存在を示唆するか？
• RQ3 きつい近似性質は、安定なベッチ同型同値、ファイブレーション、および線型代数的群のtorsor で保存されるか？
• RQ4 R上定義された次元≥2の滑らかな立方超曲面は、ユークリッド位相に関して弱近似を満たすか？
• RQ5 実曲線の関数体上での線型代数的群の同次空間は、位相的障害が消える場合に弱近似を満たすことが知られているか？

主な発見

• きつい近似性質は安定なベッチ同型不変量であり、滑らかで完全な多様体において、ベッチ同型同値で保存される。
• この性質はファイブレーションと整合する：底面と一般ファイバーで成り立つならば、全空間でも成り立つ。
• 線型代数的群のtorsor においても性質は保存され、既知の同次空間における弱近似の結果を拡張する。
• R上定義された次元≥2の滑らかな立方超曲面に対して、任意の実局所における滑らかなループはC∞で有理曲線で近似可能である。
• 実曲線の関数体上での線型代数的群の同次空間に対しては、実局所に指定されたジェットデータを持つC∞セクションが存在する場合、弱近似が成り立つ。
• 本稿では質問1.1に対して肯定的な答えを示す：有理的連結な実多様体への実曲線からの滑らかな写像は、それが立方超曲面、2つの二次曲面の交わり、または同次空間にベッチ同型である限り、有理曲線で近似可能である。