[論文レビュー] Caractérisations des espaces projectifs et des quadriques

Matthieu Paris|arXiv (Cornell University)|Sep 7, 2010

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

この論文は、接束の正性条件を弱めることで、複素射影多様体が射影空間または滑らかな二次曲面に特徴づけられるという既知の結果を一般化する。有理曲線族と曲線上のファイブレーションを用いて、ある正整数 $p$ に対して、$L^{-p}$ をねじ込んだ接束の $p$ 重テンソル積の全域切断空間が非自明であるならば、多様体は $
\mathbb{P}^n$、$
\mathbb{P}^1 \times \mathbb{P}^1$、または $
\mathbb{P}^{n+1}$ 内の滑らかな二次曲面ヒューパーファンスイドに同型であることを示す。これはピカール数にやや厳しい仮定のもとで成り立つ。

ABSTRACT

In this paper we prove the following result : if the p-th tensor power of the tangent bundle of a smooth projective variety contains the p-th power of an ample line bundle, then the variety is isomorphic either to the projective space or to a smooth quadric hypersurface.

研究の動機と目的

• 接束の正性を用いた射影空間および二次曲面の既知の特徴づけを一般化すること。
• Araujo, Druel, Kovács が提示した元の定理の仮定を弱める。この定理は、楔積や特定のラインバンドルのねじり付きテンソル積を必要としていた。
• 全域切断空間 $H^0(X, T_X^{\bigotimes p} \otimes L^{-p})$ が非自明であることだけが、多様体が射影空間または二次曲面に同型であることを示す十分条件であることを確立すること。
• ねじりの強さをさらに高めた場合、すなわち $L^{-k}$（$k > p$）の場合に分類を拡張し、より鋭い特徴づけを得ること。

提案手法

• Miyoka の定理を用いて $X$ が有理曲線で被覆可能（uniruled）であることを示し、有理曲線族の存在を導出する。
• 最小の被覆族を構成し、それが完全であることを証明する。
• $H$-有理的連結商 $\pi_0: X_0 \to Y_0$ を定義し、その構造を分析する。
• 問題を二つの場合に還元する：ファイブレーションが曲線上にあり、ファイバーが射影バンドルまたは二次曲面ファイブレーションである場合。
• これらのファイブレーションに二つの主要な消失定理（定理 3.1 および 3.2）を適用し、期待される場合以外を除外する。
• 帰納法と基底変換の技法を用いて準同型を拡張し、ファイバー型を保つ。Fujita らの極付多様体に関する結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 全域切断 $T_X^{\bigotimes p} \otimes L^{-p}$ に対してどのような条件が、対応する複素射影多様体 $X$ の分類を可能にするか？
• RQ2 これまでの知られていた正性条件よりも弱い条件下でも、$X$ が $\mathbb{P}^n$、$Q_n$、または $\mathbb{P}^1 \times \mathbb{P}^1$ に同型であるという特徴づけを回復できるか？
• RQ3 ねじりが強くなる場合、すなわち $L^{-k}$（$k > p$）の場合、分類にどのような影響があるか？
• RQ4 $H$-有理的連結商の構造とファイバーの幾何学的性質は、可能な多様体にどのような制約を課えるか？

主な発見

• 任意の $p \geq 1$ に対して $H^0(X, T_X^{\bigotimes p} \otimes L^{-p}) \neq 0$ ならば、$X$ は $\mathbb{P}^n$、$\mathbb{P}^1 \times \mathbb{P}^1$、または $\mathbb{P}^{n+1}$ 内の滑らかな二次曲面 $Q_n$ に同型であり、それぞれのケースで $L$ は超平面バンドルに対応する。
• $X \cong \mathbb{P}^1 \times \mathbb{P}^1$ となるのは $L \cong \mathcal{O}(2,2)$ の場合に限るが、このケースは仮定 $\rho(X) \geq 2$ の下では除外されるため、最終的な分類には現れない。
• $k > p$ の場合、$H^0(X, T_X^{\bigotimes p} \otimes L^{-k}) \neq 0$ であると、$X \cong \mathbb{P}^n$ かつ $L \cong \mathcal{O}_{\mathbb{P}^n}(1)$ であることが強制され、より鋭い特徴づけが得られる。
• 証明は、曲線上へのファイブレーションに還元することに依拠している。具体的には、射影バンドルまたは二次曲面ファイブレーションであり、消失定理を適用して期待されないケースを除外する。
• $H$-有理的連結商 $\pi_0: X_0 \to Y_0$ は曲線上へのファイブレーションであることが示され、ファイバー型が全体の構造を決定する。
• 有理曲線の完全な被覆族の存在を用い、ファイバー型を保つように準同型を拡張する。Fujita らの極付多様体に関する結果に依拠している。