[論文レビュー] Higher order minimal families of rational curves and Fano manifolds with nef Chern characters

Taku Suzuki|arXiv (Cornell University)|Jun 30, 2016

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

ひとこと要約

この論文は、チャーン類の正性を用いて、ファノ多様体上の高次元最小族が再びファノであるための条件を確立する。$X$ がネフなチャーン類 $\mathrm{ch}_2(X), \dots, \mathrm{ch}_N(X)$ を持ち、次元が $N^2 - N - 1$ 以上である最小族 $H_1$ を持つならば、$X$ は有理 $N$-多様体で被覆され、$X \vdash H_1 \vdash \cdots \vdash H_N$ という最小族の鎖が存在し、$H_N$ はファノである。これは既知の有理的表面や 3-多様体による被覆に関する結果を一般化する。

ABSTRACT

In this paper, we investigate higher order minimal families $H_i$ of rational curves associated to Fano manifolds $X$. We prove that $H_i$ is also a Fano manifold if the Chern characters of $X$ satisfy some positivity conditions. We also provide a sufficient condition for Fano manifolds to be covered by higher rational manifolds.

研究の動機と目的

• ファノ多様体上の有理曲線の高次元最小族 $H_i$ を調べ、初等的 VMRT 構成を超えて理論を拡張すること。
• 非ファノ多様体に到達するまでの最小族の鎖の長さを測る不変量 $\underline{N}_X$ と $\overline{N}_X$ を定義し、それらを研究すること。
• ファノ多様体が有理 $N$-多様体で被覆される十分条件を確立し、既知の有理的表面や 3-多様体による被覆に関する結果を一般化すること。
• 特に $\mathrm{ch}_2(H_i)$ の正性とファノ構造を保証するため、最小族の反復におけるチャーン類の振る舞いを分析すること。

提案手法

• 繰り返し接空間写像と VMRT 理論を用いて、$X \vdash H_1 \vdash \cdots \vdash H_i$ という高次元最小族を定義する。
• 結果 [2] と [8] を活用し、$d_i = \dim H_i$ と $c_1(L_i)$ を含む再帰的公式に基づいて、チャーン類 $\mathrm{ch}_2(H_i)$ の帰納的計算を行う。
• 二項係数とベルヌーイ数から導かれる境界を用いて、$\mathrm{ch}_2(H_i)$ の正性基準を適用し、$\mathrm{ch}_2(H_i) > 0$ を保証する。
• 有理曲線を射影接空間内の直線に関連付けるために、接写像 $\tau_i: H_i \to \mathbb{P}(T_{x_{i-1}}H_{i-1}^\vee)$ を用いる。
• 各 $2 \leq i \leq N$ に対して $a_i = 1$ であることを仮定し、$H_N$ から $X$ への繰り返し上げに基づいて、$\mathbb{P}^{k} \to H_{N-k}$ なる一般に単射な準同型 $f_k$ を用いて $X$ 内の有理 $N$-多様体を構成する。
• 補題 2.8 を適用して、有理曲線を $X$ 内の有理 $N$-多様体に上げる。$H_1 \not\cong \mathbb{P}^d$ かつ $H_2, \dots, H_{N-1} \not\cong \mathbb{P}^d$ のとき、$X$ はこのような多様体で被覆されることが示される。

実験結果

リサーチクエスチョン

• RQ1 ファノ多様体 $X$ のチャーン類にどのような条件が満たされると、$i$ 階最小族 $H_i$ もファノ多様体となるか？
• RQ2 最小族 $H_1$ が十分に大きな次元を持ち、$\mathrm{ch}_2(X), \dots, \mathrm{ch}_N(X)$ がネフであると仮定したとき、$X$ が有理 $N$-多様体で被覆されるかどうかを保証できるか？
• RQ3 $\underline{N}_X$ と $\overline{N}_X$ という不変量は、インデックス $r_X$ や擬インデックス $i_X$ といった古典的不変量とどのように関係しているか？
• RQ4 $H_i$ のチャーン類展開における係数 $a_i$ は果たしてどのような役割を果たし、$\mathrm{ch}_2(H_i)$ の正性を保証するのか？
• RQ5 $\mathrm{ch}_2(H_i)$ の正性は最小族の鎖を通じてどのように伝播するのか。また、いつその正性が失敗するのか？

主な発見

• $X$ が $\mathrm{ch}_2(X), \dots, \mathrm{ch}_N(X)$ がネフであり、$\dim H_1 \geq N^2 - N - 1$ を満たすファノ多様体であるならば、$\underline{N}_X \geq N$ が成り立ち、最小族の鎖が非ファノ多様体に到達するまで少なくとも $N$ ステップにまで延長可能である。
• $2 \leq i \leq N$ に対して、$H_i$ のチャーン類展開における係数 $a_i = 1$ である。これにより $\mathrm{ch}_2(H_i) > 0$ が保証され、$H_i$ はファノである。
• 各 $2 \leq i \leq M$ に対して、$d_i = \dim H_i$ は $d_i \geq \frac{1}{i} > 0$ を満たし、高次元族の存在が保証される。
• $H_1 \not\cong \mathbb{P}^d$ かつ $H_2, \dots, H_{N-1} \not\cong \mathbb{P}^d$ ならば、$X$ は有理 $N$-多様体で被覆される。これは、有理的表面や 3-多様体による被覆に関する既知の結果を一般化する。
• 繰り返し接写像を用いて $f_k: \mathbb{P}^{k} \to H_{N-k}$ を構成することで、$X$ 内の有理 $N$-多様体が得られ、特に $f_1: \mathbb{P}^N \to X$ は点を通る直線の上でのみ有理的同型である。
• $c_1(H_M) \geq \frac{1}{M+1}c_1(L_M) > 0$ という不等式により、$c_1(H_M)$ と $\mathrm{ch}_2(H_{M-1})$ の正性が保証され、$H_M$ がファノであることが示される。