Set-theoretic defining equations of the tangential variety of the Segre variety

Basic Information

• Paper ID: 0911.5276
• Title: Set-theoretic defining equations of the tangential variety of the Segre variety
• Author: Luke Oeding
• Classification: math.AG (Algebraic Geometry)
• Publication Date: November 27, 2009 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/0911.5276

Abstract

This paper proves the set-theoretic version of the Landsberg-Weyman conjecture concerning the defining equations of the tangential variety of the Segre product of projective spaces. The author introduces and studies the concept of exclusive rank (E-rank). In the proof, the author leverages connections with previous work to re-express the tangential variety as the variety of principal minors of symmetric matrices with exclusive rank at most 1.

Research Background and Motivation

Core Problem

The central problem addressed in this paper is to prove the set-theoretic version of the Landsberg-Weyman conjecture, which concerns the defining equations of the tangential variety of the Segre variety. Specifically:

1. Segre Variety and Tangential Variety: For complex vector spaces $V_i$ with $\dim V_i = n_i + 1$, the Segre product $\text{Seg}(PV_1^* \times \cdots \times PV_n^*)$ is the variety of indecomposable tensors in $P(V_1^* \otimes \cdots \otimes V_n^*)$. The tangential variety $\tau(X)$ is the union of all embedded tangent lines.
2. Landsberg-Weyman Conjecture: This conjecture describes the generators of the ideal $I(\tau(\text{Seg}(PV_1^* \times \cdots \times PV_n^*)))$, including:
   • Quadratic forms with at least four $\wedge^2$ factors
   • Cubic forms with four $S_{2,1}$ factors and other $S_{3,0}$ factors
   • Quartic forms with three $S_{2,2}$ factors and other $S_{4,0}$ factors

Research Motivation

1. Theoretical Importance: Understanding the defining equations of algebraic varieties is a fundamental problem in algebraic geometry
2. Technical Challenge: The geometric complexity of tangential varieties makes direct analysis difficult
3. Interdisciplinary Connection: Establishes deep connections with linear algebra through principal minors of symmetric matrices

Core Contributions

1. Proved the set-theoretic version of the Landsberg-Weyman conjecture in the case $V_i \cong \mathbb{C}^2$
2. Introduced the concept of exclusive rank (E-rank): A novel generalization of matrix rank
3. Established a bridge between geometry and linear algebra: Represented the tangential variety as the variety of principal minors of special symmetric matrices
4. Provided stronger results than the original conjecture: Proved that the tangential variety can be characterized set-theoretically without quadratic equations

Detailed Methodology

Core Strategy

The author's approach proceeds through the following steps:

1. Embedding the Tangential Variety: Embed $\tau(\text{Seg}(PV_1^* \times \cdots \times PV_n^*))$ into $Z_n$ (the variety of principal minors of symmetric matrices)
2. Analyzing Polynomial Pullbacks: Study the pullbacks of polynomials from the Landsberg-Weyman conjecture to the space of symmetric matrices
3. Introducing Exclusive Rank: Define and analyze this new concept
4. Establishing Equivalence: Prove that the principal minors of symmetric matrices with exclusive rank at most 1 precisely give the tangential variety

Definition of Exclusive Rank

For a matrix $A$, a minor $\Delta_J^I(A)$ is called an exclusive minor (E-minor) if $I \cap J = \emptyset$. The exclusive rank of a matrix $A$ is defined as the minimum value of $k$ such that all $(k+1) \times (k+1)$ exclusive minors vanish.

Principal Minor Map

Define the rational map: $\phi: P(S^2\mathbb{C}^n \oplus \mathbb{C}) \dashrightarrow P\mathbb{C}^{2^n}$$[A,t] \mapsto [t^{n-|I|}\Delta_I(A)X^I]$

where $\Delta_I(A)$ is a principal minor of matrix $A$.

Technical Innovations

1. Invariance of Exclusive Rank: Proved that exclusive rank is invariant under the action of $(SL(2)^{\times n}) \ltimes S_n$
2. Module-Theoretic Applications: Utilized decompositions of Schur modules to construct explicit polynomials
3. Geometric-Algebraic Correspondence: Established a bijection between the tangential variety and a special class of symmetric matrices

Main Results

Theorem 1.3 (Main Result)

The tangential variety $\tau(\text{Seg}(PV_1^* \times \cdots \times PV_n^*))$ is set-theoretically defined by the following polynomials:

• Cubic forms in $S^3(V_1 \otimes \cdots \otimes V_n)$ with four $S_{2,1}$ factors and other $S_{3,0}$ factors
• Quartic forms in $S^4(V_1 \otimes \cdots \otimes V_n)$ with three $S_{2,2}$ factors and other $S_{4,0}$ factors

