Abstract:In this work we analyze the $Spin(V)$-structure of the secant variety of lines $\sigma_{2}(\mathbb{S})$ to a Spinor variety $\mathbb{S}$ minimally embedded in its spin representation. In particular, we determine the poset of the $Spin(V)$-orbits and their dimensions. We use it for solving the problems of identifiability and tangential-identifiability in $\sigma_2(\mathbb S)$, and for determining the second Terracini locus of $\mathbb{S}$. Finally, we show that the singular locus $Sing(\sigma_{2}(\mathbb{S}))$ contains the two $Spin(V)$-orbits of lowest dimensions and it lies in the tangential variety $\tau(\mathbb{S})$: we also conjecture what it set-theoretically is.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the identifiability and singularity of the secant variety of lines of the Spinor variety. Specifically:
1. **Identifiability**: The paper explores how to determine the unique decomposition of points in the linear secant variety \(\sigma_2(S)\), that is, whether a given point can be uniquely represented as a linear combination of two pure spinors. If a point can be uniquely represented as a linear combination of two pure spinors, then the point is said to be identifiable.
2. **Tangential - identifiability**: The paper also studies the unique tangency property of points in the tangential variety \(\tau(S)\). Specifically, whether a tangent point lies on only one unique tangent line. If a tangent point lies on only one unique tangent line, then the point is said to be tangential - identifiable.
3. **Singular locus**: The paper further analyzes the singular locus of the linear secant variety \(\sigma_2(S)\), that is, those points where the dimension of the tangent space exceeds the dimension of the secant variety itself. The paper proposes some specific conjectures about the singular locus and proves that the singular locus contains two spinor orbits of the lowest dimension and lies in the tangential variety.
### Main contributions
- **Poset of Orbits**: The paper describes in detail the spinor orbit structure in the linear secant variety \(\sigma_2(S)\). These orbits are composed of tangent points and points on double secants, and the inclusion relations between the orbits are given.
- **Identifiability and Tangential - identifiability**: By introducing Clifford apolarity, the paper solves the problems of identifiability and tangential - identifiability of points in the linear secant variety.
- **Second Terracini locus**: The paper describes the second Terracini locus of the spinor variety, which is an important geometric object closely related to the singular locus.
- **Upper and lower bounds of the singular locus**: The paper gives the upper and lower bounds of the singular locus of the linear secant variety and proposes a specific conjecture about the singular locus.
### Formulas and symbols
- **Clifford multiplication**:
\[
v\cdot x\simeq e\wedge x + f\neg x
\]
where \(v = e + f\in E\oplus E^{\vee}\), \(x\in\bigwedge^k V\), \(f\neg x=\sum_{i = 1}^k(- 1)^{i + 1}q(f,x_i)x_1\wedge\cdots\wedge\hat{x}_i\wedge\cdots\wedge x_k\).
- **Spinor norm and inverse conjugate**:
\[
N(x):=xx^* = q(v_1)\cdots q(v_k)\in\mathbb{C}^{\times},\quad x^*:=v_k\cdots v_1
\]
- **Dimension of the spinor variety**:
\[
\dim\sigma_2(S_N^+)=\begin{cases}
2^{N - 1}-1&\text{if }N\leq6\\
N(N - 1)+1&\text{if }N\geq6
\end{cases}
\]
- **Clifford apolarity mapping**:
\[
\Phi:\bigwedge^{\text{ev}}E\otimes\bigwedge^{\text{od}}E^{\vee}\to E