[論文レビュー] Existence of good divisors on Mukai varieties

Massimiliano Mella|ArXiv.org|May 9, 1997

Algebraic Geometry and Number Theory参考文献 19被引用数 59

ひとこと要約

この論文は、Mukai多様体（指数 $ i(X) = n-2 $ のFano多様体）に良い除集合が存在することを確立する。これは、$ \mathbb{P}(1,1,1,1,2,3) $ 内の特異点を持つ終極的Gorenstein3重積と、$ \mathbb{P}(1,1,1,1,1,2) $ 内の2次曲面と4次曲面の完全交差であるものの、その被覆が終極的でない3重積の2つの例外を除いて成り立つ。この結果はMukaiの予想を裏付け、Kawamataの基点自由化技術と、対数正則特異点の最小中心に対する部分接続を用いて、指数 $ n-2 $ の滑らかなFano $ n $-重積の分類を完成させる。

ABSTRACT

A Mukai variety is a Fano n-fold of index n-2. In this paper we study the fundamental divisor of a Mukai variety with at worst log terminal singularities. The main result is a complete classification of log terminal Mukai varieties which have not good divisors, examples of "bad" varieties are given. In such a way we also give a shorter proof of Mukai Conjecture, solved in our previous paper alg-geom/9611024.

研究の動機と目的

• 指数 $ i(X) = n-2 $ のMukai多様体（Fano多様体）に対して、対数正則特異点をもつ場合の良い除集合の存在に関するMukaiの予想を解決すること。
• 良い除集合を持たないMukai多様体をすべて分類し、一般の基本除集合が対数正則ではなく、正則特異点をもつ例外的な場合を同定すること。
• 滑らかなFano $ n $-重積の指数 $ n-2 $ の分類が、提示された条件下で良い除集合の存在を示すことで完全であることを確認すること。
• Shokurov, Reid, Prokhorovの手法を、Kawamataの基点自由化法と、codimension ≤ 2 の中心に対する部分接続を用いて、終極的および非Gorensteinの場合に拡張すること。

提案手法

• Mukai多様体の基本除集合 $ H $ に対して、Kawamataの基点自由化技術を適用し、線形系統 $ |H| $ を分析する。
• 対数正則特異点の中心とその交差性の概念を用いて、$ |H| $ 内の除集合の基点と特異点を制御する。
• codimension ≤ 2 の最小中心に対する部分接続公式を用い、$ H $ の特異点と $ X $ の特異点との関係を結びつける。これにより、複雑な非消失性の議論を回避する。
• Riemann–Roch計算を用いて、$ S \in |H| $ 上の曲線 $ C $ に対して $ h^0(C, nH|_C) $ を計算し、多様体が完全交差として明示的に記述可能であるようにする。
• 非GorensteinなMukai3重積の標準被覆を分析し、重み付き射影空間内の完全交差に問題を還元する。
• 標準被覆上での対合を用いて、元の多様体を再構成し、固定点解析により例外的な場合を同定する。

実験結果

リサーチクエスチョン

• RQ1 対数正則特異点をもつMukai多様体が、被覆多様体と同等の特異点をもつ良い除集合（基本線形系統の一般要素）をもつ条件は何か？
• RQ2 良い除集合を持たないMukai多様体の完全なリストは何か？ それらの幾何学的および双有理的性質は何か？
• RQ3 Mukaiの予想（指数 $ n-2 $ の滑らかなFano $ n $-重積の分類）は、良い除集合の存在を示すことで裏付けられるか？
• RQ4 特に非Gorensteinの場合に、基本除集合 $ H $ の特異点と、周囲の多様体 $ X $ の特異点との関係は何か？
• RQ5 基点集合 $ Bsl|H| \neq \emptyset $ の場合、基点集合と線形系統 $ |H| $ は、良い除集合の存在にどのように寄与するか？

主な発見

• 良い除集合を持たないMukai多様体は、唯一、$ \mathbb{P}(1,1,1,1,2,3) $ 内の2次曲面と6次曲面の完全交差である特異点を持つ終極的Gorenstein3重積と、$ \mathbb{P}(1,1,1,1,1,2) $ 内の2次曲面と4次曲面の完全交差であるものの、その被覆が終極的でない3重積の2つである。
• 両方の例外的ケースにおいて、基本除集合の一般要素は対数正則ではなく正則特異点をもち、したがって良い除集合とはならない。
• Mukai多様体の基本除集合 $ H $ は $ -K_X \equiv H $ を満たし、非Gorensteinの場合には $ H^3 = 2 $ である。これは分類において重要な不変量である。
• 滑らかなMukai多様体では、$ |H| $ 内の一般除集合が滑らかであることが確認され、このような多様体が良い除集合を持つこと、Mukaiの分類プログラムが正当化されることを示している。
• Riemann–Rochとコhomologyの消失性を用いて、標準被覆上で $ n > 1 $ のとき $ h^0(C, nH|_C) = 2(2n-1) $ を示し、多様体が完全交差として構成可能であることを可能にする。
• 非Gorensteinケースの標準被覆が、$ \mathbb{P}(1,1,1,1,1,2) $ 内の2次曲面と4次曲面の完全交差であることが示され、明示的な対合が商写像を実現する。