[論文レビュー] Homogeneous spaces, algebraic $K$-theory and cohomological dimension of fields

Diego Munguía Izquierdo, Giancarlo Lucchini Arteche|arXiv (Cornell University)|Dec 11, 2018

Algebraic Geometry and Number Theory参考文献 14被引用数 4

ひとこと要約

本稿は、ミルナーK理論と同調空間からのノルム写像を用いて、体のコhomological次元を代数的幾何学的に精確に特徴づける。体がコhomological次元がq+1以下であるための必要十分条件は、任意の有限拡張LおよびL上の滑らかで線型的かつ連結な代数的群の同調空間Zに対して、Lのq番目のミルナーK群が、ZがL′に有理点をもつような有限拡張L′からのノルム写像の像によって生成されることである。これは、カトウとクズマキの誤りを含む予想を修正し、より洗練されたコhomologically完全な代替案を提供する。

ABSTRACT

Let $q$ be a non-negative integer. We prove that a perfect field $K$ has cohomological dimension at most $q+1$ if, and only if, for any finite extension $L$ of $K$ and for any homogeneous space $Z$ under a smooth linear connected algebraic group over $L$, the $q$-th Milnor $K$-theory group of $L$ is spanned by the images of the norms coming from finite extensions of $L$ over which $Z$ has a rational point. We also prove a variant of this result for imperfect fields.

研究の動機と目的

• カトウとクズマキの予想を一般化・是正する形で、体のコhomological次元を特徴づける未解決問題を解決すること。
• ミルナーK理論と同調空間上の有理点からのノルム写像を用いた、コhomological次元のディオファントス的特徴づけを提供すること。
• シュタインベルクの定理、ススリンのノルム全射性、p進体および数体に関するウィッテンバーグの結果など、既知のコhomological次元に関する結果を統合・一般化すること。
• 分離コhomological次元と再帰的群作用を用いて、非完備体に対しても特徴づけを拡張すること。
• 算術的手法を避けて、すべての体（関数体やローレンツ級数体を含む）に適用可能な、完全に代数的幾何学的証明戦略を構築すること。

提案手法

• 同調空間が有理点をもつ有限拡張からのノルム写像によって生成されるという条件によって定義される、新しい体の性質Cq^HS、Cq^PHS、Cq^Redを導入する。
• ノルム写像NL′/L: KM_q(L′) → KM_q(L)を用いて、このようなノルムの像によって生成される部分群Nq(Z/L)を定義する。
• 特にgerbeとtorsorの理論を用いた非アーベルコhomology技術を応用し、同調空間上の有理点を分析する。
• 制限-核心化の議論とSylow部分群の分解を用いて、問題を可解な安定化部分群に還元する。
• 安定化部分群が有限である同調空間に対するハッセの原理に関するデマルシュとルッキーニ・アルテーチェの結果を活用する。
• ハープァツとウィッテンバーグにインspiredされた帰納法および普遍torsor技術を用いて、重要な場合において複雑な非アーベルコhomologyを回避する。

実験結果

リサーチクエスチョン

• RQ1 有理点をもつ同調空間を持つ拡張からのノルム写像の全射性によって、完備体のコhomological次元が特徴づけられるか？
• RQ2 有理点をもつ同調空間からのノルム写像によって定義されるCq^HS性質は、コhomological次元がq+1以下である体を特徴づけるか？
• RQ3 非完備体への特徴づけはどのように拡張され、分離コhomological次元は果たしてどのような役割を果たすか？
• RQ4 カトウとクズマキのCq^i予想の失敗は、超曲面ではなく同調空間に制限することで回避可能か？
• RQ5 証明戦略を算術的手法を避けて、完全に代数的幾何学的ものにできるか、その範囲はどの程度か？

主な発見

• 完備体Kがコhomological次元がq+1以下であるための必要十分条件は、Cq^HS性質を満たすことである：任意のKの有限拡張LおよびL上の滑らかで線型的かつ連結な代数的群の同調空間Zに対して、Lのq番目のミルナーK群KM_q(L)は、Z(L′)が空でないようなLの有限拡張L′からのノルム写像の像によって生成される。
• 非完備体に対しては、再帰的群を用いて定義されるCq^Red性質が、分離コhomological次元がq+1以下であることを特徴づける：Kのすべての有限拡張が分離コhomological次元≤q+1をもつことと、再帰的群の主同調空間が有理点をもつ拡張からのノルム写像によってKM_q(L)が生成されることとは同値である。
• 本結果はシュタインベルクの定理を一般化する：Kが完備でコhomological次元≤1ならば、線型的かつ連結な群の下での任意の同調空間は、次数1のゼロサイクルをもつ。
• 本結果はススリンの定理を拡張する：特性0の体Kがコhomological次元≤2であることは、Kの任意の有限拡張LおよびK上の中心的単純代数Aに対して、A× → L× の削減ノルム写像が全射であることと同値である。
• 本結果はギレの結果を正標数に一般化する：コhomological次元の条件は、再帰的群のtorsorにおけるノルム写像の全射性と同値である。
• 証明は算術的手法を避け、gerbe、torsor、制限-核心化といった代数的幾何学的道具を用いるため、カトウ＝クズマキの予想が成立しないC((t))(x) や C((x,y)) などの体に対しても適用可能である。