[論文レビュー] Grothendieck's theorem on non-abelian H^2 and local-global principles

Yuval Z. Flicker, Claus Scheiderer+1 more|ArXiv.org|Mar 24, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 8

ひとこと要約

この論文は、コhomological次元が1のperfectな体上の非アーベルH²コホモロジー集合の自明性に関するグロテンディークの定理を、仮想コホモロジー次元が1の形式的に実数である体へ一般化する。実スペクトルにおける順序についての局所的・大域的原理を用いて、H²類が、ある稠密部分集合におけるすべての順序についてその実閉包において自明になるときかつそのときに限り自明であることを証明する。これによりグロテンディークの元々の結果の新しい証明が得られ、同型空間への応用も示す。

ABSTRACT

A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of this theorem. The generalization -- to the context of perfect fields of virtual cohomological dimension one -- takes the form of a local-global principle for the H^2-sets with respect to the orderings of the field. This principle asserts in particular that an element in H^2 is neutral precisely when it is neutral in the real closure with respect to every ordering in a dense subset of the real spectrum of k. Our techniques provide a new proof of Grothendieck's original theorem. An application to homogeneous spaces over k is also given.

研究の動機と目的

• 仮想コホモロジー次元1の形式的に実数である体への非アーベルH²のグロテンディークの定理の拡張。
• perfectな体の順序に関してH²-集合の局所的・大域的原理の確立。
• 実スペクトルの手法を用いてグロテンディークの元々の定理の新しい証明を提供。
• このような体上の同型空間における有理点の研究への応用。

提案手法

• 体の実スペクトルを用いて順序とそれに対応する実閉包を分析する。
• 仮想コホモロジー次元1の体上の代数群の文脈において非アーベルコホモロジー理論を適用する。
• H²類の自明性が順序に対応する実閉包上でテストされる、局所的・大域的原理を用いる。
• 実スペクトルの構造と稠密性の議論を用いて、大域的自明性を順序における局所的条件に還元する。
• Galoisコホモロジーと代数幾何学の結果を用いて、降下法とパッチング技法によりH²-集合を制御する。
• 実スペクトルが準コンパクトであり、順序によって定義される開基を持つという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 仮想コホモロジー次元1のperfectな体上の代数群の非アーベルH²類が、いつ大域的に自明になるか。
• RQ2 H²類の自明性は、体の順序に対応する実閉包におけるその挙動によって特定できるか。
• RQ3 実スペクトルの手法を用いて、コホモロジー次元1の体上でのH²自明性に関するグロテンディークの元々の定理を再証明できるか。
• RQ4 この局所的・大域的原理は、このような体上の同型空間における有理点にどのような意味を持つか。

主な発見

• 仮想コホモロジー次元1のperfectな体上のH²類は、実スペクトルの稠密部分集合に属するすべての順序について、その実閉包において自明になるときかつそのときに限り自明である。
• 体の順序に関して局所的・大域的原理が成り立ち、H²-集合の自明性を実閉包を用いた基準として提供する。
• 証明技法により、コホモロジー的に内発的な方法で、コホモロジー次元1の体上でのグロテンディークの元々のH²自明性定理の新しい証明が得られる。
• これらの結果により、このような体上の特定の同型空間における有理点は、順序における局所的条件を通じて研究可能になる。
• この枠組みは代数群に適用可能であり、実スペクトルを用いたH²-集合の降下機構を提供する。
• 本論文は、仮想コホモロジー次元1の形式的に実数である体へのグロテンディークの定理の形式的一般化を確立する。