[論文レビュー] IMPANGA lecture notes on log canonical thresholds

Mircea Mustaţă|arXiv (Cornell University)|Jul 13, 2011

Geometry and complex manifolds参考文献 34被引用数 13

ひとこと要約

この論文は、複素代数幾何における特異点の深刻さを測る代数的不変量である対数正則臨界閾値（LCT）について、包括的な講義ノートを提供する。LCTは、重複度の逆数を精緻化したものであり、基礎的性質を確立し、特異点の解消、乗数イデアル、および双有理幾何と関連づける。特に、次元2におけるグレード付きイデアルに対して、LCTに達する擬単項式付値の存在を証明する。

ABSTRACT

These are lecture notes from the IMPANGA 2010 Summer school. They give an introduction to log canonical thresholds, covering some basic properties, examples, and some recent results and open questions.

研究の動機と目的

• 特異点の深刻さを測るための重複度の改良版として、対数正則臨界閾値（LCT）の理論を体系的に展開すること。
• LCTを特異点の解消、乗数イデアル、および双有理幾何における最小モデルプログラムといった広範な文脈と結びつけること。
• 次元2におけるグレード付きイデアル列に対して、漸近的LCTに達する擬単項式付値の存在を確立すること。
• LCTと解析的不変量（例えば、複素特異点指数およびDemaillyとKollárの開口予想）との関係を調査すること。
• 特に高次元において、LCTを実現する付値の有限性と構造に関する予想を提示・検討すること。

提案手法

• 特異点 $P$ の近傍で、ペア $({\mathbf{C}}^n, \lambda H)$ が対数正則である最大の $\lambda > 0$ として、$\operatorname{lct}_P(f)$ を定義する。ここで $H$ は $f$ で定義される超曲面である。
• 特異点の解消を用いて、複素特異点指数（LCTに等価）が $1$ より小さい有理数であり、複素累乗のメロモルフィック続行における極が $-\operatorname{lct}(f)$ で有界であることを示す。
• グレード付きイデアル列 $\mathfrak{a}_\bullet$ に対して、漸近的LCT $\operatorname{lct}(\mathfrak{a}_\bullet)$ を $\lim_{m \to \infty} m \cdot \operatorname{lct}(\mathfrak{a}_m)$ として定義する。
• 付値 $v$ に対して、$\operatorname{lct}(\mathfrak{a}_\bullet) = \frac{\operatorname{Logdisc}(v)}{v(\mathfrak{a}_\bullet)}$ という対数特異点の不変量との関係を示す。
• 次元2において、漸近的LCTに達するすべての付値が擬単項式であることを証明し、このような付値の有限性に関する予想を支持する。
• psh関数と $\exp(-2s\varphi)$ の可積分性を用いて、代数的LCTと解析的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 特異点における超曲面の重複度と対数正則臨界閾値の正確な関係は何か？
• RQ2 対数正則臨界閾値は、複素特異点指数および複素累乗のメロモルフィック続行とどのように関係しているか？
• RQ3 グレード付きイデアル列の漸近的対数正則臨界閾値は、擬単項式付値によって実現可能か？
• RQ4 固定された $n$ に対して、すべての対数正則臨界閾値の集合は上昇鎖条件（ACC）を満たすか？ また、これはフラップの終了予想とどのように関連しているか？
• RQ5 擬単項式付値によるLCTの最小化が、psh関数の開口予想をどのように示唆するか？

主な発見

• 重み付き同次多項式 $f = x_1^{a_1} + \cdots + x_n^{a_n}$ に対して、原点における対数正則臨界閾値は $\operatorname{lct}_0(f) = \min\left\{1, \sum_{i=1}^n \frac{1}{a_i}\right\}$ であり、有理数であり $1$ で有界であることが示される。
• 超曲面に対して、LCTは $[0,1]$ 内の有理数であり、かつその値が $1$ であることは、その超曲面がその点で非特異であることに同値である。
• グレード付きイデアル列 $\mathfrak{a}_\bullet$ のLCTは、ある付値 $v$ に対して $\frac{\operatorname{Logdisc}(v)}{v(\mathfrak{a}_\bullet)}$ に等しく、次元2ではこのような $v$ は必ず擬単項式である。
• 次元2では、すべての最小化付値が擬単項式であるという予想が、[JM] の定理4.9で証明されている。
• 漸近的LCT $\operatorname{lct}(\mathfrak{a}_\bullet)$ は適切に定義されており、$\lim_{m \to \infty} m \cdot \operatorname{lct}(\mathfrak{a}_m)$ に等しい。これは、グレード付き列への概念の拡張を示している。
• DemaillyとKollárの開口予想は、すべての漸近的LCTの最小化付値が擬単項式であるという予想から示唆され、代数的および解析的特異点不変量の間の深い関係を示唆している。