Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras

Basic Information

• Paper ID: 2212.02799
• Title: Rigidity of projective symmetric manifolds of Picard number 1 associated to composition algebras
• Authors: Yifei Chen, Baohua Fu, Qifeng Li
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique (2023)
• Paper Link: https://arxiv.org/abs/2212.02799

Abstract

For each composition algebra $A$, there exists an associated projective symmetric manifold $X(A)$ of Picard number 1, which is a smooth hyperplane section of one of the following varieties: $\text{Lag}(3,6)$, $\text{Gr}(3,6)$, $S_6$, $E_7/P_7$. This paper proves that these varieties are rigid, meaning that for any smooth projective family over a connected base, if one fiber is isomorphic to $X(A)$, then every fiber is isomorphic to $X(A)$.

Research Background and Motivation

Problem Background

1. Importance of rigidity problems: Rigidity of smooth projective varieties is a central problem in algebraic geometry. A variety is called rigid if in any smooth projective family, whenever one fiber is isomorphic to the variety, all fibers are isomorphic to it.
2. Limitations of known results: Although Hwang-Mok and others have proven that all rational homogeneous varieties of Picard number 1 except $B_3/P_2$ are rigid, the rigidity problem remains open for more general symmetric varieties.
3. Geometric significance of composition algebras: Composition algebras ($\mathbb{C}$, $\mathbb{C}\oplus\mathbb{C}$, $\mathbb{H}_{\mathbb{C}}$, $\mathbb{O}_{\mathbb{C}}$) hold important positions in algebraic geometry, and their corresponding symmetric manifolds possess rich geometric structures.

Research Motivation

This paper aims to extend rigidity theory from rational homogeneous varieties to a broader class of symmetric varieties, particularly projective symmetric manifolds of Picard number 1 associated with composition algebras.

Core Contributions

1. Main theorem: Proves that for any composition algebra $A$, the corresponding symmetric manifold $X(A)$ is rigid.
2. Technical innovation: Develops a new method for handling rigidity problems through reduction to families of surfaces.
3. Geometric insight: Reveals the crucial role of involutions on symmetric manifolds in rigidity proofs.
4. Unified treatment: Provides a unified rigidity proof framework for symmetric manifolds corresponding to four different composition algebras.

Detailed Methodology

Problem Statement

Prove that for a composition algebra $A \neq \mathbb{C}$, if $\pi: \mathcal{X} \to \Delta$ is a smooth projective family with $X_t \cong X(A)$ for all $t \neq 0$, then $X_0 \cong X(A)$.

Core Strategy

1. Application of VMRT Theory

• Utilizes the theory of varieties of minimal rational tangents (VMRT) to first establish invariance of VMRT
• Reduces the problem to excluding equivariant compactifications via Kim-Park's results

2. Reduction to Surface Families

Key construction:

• Selects a maximal torus $H_t \subset \text{Aut}^0(X_t)$ of $SO_3(A)$
• Considers a connected component $Y \subset \mathcal{X}$ of the fixed point locus of the torus action
• Proves that $Y \to \Delta$ is a smooth family of surfaces

Geometric properties:

• For $t \neq 0$, $Y_t$ is isomorphic to the blowup of $\mathbb{P}^2$ at three coordinate points
• The central fiber $Y_0$ is an equivariant compactification of $\mathbb{G}_a^2$

3. Analysis of Involutions

Construction of involutions:

• Utilizes the decomposition $sl_3(A) = so_3(A) \oplus J_3(A)_0$
• Defines an involution $\theta$: identity on $so_3(A)$ and $-1$ on $J_3(A)_0$
• Proves that this involution induces an involution $\Theta$ on $\mathcal{X}$

Key properties:

• $\Theta$ preserves the surface family $Y$
• For $t \neq 0$, $\Theta_t$ exchanges boundary divisors: $\theta(D_i) = E_i$, $\theta(E_i) = D_i$

Technical Innovations

