On defective spans of singular vector tuples beyond the boundary format

Riassunto Tecnico: Sui Fasci Difettivi di Tuple di Vettori Singolari Oltre il Formato di Confine

Enunciato del Problema
Il lavoro indaga la teoria spettrale dei tensori, focalizzandosi specificamente sulla relazione tra le tuple di vettori singolari $k$-pli di un tensore $T$ e il sottospazio lineare da esse generato. Nel contesto della decomposizione tensoriale, una tupla di vettori singolari $k$-pli generalizza il concetto di coppie singolari per le matrici. Per un tensore generico $T$, sia $Z_T$ l'insieme delle sue tuple di vettori singolari $k$-pli (viste come punti nello spazio proiettivo $\mathbb{P}(V)$), e sia $\langle Z_T \rangle$ il loro span proiettivo.

Un oggetto centrale di studio è lo spazio critico $H_T$, definito come il sottospazio lineare di $V$ tagliato fuori dalle equazioni che definiscono le tuple di vettori singolari $k$-pli. È noto che $\langle Z_T \rangle \subseteq \mathbb{P}(H_T). Un lavoro precedente di Draisma, Ottaviani e Tocino [DOT18] ha stabilito che, per spazi tensoriali di "formato di confine" (dove la dimensione di un fattore è uguale alla somma delle dimensioni degli altri), vale l'uguaglianza:$\langle Z_T \rangle = \mathbb{P}(H_T)$. Questo risultato generalizza il teorema di Eckart-Young per le matrici.

Il problema affrontato in questo articolo è il comportamento di tale uguaglianza quando lo spazio tensoriale supera il formato di confine. Nello specifico, gli autori analizzano il caso in cui lo spazio tensoriale $V = \mathbb{C}^{n_1+1} \otimes \cdots \otimes \mathbb{C}^{n_k+1}$ soddisfi $n_k = 1 + \sum_{i=1}^{k-1} n_i$, che rappresenta il caso minimo oltre il formato di confine. La domanda fondamentale è se $\langle Z_T \rangle = \mathbb{P}(H_T)$ valga generalmente in questo regime o se esistano casi "difettivi" in cui lo span è strettamente più piccolo dello spazio critico.

Metodologia
Gli autori impiegano una combinazione di geometria algebrica, teoria delle rappresentazioni e tecniche coomologiche:

1. Fasci Vettoriali e Cohomologia: Lo studio utilizza il fascio vettoriale di Friedland-Ottaviani $E$ sul prodotto di Segre $P = \mathbb{P}(\mathbb{C}^{n_1+1}) \times \cdots \times \mathbb{P}(\mathbb{C}^{n_k+1})$. Le tuple di vettori singolari $k$-pli corrispondono al luogo degli zeri di una sezione globale $s_T$ di $E$.
2. Complesso di Koszul: La risoluzione del fascio ideale del luogo degli zeri è analizzata tramite il complesso di Koszul associato a $s_T$. Ciò permette agli autori di collegare la geometria di $Z_T$ alla coomologia dei twist del fascio $E$.
3. Teorema di Bott-Borel-Weil: Gli autori eseguono un'analisi dettagliata dei gruppi di coomologia $H^q(E(r))$ utilizzando il teorema di Bott-Borel-Weil e l'algoritmo di Bott per $SL(n+1)$. Ciò comporta il calcolo dei pesi e la determinazione delle condizioni di annullamento per i gruppi di coomologia in base al formato del tensore.
4. Mappe Cohomologiche: La codimensione di $\langle Z_T \rangle$ all'interno di $\mathbb{P}(H_T)$ è identificata con la dimensione del nucleo di una specifica mappa lineare $\alpha_T$ tra gruppi di coomologia:
   $$\alpha_T: H^n(E(n+1)) \to H^n(E(n))$$
   dove $n = \sum_{i=1}^k n_i$.
