[論文レビュー] A vanishing theorem on fake projective planes with enough automorphisms

JongHae Keum|arXiv (Cornell University)|Jul 29, 2014

Finite Group Theory Research参考文献 11被引用数 8

ひとこと要約

本稿は、自己同型群の位数が21または9である偽射影平面における線束の消滅定理を証明し、$ H^i(X, 2L) = 0 $ がすべての $ i $ に対して成り立つことを示している。ここで $ L $ はアーマイプ生成子または canonical bundle の立方根である。これは、長さ3の例外的系列の存在を確認し、Galkin らの偽射影平面の導来カテゴリに関する予想を支持する。

ABSTRACT

For every fake projective plane $X$ with automorphism group of order 21, we prove that $H^i(X, 2L)=0$ for all $i$ and for every ample line bundle $L$ with $L^2=1$. For every fake projective plane with automorphism group of order 9, we prove the same vanishing for every cubic root (and its twist by a 2-torsion) of the canonical bundle $K$. As an immediate consequence, there are exceptional sequences of length 3 on such fake projective planes.

研究の動機と目的

• 自己同型群の位数が21または9である偽射影平面における線束の消滅定理を確立すること。
• Galkin, Katzarkov, Mellit, Shinder が予想したように、そのような曲面上に長さ3の例外的系列が存在することを確認すること。
• 特に位数7および位数3の商曲面における特異点の解消の構造についての幾何的洞察を提供すること。
• 未だ幾何的技法によって構成されていない偽射影平面の分類および幾何的構成に貢献すること。

提案手法

• 位数7の自己同型による偽射影平面の商の楕円曲線ファイブレーション構造を用いて、コホモロジーの消滅を分析する。
• リーマン・ローチの定理を適用して $ h^0(X, 4L) $ を評価し、それが3に等しいことを示し、$ H^0(X, 2L) $ の非消滅仮定と矛盾することを示す。
• 群論的およびコホモロジー的技法を用いて、自己同型群が線束およびそのねじれに作用する様子を分析する。
• ホモロジー群 $ H_1(X, \bZ) $ に3 torsion が存在しない場合、canonical bundle $ K_X $ の立方根が一意に定まり、自己同型群の作用に関して不変であることを保証する。
• 商曲面の最小解消を分析し、$ I_9 $-ファイバーの重複度が1であることを示す、重要な技術的詳細。
• 導来カテゴリの枠組みを用いて、消滅結果を $ D^b(\text{coh}(X)) $ における例外的系列の存在として解釈する。

実験結果

リサーチクエスチョン

• RQ1 自己同型群が $ \text{Aut}(X) \to 7:3 $ である偽射影平面において、$ H^i(X, 2L) = 0 $ がすべての $ i $ に対して成り立つか？ここで $ L $ はアーマイプ生成子。
• RQ2 同様に、$ \text{Aut}(X) \to 7:3 $ の場合、$ K_X $ の立方根 $ L_0 $ に対しても同様の消滅が成り立つか？
• RQ3 自己同型群が $ \text{Aut}(X) \to C_3^2 $ である偽射影平面において、$ L $ が $ \tau^*(2L) \to 2L $ を満たすとき、$ H^i(X, 2L) = 0 $ が成り立つか？
• RQ4 自己同型群が大きな偽射影平面において、長さ3の例外的系列の存在を確認できるか？
• RQ5 位数7の商曲面の最小解消における $ I_9 $-ファイバーの構造はいかなるものか？

主な発見

• 自己同型群が $ \text{Aut}(X) \to 7:3 $ である任意の偽射影平面において、すべての $ i $ に対して $ H^i(X, 2L) = 0 $ が成り立ち、$ L^2 = 1 $ であるアーマイプ生成子 $ L $ に対して成り立つ。
• 同様のクラスにおいて、$ L_0 $ を $ K_X $ の唯一の立方根とすると、すべての $ i $ に対して $ H^i(X, 2L_0) = H^i(X, L_0) = 0 $ が成り立つ。
• 自己同型群が $ \text{Aut}(X) \to C_3^2 $ である偽射影平面において、$ \tau^*(2L) \to 2L $ を満たす $ L $ に対して $ H^i(X, 2L) = 0 $ が成り立つ。これは $ L_0 $ 及びその2 torsion ねじれを含む。
• $ I_9 $-ファイバーは、位数7の商曲面の最小解消において重複度1である。これは以前に未解決であった不変量であった。
• 消滅結果により、線束 $ \fancyscript{O}_X, -L_0, -2L_0 $ がそのような曲面上で長さ3の例外的系列をなすことが示される。
• 偽射影平面の導来カテゴリは、$ D^b(\text{coh}(X)) = \big\< 2L, L, \fancyscript{O}_X, \fancyscript{A} \big\rangle $ の形の半直交分解をもち、$ HH_*(\fancyscript{A}) = 0 $ を満たす。