[论文解读] Jacobian rings for homogenous vector bundles and applications

An Huang, Bong H. Lian+2 more|arXiv (Cornell University)|Jan 25, 2018

Algebraic Geometry and Number Theory参考文献 15被引用 4

一句话总结

本文通过利用典范 D-模和上同调消去条件，建立了在旗流形和对数同构流形上，齐次向量丛截面的零点集的 Hodge 结构的雅可比环描述。通过在雅可比环框架下证明关键乘法映射的满射性，本文证明了在某些广义旗流形中，非常一般超曲面的 Hodge 猜想。

ABSTRACT

In this note, we examine the Jacobian ring description of the Hodge structure of zero loci of vector bundle sections on a class of ambient varieties. We consider a set of cohomological vanishing conditions that imply such a description, and we verify these conditions for some new cases. We also observe that the method can be directly extended to log homogeneous varieties. We apply the Jacobian ring to study the null varieties of period integrals and their derivatives, generalizing a result in [9] for projective spaces. As an additional application, we prove the Hodge conjecture for very generic hypersurfaces in certain generalized flag varieties.

研究动机与目标

• 将 Hodge 结构的雅可比环描述从射影空间中的超曲面推广到旗流形上齐次向量丛截面的零点集。
• 验证确保雅可比环描述在新几何设定下有效的上同调消去条件。
• 将该方法推广至对数同构流形，扩展来自扇形几何的结果。
• 应用雅可比环框架研究典范系统中周期积分的微分零点。
• 通过雅可比环的表示论性质，证明广义旗流形中非常一般超曲面的 Hodge 猜想。

提出的方法

• 将雅可比环 $ R $ 定义为分次环 $ \oplus_{k \geq 0} H^0(X, L^k) $，其中广义雅可比理想 $ J $ 由 $ f $ 和 $ L_Z f $ 生成，$ Z \in \mathfrak{g} $，$ f $ 是 $ G $-等变线丛 $ L $ 的截面。
• 构造分次 $ R $-模 $ M = \oplus_{k \geq 0} H^0(X, K_X \otimes L^{k+1}) $，其参数化沿零点集有极点的有理 $ n $-形式。
• 建立与 Gauss-Manin 连接和 Higgs 算子相容的同态 $ (M/JM)^k \to F^{n-k}H^n(U)/F^{n-k+1}H^n(U) $。
• 通过 $ G $-等变主丛，利用 Gysin 序列和邻接公式，将 $ M/JM $ 与余集 $ U = X \setminus Y_f $ 的上同调的 Hodge 滤子联系起来。
• 验证 $ \Omega_{X,D}^q \otimes L^l $ 和 $ R_X \otimes K_X(D) \otimes L^k $ 上的消去条件 (6.1) 和 (6.2)，以确保在对数同构情形下谱序列的退化及同构性。
• 通过分析周期积分的微分零点，将雅可比环应用于典范系统，将 [9] 的结果推广至旗流形。

实验结果

研究问题

• RQ1 在何种上同调消去条件下，雅可比环能描述齐次向量丛截面零点集的 Hodge 结构？
• RQ2 能否将射影空间中超曲面的雅可比环构造推广至完全交和广义旗流形中的零点集？
• RQ3 雅可比环框架如何应用于对数同构流形？何种消去条件能确保其有效性？
• RQ4 对线丛 $ L $ 和群作用的何种条件能保证乘法映射 $ H^0(X,L) \otimes H^0(X,K_X \otimes L^k) \to H^0(X,K_X \otimes L^{k+1}) $ 的满射性？
• RQ5 雅可比环方法是否能导致广义旗流形中非常一般超曲面的 Hodge 猜想的证明？

主要发现

• 在消去条件 (6.1) 和 (6.2) 下，雅可比环 $ (M/JM)^k $ 同构于 $ F^{n-k}H^n(X \setminus Y_f)/F^{n-k+1}H^n(X \setminus Y_f) $，将 Green 的描述推广至对数同构流形。
• 对于奇维数 $ n = 2k+1 $ 的广义旗流形 $ X = G/P $，若 $ H^0(X,K_X \otimes L^k) \neq 0 $ 且满足消去条件 (2.8)，则对非常一般 $ f \in H^0(X,L) $，$ H^{k,k}(Y_f, \mathbb{Q}) $ 的 Hodge 猜想成立。
• 当 $ H^0(X,K_X \otimes L^k) \neq 0 $ 时，表示的不可约性保证了乘法映射 $ H^0(X,L) \otimes H^0(X,K_X \otimes L^k) \to H^0(X,K_X \otimes L^{k+1}) $ 的满射性。
• 在对数同构情形下，对数平行化流形满足消去条件 (6.1)，且雅可比环构造退化为 Batyrev 与 Mavlyutov 研究的扇形情形。
• 通过分析周期积分的微分零点，该方法可应用于典范系统，借助雅可比环框架将 [9] 的结果推广至旗流形。
• 本文证明了在某些广义旗流形中，非常一般超曲面的 Hodge 猜想，为该猜想提供了新的成立的代数几何类。