[Paper Review] 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 Theory15 references4 citations

TL;DR

This paper establishes a Jacobian ring description for the Hodge structures of zero loci of homogeneous vector bundle sections on flag varieties and log homogeneous varieties, using tautological D-modules and cohomological vanishing conditions. It proves the Hodge conjecture for very generic hypersurfaces in certain generalized flag varieties by showing surjectivity of key multiplication maps in the Jacobian ring framework.

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.

Motivation & Objective

• To extend Jacobian ring descriptions of Hodge structures from hypersurfaces in projective spaces to zero loci of homogeneous vector bundle sections on flag varieties.
• To verify cohomological vanishing conditions that ensure the validity of the Jacobian ring description in new geometric settings.
• To generalize the method to log homogeneous varieties, extending results from toric geometry.
• To apply the Jacobian ring framework to study differential zeros of period integrals in tautological systems.
• To prove the Hodge conjecture for very generic hypersurfaces in specific generalized flag varieties using representation-theoretic properties of the Jacobian ring.

Proposed method

• Define the Jacobian ring $ R $ as the graded ring $ \oplus_{k \geq 0} H^0(X, L^k) $, with the generalized Jacobian ideal $ J $ generated by $ f $ and $ L_Z f $ for $ Z \in \mathfrak{g} $, where $ f $ is a section of a $ G $-equivariant line bundle $ L $.
• Construct the graded $ R $-module $ M = \oplus_{k \geq 0} H^0(X, K_X \otimes L^{k+1}) $, which parametrizes rational $ n $-forms with poles along the zero locus.
• Establish a morphism $ (M/JM)^k \to F^{n-k}H^n(U)/F^{n-k+1}H^n(U) $ compatible with the Gauss-Manin connection and Higgs field.
• Use the Gysin sequence and the adjunction formula via a $ G $-equivariant principal bundle to relate $ M/JM $ to the Hodge filtration on the cohomology of the complement $ U = X \setminus Y_f $.
• Verify vanishing conditions (6.1) and (6.2) on $ \Omega_{X,D}^q \otimes L^l $ and $ R_X \otimes K_X(D) \otimes L^k $ to ensure spectral sequence degeneration and isomorphism in the log homogeneous case.
• Apply the Jacobian ring to tautological systems by analyzing the differential zeros of period integrals, generalizing results from [9] to flag varieties.

Experimental results

Research questions

• RQ1 Under what cohomological vanishing conditions does the Jacobian ring describe the Hodge structure of a zero locus of a homogeneous vector bundle section?
• RQ2 Can the Jacobian ring construction for hypersurfaces in projective spaces be extended to complete intersections and zero loci in generalized flag varieties?
• RQ3 How does the Jacobian ring framework apply to log homogeneous varieties, and what vanishing conditions ensure its validity?
• RQ4 What conditions on the line bundle $ L $ and the group action ensure the surjectivity of the multiplication map $ H^0(X,L) \otimes H^0(X,K_X \otimes L^k) \to H^0(X,K_X \otimes L^{k+1}) $?
• RQ5 Does the Jacobian ring method lead to a proof of the Hodge conjecture for very generic hypersurfaces in generalized flag varieties?

Key findings

• The Jacobian ring $ (M/JM)^k $ is isomorphic to $ F^{n-k}H^n(X \setminus Y_f)/F^{n-k+1}H^n(X \setminus Y_f) $ under the vanishing conditions (6.1) and (6.2), generalizing Green's description to log homogeneous varieties.
• For generalized flag varieties $ X = G/P $ of odd dimension $ n = 2k+1 $, the Hodge conjecture holds for $ H^{k,k}(Y_f, \mathbb{Q}) $ for very generic $ f \in H^0(X,L) $, provided $ H^0(X,K_X \otimes L^k) \neq 0 $ and the vanishing conditions (2.8) are satisfied.
• The surjectivity of the multiplication map $ H^0(X,L) \otimes H^0(X,K_X \otimes L^k) \to H^0(X,K_X \otimes L^{k+1}) $ is guaranteed by the irreducibility of the representations involved, when $ H^0(X,K_X \otimes L^k) \neq 0 $.
• In the log homogeneous case, the vanishing condition (6.1) holds for log parallelizable varieties, and the Jacobian ring construction reduces to the toric case studied by Batyrev and Mavlyutov.
• The method applies to tautological systems by analyzing the differential zeros of period integrals, extending results from [9] to flag varieties via the Jacobian ring framework.
• The Hodge conjecture is proven for very generic hypersurfaces in certain generalized flag varieties, providing a new class of varieties for which the conjecture holds.