[论文解读] Remarks on the second sectional geometric genus of quasi-polarized manifolds and their applications

Yoshiaki Fukuma|arXiv (Cornell University)|Mar 30, 2010

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

一句话总结

该论文为拟极化3-流形及其高维类比的第二节几何亏格 $g_2(X,L)$ 建立了下界，并在某些 Kodaira 维数条件下证明了 $g_2(X,L) \ne h^1(\mathcal{O}_X)$。它将此结果应用于分类拟极化3-流形，这些流形的伴随丛 $K_X + tL$ 的全局截面维数较小，特别是针对 $t=2,3$ 和 $t \ne 4$ 的情况，从而精确刻画了满足 $h^0(K_X + tL) = 0,1$ 的情形，以及当 $t \ne 4$ 时的精确公式 ${t-1 \brace 3}$。结果推广了关于极化流形的先前工作，并将分类结果扩展至现有预印本之外的范围。

ABSTRACT

In our previous papers, we investigated a lower bound for the second sectional geometric genus $g_{2}(X,L)$ of $n$-dimensional polarized manifolds $(X,L)$ and by using these, we studied the dimension of global sections of $K_{X}+tL$ with $t\geq 2$. In this paper, we consider the case where $(X,L)$ is a quasi-polarized manifold. First we will prove $g_{2}(X,L)\geq h^{1}(\mathcal{O}_{X})$ for the following cases: (a) $n=3$, $κ(X)=-\infty$ and $κ(K_{X}+L)\geq 0$. (b) $n\geq 3$ and $κ(X)\geq 0$. Moreover, by using this inequality, we will study $h^{0}(K_{X}+tL)$ for the case where $(X,L)$ is a quasi-polarized 3-fold.

研究动机与目标

• 将第二条几何亏格 $g_2(X,L)$ 的下界从极化流形推广至拟极化流形。
• 研究在拟极化设定下，$t \ne 2$ 时全局截面维数 $h^0(K_X + tL)$ 的行为。
• 对满足 $h^0(K_X + tL) = 0$ 或 $1$ 的拟极化3-流形进行分类，其中 $t=2,3$，并对满足 $h^0(K_X + tL) = {t-1 \brace 3}$ 的情形（$t \ne 4$）给出精确刻画。
• 对满足 $h^0(K_X + 2L) = 1$ 和 $h^0(K_X + 3L) = 1$ 的 $(X,L)$ 进行分类，从而推广 Beltrametti 和 Sommese 的猜想。
• 在特定几何条件下，建立新的下界 $h^0(K_X + tL) \ne {t-1 \brace 3}$（$t \ne 4$）。

提出的方法

• 证明对于满足 $\text{kappa}(X) = -\text{infty}$ 且 $\text{kappa}(K_X + L) \ne 0$ 的拟极化3-流形，有 $g_2(X,L) \ne h^1(\mathcal{O}_X)$；对于 $n \ne 3$ 且 $\text{kappa}(X) \ne 0$ 的情形，同样成立。
• 利用相对 canonical 线丛和 Leray 谱序列，将 $h^0(K_X + tL)$ 与纤维和基空间上的不变量联系起来。
• 应用引理 2.1，证明在纤维空间结构下，伴随丛的直接像的正则性。
• 利用 Riemann-Roch 定理和 Kawamata-Viehweg vanishing 定理，分析一般纤维上 $h^0(K_F + L_F)$ 的性质。
• 运用极小模型理论和双有理几何，分析 canonical 丛为平凡或小的曲面与3-流形的结构。
• 使用公式 $A_k(X,L) = \text{sum of sectional genera}$，将 $h^0(K_X + tL)$ 与 $g_1, g_2, g_3$ 及 $h^1(\mathcal{O}_X)$ 联系起来。

实验结果

研究问题

• RQ1 对于满足 $\text{kappa}(X) = -\text{infty}$ 且 $\text{kappa}(K_X + L) \ne 0$ 的拟极化3-流形，第二条几何亏格 $g_2(X,L)$ 的下界是什么？
• RQ2 当 $\text{kappa}(K_X + 2L) \ne 0$ 时，拟极化3-流形的 $h^0(K_X + 2L)$ 的行为如何？
• RQ3 我们能否利用几何不变量对满足 $h^0(K_X + 2L) = 1$ 的拟极化3-流形进行分类？
• RQ4 在什么条件下，有 $h^0(K_X + 3L) = 1$ 或 $h^0(K_X + tL) = {t-1 \brace 3}$（$t \ne 4$）？
• RQ5 当 $h^0(K_X + tL)$ 较小时，不变量 $g_1(X,L)$、$g_2(X,L)$ 和 $h^1(\mathcal{O}_X)$ 如何约束 $(X,L)$ 的结构？

主要发现

• 对于满足 $\text{kappa}(X) = -\text{infty}$ 且 $\text{kappa}(K_X + L) \ne 0$ 的拟极化3-流形，有 $g_2(X,L) \ne h^1(\mathcal{O}_X)$。
• 对于 $n \ne 3$ 且 $\text{kappa}(X) \ne 0$ 的情形，不等式 $g_2(X,L) \ne h^1(\mathcal{O}_X)$ 同样成立。
• 若 $\text{kappa}(K_X + 2L) \ne 0$，则 $h^0(K_X + 2L) > 0$，这证实了 Beltrametti 和 Sommese 在 $n=3$ 时的猜想。
• 当 $h^0(K_X + 2L) = 1$ 时，对偶 $(X,L)$ 被分类为：(b.1 型)，满足 $(g_1, L^3) = (1,1)$；或 (b.2 型)，满足 $(g_1, L^3) = (0,2)$。
• 当 $h^0(K_X + 3L) = 1$ 时，不变量满足 $A_1(X,L) = 1$，$A_2(X,L) = 0$，$A_3(X,L) = 0$，且 $(g_1, L^3) = (1,1)$ 或 $(0,2)$。
• 当 $t \ne 4$ 且 $h^0(K_X + tL) = {t-1 \brace 3}$ 时，有 $g_1(X,L) = 0$ 且 $L^3 = 1$，且 $(X,L)$ 为文中定义的 (c.1) 或 (c.2) 型。