[論文レビュー] Automorphism groups and anti-pluricanonical curves

De‐Qi Zhang|arXiv (Cornell University)|May 3, 2007

Algebraic Geometry and Number Theory参考文献 20被引用数 5

ひとこと要約

本稿は、ギザトゥリーン、ハーブーン、マクマレンの予想を解決し、無限個の自己同型群をもつノルム・エントロピー型または型 ℤ⋉ℤ の最小的で滑らかな射影的有理被覆表面が、反正則数曲線をもつことを証明している。著者らは、表面自己同型群に対するティーツの代替定理の最も強い形を確立し、このような曲線が周期的曲線および標準除法の力学的性質から生じることを示し、有理被覆表面上の自己同型群の構造的分類を提供している。

ABSTRACT

We show the existence of an anti-pluricanonical curve on every smooth projective rational surface X which has an infinite group G of automorphisms of either null entropy or of type Z . Z (semi-direct product), provided that the pair (X, G) is minimal. This was conjectured by Curtis T. McMullen (2005) and further traced back to Marat Gizatullin and Brian Harbourne (1987). We also prove (perhaps) the strongest form of the famous Tits alternative theorem.

研究の動機と目的

• 無限自己同型群をもつ有理被覆面上に反正則数曲線が存在するという長年の予想を解決すること。
• 複素射影的表面の自己同型群に対して、ティーツの代替定理の最も強い形を確立すること。
• 周期的曲線および標準除法を用いた自己同型群の力学的構造を特徴づけること。
• ノルム・エントロピー型または ℤ⋉ℤ 型の無限自己同型群をもつ最小的対に対して、反正則数曲線をもつ表面への G-不変なブローアップを示すこと。

提案手法

• ピカール群およびネロン＝セバール群への作用を用いて、有理被覆面上の自己同型群の力学を分析する。
• 反正則数除法および数的同値の理論を適用し、Supp(Δ) ⊆ Stab(g)（g-周期的曲線の集合）を満たす有効な Q-除法 Δ を構成する。
• ザルスキーの補題および線形代数を用いて交点方程式を解き、KX + Δ ≡ 0 を満たす Δ の一意性を証明する。
• ブローアップ技術を用いて、Y に反正則数曲線をもつような最小的対 (Y, S) に還元する。
• リーマン・ロッホの定理および対数・エンリケス面理論を用いて、反標準除法の指数 d を有界化し、d ≤ 21 を得る。
• 最小性の仮定を用いて、Null(L) 内に例外的曲線が存在しないことを排除し、交点形式の負性により矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 ノルム・エントロピー型の無限自己同型群をもつ最小的有理被覆面は、常に反正則数曲線をもつか。
• RQ2 表面自己同型群に対するティーツの代替定理は、有限正規部分群をもつ半直積構造を含む形に強化可能か。
• RQ3 自己同型群が無限大であり、かつ対が最小的であるとき、反 s-標準曲線の指数 s に一様な上界が存在するか。
• RQ4 種数 ≥1 の周期的曲線、または自己交点 ≤-2 をもつ有理曲線は、反正則数曲線の存在にどのような役割を果たすか。
• RQ5 周期的曲線の集合が商特異点に収縮する条件は何か。また、これにより反標準除法の指数にどのような影響があるか。

主な発見

• ノルム・エントロピー型の無限自己同型群をもつすべての最小的有理被覆面は、K²(Y) ≥ 0 を満たす表面 Y へ G-不変な滑らかなブローアップをもつため、反正則数曲線をもつ。
• G が Pic(X) に写す像が無限大である場合、-KY がネフで KY² = 0 となるように Y を選べる。これにより、反 1-標準曲線が保証される。
• 特定の有限性および無限性条件を満たす正規系列 H ◁ A ◁ G をもつ群 G は、ノルム・エントロピー型で無限大の位数をもつ部分群 S を含み、これによりブローアップによって反正則数曲線が得られる。
• g-周期的曲線の集合 Stab(g) は、Δ の台 Supp(Δ) と、場合によっては (−2)-曲線の和集合である。ここで Δ は KX + Δ ≡ 0 を満たす唯一の有効 Q-除法である。
• すべての反正則数曲線は Δ の倍数であり、Δ はスケーリングを除いて整数的である。Stab(g) にやや条件が加われば、指数 d は d ≤ 21 を満たす。
• Stab(g) が商特異点に収縮するか、または互いに交わらない有理木の和集合でない場合、反標準除法の指数 d は d ≤ 21 を満たし、有効な上界を与える。