[論文レビュー] Int-amplified endomorphisms on normal projective surfaces

Yohsuke Matsuzawa, Shou Yoshikawa|arXiv (Cornell University)|Feb 16, 2019

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

ひとこと要約

本稿では、同変最小モデルプログラム（MMP）を構築することで、整数的増幅自己準同型を許容する正則な射影的表面を分類し、出力がQ-アーベル曲面、滑らかな曲面の準エタール商、モアリ・ドリーム空間、または楕円曲線上の射影錐のいずれかであることを示している。主な貢献は、反標準除 canonical divisor がIitaka次元 0 または 1 である場合に、明示的な準エタール被覆の構成を行い、自己準同型と整合する新しい幾何的構造を明らかにしたことにある。

ABSTRACT

We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve.

研究の動機と目的

• 代数閉体上での特徴標数 0 の代数的閉体上に、整数的増幅自己準同型を許容する正則な射影的表面を分類すること。
• 最小モデルプログラム（MMP）を同変的に適用することで、そのような表面の幾何的構造を理解すること。
• 反標準除 canonical divisor がIitaka次元 0 または 1 である場合の、明示的な準エタール有限被覆の構成。
• 整数的増幅自己準同型に対して同変MMPの可能な出力を同定すること。これには、モアリ・ドリーム空間や楕円曲線上の射影錐が含まれる。

提案手法

• 整数的増幅自己準同型 f を持つ正則な射影的表面 X に対して、同変最小モデルプログラム（MMP）を適用し、f^n が列の各段階で自己準同型を誘導することを保証する。
• あるアーベルなカーティエ除 canonical divisor H に対して f^*H - H がアーベル的であるという性質を用い、MMPとの整合性を保ち、特異点を制御する。
• 滑らかな曲面 Y から得られる、楕円曲線上に最小なルールド曲面である Y → X への準エタール有限被覆 h: Y → X を構成し、自己準同型 f を Y 上に引き上げる。
• 楕円曲線上にルールドされた曲面の幾何と、底曲線における乗法-by-n 写像の作用を活用して、整数的増幅自己準同型の明示的例を構築する。
• 反標準除 canonical divisor -K_X のIitaka次元を分析し、MMPの可能な出力を分類する。κ(-K_X) = 0, 1, 2 または擬効果的である場合に分ける。
• 底曲線（P^1 または点）上の誘導された自己準同型が被覆に引き上げられることを活用し、同変性と商構造との整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 整数的増幅自己準同型を許容する正則な射影的表面 X の可能な幾何的構造は何か？
• RQ2 このような表面に対して同変MMPを用いて可能な出力を分類できるか？また、それらを区別する不変量は何か？
• RQ3 反標準除 canonical divisor がIitaka次元 0 または 1 である場合、滑らかな曲面からの準エタール被覆を構成し、自己準同型を引き上げられるか？
• RQ4 標準除 canonical divisor が擬効果的でないかどうかによって、表面の構造はどのように変化するか？
• RQ5 表面がモアリ・ドリーム空間または楕円曲線上の射影錐であるための明確な条件は何か？

主な発見

• 表面 X は Q-ゴレンシュタインの対数正則であり、f^n-同変な MMP の列を経て、曲線 C もしくは点に終わる。
• K_X が擬効果的であれば、MMP は曲線 C へのファノ収縮で終わる。そうでなければ、ピカール数が 1 で -K_X がアーベル的な点に終わる。
• C ≃ P^1 であり、κ(-K_X) = 0 または 1 である場合、楕円曲線上に最小なルールド曲面である滑らかな曲面 Y から、X への準エタール有限被覆 h: Y → X が存在し、f は Y 上の自己準同型に引き上げられる。
• κ(-K_X) = 2 である場合、X はモアリ・ドリーム空間であり、MMP が点に終わる場合、X は楕円曲線上の射影錐またはモアリ・ドリーム空間である。
• 定理 1.2 のケース (3) および (4) における準エタール被覆の構成は、楕円曲線上にルールドされた曲面を用いた、整数的増幅自己準同型を許容する表面の新しい幾何的実現を提供する。
• 楕円曲線上の射影バンドルと乗法-by-n 写像の作用を用いて、明示的な例を構成し、商曲面上での整数的増幅自己準同型を得た。