arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2104.07074math.AGmath.AT
收藏

一般消失性、1-形式与 Albanese 映射的拓扑

Generic Vanishing, 1-forms, and Topology of Albanese Maps

Yajnaseni Dutta, Feng Hao, Yongqiang Liu

AI总结:

本文证明 Abel 簇上可构造层复形的上同调跳跃位点与奇异支集的等式,并用于刻画带零点全纯 1-形式、重证 Albanese 态射相关结果。

摘要:

给定复 Abel 簇上的一个有界可构造层复形 $\mathcal{F}$,我们证明了一个联系 $\mathcal{F}$ 的上同调跳跃位点与其奇异支集的等式。作为应用,我们在复光滑射影非正则簇 $X$ 上识别了带零点的全纯 1-形式集合中的两个子集:一个来自 Green–Lazarsfeld 的上同调跳跃位点,另一个来自关于奇异支集的 Kashiwara 估计。这一结果与 Kotschick 猜想有关,该猜想讨论处处非零的整体全纯 1-形式的存在性与在圆上的纤维丛结构的存在性之间的等价性。我们的结果利用奇异支集给出了一个猜想意义下等价的表述,该表述等价于 Schreieder 提出的一项涉及上同调跳跃位点的判据。作为另一项应用,我们重新证明了 Schreieder 和 Yang 最近得到的一个结果;即,如果 $X$ 具有简单 Albanese 簇并且容许在圆上的纤维丛结构,那么关于整系数,Albanese 态射在上同调层面表现得如同光滑态射。在一个相关方向上,我们讨论了如下问题:在某处消失的 1-形式所成的集合是否为 $H^0(X,\Omega_X^1)$ 中线性子空间的有限并。我们证明,对于零点位点余维数为 1 的形式,情况确实如此。

英文摘要:

Given a bounded constructible complex of sheaves $\mathcal{F}$ on a complex Abelian variety, we prove an equality relating the cohomology jump loci of $\mathcal{F}$ and its singular support. As an application, we identify two subsets of the set of holomorphic 1-forms with zeros on a complex smooth projective irregular variety $X$; one from Green-Lazarsfeld's cohomology jump loci and one from the Kashiwara's estimates for singular supports. This result is related to Kotschick's conjecture about the equivalence between the existence of nowhere vanishing global holomorphic 1-forms and the existence of a fibre bundle structure over the circle. Our results give a conjecturally equivalent formulation using singular support, which is equivalent to a criterion involving cohomology jump loci proposed by Schreieder. As another application, we reprove a recent result proved by Schreieder and Yang; namely if $X$ has simple Albanese variety and admits a fibre bundle structure over the circle, then the Albanese morphism cohomologically behaves like a smooth morphism with respect to integer coefficients. In a related direction, we address the question whether the set of 1-forms that vanish somewhere is a finite union of linear subspaces of $H^0(X,Ω_X^1)$. We show that this is indeed the case for forms admitting zero locus of codimension 1.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