[論文レビュー] A^1-connected components of ruled surfaces

Chetan Balwe, Anand Sawant|arXiv (Cornell University)|Nov 13, 2019

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

ひとこと要約

本稿では、代数閉体の標数 0 における genus >0 の曲線の上に有理的ルールドである smooth な projective 表面 X に対して、sheaf of 𝔸¹-連結成分 𝝅₀^{𝔸¹}(X) が 𝔸¹-不変であることを証明する。代数幾何的技法（吹き上げ、ゴーストホモトピー、Nisnevich sheaf 理論を含む）を用いて、著者らはこの sheaf が 𝔸¹-鎖ホモトピー関手の非自明な反復から生じることを確立し、この設定における Morel の予想を裏付ける。

ABSTRACT

A conjecture of Morel asserts that the sheaf of $\mathbb A^1$-connected components of a space is $\mathbb A^1$-invariant. Using purely algebro-geometric methods, we determine the sheaf of $\mathbb A^1$-connected components of a smooth projective surface, which is birationally ruled over a curve of genus $>0$. As a consequence, we show that Morel's conjecture holds for all smooth projective surfaces over an algebraically closed field of characteristic $0$.

研究の動機と目的

• 代数閉体の標数 0 における smooth な projective 表面 X に対して、sheaf of 𝔸¹-連結成分 𝝅₀^{𝔸¹}(X) が 𝔸¹-不変であるという Morel の予想を検証すること。
• genus >0 の曲線の上に有理的ルールドである smooth な projective 表面 X に対して、𝝅₀^{𝔸¹}(X) の構造を特定すること。
• 𝝅₀^{𝔸¹}(X) が 𝒮(X) 自身と同型でない、むしろ 𝔸¹-鎖ホモトピー関手 𝒮(X) の非自明な反復から生じることを示すこと。
• Morel の予想のもとで、自然な写像 𝝅₀^{𝔸¹}(X) → ℒ(X) が同型であることを確立し、また ℒ(X) がいつ 𝒮ⁿ(X) に安定化するかを調査すること。

提案手法

• 著者らは、特に genus >0 の曲線の上にルールドである表面に注目し、吹き上げと有理写像を用いて 𝔸¹-連結成分を分析する代数幾何的技法を用いる。
• ゴーストホモトピーと吹き上げへの上げの構成を通じて、明示的な 𝔸¹-ホモトピーを構築し、ホモトピックな準同型が連続的に繰り返し吹き上げの上に持ち上がることを示す。
• 証明は、吹き上げの回数に関する帰納法に依拠し、表面の複雑さを段階的に減少させることで、最小モデルに帰着する。
• 主要な技術的道具は、ℙ¹_C の繰り返し吹き上げによって得られる smooth かつ projective な表面 X′′ の構成であり、𝝅₀^{𝔸¹}(X′′) が smooth henselian スキームからの準同型のホモトピー類を捉える。
• 𝝅₀^{𝔸¹}(X) を記述するために、関手 U ↦ Hom_{ℋ(k)}(U,X) の Nisnevich sheaf を用い、持ち上げ性質を通じてそれが 𝔸¹-不変であることを示す。
• 有理関数 x^a/y^b が ℙ¹_C への準同型を定め、それらのスペクトルスキームへの引き戻しが正則であることから、ホモトピーの持ち上げ可能性が保証されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 代数閉体の標数 0 における smooth な projective 表面 X に対して、sheaf of 𝔸¹-連結成分 𝝅₀^{𝔸¹}(X) は 𝔸¹-不変のままであるか？
• RQ2 genus >0 の曲線の上に有理的ルールドである smooth な projective 表面 X に対して、𝝅₀^{𝔸¹}(X) の正確な構造は何か？
• RQ3 𝝅₀^{𝔸¹}(X) が何らかの有限 n に対して 𝒮ⁿ(X) と同型であるか？ もしそうならば、最小の such n は何か？
• RQ4 Morel の予想のもとで、universal 𝔸¹-不変商の自然な写像 𝝅₀^{𝔸¹}(X) → ℒ(X) は同型のままであるか？
• RQ5 このような表面に対して、Morel-Voevodsky の singular 構成 Sing*^{𝔸¹}X は 𝔸¹-局所的であるか、それとも 𝔸¹-局所的でないか？

主な発見

• 代数閉体の標数 0 におけるすべての smooth な projective 表面 X に対して、sheaf of 𝔸¹-連結成分 𝝅₀^{𝔸¹}(X) は 𝔸¹-不変である。
• genus >0 の曲線の上に有理的ルールドである smooth な projective 表面 X に対して、𝝅₀^{𝔸¹}(X) はある n ≥ 2 に対して 𝒮ⁿ(X) と同型であり、sheaf が 𝔸¹-鎖ホモトピー関手の非自明な反復から生じることを示す。
• 𝒯ⁿ(X) ≅ 𝝅₀^{𝔸¹}(X) を満たす最小の n は、このような表面に対して n ≤ 2 を満たす。これは、安定化が最大でも第二反復目までに達することを示唆する。
• Morel の予想が成り立つならば、自然な写像 𝝅₀^{𝔸¹}(X) → ℒ(X) は同型であり、本研究で検討されたクラスの表面に対してそれが確認された。
• このような表面の非最小モデルに対して、Morel-Voevodsky の singular 構成 Sing*^{𝔸¹}X は 𝔸¹-局所的でない。これは 𝒮(X) ≅ 𝒮²(X) が成り立たないことで示される。
• 代数閉体の標数 0 における smooth な projective 表面に対して、sheaf 𝝅₀^{𝔸¹}(X) は、X が有理的（rational）である場合にかつその場合にのみ、自明（一点）である。