[論文レビュー] Automorphism and Cohomology I: Fano variety of lines and Cubic

Xuanyu Pan|arXiv (Cornell University)|Nov 17, 2015

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

ひとこと要約

本稿は、正の特性からゼロ特性への滑らかな射影的多様体の自己同型の持ち上げに関する一般原理を確立し、それによって滑らかな立方三重・四重のファノ多様体の自己同型群がそのエタールコホモロジーに忠実に作用することを証明する。また、中間ピカール数が小さい複素立方四重の自己同型群を分類し、中間ピカール数が1の場合は自明またはℤ/3ℤであり、2の場合は自明であることを示す。

ABSTRACT

In this paper, we prove a general principle of lifting an automorphism from positive characteristic to zero characteristic. We based on the principle to prove the automorphism group of Fano variety of cubic threefold (fourfold) acts on its cohomology group faithfully. We also prove the same result for a singular cubic threefold (fourfold) with one ordinary double singularity. As an application, we classify the automorphism groups of cubic fourfolds with small middle Picard number over complex numbers.

研究の動機と目的

• 滑らかな射影的多様体の自己同型を正の特性からゼロ特性へ持ち上げる一般原理を確立すること。
• 滑らかな立方三重・四重のファノ多様体の自己同型群がそのエタールコホモロジー群に忠実に作用することを証明すること。
• この忠実性の結果をレフシェツ立方三重・四重へ拡張すること。
• 中間ピカール数が2以下の滑らかな複素立方四重の自己同型群を分類すること。

提案手法

• 正の特性からゼロ特性への自己同型の持ち上げ基準を用い、変形理論とクリスタリンコホモロジーに依拠する。
• レフシェツの固定点定理を適用し、滑らかな立方三重およびそのファノ曲面における自己同型作用のコホモロジーへの忠実性を示す。
• ホッジ理論と代数幾何の技法を用いて、立方四重のファノ多様体のネロン＝セベリ群が torsion-free であることを証明する。
• ミルナーの特異点と消失サイクルを用いて、中間ピカール数が1で、3次元の自己同型を持つ滑らかな立方四重を構成する。
• 格子論と表現論を用いて、立方四重の超越的リーマン面における自己同型群の作用を分析する。
• 自己同型がホッジ構造に与える作用がコホモロジーの(3,1)成分における作用によって決定されることを用い、可能な自己同型の位数を制限する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな立方三重の自己同型群は、正の特性においてそのエタールコホモロジーに忠実に作用するか？
• RQ2 立方三重・四重のファノ多様体の自己同型は、正の特性からゼロ特性へ持ち上げ可能か？
• RQ3 中間ピカール数が1または2の滑らかな複素立方四重の自己同型群の構造は何か？
• RQ4 立方四重のコホモロジーにおける自己同型の作用は、その位数にどのような制約を与えるか？
• RQ5 中間ピカール数が1で、3次元の非自明な自己同型を持つ滑らかな立方四重を構成可能か？

主な発見

• 中間ピカール数が1の滑らかな立方四重の自己同型群は、自明またはℤ/3ℤに同型である。
• 中間ピカール数が2の滑らかな立方四重の自己同型群は自明である。
• 中間ピカール数が1で、3次元の自己同型を持つ滑らかな立方四重が存在し、その自己同型は1つの斉次座標を原始3乗根でスケーリングすることで明示的に与えられる。
• 中間ピカール数が1の滑らかな立方四重の任意の自己同型の位数は3の約数であり、偶数位数の自己同型は存在しない。
• 中間ピカール数が1の滑らかな立方四重に対して、自己同型群はμₘに同型であり、mは3を割り、m=3は実現可能である。
• 自己同型群の超越的リーマン面への作用は忠実であり、K3型のホッジ構造におけるμₘの表現論から、φ(m)が超越的リーマン面のランクを割り切ることを示す。