[論文レビュー] Singularity content

Mohammad Akhtar, Alexander Kasprzyk|arXiv (Cornell University)|Jan 21, 2014

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

ひとこと要約

本稿では、ファノ格子多角形における特異性含量の概念を導入し、巡回商特異性を基本的なT特異性と残余特異性に分解する。この含量によって、関連するトーリックファノ表面の反標準的次数およびヒルベルト級数が決定され、多角形の変異に関して特異性含量が不変であることを証明する。これは、トーリック幾何と鏡像対称性を用いたファノ多様体の分類に強力な不変量を提供する。

ABSTRACT

We show that a cyclic quotient surface singularity S can be decomposed, in a precise sense, into a number of elementary T-singularities together with a cyclic quotient surface singularity called the residue of S. A normal surface X with isolated cyclic quotient singularities {S_i} admits a Q-Gorenstein partial smoothing to a surface with singularities given by the residues of the S_i. We define the singularity content of a Fano lattice polygon P: this records the total number of elementary T-singularities and the residues of the corresponding toric Fano surface X_P. We express the degree of X_P in terms of the singularity content of P; give a formula for the Hilbert series of X_P in terms of singularity content; and show that singularity content is an invariant of P under mutation.

研究の動機と目的

• ファノ格子多角形の特異性含量を、nが基本的T特異性の数を数え、Bが巡回商特異性の剰余を記録するペア(n, B)として定義・形式化すること。
• 関連するトーリックファノ表面の反標準的次数を特異性含量の言葉で表現すること。
• 特異性含量を用いて、トーリックファノ表面のヒルベルト級数の公式を導出すること。
• ファノ多角形の変異に関して特異性含量が不変であることを証明し、鏡像対称性およびファノ多様体の分類と結びつけること。

提案手法

• 幅w、局所指数ℓの2次元有理コーンCを、ℓ幅のn個の部分コーンと、ρ < ℓ幅の1つの残余コーンに格子分解する。
• コーンCの剰余を、幅ρと指数ℓの唯一のコーンRとして定義し、分解に依存しない。これは格子同型を介して定まる。
• トーリック表面X_Cを、そのコーンの剰余に由来する特異性を持つQ-ゴレンシュタインの変形として構成する。
• ファノ多角形Pの特異性含量を、n = ∑n_iおよびPのスパンニングファイバー内のコーンの剰余のリストBからなるペア(n, B)として定義する。
• 格子幾何学と特異性の型に基づいて、X_Pの次数のnとB内の剰余を用いた公式を導出する。
• リードの公式のスタイルに従い、X_Pのヒルベルト級数を主要項とB内の各剰余からの寄与の和として表現する。

実験結果

リサーチクエスチョン

• RQ1 巡回商特異性は、分解に依存しない方法で、基本的T特異性と残余特異性にどのように分解できるか？
• RQ2 トーリックファノ表面の反標準的次数と、関連するファノ多角形の特異性含量との関係は何か？
• RQ3 トーリックファノ表面のヒルベルト級数は、そのファノ多角形の特異性含量を用いて明示的に表現できるか？
• RQ4 特異性含量は多角形の変異に関して不変か？そしてこれは、鏡像対称性を用いたファノ多様体の分類に何を意味するか？

主な発見

• トーリックファノ表面X_Pの反標準的次数は、ファノ多角形Pの特異性含量(n, B)によって決定され、命題3.3で明確な公式が導出された。
• X_Pのヒルベルト級数は、主要項とB内の各剰余からの寄与の和として表現され、命題3.5で示された。
• 特異性含量は変異に関して不変である：Q = mut_h(P, F)ならばSC(Q) = SC(P)である。これは命題3.6で証明された。
• X_Pのピカール数ρ_Xは、Pの頂点数とそのファセットの分解に基づき、ρ_X ≤ n + |B| − 2という不等式を満たす。
• 異なる特異性含量を持つ2つのファノ多角形は、変異によって関係づけられることはなく、例としてP₁ = conv{(0,1),(5,4),(-7,-8)}とP₂ = conv{(0,1),(3,1),(-112,-79)}のSC(P₁)とSC(P₂)が異なることによって示された。
• n + |B| = 3のとき、(偽)重み付き射影平面の変異グラフは、1ステップ変異のグラフと一致する。例3.9で示された。