5. Teoria delle Rappresentazioni: La mappa $\alpha_T$ è analizzata come una mappa equivariante sotto l'azione del prodotto dei gruppi lineari speciali. Decomponendo il dominio e il codominio in rappresentazioni irriducibili e applicando il Lemma di Schur, gli autori determinano le condizioni sotto le quali $\alpha_T$ deve annullarsi o avere rango massimo.

Contributi e Risultati Chiave

• Caratterizzazione della Codimensione: Il lavoro stabilisce che la codimensione di $\langle Z_T \rangle$ in $\mathbb{P}(H_T)$ è esattamente la dimensione del nucleo della mappa $\alpha_T$. Ciò formalizza ed estende i passaggi precedenti trovati in [ST24].
• Comportamento Distinto in Base al Numero di Fattori:
  • Per $k+1 \geq 4$ fattori, gli annullamenti coomologici sono uniformi.
  • Per $k+1 = 3$ fattori (tensori di ordine tre), il comportamento è peculiare, con meno annullamenti coomologici, portando a proprietà strutturali diverse.
• Famiglia Difettiva Identificata: Gli autori identificano una famiglia infinita di tensori di ordine tre in cui lo span è difettivo. Nello specifico, per un tensore generico $T \in \mathbb{C}^2 \otimes \mathbb{C}^n \otimes \mathbb{C}^{n+2}$, la mappa $\alpha_T$ si annulla identicamente. Di conseguenza, lo span $\langle Z_T \rangle$ ha una codimensione di $n-1$ in $\mathbb{P}(H_T)$, che è la codimensione massima possibile consentita dal conteggio dei parametri. Ciò è enunciato nel Teorema 5.2.
• Analisi Dimensionale: Tramite disuguaglianze combinatorie che coinvolgono coefficienti binomiali, gli autori determinano casi specifici in cui le dimensioni del dominio e del codominio di $\alpha_T$ suggeriscono che la mappa non può essere iniettiva. Questi includono casi come $(2, 2, 2, 5)$, $(2, 2, 3, 6)$ e $(2, 2, 4, 7)$ per $k+1=4$, e casi piccoli specifici per $k+1=3$.
• Congetture: Sulla base dell'analisi, gli autori congetturano che, al di fuori di una lista finita di casi specifici "eccezionali" (inclusa la famiglia infinita menzionata sopra), la mappa $\alpha_T$ abbia rango massimo, implicando $\langle Z_T \rangle = \mathbb{P}(H_T)$.
  • La Congettura 7.2 affronta il caso a 3 fattori ($a, b \geq 2$).
  • La Congettura 7.3 affronta il caso a $k+1 \geq 4$ fattori.
• Connessione alla Cohomologia di Koszul: Nella sezione finale, gli autori tracciano un collegamento tra le loro congetture e l'annullamento di certi moduli di coomologia di Koszul $K_{1,1}(X, \mathcal{O}(1,1), W)$, collegando la difettività dello span alle syzygie della varietà di Segre.

Significato
Il lavoro fornisce un quadro rigoroso per comprendere i limiti delle tuple di vettori singolari nella decomposizione tensoriale oltre il formato di confine. Mentre il formato di confine garantisce che un tensore sia determinato dalle sue tuple di vettori singolari (tramite l'uguaglianza tra lo span e lo spazio critico), questo lavoro dimostra che tale proprietà fallisce per specifiche famiglie infinite di tensori. L'identificazione della mappa $\alpha_T$ come determinante di tale uguaglianza offre uno strumento coomologico concreto per analizzare i ranghi e le decomposizioni tensoriali. I risultati affinano la comprensione del "problema della migliore approssimazione di rango uno" e della struttura geometrica dello spazio critico, evidenziando che la generalizzazione del teorema di Eckart-Young ai tensori di ordine superiore non è universale e dipende criticamente dal formato del tensore. La connessione con la coomologia di Koszul suggerisce strutture algebriche più profonde alla base di questi fenomeni geometrici.