[論文レビュー] The cone conjecture for abelian varieties

Artie Prendergast-Smith|arXiv (Cornell University)|Aug 26, 2010

Algebraic Geometry and Number Theory参考文献 9被引用数 14

ひとこと要約

この論文は、実自己準同型代数を用いてネロン・セベリ空間を埋め込み、算術群の還元理論を適用することにより、アーベル多様体に対するモリソン–カワマタの錐予想を完全に証明する。主な結果は、任意のアーベル多様体の自己準同型群が有効ネフ錐に作用する際に、有理係数多面体の基本領域を持つことである。これにより、この設定における予想が裏付けられる。

ABSTRACT

We give a proof of the Morrison--Kawamata cone conjecture for abelian varieties. The proof is a straightforward deduction from well-known results on the real endomorphism algebra of an abelian variety and reduction theory for self-dual homogeneous convex cones.

研究の動機と目的

• アーベル多様体におけるモリソン–カワマタの錐予想を確立すること。この予想は、自己準同型群が有効ネフ錐に作用する際に、有理係数多面体の基本領域が存在することを予測する。
• 実自己準同型代数の構造を活用してネロン・セベリ空間を埋め込み、自己準同型群のネフ錐への作用を分析すること。
• 有効ネフ錐が有理係数包の正定値錐と一致することを示し、算術群の還元理論の適用を可能にすること。
• 自己準同型群がネロン・セベリ空間上でQ-算術部分群として作用することを示し、既知の多面体基本領域に関する結果の適用を可能にすること。

提案手法

• ネロン・セベリ空間 $N^1(X)$ を実自己準同型代数 $\operatorname{End}^0(X) \otimes \mathbb{R}$ に埋め込み、ロザティ対合の固定部分空間として同定する。
• 自己準同型群の $N^1(X)$ 上の作用を、$D \mapsto M^* D M$ としての共役作用として表現する。ここで $M \in (\operatorname{End}^0(X) \otimes \mathbb{R})^\times$ であり、これはラインバンド上の引き戻し作用の拡張である。
• 正定値錐 $P_r(k)$ を $\operatorname{End}^0(X) \otimes \mathbb{R}$ の各行列代数成分に沿ってとることで、正定値錐 $A(X)$ を表し、自己双対性と斉次性を保証する。
• 正定値錐の自己準同型群の単位成分が、$D \mapsto M^* D M$ として与えられる変換群と同型であり、これは $GL(N^1(X))$ のQ代数的部分群であることを示す。
• 群 $\operatorname{Aut}(X)$ の $GL(N^1(X))$ への像が、このQ代数的群の算術部分群であることを証明し、還元理論の適用を可能にする。
• 還元理論の定理 2.4 および 2.5 を適用して、有理係数包 $A(X)_+$ における自己準同型群の作用に対して、有理係数多面体の基本領域が存在することを結論づける。この $A(X)_+$ は $\overline{A(X)}^e$ に等しい。

実験結果

リサーチクエスチョン

• RQ1 アーベル多様体の自己準同型群は、モリソン–カワマタの錐予想が予測するように、有効ネフ錐に作用する際に有理係数多面体の基本領域を持つのか？
• RQ2 実自己準同型代数の構造をどのように活用して、アーベル多様体のネロン・セベリ空間上の自己準同型の作用を分析できるか？
• RQ3 アーベル多様体における正定値錐と有効ネフ錐の正確な関係は何か？この関係は錐予想の簡略化にどのように寄与するか？
• RQ4 算術群の還元理論を、アーベル多様体の文脈で有理係数多面体の基本領域の存在を証明するために適用できるか？
• RQ5 アーベル多様体において $\overline{A(X)}^e = \overline{M(X)}^e = \operatorname{Eff}(X)$ が成り立つことにより、全錐予想はどの程度簡略化されるか？

主な発見

• 自己準同型群 $\operatorname{Aut}(X)$ は有効ネフ錐 $\overline{A(X)}^e$ に作用し、有理係数多面体の基本領域を持つ。これにより定理 0.1 が裏付けられる。
• ネロン・セベリ空間 $N^1(X)$ は、$\operatorname{End}^0(X) \otimes \mathbb{R}$ のロザティ対合の固定部分空間として同型であり、これは対称行列またはヘルミート行列の空間の直和として分解される。
• 正定値錐 $A(X)$ は、各行列代数成分における正定値錐 $P_r(k)$ の直和として表され、自己双対かつ斉次な錐である。
• $\operatorname{Aut}(X)$ の $N^1(X)$ 上の作用は、Q-算術部分群の像として得られ、これにより還元理論の適用が可能になる。
• 正定値錐の有理係数包 $A(X)_+$ は $\overline{A(X)}^e$ に等しく、この錐は $\operatorname{Aut}(X)$ の作用に対して有理係数多面体の基本領域を持つ。
• アーベル多様体において全錐予想が成立する。なぜなら $\overline{A(X)}^e = \overline{M(X)}^e = \operatorname{Eff}(X)$ であり、予想の第二部は第一部分から従うからである。