Proposition 5.2 (Key Result)

The tangential variety is precisely the image under the principal minor map of symmetric matrices with exclusive rank equal to 1.

Concrete Computational Example

In the case $n=4$, the author provides explicit polynomial constructions:

For the module $\wedge^2\wedge^2\wedge^2\wedge^2$, the basis vector is: $F_0 = X_{0000}X_{1111} - X_{0001}X_{1110} - X_{0010}X_{1101} + X_{0011}X_{1100} - X_{0100}X_{1011} + X_{0101}X_{1010} + X_{0110}X_{1001} - X_{0111}X_{1000}$

After pullback to symmetric matrices, this yields: $F_0(A) = t^4(a_{1,4}^2a_{2,3}^2 + a_{1,3}^2a_{2,4}^2 + a_{1,2}^2a_{3,4}^2 - a_{1,2}a_{2,3}a_{3,4}a_{1,4} - a_{1,2}a_{2,4}a_{1,3}a_{3,4} - a_{1,3}a_{2,4}a_{2,3}a_{1,4})$

Proof Strategy

Step One: Establishing Inclusion Relations

Using the author's previous work, it is known that $\tau(\text{Seg}(PV_1^* \times \cdots \times PV_n^*)) \subset Z_n$.

Step Two: Analyzing Cubic Polynomials

Through constructions using Young symmetrizers, basis vectors of the module $S_{2,1}S_{2,1}S_{2,1}S_{2,1}$ are obtained, and their pullbacks are analyzed.

Step Three: Exclusive Rank Analysis

Prove that the zero set of the pullback polynomials corresponds precisely to symmetric matrices with exclusive rank at most 1.

Step Four: Dimension and Irreducibility

Through analysis of group actions, establish the dimension and irreducibility of the relevant varieties, thereby obtaining the equality.

Related Work

1. Landsberg-Weyman 7: Proposed the original conjecture using cohomological and geometric methods
2. Holtz-Sturmfels 3: Studied the ideal of $Z_3$, proving $\tau(\text{Seg}(P^1 \times P^1 \times P^1)) = Z_3$
3. Author's Previous Work 8,9: Proved the set-theoretic version of the Holtz-Sturmfels conjecture
4. Landsberg-Manivel 4,5: Research on ideals of secant varieties, providing background on module decompositions

Conclusions and Discussion

Main Conclusions

1. Successfully proved the set-theoretic version of the Landsberg-Weyman conjecture in the case $V_i \cong \mathbb{C}^2$
2. The concept of exclusive rank provides a new tool for understanding geometric properties of symmetric matrices
3. Established profound connections between tangential varieties and principal minors of symmetric matrices

Limitations

1. The proof is restricted to the case $V_i \cong \mathbb{C}^2$
2. The results are set-theoretic rather than ideal-theoretic
3. The generalization of the method to higher-dimensional cases is not obvious

Future Directions

1. Generalize to higher-dimensional cases
2. Study the geometric meaning of symmetric matrices with exclusive rank $k$
3. Seek ideal-theoretic versions of the proof

In-Depth Evaluation

Strengths

1. High Originality: The introduction of the exclusive rank concept provides a new perspective on matrix theory
2. Technical Depth: Skillfully combines algebraic geometry, representation theory, and linear algebra
3. Significant Results: Resolves an important open problem
4. Novel Methods: Establishes geometric-algebraic correspondence through the principal minor map

Weaknesses

1. Limited Scope: Addresses only the special case $V_i \cong \mathbb{C}^2$
2. Computational Complexity: Explicit polynomial constructions involve substantial calculations
3. Difficult Generalization: The method's extension to more general cases is not sufficiently clear

Impact

1. Theoretical Contribution: Provides new insights for the problem of defining ideals in algebraic geometry
2. Practical Value: The exclusive rank concept may have applications in other mathematical fields
3. Reproducibility: The paper provides detailed construction procedures, facilitating verification

Application Scenarios

1. Variety theory in algebraic geometry
2. Invariant theory in representation theory
3. Matrix theory in linear algebra
4. Tensor analysis and multilinear algebra

References

The paper cites 13 important references, primarily including:

• Original work by Landsberg-Weyman on tangential varieties
• Research by Holtz-Sturmfels on hyperdeterminants
• Representation theory textbook by Fulton-Harris
• Monograph by Weyman on cohomology of vector bundles

Overall Assessment: This is a high-quality algebraic geometry paper that successfully resolves an important conjecture by introducing the innovative concept of exclusive rank. Although the results are limited to special cases, the methods are novel, the technical depth is substantial, and the work provides valuable tools and insights for related research areas.