[论文解读] Derivative complex, BGG correspondence, and numerical inequalities for compact Kähler manifolds

Robert Lazarsfeld, Mihnea Popa|arXiv (Cornell University)|Jul 3, 2009

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

一句话总结

本文通过导出复形推导数值不等式与几何不变量，建立了紧致凯勒流形上同调模与射影空间上向量丛之间的BGG对应关系。结果表明，BGG复形解析了编码抛canonical除子的无穷小结构的层，并证明canonical系列为过度的（即paracanonical系统的一个不可约分支）当且仅当某个Segre数为零，该条件在弱假设下可由Hodge数计算得出。

ABSTRACT

The cohomology algebra of the canonical bundle of a compact Kähler manifold is naturally viewed as a module over an exterior algebra. We use the Bernstein-Gel'fand-Gel'fand correspondence, together with Generic Vanishing theory, in order to understand the regularity properties of this module. We also relate it to the infinitesimal theory of the canonical linear series inside paracanonical space. Finally, we apply vector bundle methods on the polynomial ring side to obtain inequalities for the holomorphic Euler characteristic and the Hodge numbers of compact Kähler manifolds without irregular fibrations.

研究动机与目标

• 建立紧致凯勒流形上同调模与对称代数上线性复形之间的BGG对应关系。
• 证明导出复形控制了Pic⁰(X)中线丛扭上同调群的形变理论。
• 利用BGG复形推导Hodge数与Albanese纤维化不变量之间的数值不等式。
• 通过BGG层刻画canonical线性系列为paracanonical除子空间中不可约分支的条件。

提出的方法

• 通过H¹(X, O_X)中元素的上积构造BGG复形L_X，作为分次S-模的线性复形。
• 将BGG层F_X定义为复形L_X中最后一映射的余核，当X无不规则纤维化时，F_X为向量丛。
• 利用BGG对应关系，将H^i(X, ω_X)的E-模结构与P(H¹(X, O_X))上的层F_X联系起来。
• 应用Grothendieck对偶性与谱序列，关联RHom复形并建立涉及傅里叶-Mukai变换对偶的同构。
• 计算F_X对偶的Segre数，以确定从P(F_X)到canonical系统|ω_X|的映射的满射性。
• 利用codimension (p_g - χ) Segre数的消失来刻画canonical系列的过度性。

实验结果

研究问题

• RQ1 BGG对应关系如何细化凯勒流形上H^i(X, O_X)与H^i(X, ω_X)在外代数上的模结构？
• RQ2 从凯勒流形的BGG复形中可恢复Albanese映射的哪些几何不变量？
• RQ3 在何种条件下，canonical线性系列|ω_X|是paracanonical除子空间中的不可约分支？
• RQ4 如何利用BGG层及其Segre数来界定流形X的数值不变量？
• RQ5 在标准假设下，能否仅从Hodge数确定canonical系列的过度性？

主要发现

• BGG复形L_X在前d−k项是正合的，其中k为Albanese映射一般纤维的维数。
• 当X无不规则纤维化时，BGG层F_X是P(H¹(X, O_X))上秩为χ(ω_X)的向量丛。
• canonical系列|ω_X|为过度的当且仅当自然映射P(F_X) → P(H^d(X, O_X))非满射。
• |ω_X|的过度性等价于F_X∨的Segre数s_{1^{×(p_g−χ)}}(γ_1,…,γ_{q−1})的消失。
• 在无不规则纤维化的曲面情形下，|ω_X|为过度的当且仅当q为偶数，该结论通过显式计算Segre数得到验证。
• 在条件p_g − χ ≤ q − 1下，过度性仅依赖于Hodge数，具体为F_X∨的Chern根中某个Schur函数的消失。