所員 -川北 真之-

名前 川北 真之 (Kawakita, Masayuki)
准教授
E-Mail masayuki (emailアドレスには@kurims.kyoto-u.ac.jp をつけてください)
研究内容 代数幾何学
紹 介
 双有理幾何学における極小モデルプログラム(MMP)は,標準因子の比較によって各双有理同値類を代表する多様体を抽出するプログラムである。3次元では森が本来のプログラムを作り,その後主にShokurovの努力により完成した。MMPの完成にはフリップの存在と終止が必要であるが,その存在はBirkar,Cascini,Hacon,McKernanによって一般次元で示された。
 3次元双有理幾何の詳細な理解の要請に応えて,私は3次元因子収縮写像の系統的研究を行った。3次元では収縮先が点のときが本質的で,これらの写像を食違い係数が小さい場合を除き完全に分類し,残る場合も分類方法を確立した。研究過程ではReidのgeneral elephant予想も証明した。
 高次元MMPの目下の最重要な課題はフリップの終止予想である。私はMMPの過程で現れる特異点を極小対数的食違い係数を手掛かりに研究している。MMPの特異点は極小対数的食違い係数により定義され,さらにフリップの終止は係数の下半連続性と昇鎖律の二予想に還元されるからである。
 私は始めに逆同伴問題を研究した。(逆)同伴とは,多様体と因子の組から因子上に新たな組が導入されるときの,両組の特異点の比較である。私は両組の対数的標準性の同値性を証明した。より一般に両組の極小対数的食違い係数の一致が予想され,Ein,Musta\c{t}\u{a},安田のモチーフ積分論の手法を一般化した。
 極小対数的食違い係数の有界性は,下半連続性及び昇鎖律のどちらの系でもある予想である。私は特異点の超平面切断が与えるArtin環の解析から,3次元における係数の有界性とGorenstein端末特異点の特徴付けを回復した。また特異点の有界性問題として,厳密な3次元標準特異点のGorenstein指数は6以下であるというShokurovの予想を証明した。
 Kollárとde Fernex,Ein,Musta\c{t}\u{a}は対数的標準閾のイデアル進半連続性を示し,イデアルの生成極限を用いて昇鎖律へ応用させたが,私はその極小対数的食違い係数への拡張を研究した。さらに多様体とイデアルの指数が指定された時の,対数的標準な組の対数的食違い係数全体の集合の離散性を示し,系として局所完全交叉特異点の極小対数的食違い係数の昇鎖律を得た。
 イデアルの生成極限は形式的べき級数環上定義される。私はShokurov,Kollárの連結性補題を形式的べき級数環上で考察し,3次元最小対数的標準中心の存在と正規性を証明した。これを用いてCascini,McKernanによる昇鎖律の定式化を,3次元非特異多様体上の1より大きい極小対数的食違い係数について示した。
  1. Divisorial contractions in dimension three which contract divisors to smooth points, Invent. Math., 145, No.1, 105-119 (2001)
  2. General elephants of three-fold divisorial contractions, J. Amer. Math. Soc., 16, No.2, 331-362 (2003)
  3. Three-fold divisorial contractions to singularities of higher indices, Duke Math. J., 130, No.1, 57-126 (2005)
  4. Inversion of adjunction on log canonicity, Invent. Math., 167, No.1, 129-133 (2007)
  5. On a comparison of minimal log discrepancies in terms of motivic integration, J. Reine Angew. Math., 620, 55-65 (2008)
  6. Towards boundedness of minimal log discrepancies by Riemann--Roch theorem, Am. J. Math. 133, No.5, 1299-1311 (2011)
  7. Ideal-adic semi-continuity problem for minimal log discrepancies, Math. Ann. 356, No.4, 1359-1377 (2013)
  8. Discreteness of log discrepancies over log canonical triples on a fixed pair, J. Algebr. Geom. Geom. 23, No.4, 765-774 (2014)
  9. The index of a threefold canonical singularity, Am. J. Math. 137, No.1, 271-280 (2015)
  10. A connectedness theorem over the spectrum of a formal power series ring, arXiv:1403.7582