[論文レビュー] On characterization of toric varieties

Ilya Karzhemanov|arXiv (Cornell University)|Jun 18, 2013

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

ひとこと要約

この論文は、ネフな反標準的除数と有界な境界除数係数を持つ対数正則なペアによるトーリック多様体の特徴付けを試みるV. V. Shokurovの予想を検討する。幾何学的および付加的幾何学の手法を用いて、著者は次元≥3ではこの予想が成り立たないことを証明するが、弱い形の予想は成り立つ。最近の予想の主張された証明には重大な欠陥が特定され、その有効性が損なわれる。

ABSTRACT

We study the conjecture due to V.\,V. Shokurov on characterization of toric varieties. We also consider one generalization of this conjecture. It is shown that none of the characterizations holds true in dimension $\ge 3$. Some weaker versions of the conjecture(s) are verified.

研究の動機と目的

• 対数正則なペア$(X, D)$とネフな反標準的除数を用いたトーリック多様体の特徴付けを試みるV. V. Shokurovの予想を検討すること。
• 特に次元≥3において、この予想が成り立つかどうかを検証すること。
• 最近の予想の主張された証明（論文[5]）における重大な誤りを分析・同定すること。
• トーリフィケーションや形式的トーリック構造などの、予想の弱い形を検討すること。
• この予想の条件を満たす多様体が、$(\mathbb{C}^*)^n$のコンパクト化またはMoriドリーム空間であるかどうかを検討すること。

提案手法

• ネフな$-(K_X + D)$と$\mathbb{Q}$-因子的である$X$を満たす対数正則なペア$(X, D)$を分析し、$D_i$が張るNéron-Severi群のランクである不変量$r(X,D)$に注目する。
• $dlt$変形を適用して$\mathbb{Q}$-因子的の場合に還元し、主要な不変量と数値的条件を保持する。
• トーリック多様体の構造とそのファンを用いて、$\mathbb{P}^1$との積を用いて次元$n \geq 4$における反例を構成する。
• Cox環とトーラス作用を用いて、群商から生じる特異点の部分で予想がなぜ失敗するかを分析する。
• 証明[5]における重大な誤りを特定する：$d$次元の$\mathbb{C}^*$-多様体上で$d$個の$\mathbb{C}^*$-不変除数があると、その環が多項式環であるという主張は誤りである。
• $Y \subset \mathbb{C}^3$を$xy = z^3 + z^2 + z$で定義し、$\mathbb{C}^*$-作用を備えた例を構成する。このとき$\pi_1(Y) = \mathbb{Z}/3$であるため、$Y \not\simeq \mathbb{C}^2$であり、[5]の鍵となるステップを反証する。

実験結果

リサーチクエスチョン

• RQ1 次元$\geq 3$において、$\sum d_i \leq r(X,D) + \dim X$で、等号成立の必要十分条件が$X$がトーリックであることであるというShokurovの予想は成り立つか？
• RQ2 この予想の条件を満たす多様体は、通常または解析的にトーリックペアに同型でなくても、形式的にトーリックである可能性はあるか？
• RQ3 論文[5]における予想の証明は有効であるか、特に$\mathbb{C}^*$-不変除数と多項式環に関するその鍵となるステップは正しいか？
• RQ4 この予想の条件を満たす多様体は、有限群によるトーリック多様体の商として得られるか、または正則な$(\mathbb{C}^*)^k$-作用をもつのか？
• RQ5 この予想の条件のもとで$X$は$(\mathbb{C}^*)^n$のコンパクト化またはMoriドリーム空間であるか？

主な発見

• 次元$n \geq 3$では予想は失敗する：$\mathfrak{X} = X \times (\mathbb{P}^1)^{n-3}$を用いた反例が構成され、$ac(\mathfrak{X}, \mathfrak{D}) = \frac{3}{4}$、$K_{\mathfrak{X}} + \mathfrak{D} \equiv 0$であるが、$\mathfrak{X}$はトーリックではない。
• 証明[5]は一貫性がない。主な原因は、$d$次元多様体上で$d$個の$\mathbb{C}^*$-不変除数があると、その環が多項式環であるという誤った主張にある。
• 反例として、$\mathbb{C}^3$内の$xy = z^3 + z^2 + z$で定義され$\mathbb{C}^*$-作用を持つ$Y$を提示する。このとき2つの不変除数があるが、$\pi_1(Y) = \mathbb{Z}/3$であるため、$Y \not\simeq \mathbb{C}^2$であり、[5]の鍵となるステップが反証される。
• 局所版の予想（$Z = X$の場合）は正しい：$K_X + D \equiv 0$かつ$D_i$が$\mathbb{Q}$-カーティエであるならば、$X \simeq (\mathbb{C}^n \ni 0)/\mathfrak{A}$（$\mathfrak{A}$は有限アーベル対角群）であり、$(X, \llcorner D \lrcorner)$はトーリックである。
• 予想の等号成立条件が$X$をトーリックに導くのは強い仮定のもとでのみ成り立つ。一般には、次元≥3において$\sum d_i = r(X,D) + \dim X$という条件は、トーリック構造を示さない。
• トーリフィケーションや形式的トーリック構造といった、予想の弱い形は排除されないが、元の予想は失敗する。