[論文レビュー] Homotopy sections and rational points on algebraic varieties

Ambrus Pál|arXiv (Cornell University)|Feb 8, 2010

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

ひとこと要約

本稿では、p進体および全球体上の代数的多様体の有理点のホモトピー同値性を定義するため、相対的なエタールホモトピー型を導入する。p進体上では、有理点がホモトピー同値であることとエタール・ブラウアー同値であることとは同値であり、実数体上では同じ連結成分に属する場合に限って成り立つ。数体上では、一般化されたチャトーイユ表面に対して、ホモトピー同値関係は他の既知の同値関係よりも厳密に細かくなる。

ABSTRACT

It is possible to talk about the etale homotopy equivalence of rational points on algebraic varieties by using a relative version of the etale homotopy type. We show that over $p$-adic fields rational points are homotopy equivalent in this sense if and only if they are etale-Brauer equivalent. We also show that over the real field rational points on projective varieties are etale homotopy equivalent if and only if they are in the same connected component. We also study this equivalence relation over number fields and prove that in this case it is finer than the other two equivalence relations for certain generalised Châtelet surfaces.

研究の動機と目的

• 代数的多様体の有理点のホモトピー同値性を研究するため、エタールホモトピー型の相対的バージョンを定義すること。
• p進体上の多様体の有理点がこのホモトピー同値関係のもとでどのように関係するかを調査すること。
• 実数体上の有理点のホモトピー同値性とその連結成分との関係を特定すること。
• 数体上でのホモトピー同値関係と既存の同値関係（特にエタール・ブラウアー同値性）を比較すること。
• 数体上の一般化されたチャトーイユ表面におけるホモトピー同値関係の強さを分析すること。

提案手法

• 有理点のホモトピー的性質を比較するため、相対的エタールホモトピー型を構成する。
• p進体上の多様体の有理点を研究するために、エタールホモトピー型の理論を適用する。
• エタール基本群とコhomオロジー的不変量の構造を用いて、実数体上での連結成分を分析する。
• コhomオロジー的障害とブラウアー＝ミンの障害を用いて、ホモトピー同値関係とエタール・ブラウアー同値関係を比較する。
• 数体上の一般化されたチャトーイユ表面を研究し、ホモトピー同値関係が他の既知の関係よりも厳密に細かくなることを示す。

実験結果

リサーチクエスチョン

• RQ1 p進体上の代数的多様体の有理点が、相対的エタールホモトピー型の意味でいつホモトピー同値となるか？
• RQ2 実数体上の有理点のホモトピー同値性は、その位相的連結成分とどのように関係するか？
• RQ3 数体上では、ホモトピー同値関係が特定の多様体に対してエタール・ブラウアー同値関係よりも厳密に細かくなるか？
• RQ4 コhomオロジー的不変量とブラウアー群は、ホモトピー同値関係のもとで有理点を区別するために果たす役割は何か？
• RQ5 数体上の一般化されたチャトーイユ表面は、新しいホモトピー同値関係のもとでどのように振る舞うか？

主な発見

• p進体上では、有理点がホモトピー同値であることとエタール・ブラウアー同値であることとは同値である。
• 実数体上では、射影的多様体の有理点がホモトピー同値であるのは、同じ連結成分に属する場合に限る。
• 数体上では、特定の一般化されたチャトーイユ表面に対して、ホモトピー同値関係はエタール・ブラウアー同値関係よりも厳密に細かくなる。
• 相対的エタールホモトピー型は、従来の同値関係よりも強い不変量を提供し、有理点を区別する新たな手段をもたらす。
• 結果として、ホモトピー論的アプローチが、単独のコhomオロジー的またはブラウアー理論的アプローチよりも、有理点におけるより細かい算術的差を検出できることを示している。