[論文レビュー] An optimal gap of minimal log discrepancies of threefold non-canonical singularities

Jihao Liu, Liudan Xiao|arXiv (Cornell University)|Sep 19, 2019

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

ひとこと要約

本稿では、任意の $\mathbb{Q}$-Gorensteinで非正則な3次元多様体の最小対数特異点指数（mld）が $\frac{12}{13}$ 以下であることを確立し、これが最良の上界であることを示している。証明は、関連する5次元の巡回商特異点の詳細な解析に依拠しており、mld 条件から導かれる床関数を含む方程式および不等式の解のコンピュータ支援による列挙を活用し、最終的に $(\frac{12}{13}, 1)$ の範囲に mld を持つような特異点が存在しないことを示している。

ABSTRACT

We show that the minimal log discrepancy of any $\mathbb Q$-Gorenstein non-canonical threefold is $\leq\frac{12}{13}$, which is an optimal bound.

研究の動機と目的

• 非正則な3次元多様体特異点の最小対数特異点指数（mld）の最良の上界を確立すること。
• mld(X) < 1 である限り mld(X) ≤ 12/13 であることを示すことにより、3次元多様体におけるShokurovのACC予想の長年の未解決事例を解決すること。
• 3次元非正則特異点と関連する、mld が2に近い5次元巡回商特異点の構造を同定すること。
• 具体的な例の構成により、12/13 が鋭い境界であることを示すこと：mld = 12/13 を達成する3次元巡回商特異点 $\frac{1}{13}(3,4,5)$ の構成。
• 幾何的および算術的条件を満たす5次元巡回商特異点が、$(2 - \frac{1}{13}, 2)$ の範囲に mld を持たないことを計算的証明により示し、ギャップを閉じること。

提案手法

• mld が2に近い5次元巡回商特異点 $\frac{1}{r}(a_1,\dots,a_5)$ を、関連する点 $\bm{x} = (a_i/r)$ を用いて分析する。
• 関数 $f(n) = \sum_{i=1}^5 \lfloor n x_i \rfloor$ を導入し、$f(n) = 2n - 2 - c$ が成り立つような小さな $c$ の条件下でその挙動を研究し、これを条件 $\mathcal{D}(n,c)$ と定義する。
• 補助的な不等式 $\mathcal{C}(n)$ と構造的制約（例：$\gcd(a_i,r)=1$, $\gcd(a_4,r)=\gcd(a_5,r)$, $\sum a_i \equiv 1 \mod r$）を用いて、可能な解を制限する。
• 特に $n \in [2,35]$ および $c \leq 4$ の範囲で、制約下での方程式および不等式系のすべての解をコンピュータアルゴリズムを用いて列挙する。
• 複数の $n$ に対して $\mathcal{D}(n,c)$ と $\mathcal{C}(n)$ を同時に満たす解を絞り込むために、$V_k$ を用いた帰納法および再帰的集合構築を用いる。
• mld < 2 である5次元巡回商特異点の分類に依拠し、2未満の最大の mld が $2 - \frac{1}{19}$ であり、$\frac{1}{19}(3,4,5,7,18)$ で達成されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非正則な3次元多様体特異点の最小対数特異点指数の最良の上界は何か？
• RQ2 3次元において、1と最小対数特異点指数の間のギャップが1から離れるように制限できるか？ もしそうなら、その最良の境界は何か？
• RQ3 mld が2に近い5次元巡回商特異点の中で、3次元非正則特異点の関連特異点として生じ得るものはどれか？
• RQ4 $(2 - \frac{1}{13}, 2)$ の範囲に mld を持つ5次元巡回商特異点で、Jiangの還元フレームワークが要請する幾何的および算術的条件を満たすものは存在するか？
• RQ5 境界 $\frac{12}{13}$ は鋭いか？ また、明示的な例によって達成可能か？

主な発見

• 任意の $\mathbb{Q}$-Gorensteinで非正則な3次元多様体の最小対数特異点指数は $\frac{12}{13}$ 以下であり、この境界は最良である。
• 例 $\frac{1}{13}(3,4,5)$ は正確に $\frac{12}{13}$ を達成しており、境界をさらに改善できないことを確認している。
• $(2 - \frac{1}{13}, 2)$ の範囲に mld を持つ5次元巡回商特異点は、3次元非正則特異点から生じるための必要な条件を満たさない。
• 孤立した5次元巡回商特異点において、2未満の最大の mld は $2 - \frac{1}{19}$ であり、$\frac{1}{19}(3,4,5,7,18)$ で達成される。
• すべての制約（3つの整除条件を含む）を満たす唯一の5次元巡回商特異点は、$(19,\{3,4,5,7,18\})$、$(17,\{2,3,5,7,16\})$、および $(14,\{3,5,13,2,4\})$ である。
• 証明は、$n \leq 35$ および $c \leq 4$ の範囲で $\sum_{i=1}^5 \lfloor n x_i \rfloor = 2n - 2 - c$ の解をコンピュータ支援で列挙することに依拠しており、必要な制約下では解が存在しないことを示している。