[論文レビュー] Which powers of holomorphic functions are integrable?

Janós Kollár|arXiv (Cornell University)|May 6, 2008

Geometry and complex manifolds参考文献 12被引用数 44

ひとこと要約

この論文は、正則関数の零点の近傍における負のべき乗の可積分性を調査し、対数正則特異点の閾値（LCT）を主要な不変量として導入する。特異点の解消と不変量理論を用いて、LCTがべき級数の切断に対して安定することを確立し、最小モデル理論とACC予想を用いて、滑らかな複素空間における蓄積予想を証明する。

ABSTRACT

We show that every limit of log canonical thresholds of n-variable functions is also a log canonical threshold of an (n-1)-variable function.

研究の動機と目的

• 正則関数 f の零点集合の近傍で |f|^t が局所的に可積分となるような実数の指数 t を特定すること。
• L^2 可積分性が失敗する臨界指数として、対数正則特異点の閾値（LCT）を定義し、その分析を行うこと。
• n 次元複素空間におけるすべての可能な LCT 値の集合 HT_n を調査すること。
• 最小モデル理論と ACC 予想を用いて、滑らかな複素空間における蓄積予想を証明すること。
• べき級数の切断に対して LCT が安定することを示し、c₀(f) ≤ lim inf c₀(tₘ(f)) + 2n/(m+1) を得ること

提案手法

• L^2 可積分性基準を用いて |f|^{-s} の LCT c₀(f) を定義し、可積分性が失敗する臨界 s を特定する。
• 特異点の解消を適用し、被約特異点の除法の不変量を用いて LCT を表現する。
• 弧空間と超積（一部 de Fernex–Mustaţǎ を経由）を用いて、LCT の極限における挙動を分析する。
• 最小モデルの存在（BCHM）を用いて、LCT に対する ACC 予想の重要なケースを証明する。
• 付随の反転を用いて、関数の LCT をその線形部分空間への制限の LCT と関連付ける。
• べき級数の m-次切断 tₘ(f) を用い、c₀(f) ≤ c₀(tₘ(f)) + 2n/(m+1) の見積もりを用いて、切断における LCT の収束を示す。

実験結果

リサーチクエスチョン

• RQ1 正則関数 f の零点集合の近傍で、どの実数の指数 t に対して |f|^t が局所的に可積分となるか？
• RQ2 n 次元複素空間におけるすべての可能な対数正則特異点の閾値の集合 HT_n の構造はいかなるものか？
• RQ3 集合 HT_n は上昇鎖条件（ACC）と蓄積予想を満たすか？
• RQ4 べき級数展開の切断に対して、対数正則特異点の閾値はどのように振る舞うか？
• RQ5 m → ∞ のとき、関数の LCT はその m-次ジャンクションの LCT から回復可能か？

主な発見

• 対数正則特異点の閾値 c₀(f) は、|f|^{-s} が原点の近傍で L^2 可積分となるような s の上限である。
• 原点で多重度 m を持つ1変数正則関数 f に対して、c₀(f) = 1/m であり、HT₁ = {1, 1/2, 1/3, ..., 0} である。
• べき級数 f の LCT は、その m-次ジャンクションの切断の LCT の下限極限によって下から抑えられる：c₀(f) ≤ lim inf c₀(tₘ(f)) + 2n/(m+1)。
• 滑らかな複素空間において、蓄積予想は成り立つ：LCT の集合は (0, ∞) 内に蓄積点を持たない（0 を除く）。
• 滑らかな場合に LCT に対する ACC 予想は成り立つ。これは最小モデルの存在と不変量の構造を用いて示される。
• LCT は小刻みな摂動に対して安定である：十分大きな m に対して、tₘ(f) が tₘ(F) に近いならば、Zariski 開集合内の f に対して c₀(f) = c₀(F) が成り立つ。