Abstract:We prove a strong theorem on the partial non-defectivity of secant varieties of embedded homogeneous varieties developing a general set-up for families of subvarieties of Grassmannians. We study this type of problem in the more general set-up of joins of embedded varieties. Joins are defined by taking a closure. We study the set obtained before making the closure (often called the open part of the join) and the set added after making the closure (called the boundary of the join). For a point q of the open part, we give conditions for the uniqueness of the set proving that q is in the open part.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the partial non - defectiveness of secant varieties of embedded homogeneous spaces. Specifically, the author studies the properties of these secant varieties by developing a general framework applicable to families of Grassmannian sub - varieties. The core objectives of the paper can be summarized as follows:
1. **Proof of partial non - defectiveness**: One of the main achievements of the paper is a strong theorem regarding the partial non - defectiveness of secant varieties of embedded homogeneous spaces. This part of the work is based on a more general framework, namely the study of joins of embedded varieties.
2. **Definition and properties of joins**: The author defines the concept of joins in detail and studies the sets before and after the closure operation. In particular, the conditions for the uniqueness of a point \( q \) belonging to the open part are given.
3. **Study of the boundary**: The paper also explores the boundary part of the secant variety, which is the newly added part after the closure operation. The author studies the properties of the boundary part and its performance in different situations.
4. **Applications and generalization**: The theoretical results in the paper are applicable not only to general embedded varieties but also can be generalized to the joins and secant varieties of Grassmannian sub - varieties. This provides a broader application prospect for subsequent research.
### Formulas and key concepts
- **Definition of secant varieties**:
- For an embedded variety \( X \subset \mathbb{P}^r \), its \( a \)-secant variety \( \sigma_a(X) \) is defined by the closure operation and contains all objects of rank \( a \), all objects of rank less than \( a \), and some "unknown" boundary parts.
- The definition of \( \sigma_a(X) \) is as follows:
\[
\sigma_a(X) = \overline{\bigcup_{x_1, \ldots, x_a \in X} \langle x_1, \ldots, x_a \rangle}
\]
- **Definition of joins**:
- For multiple embedded varieties \( X_1, \ldots, X_s \), their join \( [X_1; \ldots; X_s] \) is defined as the closure of all lines generated by points in \( X_i \).
- Recursive definition:
\[
[X_1; \ldots; X_s] = [[X_1; \ldots; X_{s - 1}]; X_s]
\]
- **Key theorem**:
- Theorem 1: Let \( X \subset \mathbb{P}^r \) be an irreducible and non - degenerate variety, and denote \( n=\dim X \), \( g = g(X) \), \( c = c(X) \), \( k = g - c \). Suppose \( X \) is an invariant variety of the algebraic group \( H \), then:
1. \( 0\leq k\leq n \)
2. For all \( i = c - 1,\ldots, g - 2 \), we have \( a_{i + 1}(X)<a_i(X) \)
3. \( c\geq\frac{r + 1}{n + 1}-\frac{nk}{n + 1}+\frac{k(k - 1)}{2(n + 2)} \)
4. \( g\leq\frac{r + 1}{n + 1}+k-\frac{k(k - 1)}{2(n + 2)} \)
### Summary
This paper provides a new framework for analyzing the properties of these geometric objects by introducing and studying the joins and secant varieties of embedded varieties. In particular, the paper has made important progress in the proof of partial non - defectiveness and has conducted in - depth exploration of the boundary part of the secant variety. These results not only enrich the theoretical system of algebraic geometry but also provide powerful tools for practical applications.