On defective spans of singular vector tuples beyond the boundary format

Resumen Técnico: Sobre los Espacios Defectuosos de Tuplas de Vectores Singulares Más Allá del Formato de Frontera

Enunciado del Problema
El artículo investiga la teoría espectral de tensores, centrándose específicamente en la relación entre las tuplas de vectores singulares $k$ de un tensor $T$ y el subespacio lineal que generan. En el contexto de la descomposición de tensores, una tupla de vectores singulares $k$ generaliza el concepto de pares singulares para matrices. Para un tensor general $T$, sea $Z_T$ el conjunto de sus tuplas de vectores singulares $k$ (vistas como puntos en el espacio proyectivo $\mathbb{P}(V)$), y sea $\langle Z_T \rangle$ su envoltura proyectiva.

Un objeto central de estudio es el espacio crítico $H_T$, definido como el subespacio lineal de $V$ determinado por las ecuaciones que definen las tuplas de vectores singulares $k$. Se sabe que $\langle Z_T \rangle \subseteq \mathbb{P}(H_T) Trabajos anteriores de Draisma, Ottaviani y Tocino [DOT18] establecieron que, para espacios tensoriales de "formato de frontera" (donde la dimensión de un factor es igual a la suma de las dimensiones de los demás), se cumple la igualdad:$\langle Z_T \rangle = \mathbb{P}(H_T)$. Este resultado generaliza el teorema de Eckart-Young para matrices.

El problema abordado en este artículo es el comportamiento de esta igualdad cuando el espacio tensorial excede el formato de frontera. Específicamente, los autores analizan el caso en el que el espacio tensorial $V = \mathbb{C}^{n_1+1} \otimes \cdots \otimes \mathbb{C}^{n_k+1}$ satisface $n_k = 1 + \sum_{i=1}^{k-1} n_i$, lo cual representa el caso mínimo más allá del formato de frontera. La pregunta central es si $\langle Z_T \rangle = \mathbb{P}(H_T)$ se cumple generalmente en este régimen o si existen casos "defectuosos" donde la envoltura es estrictamente menor que el espacio crítico.

Metodología
Los autores emplean una combinación de geometría algebraica, teoría de representaciones y técnicas cohomológicas:

1. Fibrados Vectoriales y Cohomología: El estudio utiliza el fibrado vectorial de Friedland-Ottaviani $E$ sobre el producto de Segre $P = \mathbb{P}(\mathbb{C}^{n_1+1}) \times \cdots \times \mathbb{P}(\mathbb{C}^{n_k+1})$. Las tuplas de vectores singulares $k$ corresponden al lugar de ceros de una sección global $s_T$ de $E$.
2. Complejo de Koszul: La resolución del haz ideal del lugar de ceros se analiza mediante el complejo de Koszul asociado a $s_T$. Esto permite a los autores relacionar la geometría de $Z_T$ con la cohomología de torsiones del fibrado $E$.
3. Teorema de Bott-Borel-Weil: Los autores realizan un análisis detallado de los grupos de cohomología $H^q(E(r))$ utilizando el teorema de Bott-Borel-Weil y el algoritmo de Bott para $SL(n+1)$. Esto implica calcular pesos y determinar condiciones de anulación para los grupos de cohomología basadas en el formato del tensor.
4. Aplicaciones Cohomológicas: La codimensión de $\langle Z_T \rangle$ dentro de $\mathbb{P}(H_T)$ se identifica con la dimensión del núcleo de una aplicación lineal específica $\alpha_T$ entre grupos de cohomología:
   $$\alpha_T: H^n(E(n+1)) \to H^n(E(n))$$
   donde $n = \sum_{i=1}^k n_i$.
5. Teoría de Representaciones: La aplicación $\alpha_T$ se analiza como una aplicación equivariante bajo la acción del producto de grupos lineales especiales. Mediante la descomposición del dominio y el codominio en representaciones irreducibles y la aplicación del Lema de Schur, los autores determinan las condiciones bajo las cuales $\alpha_T$ debe anularse o tener rango máximo.

Contribuciones y Resultados Clave

• Caracterización de la Codimensión: El artículo establece que la codimensión de $\langle Z_T \rangle$ en $\mathbb{P}(H_T)$ es exactamente la dimensión del núcleo de la aplicación $\alpha_T$. Esto formaliza y extiende pasos previos encontrados en [ST24].
• Comportamiento Distinto según el Número de Factores:
  • Para $k+1 \geq 4$ factores, las anulaciones cohomológicas son uniformes.
  • Para $k+1 = 3$ factores (tensores de orden tres), el comportamiento es peculiar, con menos anulaciones cohomológicas, lo que conduce a propiedades estructurales diferentes.
• Familia Defectuosa Identificada: Los autores identifican una familia infinita de tensores de orden tres donde la envoltura es defectuosa. Específicamente, para un tensor general $T \in \mathbb{C}^2 \otimes \mathbb{C}^n \otimes \mathbb{C}^{n+2}$, la aplicación $\alpha_T$ se anula idénticamente. En consecuencia, la envoltura $\langle Z_T \rangle$ tiene una codimensión de $n-1$ en $\mathbb{P}(H_T)$, que es la codimensión máxima posible permitida por el conteo de parámetros. Esto se establece en el Teorema 5.2.
• Análisis Dimensional: A través de desigualdades combinatorias que involucran coeficientes binomiales, los autores determinan casos específicos donde las dimensiones del dominio y el codominio de $\alpha_T$ sugieren que la aplicación no puede ser inyectiva. Estos incluyen casos como $(2, 2, 2, 5)$, $(2, 2, 3, 6)$ y $(2, 2, 4, 7)$ para $k+1=4$, y casos pequeños específicos para $k+1=3$.
• Conjeturas: Basándose en el análisis, los autores conjeturan que, fuera de una lista finita de casos específicos "excepcionales" (incluida la familia infinita mencionada anteriormente), la aplicación $\alpha_T$ tiene rango máximo, lo que implica $\langle Z_T \rangle = \mathbb{P}(H_T)$.
  • La Conjetura 7.2 aborda el caso de 3 factores ($a, b \geq 2$).
  • La Conjetura 7.3 aborda el caso de $k+1 \geq 4$ factores.
• Conexión con la Cohomología de Koszul: En la sección final, los autores establecen una conexión entre sus conjeturas y la anulación de ciertos módulos de cohomología de Koszul $K_{1,1}(X, \mathcal{O}(1,1), W)$, vinculando la defectuosidad de la envoltura con las syzygías de la variedad de Segre.

Significado
El artículo proporciona un marco riguroso para comprender las limitaciones de las tuplas de vectores singulares en la descomposición de tensores más allá del formato de frontera. Mientras que el formato de frontera garantiza que un tensor está determinado por sus tuplas de vectores singulares (mediante la igualdad de la envoltura y el espacio crítico), este trabajo demuestra que esta propiedad falla para familias infinitas específicas de tensores. La identificación de la aplicación $\alpha_T$ como el determinante de esta igualdad ofrece una herramienta cohomológica concreta para analizar los rangos y descomposiciones de tensores. Los resultados refinan la comprensión del "problema de la mejor aproximación de rango uno" y de la estructura geométrica del espacio crítico, destacando que la generalización del teorema de Eckart-Young a tensores de orden superior no es universal y depende críticamente del formato del tensor. La conexión con la cohomología de Koszul sugiere estructuras algebraicas más profundas subyacentes a estos fenómenos geométricos.