[論文レビュー] Redundant blow-ups of rational surfaces with big anticanonical divisor

DongSeon Hwang, Jinhyung Park|arXiv (Cornell University)|Nov 14, 2014

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

ひとこと要約

この論文は、大規模な反標準的除算を持つ有理的表面における冗長なブ low-up を分類し、このような表面が有理的特異点をもつデル・ペッツォ表面の最小解消であるとは限らないことを証明する。ピカール数 ≥10 である明示的例を構成することで、Testa, Várilly-Alvarado, Velasco が提起した、このような表面の最小性に関する問いに否定的な答えを与える。Zariski 分解と不備差解析を用いて、反標準的モデル上の特異点を通じて冗長な点を同定する。

ABSTRACT

We completely classify redundant blow-ups appearing in the theory of rational surfaces with big anticanonical divisor due to Sakai. In particular, we construct a rational surface with big anticanonical divisor which is not a minimal resolution of a del Pezzo surface with only rational singularities, which gives a negative answer to a question raised in a paper by Testa, Várilly-Alvarado, and Velasco.

研究の動機と目的

• Testa, Várilly-Alvarado, Velasco が提起した、すべての大規模な反標準的有理的表面が、有理的特異点をもつデル・ペッツォ表面の最小解消であるかどうかという予想を解消すること。
• Sakai が導入した、大規模な反標準的除算を持つ有理的表面における冗長なブローイングの分類を行うこと。
• ノーマルな有理的表面の最小解消において冗長な点を同定する体系的な方法を確立すること。
• 有理的特異点をもつデル・ペッツォ表面の最小解消でない、大規模な反標準的有理的表面の明示的例を構成すること。

提案手法

• 滑らかな有理的表面における反標準的除算 $-K_S = P + N$ のZariski分解を用いる。ここで $P$ は nef であり、$N$ は有効的で、交差行列が負定値である。
• 点 $p$ を $\operatorname{mult}_p N \geq 1$ である場合に冗長と定義し、そのような点でのブローイングを冗長ブローイングと呼ぶ。
• 不備差計算と特異点の双対グラフ解析を用いて、反標準的モデル $\bar{S}$ の特異点に対して冗長点の位置を分析する。
• 適切に選ばれた点でヒルツェブルーフ面や有理的楕円的表面をブローイングすることで、明示的例を構成する。このとき $\operatorname{mult}_p N \geq 1$ が保証されるようにする。
• 反標準的除算の大きさを検証し、ピカール数を計算することで、例が要求される不変量を満たしていることを確認する。
• 対数終等特異点および標準的特異点の分類に関する結果を応用し、冗長点が存在するか、存在しないかを特定する。

実験結果

リサーチクエスチョン

• RQ1 すべての大規模な反標準的有理的表面が、有理的特異点をもつデル・ペッツォ表面の最小解消として実現可能であろうか？
• RQ2 反標準的モデル $\bar{S}$ の特異点にどのような条件が課されると、その最小解消上に冗長点が存在するか？
• RQ3 Zariski 分解と特異点の型を用いて、冗長点の正確な幾何学的・数値的特徴づけはどのようなものか？
• RQ4 ピカール数が任意に高い大規模な反標準的有理的表面を、有理的特異点をもつデル・ペッツォ表面の最小解消でない形で構成可能であろうか？

主な発見

• 本論文では、各 $n \geq 10$ に対して、ピカール数 $n$ の大規模な反標準的有理的表面を構成し、それが有理的特異点をもつデル・ペッツォ表面の最小解消でないことを示した。これにより、Testa, Várilly-Alvarado, Velasco が提起した問いに否定的な答えを与えた。
• ノーマルな射影的有理的表面 $\bar{S}$ が反標準的除算をもつとき、その最小解消上に冗長点が存在するための必要十分条件は、$\bar{S}$ が非対数終等特異点を含む、または指定された双対グラフ型でない対数終等特異点を含むことである。
• $\bar{S}$ が至るところ対数終等特異点をもつとき、すべての冗長点は、写像 $h: \widetilde{S} \to \bar{S}$ によって収縮される曲線の交点に位置する。
• $\bar{S}$ に非対数終等特異点が含まれる場合、その特異点に収縮される曲線上のすべての点が冗長点である。
• 最小解消からの異なる冗長ブローイングの列の数が有限であるための必要十分条件は、$\bar{S}$ が至るところ対数終等特異点をもつことである。
• 明示的例は $\mathbb{P}^2$ およびヒルツェブルーフ面のブローイングにより構成され、Zariski 分解を用いて特定の点で $\operatorname{mult}_p N \geq 1$ が確認され、冗長ブローイングが裏付けられた。