[论文解读] Generic vanishing, gaussian maps, and Fourier-Mukai transform

Giuseppe Pareschi|arXiv (Cornell University)|Oct 2, 2003

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

一句话总结

该论文通过全局共高斯映射，建立了一般性消失准则，用于 Cohen-Macaulay 代数簇上线丛的高阶直接像，并通过阿贝尔簇上的傅里叶- Mukai变换，证明了格林-拉扎尔斯菲尔德一般性消失定理的更强代数版本，证实了在紧致凯勒情形下的一个猜想。

ABSTRACT

In the first part of this paper we prove a vanishing criterion for higher direct images of projective families of line bundles on a Cohen-Macaulay variety X. The result involves certain first-order deformations of certain curves on X, and makes essential use of the notion of global co-gaussian maps, a generalization of Wahl's gaussian maps. In the second part we apply the criterion above, combined with Fourier-Mukai transform on abelian varieties, to prove an algebraic version of Green-Lazarsfeld's Generic Vanishing Theorem. In fact we prove a stronger result concerning higher direct images of Poincaré line bundles, which -- in the compact Kähler setting -- was conjectured by Green and Lazarsfeld and was recently proved, by completely different methods, by Hacon (math.AG/0308198)

研究动机与目标

• 通过曲线的一阶形变，发展 Cohen-Macaulay 代数簇上线丛高阶直接像的消失准则。
• 为实现此目的，将瓦尔的高斯映射推广为全局共高斯映射。
• 将消失准则与阿贝尔簇上的傅里叶- Mukai变换相结合。
• 建立格林-拉扎尔斯菲尔德一般性消失定理的更强代数版本。
• 在紧致凯勒情形下，证实格林与拉扎尔斯菲尔德关于 Poincaré 线丛高阶直接像的猜想。

提出的方法

• 引入全局共高斯映射，作为瓦尔高斯映射在 Cohen-Macaulay 代数簇上曲线形变处理中的推广。
• 应用消失准则于 Cohen-Macaulay 代数簇 X 上线丛族，利用一阶形变控制上同调行为。
• 在阿贝尔簇上使用傅里叶- Mukai变换，将线丛的上同调性质与其变换相关联。
• 将消失准则与傅里叶- Mukai变换结合，推导出高阶直接像的一般性消失结果。
• 利用阿贝尔簇上 Poincaré 线丛的结构，强化一般性消失陈述。
• 依赖傅里叶- Mukai变换的对偶性与整数性性质，推导出上同调消失。

实验结果

研究问题

• RQ1 如何通过形变理论数据控制 Cohen-Macaulay 代数簇上线丛高阶直接像？
• RQ2 全局共高斯映射在将经典高斯映射技术推广至高维族时起什么作用？
• RQ3 傅里叶- Mukai变换能否用于证明更强的代数一般性消失定理？
• RQ4 阿贝尔簇上 Poincaré 线丛的上同调性质在代数设定下在多大程度上满足一般性消失？
• RQ5 所提出的消失准则与现有结果相比如何，尤其是在哈孔通过不同方法近期证明之后？

主要发现

• 建立了一个新的 Cohen-Macaulay 代数簇上线丛高阶直接像的消失准则，依赖于曲线的一阶形变。
• 引入了全局共高斯映射作为关键技术工具，以推广经典高斯映射理论。
• 论文证明了格林-拉扎尔斯菲尔德一般性消失定理的更强代数版本，扩展了先前结果。
• 阿贝尔簇上 Poincaré 线丛的高阶直接像满足一般性消失，证实了格林与拉扎尔斯菲尔德的猜想。
• 该结果与哈孔在紧致凯勒情形下的近期证明一致，尽管是通过完全不同的方法达成。
• 全局共高斯映射与傅里叶- Mukai变换的结合，为研究一般性消失提供了新的代数框架。