[論文レビュー] On the anticanonical complex

Christoff Hische, Milena Wrobel|arXiv (Cornell University)|Aug 6, 2018

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

ひとこと要約

本稿では、高次元トーラス作用をもつモーリー・ドリーム空間における特異点の分類のための組合せ論的道具として、アンチカノニカル複体を導入する。これは、既に1次元の複雑さのケースに用いられていたものへの拡張である。主な貢献は、このような多様体の対数端的、正則的、端的特異点が、アンチカノニカル複体における有界性および格子点条件によって特徴づけられることを示す定理であり、3次元の正則的ファノ内在的2次曲面で1次元の最大トーラス作用をもつものの分類への応用を含む。

ABSTRACT

The anticanonical complex has been introduced as a natural generalization of the toric Fano polytope and so far has been succesfully used for the study of varieties with a torus action of complexity one. In the present article we enlarge the area of application of the anticanonical complex to varieties with a torus action of higher complexity, for example, general arrangement varieties. As an application of our techniques we classify the three-dimensional canonical Fano intrinsic quadrics with automorphism group having a maximal torus of dimension one.

研究の動機と目的

• トーラス作用の複雑さが1より大きい場合のアンチカノニカル複体理論を、一般のアレンジメント多様体を含む高次元の多様体へと拡張すること。
• Q-ゴレンシュタインのモーリー・ドリーム空間でトーラス作用をもつ場合の、対数端的、正則的、端的特異点を分類するための組合せ論的基準を提供すること。
• アンチカノニカル複体が存在する条件を確立し、その境界構造が不変量を符号化することを示すこと。
• この枠組みを用いて、1次元最大トーラス作用をもつ3次元正則的ファノ内在的2次曲面を分類すること。
• 最大軌道商の半局所的にトーラス的で弱いトロピカル解体が存在することは、元の多様体に対してアンチカノニカル複体が存在することを示す。

提案手法

• トーラス的環境空間 $Z_X$ と $Z_Y$ を含む可換図式を用いて、最大軌道商 $X \dashrightarrow Y$ を構成する。ここで $Y$ は、カテゴリー的商構造をもつ完全な多様体である。
• 弱いトロピカル解体 $Y' \to Y$ が強い意味で局所的にトーラス的であることを保証する、$Y$ に対する「半局所的にトーラス的で弱いトロピカル可解性」の概念を定義する。
• もし $Y$ が半局所的にトーラス的で弱いトロピカル解体をもてば、$X$ に対しても同様であることを示し、これによりアンチカノニカル複体 $\mathcal{A} \subseteq \mathrm{trop}(X)$ の構成が可能になる。
• 境界 $\partial \mathcal{A}$ を用いて、トーラス的環境解体からの不変量を符号化し、トーラスの場合のファノ多面体構成を一般化する。
• 一般アレンジメント多様体にこの枠組みを適用し、$\mathbb{P}^c$ への明示的な最大軌道商を得る。この設定における $\mathcal{A}$ の構造を記述する。
• 格子点条件を $\mathcal{A}$ に適用し、特異点を特徴づける：対数端的のための有界性、正則的のための相対内部に0のみ、端的のための0と原始的射線生成子のみ。

実験結果

リサーチクエスチョン

• RQ1 Q-ゴレンシュタインのモーリー・ドリーム空間で、複雑さが1より大きいトーラス作用をもつ場合、アンチカノニカル複体が存在する条件は何か？
• RQ2 アンチカノニカル複体は、高次元のトーラス作用における対数端的、正則的、端的特異点をどのように特徴づけられるか？
• RQ3 最大軌道商 $X \dashrightarrow Y$ は、$X$ に対するアンチカノニカル複体の構成を可能にする役割を果たすか？
• RQ4 一般アレンジメント多様体に対して、アンチカノニカル複体を明示的に記述できるか？ その構造は $X$ の特異点をどのように明らかにするか？
• RQ5 1次元最大トーラス作用をもつ3次元正則的ファノ内在的2次曲面は、どのようなものがあり、どのように分類できるか？

主な発見

• Corollary 1.2 で示されるように、Q-ゴレンシュタインの一般アレンジメント多様体に対しては、常にアンチカノニカル複体 $\mathcal{A}$ が存在する。
• Q-ゴレンシュタインのモーリー・ドリーム空間 $X$ が対数端的特異点をもつための必要十分条件は、そのアンチカノニカル複体 $\mathcal{A}$ が有界であることである。
• Q-ゴレンシュタインのモーリー・ドリーム空間 $X$ が正則的特異点をもつための必要十分条件は、$\mathcal{A}$ の相対内部に0以外の格子点が存在しないことである。
• Q-ゴレンシュタインのモーリー・ドリーム空間 $X$ が端的特異点をもつための必要十分条件は、$\mathcal{A}$ に0と $Z_X$ のファイブの原始的射線生成子のみが格子点として含まれることである。
• Proposition 8.9 で示されるように、1次元最大トーラス作用をもつ3次元ファノ内在的2次曲面に端的特異点をもつものは存在しない。
• 1次元最大トーラス作用をもつ3次元正則的ファノ内在的2次曲面の分類は、同型類としてちょうど5つの非同型の多様体をもつ。同型類はファノ指数と有効コーン構造によって区別される。