1. Surface reduction technique: Reduces high-dimensional problems to two-dimensional cases by selecting appropriate torus actions.
2. Mori cone analysis: Analyzes the extremal rays of the Mori cone of the central fiber using its concrete geometric structure.
3. Involution contradiction: Proves that involutions cannot map extremal rays to non-extremal rays, thereby deriving a contradiction.

Experimental Setup

Theoretical Verification Framework

This paper is purely theoretical research, with results verified through:

1. Explicit calculations: Computes relevant Lie groups and Lie algebras for each of the four composition algebras
2. Geometric analysis: Provides detailed analysis of geometric properties of surface families
3. Algebraic verification: Verifies geometric constructions through Picard group calculations

Key Calculations

Composition Algebras Correspondence Table

Experimental Results

Main Results

Theorem 1.2: For any composition algebra $A$, the variety $X(A)$ is rigid.

Proofs of Key Lemmas

Lemma: Structure of the central fiber

Through detailed calculations, proves that:

• $Y_0$ is the blowup of $\mathbb{P}^2$ at three collinear points
• The anti-canonical divisor is: $-K_{Y_0} = 3F_0 + 2(F_1 + F_2 + F_3)$

Derivation of contradiction

Let $\{F_0, F_1, F_2, F_3\}$ be the irreducible components of the boundary of $Y_0$. Then:

• $F_i$ ($i=1,2,3$) generate the extremal rays of $\text{NE}(Y_0)$
• The involution $\Theta_0$ satisfies $\Theta_0(F_0 + F_i) = F_i$
• But $F_0 + F_i$ is not an extremal ray, producing a contradiction

Related Work

Development of Rigidity Theory

1. Hwang-Mok theory: Establishes the VMRT framework and proves rigidity for most rational homogeneous varieties
2. Pasquier-Perrin results: Discovers non-rigidity examples for $B_3/P_2$
3. Park's work: Proves rigidity of odd Lagrange Grassmannians

Theory of Symmetric Varieties

1. Ruzzi's classification: Provides complete classification of projective symmetric varieties of Picard number 1
2. Kim-Park's partial results: Proves invariance of VMRT and structure of automorphism groups

Conclusions and Discussion

Main Conclusions

This paper completely resolves the rigidity problem for projective symmetric manifolds of Picard number 1 associated with composition algebras, proving that all such manifolds are rigid.

Technical Significance

1. Methodological innovation: Develops new techniques for handling high-dimensional rigidity problems through surface reduction
2. Theoretical refinement: Extends rigidity theory from rational homogeneous varieties to a broader class of symmetric varieties

Limitations

1. Specificity: The method heavily depends on special structures of composition algebras
2. Generalizability: It remains unclear whether this method can be applied to other types of symmetric varieties

Future Directions

1. More general symmetric varieties: Study rigidity of other symmetric varieties of Picard number 1
2. Higher Picard number cases: Consider symmetric varieties with Picard number greater than 1
3. Algorithmic implementation: Develop effective algorithms for computing rigidity

In-Depth Evaluation

Strengths

1. Theoretical depth: Employs multiple profound theories in algebraic geometry (VMRT, symmetric varieties, Mori theory, etc.)
2. Technical innovation: The surface reduction method possesses certain universality
3. Completeness: Provides unified treatment of all four cases
4. Rigor: Proofs are detailed and logically clear

Weaknesses

1. Computational complexity: Extensive explicit calculations make the proof highly technical
2. Generalization difficulty: The specificity of the method limits its applicability
3. Geometric intuition: Certain key steps lack geometric intuitive explanations

Impact

1. Theoretical contribution: Perfects rigidity theory for symmetric varieties
2. Methodological value: Provides new technical approaches for similar problems
3. Subsequent research: Establishes foundation for further research on deformation theory of symmetric varieties

Applicable Scenarios

This method is particularly suitable for rigidity research on geometric objects with rich symmetry and special algebraic structures.

References

The paper cites important literature in the field, including Hwang-Mok's VMRT theory, Ruzzi's classification of symmetric varieties, and Kim-Park's prior work, demonstrating comprehensive understanding and deep insight into related research.