Remarks on the geometry of the variety of planes of a cubic fivefold

Basic Information

• Paper ID: 2301.04997
• Title: Remarks on the geometry of the variety of planes of a cubic fivefold
• Author: René Mboro (UMiami Miami, HSE Moscow, Bulgarian Academy of Sciences)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, 2023 Special Issue (In honor of Claire Voisin's 60th birthday)
• Paper Link: https://arxiv.org/abs/2301.04997

Abstract

This paper investigates the geometric properties of the variety of planes $F_2(X) \subset G(3,7)$ contained in a cubic fivefold $X \subset \mathbb{P}^6$. First, based on observations by Iliev and Manivel (namely that $F_2(X)$ embeds as a Lagrangian subvariety into the variety of lines of a quartic threefold), an exact sequence of cotangent bundles is derived. Using this sequence, it is proven that the Gauss map of $F_2(X)$ is an embedding. The final section investigates the relationship between the variety of osculating planes of a quartic threefold and the variety of planes of the associated cyclic cubic fivefold.

Research Background and Motivation

Research Questions

This paper primarily addresses three related questions:

1. The structure of the cotangent bundle of the variety of planes $F_2(X)$ of a cubic fivefold
2. The geometric properties of the Gauss map of $F_2(X)$
3. The relationship between the variety of osculating planes $F_0(Z)$ of a quartic threefold and the variety of planes of the associated cyclic cubic fivefold

Research Significance

Cubic hypersurfaces are classical objects of study in algebraic geometry, and their associated auxiliary varieties (such as varieties of lines and varieties of planes) contain rich geometric and topological information. In particular:

• Cubic fivefolds are the unique hypersurfaces of dimension greater than 3 whose intermediate Jacobian is a principally polarized abelian variety
• The variety of planes $F_2(X)$ is related to the 21-dimensional intermediate Jacobian $J_5(X)$ via the Albanese-Jacobi map
• These investigations are crucial for understanding the algebraic cycles and Hodge theory of cubic hypersurfaces

Existing Research

The pioneering work of Collino (1986) established connections between the variety of planes $F_2(X)$ and the intermediate Jacobian, proving that the Albanese-Jacobi map is an immersion and induces an isomorphism $\text{Alb}(F_2(X)) \cong J_5(X)$. This paper further investigates its geometric structure on this foundation.

Core Contributions

1. Exact Sequence of Cotangent Bundles: Establishes an exact sequence for the cotangent bundle of $F_2(X)$, revealing its relationship with canonical bundles on Grassmannians
2. Embedding of the Gauss Map: Proves that both the Albanese map and the Gauss map are embeddings, and provides an explicit description of the Gauss map
3. Geometric Properties of the Variety of Osculating Planes: Computes the Hodge numbers of $F_0(Z)$ and proves its étale covering relationship with the variety of planes of the associated cyclic cubic fivefold
4. Lagrangian Property: Proves that the image of $F_0(Z)$ in the variety of lines is a Lagrangian surface

Methodology in Detail

Problem Setup

The objects of study are the varieties of planes of cubic fivefolds $X \subset \mathbb{P}(V^*) \cong \mathbb{P}^6$: $F_2(X) = \{[P] \in G(3,V) : P \subset X\}$ where $G(3,V)$ is the Grassmannian parametrizing 3-dimensional subspaces of $V$.

Main Technical Tools

1. Flag Variety Method

Introduces the flag variety $\text{Fl}(2,3,V)$ and its projections: $\text{Fl}(2,3,V) \xrightarrow{t} G(3,V), \quad \text{Fl}(2,3,V) \xrightarrow{e} G(2,V)$ By analyzing the fiber bundle $P_{F_2} = P(\wedge^2 E_3|_{F_2(X)})$ restricted to $F_2(X)$, connections with the variety of lines $F_1(X)$ are established.

2. Koszul Resolution

As the zero locus of a regular section of $\text{Sym}^3 E_3$, the structure sheaf of $F_2(X)$ admits a Koszul resolution: $0 \to \wedge^{10} \text{Sym}^3 E_3^* \to \cdots \to \text{Sym}^3 E_3^* \to \mathcal{O}_{G(3,V)} \to 0$

3. Borel-Weil-Bott Theorem

This theorem is utilized to compute cohomology groups of vector bundles on Grassmannians, and spectral sequences are employed to analyze the cohomology of $F_2(X)$.

Core Theorems

Theorem 1.2 (Exact Sequence of Cotangent Bundles)

For a smooth cubic fivefold $X$, there exists an exact sequence: $0 \to Q_3^*|_{F_2(X)} \to \text{Sym}^2 E_3|_{F_2(X)} \to \Omega_{F_2(X)} \to 0$ where the first map is given by contraction with the cubic equation $\text{eq}_X$.

Theorem 1.3 (Embedding of the Gauss Map)

The Albanese map is an embedding, the Gauss map $G: \text{alb}_{F_2}(F_2(X)) \to G(2, T_{\text{Alb}(F_2(X)),0})$ is an embedding, and its composition with the Plücker embedding is the natural embedding $F_2(X) \subset G(3,V)$ followed by the 3-fold Veronese map and a linear projection.

Experimental Setup

Computational Tools

The paper uses the Macaulay2 package Schubert2 for concrete cohomology calculations and Chern class integral computations.

Hodge Number Calculations

Through Koszul resolutions and spectral sequences, the Hodge numbers of $F_2(X)$ are computed as:

• $h^{1,0}(F_2(X)) = 21$
• $h^{0,2}(F_2(X)) = 3233$
• $b_2(F_2(X)) = 13123$
• $h^{1,1}(F_2(X)) = 6657$

Experimental Results

Main Results

1. Cotangent Bundle Structure

The exact sequence (1.1) is proven, revealing profound connections between the cotangent bundle of $F_2(X)$ and canonical bundles on Grassmannians. The key is establishing exactness of the map $H^0(Q_3^*|_{F_2(X)}) \to H^0(\text{Sym}^2 E_3|_{F_2(X)}) \to H^0(\Omega_{F_2(X)}) \to 0$

2. Properties of the Gauss Map

Through detailed local analysis, it is proven that the Gauss map both separates points and separates tangent vectors, thus is an embedding. Specifically, for distinct planes $[P], [P'] \in F_2(X)$, one can always find a quadratic form $Q$ such that $Q \wedge Q' \in \wedge^2 H^0(\Omega_{F_2(X)})$ vanishes at $[P]$ but not at $[P']$.

3. Properties of the Variety of Osculating Planes

For a general quartic threefold $Z$, it is proven that:

• $F_0(Z)$ is a smooth irreducible surface
• $F_2(X_Z)$ is a 3-fold étale cover of $F_0(Z)$
• $b_1(F_0(Z)) = 0$, $h^{2,0}(F_0(Z)) = 1070$, $h^{1,1}(F_0(Z)) = 2207$
• The image of $F_0(Z) \to F_1(Z)$ is a Lagrangian surface

Technical Innovations

1. Geometric Methods

Cleverly exploits the Iliev-Manivel observation by connecting the variety of planes of cubic fivefolds with the variety of lines of quartic threefolds through hyperplane sections.

2. Cohomology Calculations

Systematically applies the Borel-Weil-Bott theorem and spectral sequence methods to complete complex cohomology group calculations.

3. Proof of Lagrangian Property

Verifies the Lagrangian property of the image of the variety of osculating planes through explicit symplectic form calculations.

Related Work

Classical Theory

• Clemens-Griffiths (1972): Intermediate Jacobian theory for cubic threefolds
• Griffiths (1969): Period theory for cubic hypersurfaces
• Collino (1986): Albanese-Jacobi map for varieties of planes of cubic fivefolds

Modern Developments

• Iliev-Manivel (2008): Connections between cubic hypersurfaces and integrable systems
• Gounelas-Kouvidakis (2021): Geometry of lines on quartic threefolds
• Voisin (2004): Automorphisms on hyperkähler quartic fourfolds

Contributions of This Paper

Building on existing theory, this paper deepens understanding of the geometric structure of varieties related to cubic hypersurfaces through novel geometric observations and computational techniques.

Conclusions and Discussion

Main Conclusions

1. Establishes an exact sequence of cotangent bundles for the variety of planes of cubic fivefolds, providing foundational tools for further investigation of its geometric properties
2. Proves the embedding property of the Gauss map, completing understanding of the geometric structure of the variety of planes
3. Reveals profound connections between varieties related to quartic and cubic hypersurfaces

Theoretical Significance

• Enriches the geometric theory of cubic hypersurfaces
• Provides new perspectives for studying moduli spaces of higher-dimensional algebraic varieties
• Deepens understanding of Lagrangian subvarieties

Limitations

• Main results are restricted to the general case; analysis of special cases requires further development
• Some computations rely on computer assistance; simplification of theoretical proofs remains to be explored
• Connections with integrable systems in physics require further development

Future Directions

• Generalization to hypersurfaces of other degrees
• Investigation of compactification properties of moduli spaces
• Exploration of connections with mirror symmetry

In-Depth Evaluation

Strengths

1. Theoretical Depth: The paper establishes important geometric structures (exact sequence of cotangent bundles), laying foundations for subsequent research
2. Technical Innovation: Cleverly combines multiple tools from algebraic geometry (flag varieties, Koszul resolutions, spectral sequences, etc.)
3. Complete Calculations: Provides detailed Hodge number computations with reference value
4. Geometric Insight: Reveals profound connections between varieties related to cubic hypersurfaces of different dimensions

Weaknesses

1. Generality Restrictions: Most results hold only in the general case; treatment of special cases is insufficient
2. Computational Complexity: Some proofs rely heavily on technical calculations; geometric intuition is somewhat lacking
3. Application Prospects: Practical applicability of theoretical results requires further exploration

Impact

• Academic Value: Makes important contributions to cubic hypersurface theory; expected to be widely cited by researchers in the field
• Methodological Significance: Demonstrates effective application of modern algebraic geometry tools to classical problems
• Subsequent Research: Provides new starting points and tools for in-depth investigation of related directions

Applicable Scenarios

This research is applicable to:

• Study of cubic hypersurfaces in algebraic geometry
• Investigation of moduli space geometry
• Classification problems for Lagrangian subvarieties
• Geometric theory of integrable systems

References

The paper cites important literature in the field, including the pioneering work of Clemens-Griffiths, foundational results of Collino, and modern developments by Iliev-Manivel and others, reflecting the author's deep understanding of the field's history and current state.

Overall Assessment: This is a high-quality theoretical paper in algebraic geometry that makes substantive contributions to the classical field of cubic hypersurfaces. While technically demanding, the theoretical framework it establishes and the computational results it provides have significant value for the field.