Boundedness of Weak Fano Pairs with Alpha-invariants and Volumes Bounded Below
概要
⒈はじめに
この要旨を通して,全て複素数体ℂ上で考える.双有理幾何学では,極小モデルプログラムにより,Fano多様体は基本的な代数多様体の一つの種類であることがわかる.そのために,Fano多様体の有界性は代数幾何学の重要な問題である.
まず,2016年,C.Birkarは以下のBAB定理を証明した[Bir16a][Bir16b].
定理1.1(BAB定理).固定した自然数𝑑と正実数εに対して,全ての𝑑次元ε-Fano型の多様体の集合は有界である.
ここで,多様体𝑋がε-Fano型と言うのは,ある境界𝐵が存在して,(𝑋,𝐵)はε-klt弱ログFano対になるとである.BAB定理は,元々Borisov-Alexeev-Borisovが発表した予想であった.さらに,Birkarの手方は関連するFano多様体の問題に大きな進展を与えた.
この論文は主な部分は,[Che18]に基づいており,体積とアルファ不変量が0から一様に離れたFano多様体の有界性を示している.
さらに,体積とアルファ不変量が下に有界な弱ログFanoで構成されている有界な族は,その対の上に有界なklt特異点を持っている有界な補因子も構成できる.
一方,klt特異点を持つ弱ログFanoに対して,体積とアルファ不変量の特定の多重乗積は有界であることも示している.
⒉ログFano対の有界性定理
まずは𝛼(𝑋,𝐵)を定義する.
定義2.2.(𝑋,𝐵)はlc特異点を持つログ対,𝐷は𝑋上のℝ-Cartier因子とする.そのとき,lct((𝑋,𝐵),𝐷)とlct((𝑋,𝐵),|𝐷|ℝ)は以下のようにされる.
lct((𝑋,𝐵)𝐷)=sup{𝑡≥0|(𝑋,𝐵+𝑡𝐷)はlc特異点を持っている}.
lct((𝑋,𝐵),|𝐷|ℝ)=inf{lct((𝑋,𝐵)𝑀)|𝑀∈|𝐷|ℝ}.
そのうえで,(𝑋,𝐵)は弱ログFano対の場合は,𝛼不変量𝛼(𝑋,𝐵)は以下のように定義される.
𝛼(𝑋,𝐵)=lct((𝑋,𝐵),|−(𝐾+𝐵)|ℝ).
この章は主に下記の定理を説明する.
定理2.1.固定した自然数𝑑と正実数𝜃,下降鎖条件を満たす実数の部分集合𝑆に対して,klt特異点を持つ𝑑次元弱ログFano対のクラス𝔇を下のように定義する.
𝔇={(𝑋,𝐵)|(𝑋,𝐵)はklt特異点を持つ弱ログFano,vol(−(𝐾+𝐵))>𝜃,
𝛼(𝑋,𝐵)>𝜃,𝐵の係数は𝑆に属する}.
そのとき,𝔇は有界である.
定理2.1の境界𝐵はゼロである場合はC.Jiangによって証明されている[Jia15].その場合は,𝑋がℚ-Fano多様体と呼ばれている.さらに,定理2.1の条件で,以下の定理によって,(𝑋,𝐵)に対して有界な補因子も構成できる.
定理2.3.定理2.1中の𝔇に対して,以下の条件を満たす[0,1]の有限部分集合Γଵ,Γଶと自然数𝑛が存在する.(𝑋,𝐵)は𝔇の元とする.このとき(𝑋,𝐵)に対してଵ-lc(𝑛,Γଵ,Γଶ)-補因子が存在する.
ここで,(𝑛,Γଵ,Γଶ)-補因子はHan-Liu-Shokurovによって,以下のように定義される[HLS19].
定義2.4.(𝑋,𝐵)はログ対,𝑛は自然数,ΓଵとΓଶは[0,1]の有限部分集合とする.(𝑛,Γଵ,Γଶ)-補因子と言うのは,以下の条件を満たす𝑋上の因子𝐾+𝐵ାである.
(1)𝐵ା≥𝐵,
(2)ある自然数𝑟とΓଵの元𝑎ଵ,𝑎ଶ,…,𝑎,
(3)∑𝑎ୀଵ=1,
(4)ある𝑋上の有効因子𝐵,𝐵の係数はΓଶに属する,
(5)∑𝑎ୀଵ𝐵=𝐵ା,
(6)𝑛(𝐾+𝐵)~0,(𝑋,𝐵)はlcログCalabi-Yau対である.
Γଵ={1},と共に𝑟=1の場合は,𝐾+𝐵ାが強𝑛-補因子と言う
また,有界な弱ログFanoの族に対して,以下の有界な補因子についての定理も示される
定理2.5.自然数𝑑と正実数𝜃を固定して,𝒫は有界な𝑑次元弱ログFanoの族とする.そのとき,以下の条件を満たす自然数𝑛が存在する.もし(𝑋,𝐵)は𝒫の元なら,vol൫−(𝐾+𝐵)൯>𝜃と𝛼(𝑋,𝐵)>𝜃を満たせば,(𝑋,𝐵)に対してଵ-lc強𝑛-補因子が存在する.
⒊体積とアルファ不変量の多重乗積の有界性
双有理幾何学では,多様体の有界性以外に,ほかの不変量の有界性も重要と考えされている.以下の定理で,不変量として体積とアルファ不変量のある多重乗積の有界性を示している.
定理3.1.自然数𝑑を固定すると,𝑑次元klt特異点を持つ弱ログFano(𝑋,𝐵)に対して,体積とアルファ不変量のある多重乗積
𝛼(𝑋,𝐵)ௗିଵvol(−(𝐾+𝐵))は上に有界である.
定理3.1.の中で,𝛼(𝑋,𝐵)ௗvol(−(𝐾+𝐵))は上に有界であることはよく知られている[Kol97].一方,正実数𝑡に対して,𝛼(𝑋,𝐵)ௗିଵି௧vol(−(𝐾+𝐵))は上に有界ではない例も存在する.