[论文解读] Vanishing theorems for toric polyhedra

Osamu Fujino|ArXiv.org|Jul 21, 2007

Algebraic Geometry and Number Theory参考文献 7被引用 6

一句话总结

该论文在任意特征的域上建立了关于环面多面体（toric polyhedra）——即环面代数簇的约化闭子概形，且为环子群轨道的并集——的 Hodge-to-de Rham 族谱序列的消去定理与 $E_1$-退化性。论文引入了关于非常 ample 线丛的强大扩张定理，推广了 Kollár 型消去定理，并通过乘法映射与对数几何技巧扩展了 Danilov 的结果。

ABSTRACT

A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of the orbits of the torus action. We prove vanishing theorems for toric polyhedra. We also give a proof of the $E_1$-degeneration of Hodge to de Rham type spectral sequence for toric polyhedra in any characteristic. Finally, we give a very powerful extension theorem for ample line bundles.

研究动机与目标

• 将 Danilov 的消去定理推广至任意特征域上的环面多面体。
• 证明完全环面多面体的 Hodge-to-de Rham 族谱序列在正特征下 $E_1$-退化，此结果此前在正特征下尚属未知。
• 为环面多面体建立 Kollár 型消去定理，提供非常 ample 线丛截面的强扩张结果。
• 将环面多面体与准对数簇理论联系起来，表明其继承自然的准对数结构，且具有 qlc 奇点。
• 将 Ishida 的特征无关 de Rham 复形与乘法映射方法扩展至环面多面体的设定。

提出的方法

• 将 Fujino (2007) 的乘法映射技术适配至环面多面体，利用环子群不变除子与对数 de Rham 复形的结构。
• 在环面多面体 $Y$ 上应用 Ishida 的 de Rham 复形 $\widetilde{\Omega}^\bullet_Y$，以分析上同调与族谱序列。
• 利用 $K_X + D \sim 0$ 且 $(X,D)$ 为对数典范的事实，通过相对对偶性与奇点的解析化推导消去。
• 采用环面解析 $f: V \to X$，使得 $f^{-1}(Y)$ 为简单法向相交除子，从而可使用对数典范中心与邻接性。
• 将 Fujino (2007) 与 (2008) 的消去定理应用于 $R^i \pi_* \mathcal{O}_X(M)$，其中 $M$ 为 nef 且大，扩展至理想层 $\mathcal{I}_Y$。
• 构造一个准对数解析 $g: (E_1, {E_2}|_{E_1}) \to Y$，以证明 $Y$ 是具有平凡典范类的准对数簇。

实验结果

研究问题

• RQ1 在正特征下，完全环面多面体的 Hodge-to-de Rham 族谱序列是否具有 $E_1$-退化性？
• RQ2 能否为环面多面体建立 Kollár 型消去定理，以确保对任意 $i > 0$ 与非常 ample 线丛 $L$，有 $H^i(X, \mathcal{I}_Y \otimes L) = 0$？
• RQ3 环面多面体的消去定理如何将 Danilov 的结果从光滑环面代数簇推广至更广范围？
• RQ4 环面多面体与准对数簇理论之间存在何种关系，特别是在典范类与中心方面？
• RQ5 乘法映射的特征无关方法能否扩展至如环面多面体这类奇异子概形？

主要发现

• 消去定理成立：对任意项目化环面多面体 $Y$ 上的任意非常 ample 线丛 $L$，有 $H^i(Y, \widetilde{\Omega}^a_Y \otimes L) = 0$ 对所有 $i \neq 0$ 成立。
• Hodge-to-de Rham 族谱序列 $E^{a,b}_1 = H^b(Y, \widetilde{\Omega}^a_Y) \Rightarrow \mathbb{H}^{a+b}(Y, \widetilde{\Omega}^\bullet_Y)$ 在任意完全环面多面体 $Y$ 上于 $E_1$ 退化。
• 扩张定理表明：对所有 $i > 0$，有 $H^i(X, \mathcal{I}_Y \otimes L) = 0$，因此对任意项目化环面代数簇 $X$ 与非常 ample 线丛 $L$，限制映射 $H^0(X, L) \to H^0(Y, L)$ 是满射。
• 对环面态射 $f: Z \to X$ 与 $X$ 上的非常 ample 线丛 $L$，高阶直接像 $R^i \pi_* (L \otimes R^j f_* \widetilde{\Omega}^a_Z(\log(A+B))(-A))$ 对所有 $i > 0$ 消去，推广了 Kollár 的消去定理。
• 环面多面体 $Y = Y(\Phi)$ 从对数典范对 $(X, D)$ 继承自然的准对数结构，其中 $Y$ 仅具有 qlc 奇点，且 $V(\sigma)$（$\sigma \in \Phi \setminus \{0\}$）为 qlc 中心。
• 准对数解析 $g: (E_1, {E_2}|_{E_1}) \to Y$ 满足 $g^*0 \sim K_{E_1} + {E_2}|_{E_1}$ 且 $g_* \mathcal{O}_{E_1} \simeq \mathcal{O}_Y$，从而确认了其准对数结构。