Combinatorial secant varieties

Bernd Sturmfels,Seth Sullivant

DOI: https://doi.org/10.48550/arXiv.math/0506223

2005-09-28

Abstract:The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads to a commutative algebra version of the Strong Perfect Graph Theorem. Given any projective variety and any term order, we explore whether the initial ideal of the secant ideal coincides with the secant ideal of the initial ideal. For toric varieties, this leads to the notion of delightful triangulations of convex polytopes.

Commutative Algebra,Algebraic Geometry,Combinatorics

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the following aspects:

1. **Studying Joins and Secant Varieties in Algebraic Geometry**: The paper explores the join \(X \ast Y\) of two varieties \(X\) and \(Y\) in projective space, as well as the \(r\)-th secant variety \(X^{(r)}\) of the variety \(X\) itself. These concepts have a long research history in algebraic geometry, and many authors have studied the dimension and degree of these varieties.

2. **Monomial Ideals in a Combinatorial Context**: The paper proposes a combinatorial framework to study joins and secant varieties, especially in the context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideal are related to the coloring properties of graphs, which leads to a commutative - algebraic version of the Strong Perfect Graph Theorem.

3. **Degeneration of Initial Ideals**: The paper explores whether the initial ideal of the secant ideal of an arbitrary projective variety is equal to the secant ideal of the initial ideal. For toric varieties, this leads to the concept of "pleasant" triangulations of convex polytopes.

4. **Study of Secant Varieties of Specific Varieties**: The paper applies the above techniques to study the secant varieties of certain irreducible projective varieties, especially the secant varieties of toric varieties. Through regular triangulations, information about these secant varieties can be deduced.

5. **Application of Gröbner Bases**: The paper uses Gröbner degenerations as a tool to simplify problems about secants and joins of arbitrary projective varieties to problems about secants and joins of monomial varieties. One application of this method is to give a short unified proof of the Gröbner basis properties of determinants and Pfaffians.

### Analysis of Specific Problems

- **Combinatorial Study of Secant Varieties**: The paper studies the secants and joins of monomial ideals by combinatorial methods, especially in relation to Alexander duality, the coloring properties of graphs, antichains in posets, and regular triangulations of polytopes.

- **Algebraic Version of the Perfect Graph Theorem**: For ideals generated by quadratic monomials, the secant ideal reflects the coloring properties of graphs, thus obtaining a commutative - algebraic version of the Strong Perfect Graph Theorem.

- **Pleasant Term Order**: The paper introduces the concept of "pleasant" term order, that is, under this term order, the two operations of taking secants and taking initial ideals are commutative. For determinant and Pfaffian ideals, the diagonal term order is pleasant.

- **Secant Varieties of Toric Varieties**: The paper studies the secant varieties of toric varieties and explores the existence of the corresponding pleasant triangulations, with particular attention to Veronese varieties, Segre varieties, and convolution varieties.

### Conclusion

Through combinatorial methods and algebraic tools, the paper systematically studies the properties of joins and secant varieties in algebraic geometry, especially in the context of monomial ideals. These results not only deepen the understanding of secant varieties but also provide some new perspectives and tools, such as pleasant term order and pleasant triangulation, which also have potential application values in other fields.