On defective spans of singular vector tuples beyond the boundary format

Resumo Técnico: Sobre Espaços Defeituosos de Tuplas de Vetores Singulares Além do Formato de Fronteira

Enunciado do Problema
O artigo investiga a teoria espectral de tensores, focando especificamente na relação entre as tuplas de vetores singulares $k$ de um tensor $T$ e o subespaço linear que elas geram. No contexto da decomposição de tensores, uma tupla de vetores singulares $k$ generaliza o conceito de pares singulares para matrizes. Para um tensor geral $T$, seja $Z_T$ o conjunto de suas tuplas de vetores singulares $k$ (vistas como pontos no espaço projetivo $\mathbb{P}(V)$), e seja $\langle Z_T \rangle$ sua extensão projetiva.

Um objeto central de estudo é o espaço crítico $H_T$, definido como o subespaço linear de $V$ determinado pelas equações que definem as tuplas de vetores singulares $k$. Sabe-se que $\langle Z_T \rangle \subseteq \mathbb{P}(H_T) Trabalhos anteriores de Draisma, Ottaviani e Tocino [DOT18] estabeleceram que, para espaços de tensores de "formato de fronteira" (onde a dimensão de um fator é igual à soma das dimensões dos outros), a igualdade vale:$\langle Z_T \rangle = \mathbb{P}(H_T)$. Este resultado generaliza o teorema de Eckart-Young para matrizes.

O problema abordado neste artigo é o comportamento dessa igualdade quando o espaço de tensores excede o formato de fronteira. Especificamente, os autores analisam o caso em que o espaço de tensores $V = \mathbb{C}^{n_1+1} \otimes \cdots \otimes \mathbb{C}^{n_k+1}$ satisfaz $n_k = 1 + \sum_{i=1}^{k-1} n_i$, o que representa o caso mínimo além do formato de fronteira. A questão central é se $\langle Z_T \rangle = \mathbb{P}(H_T)$ vale geralmente neste regime ou se existem casos "defeituosos" onde a extensão é estritamente menor que o espaço crítico.

Metodologia
Os autores empregam uma combinação de geometria algébrica, teoria das representações e técnicas cohomológicas:

1. Fibrados Vetoriais e Cohomologia: O estudo utiliza o fibrado vetorial de Friedland-Ottaviani $E$ sobre o produto de Segre $P = \mathbb{P}(\mathbb{C}^{n_1+1}) \times \cdots \times \mathbb{P}(\mathbb{C}^{n_k+1})$. As tuplas de vetores singulares $k$ correspondem ao lugar de zeros de uma seção global $s_T$ de $E$.
2. Complexo de Koszul: A resolução do feixe de ideais do lugar de zeros é analisada via o complexo de Koszul associado a $s_T$. Isso permite aos autores relacionar a geometria de $Z_T$ à cohomologia de torções do fibrado $E$.
3. Teorema de Bott-Borel-Weil: Os autores realizam uma análise detalhada dos grupos de cohomologia $H^q(E(r))$ usando o teorema de Bott-Borel-Weil e o algoritmo de Bott para $SL(n+1)$. Isso envolve calcular pesos e determinar condições de anulação para grupos de cohomologia com base no formato do tensor.
4. Mapas Cohomológicos: A codimensão de $\langle Z_T \rangle$ dentro de $\mathbb{P}(H_T)$ é identificada com a dimensão do núcleo de um mapa linear específico $\alpha_T$ entre grupos de cohomologia:
   $$\alpha_T: H^n(E(n+1)) \to H^n(E(n))$$
   onde $n = \sum_{i=1}^k n_i$.
5. Teoria das Representações: O mapa $\alpha_T$ é analisado como um mapa equivariante sob a ação do produto de grupos lineares especiais. Ao decompor o domínio e o contradomínio em representações irredutíveis e aplicar o Lema de Schur, os autores determinam condições sob as quais $\alpha_T$ deve anular-se ou ter posto máximo.

Principais Contribuições e Resultados

• Caracterização da Codimensão: O artigo estabelece que a codimensão de $\langle Z_T \rangle$ em $\mathbb{P}(H_T)$ é exatamente a dimensão do núcleo do mapa $\alpha_T$. Isso formaliza e estende etapas anteriores encontradas em [ST24].
• Comportamento Distinto por Contagem de Fatores:
  • Para $k+1 \geq 4$ fatores, as anulações cohomológicas são uniformes.
  • Para $k+1 = 3$ fatores (tensores de ordem três), o comportamento é peculiar, com menos anulações cohomológicas, levando a propriedades estruturais diferentes.
• Família Defeituosa Identificada: Os autores identificam uma família infinita de tensores de ordem três onde a extensão é defeituosa. Especificamente, para um tensor geral $T \in \mathbb{C}^2 \otimes \mathbb{C}^n \otimes \mathbb{C}^{n+2}$, o mapa $\alpha_T$ anula-se identicamente. Consequentemente, a extensão $\langle Z_T \rangle$ tem uma codimensão de $n-1$ em $\mathbb{P}(H_T)$, que é a codimensão máxima possível permitida pela contagem de parâmetros. Isso é declarado no Teorema 5.2.
• Análise Dimensional: Através de desigualdades combinatórias envolvendo coeficientes binomiais, os autores determinam casos específicos onde as dimensões do domínio e do contradomínio de $\alpha_T$ sugerem que o mapa não pode ser injetor. Estes incluem casos como $(2, 2, 2, 5)$, $(2, 2, 3, 6)$ e $(2, 2, 4, 7)$ para $k+1=4$, e casos pequenos específicos para $k+1=3$.
• Conjecturas: Com base na análise, os autores conjecturam que, fora de uma lista finita de casos específicos "excepcionais" (incluindo a família infinita mencionada acima), o mapa $\alpha_T$ tem posto máximo, implicando $\langle Z_T \rangle = \mathbb{P}(H_T)$.
  • A Conjectura 7.2 aborda o caso de 3 fatores ($a, b \geq 2$).
  • A Conjectura 7.3 aborda o caso de $k+1 \geq 4$ fatores.
• Conexão com Cohomologia de Koszul: Na seção final, os autores estabelecem uma conexão entre suas conjecturas e a anulação de certos módulos de cohomologia de Koszul $K_{1,1}(X, \mathcal{O}(1,1), W)$, ligando o defeito da extensão às sízygies da variedade de Segre.

Significado
O artigo fornece um quadro rigoroso para compreender as limitações das tuplas de vetores singulares na decomposição de tensores além do formato de fronteira. Enquanto o formato de fronteira garante que um tensor é determinado por suas tuplas de vetores singulares (via a igualdade da extensão e do espaço crítico), este trabalho demonstra que essa propriedade falha para famílias infinitas específicas de tensores. A identificação do mapa $\alpha_T$ como o determinante dessa igualdade oferece uma ferramenta cohomológica concreta para analisar ranks e decomposições de tensores. Os resultados refinam a compreensão do "problema da melhor aproximação de rank-um" e da estrutura geométrica do espaço crítico, destacando que a generalização do teorema de Eckart-Young para tensores de ordem superior não é universal e depende criticamente do formato do tensor. A conexão com a cohomologia de Koszul sugere estruturas algébricas mais profundas subjacentes a esses fenômenos geométricos.