[論文レビュー] Automorphisms of pointless surfaces

Constantin Shramov, Vadim Vologodsky|arXiv (Cornell University)|Jul 17, 2018

Algebraic Geometry and Number Theory参考文献 43被引用数 17

ひとこと要約

本稿では、すべての1次単位根を含む体（特性 ≠ 2,3 または特性3の完備体）上の幾何的有理的曲面について、その双有理自己同型群の有限部分群が有界であることを示している。ただし、曲面が射影直線と円錐曲線の積に双有理同型である場合を除く。主な技術的進展は、すべての1次単位根を含む完備体上での非分解的再帰的代数群の有限部分群の有界性を示したことである。この結果は、曲面および円錐束の幾何学的・群論的手法を用いて、主定理の証明に役立てられている。

ABSTRACT

For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of birational automorphisms of X has bounded finite subgroups. As a key step in the proof, we show boundedness of finite subgroups in any anisotropic reductive algebraic group over a perfect field that contains all roots of 1. Also, we provide applications to Jordan property for groups of birational automorphisms.

研究の動機と目的

• 幾何的有理的曲面の双有理自己同型群が有界有限部分群を持つ条件を特定すること。
• 有理的点を持たない（すなわち「点を持たない」）曲面に対する、有限部分群の有界性に関する先行研究の拡張。
• すべての1次単位根を含む完備体上での非分解的再帰的代数群の有限部分群に対する一般の有界性結果を確立すること。
• この有界性結果を応用して、特定の曲面の双有理自己同型群のジョルダン性を証明すること。
• ブレア群の核を用いて、曲面が P^1 × C（C は円錐曲線）に双有理同型でないかどうかを判定する基準を提供すること。

提案手法

• Galois降下と代数群の構造論を用いて、すべての1次単位根を含む完備体上での非分解的再帰的代数群の有限部分群の有界性を証明する。
• 商の理論と幾何的不変量理論を用いて、代数的群の作用に対する等変商を構成し、幾何的商の存在に関する定理A.4に依拠する。
• 補題A.5を適用して、G_m または G_a の非自明な作用をもつ任意の代数的多様体が P^1 × Y に双有理同型であることを示し、これにより単純化された幾何的モデルへの還元が可能になる。
• 完備体上での非再帰的群は G_a 部分群を含むことから、系理A.7により P^1 × Y に双有理同型になることが導かれる。
• Br(K) → Br(X) のブレア群の引き戻し写像の核を解析することで、曲面が P^1 × C に双有理同型でないかどうかを検出する。
• 円錐束、セベリ＝ブラウアー曲面、および二次曲面の結果を組み合わせることで、特定の幾何的状況における有界性を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての1次単位根を含む体上、幾何的有理的曲面の双有理自己同型群が有界有限部分群を持つのはいつか？
• RQ2 特に特性 ≠ 2,3 または特性3の完備体であるような体の条件は、点を持たない曲面における Bir(X) の有限部分群の有界性を保証するか？
• RQ3 多様体に非自明な G_m または G_a の作用があると、なぜそれが P^1 × Y に双有理同型になるのか？
• RQ4 どのような場合に曲面が P^1 × C に双有理同型ではなくなるか、そしてその判定はブレア群を用いてどのように行えるか？
• RQ5 非分解的再帰的群は、双有理自己同型群の有限部分群の構造を制御するために果たす役割は何か？

主な発見

• すべての1次単位根を含む体 K 上の幾何的有理的曲面 X に対して、Bir(X) の有限部分群が有界であることは、X が円錐曲線 C に対して P^1 × C に双有理同型でない場合に限り成り立つ。ただし、char K ≠ 2,3 または K が特性3の完備体である場合に限る。
• すべての1次単位根を含む完備体上での非分解的再帰的代数群の有限部分群は、そのサイズが有界である。これは主定理の証明に用いられる重要な技術的結果である。
• 特性2または3の体に対しては、Bir(X) が char K-有界有限部分群を持つのは、X が円錐曲線 C に対して P^1 × C に双有理同型でない場合に限る。
• K-点を持たないセベリ＝ブラウアー曲面、非同型な非有理的円錐曲線の積、および P^3 内の点を持たず Picard群が Z に同型である滑らかな二次曲面は、すべて Bir(X) が char K-有界有限部分群を持つ。
• 体の特性 ≠ 2,3 または特性3の完備体である場合、このような曲面はすべて Bir(X) が有界有限部分群を持つ。
• 証明は、非自明な G_m または G_a の作用をもつ多様体が P^1 × Y に双有理同型であることを示すことに依拠しており、これにより単純化された双有理モデルへの還元が可能になる。