[論文レビュー] The minimal volume of log surfaces of general type with positive geometric genus

Wenfei Liu|arXiv (Cornell University)|Jun 12, 2017

Geometry and complex manifolds被引用数 4

ひとこと要約

本稿は、降下鎖条件（DCC）を満たす係数集合を備えた、正の幾何的正則性を持つ一般型の対数 canonical 表面の最小体積を決定する。また、対数 canonical 3次元多様体および安定表面に対して鋭いノイザー型不等式を確立し、幾何的正則性が34以上の表面に対して、シミレクティック自己同型群の位数に12という一様な上界を示す。

ABSTRACT

We determine the minimal possible volume of a projective log canonical surface of general type with prescribed positive geometric genus. As applications, we provide effecitive Noether type inequalities for log canonical threefolds and stable surfaces. Also, we obtain a uniform bound on the order of the symplectic automorphism group $\mathrm{Aut}_s(S)$ of smooth projective surfaces $S$ of general type.

研究の動機と目的

• 指定された正の幾何的正則性を持つ一般型の射影的対数 canonical 表面の最小可能体積を特定すること。
• 対数 canonical 3次元多様体および安定表面に対する有効なノイザー型不等式を導出すること。
• 滑らかな一般型表面のシミレクティック自己同型群の位数に対する一様な上界を確立すること。
• 降下鎖条件（DCC）を満たす係数制約下での体積最小化問題を分析すること。

提案手法

• 除法体積の分析に、対数表面理論、伊達・小平次元、およびザリスキ分解を用いる。
• 固定された対数表面における最小体積と境界除法の半安定部を研究する。
• 固定された幾何的正則性に対して最小体積を実現するため、パラメータ化された $\mathbb{R}$-除法 $B_W^{(c)} = B_W' + cD$ を用いる。
• 幾何的正則性と体積の検証に、標準バンドル公式と異なる除法の計算を適用する。
• $n$ 個の同一表面の貼り合わせ構成を用いて安定表面を構築し、その体積と幾何的正則性を計算する。
• ボゴモロフ＝ミヤオカ＝ヤウ不等式とノイザー不等式からの体積境界を組み合わせ、自己同型群を制限する。

実験結果

リサーチクエスチョン

• RQ1 与えられた正の幾何的正則性とDCCを満たす係数集合を備えた対数 canonical 表面の最小体積は何か？
• RQ2 表面における体積最小化から、対数 canonical 3次元多様体および安定表面に対する有効なノイザー型不等式はどのように生じるか？
• RQ3 幾何的正則性が大きい一般型表面に対して、シミレクティック自己同型群の位数に対する一様な上界を確立できるか？
• RQ4 最小係数 $c = \min(\mathcal{C} \cup \{1\})$ が最小体積を決定する役割は何か？

主な発見

• $p_g \geq 2$ の場合、最小体積は $\min \mathbb{K}^2(\mathcal{C}, p_g) = \begin{cases}(2c - c^2)(p_g - 1) - 2c^2 & \text{if } c < \frac{p_g - 1}{p_g + 1} \\ p_g - 3 + \frac{4}{p_g + 1} & \text{if } c \geq \frac{p_g - 1}{p_g + 1} \end{cases}$ であり、ここで $c = \min(\mathcal{C} \cup \{1\})$ である。
• $p_g = 1$ の場合、最小体積は $\min \mathbb{K}^2(\mathcal{C}, 1) = \begin{cases} \frac{1}{42}c^2 & \text{if } c \leq \frac{7}{13} \\ -\frac{11}{6}c^2 + 2c - \frac{7}{13} & \text{if } \frac{7}{13} < c \leq \frac{6}{11} \\ \frac{1}{143} & \text{if } c > \frac{6}{11} \end{cases}$ である。
• $\mathcal{C}_0 = \emptyset$ または $\mathcal{C}_1 = \{1\}$ の場合、$p_g = 1$ で最小体積は $\frac{1}{143}$ であり、$\mathcal{C}_2 = \{1 - \frac{1}{n} \mid n \geq 2\} \cup \{1\}$ の場合、最小体積は $\frac{1}{168}$ である。
• 体積 $\frac{25}{84}$ の表面を $n$ 個貼り合わせて構築した安定表面は、$n \geq 5$ のとき $K^2 > p_g - 3$ の不等式を反する。これにより、このような境界の鋭さが示される。
• 幾何的正則性 $p_g(S) \geq 34$ の滑らかな一般型表面 $S$ に対して、シミレクティック自己同型群は $|\mathrm{Aut}_s(S)| \leq 12$ を満たす。これは体積と正則性の境界から導かれる。
• $p_g \geq 34$ の場合の $|\mathrm{Aut}_s(S)| \leq 12$ の境界は、一般型表面全体にわたるシミレクティック自己同型の普遍的上界を示唆する。