A note on the shifted Courant-Nijenhuis torsion

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della Geometria Generalizzata, focalizzandosi sulla struttura del fibrato tangente generalizzato $TM = TM \oplus T^*M$ di una varietà liscia $M$.

• Strutture Generalizzate: Si considerano endomorfismi $J: TM \to TM$ che soddisfano condizioni polinomiali (strutture polinomiali generalizzate). Un caso particolare è la struttura complessa generalizzata, dove $J^2 + \text{id} = 0$.
• Condizione di Integrazione: Per le strutture complesse, la condizione di integrabilità è data dall'annullamento della torsione di Courant-Nijenhuis ($T_J$), definita come:
  $$T_J(x, y) = [[J(x), J(y)]] + J^2([[x, y]]) - J([[J(x), y]] + [[x, J(y)]])$$
  dove $[[\cdot, \cdot]]$ è la parentesi di Courant-Dorfman.
• La Questione Centrale: La torsione $T_J$ è "tensoriale" (cioè $C^\infty(M)$-lineare) solo per strutture complesse generalizzate. Per strutture polinomiali arbitrarie, $T_J$ non è tensoriale; imporre $T_J=0$ equivarrebbe a imporre equazioni differenziali non banali sulle funzioni lisce della varietà, il che non è una condizione geometrica intrinseca desiderabile.
• L'Osservazione Precedente: È stato notato che una versione "spostata" (shifted) della torsione, definita come $S_J(x, y) = T_J(J(x), y) + T_J(x, J(y))$, è invece tensoriale per qualsiasi endomorfismo antisimmetrico $J$.
• Domanda di Ricerca: La torsione di Courant-Nijenhuis spostata è una condizione tensoriale speciale? Esistono altre espressioni tensoriali analoghe che potrebbero generare condizioni di integrabilità "esotiche"? Il paper mira a caratterizzare se $S_J$ sia la condizione tensoriale più forte possibile.

2. Metodologia

Gli autori adottano un approccio che combina la geometria differenziale con l'algebra reale e la teoria degli ideali.

1. Formalizzazione Algebrica:

   • Introducono lo spazio dei moduli $\Theta$ delle forme trilineari su $\Gamma(TM)$.
   • Definizione dell'azione del polinomio: Data una struttura $J$, un polinomio $P \in \mathbb{R}[x, y, z]$ agisce su una forma trilineare $\tau$ (in particolare sull'elemento di Courant $\tau_C(x,y,z) = \langle [[x,y]], z \rangle$) tramite un'azione definita come $x \bullet_J \tau(x,y,z) = \tau(J(x), y, z)$, e analogamente per $y$ e $z$.
   • Definizione di Coppia Tensoriale: Una coppia $(P, J)$ è detta tensoriale se l'espressione $P \bullet_J \tau_C$ è trilineare su $C^\infty(M)$. Un polinomio $P$ è "tensoriale" se questa proprietà vale per ogni endomorfismo antisimmetrico $J$ e per ogni varietà $M$.

2. Analisi delle Condizioni di Tensorialità:

   • Derivano condizioni algebriche necessarie e sufficienti affinché un polinomio $P$ sia tensoriale (Proposizione 7 e Teorema 8). Queste condizioni si traducono in un sistema di equazioni lineari sui coefficienti di $P$.
   • Dimostrano che l'insieme dei polinomi tensoriali coincide con l'ideale di polinomi che si annullano su una specifica sottovarietà $V \subset \mathbb{R}^3$ definita dall'unione di tre piani: $y+z=0$, $z+x=0$, e $x+y=0$.

3. Strumenti di Algebra Reale:

   • Utilizzano il Teorema degli Zeri Reale (Real Nullstellensatz) per caratterizzare l'ideale dei polinomi che si annullano su $V$.
   • Dimostrano che l'ideale $I(V)$ è generato dal prodotto degli ideali principali associati ai piani che definiscono $V$.
   • Analizzano la struttura graduata dell'ideale per identificare il generatore di grado minimo.

3. Contributi Chiave e Risultati Principali

A. Caratterizzazione dell'Ideale Tensoriale (Teorema 14)

Il risultato centrale è la dimostrazione che l'insieme $I$ di tutti i polinomi tensoriali (per endomorfismi antisimmetrici) è esattamente l'ideale generato dal polinomio:
$$S(x, y, z) = (x + y)(y + z)(z + x)$$
Questo polinomio corrisponde alla torsione di Courant-Nijenhuis spostata.

• Il paper dimostra che qualsiasi altra condizione tensoriale espressa tramite la parentesi di Courant-Dorfman e un endomorfismo antisimmetrico deve essere un multiplo di $S(x, y, z)$.
• Di conseguenza, la torsione spostata è la condizione tensoriale più forte (o "massimale") che può essere imposta uniformemente su tutte le strutture antisimmetriche.

B. Proprietà di Alternanza (Proposizione 11)

Se una coppia $(P, J)$ è "polinomialmente tensoriale" (una condizione tecnica più forte che include la tensorialità e l'annullamento su $J$ con due argomenti nulli), allora la forma tensoriale risultante $P \bullet_J \tau_C$ è alternante (antisimmetrica rispetto allo scambio di variabili). Questo giustifica ulteriormente la natura geometrica della torsione spostata.

C. Generalizzazioni

1. Endomorfismi Simmetrici: Gli autori estendono l'analisi al caso in cui $J$ è simmetrico rispetto al prodotto interno (rilevante per le strutture di Riemann generalizzate).
   • In questo caso, la varietà di annullamento cambia ($y-z=0$, ecc.).
   • Il polinomio generatore diventa $S'(x, y, z) = (x - y)(y - z)(x - z)$.
   • Risultato sorprendente: Quando $J$ è una struttura di Riemann generalizzata ($J^2 = \text{id}$), si ha $S' \bullet_J \tau_C = 0$ identicamente. Ciò significa che non esiste un analogo non banale della torsione di Courant-Nijenhuis per le strutture di Riemann generalizzate; la condizione di tensorialità è banale.
2. Algebroidi Generali: I risultati sono mostrati essere indipendenti dalla struttura specifica del fibrato tangente generalizzato. Valgono per qualsiasi "Proto-Courant algebroid" (o local almost-Leibniz algebroid) che soddisfi le identità di Leibniz e la proprietà di compatibilità tra prodotto interno e parentesi.

4. Significato e Implicazioni

• Unicità della Condizione: Il lavoro risolve la questione se esistano condizioni di integrabilità tensoriali "esotiche" per le strutture polinomiali generalizzate. La risposta è negativa: la torsione spostata è l'unica condizione non banale di questo tipo.
• Fondamenti Teorici: Fornisce una base algebrica rigorosa (tramite la teoria degli ideali reali) per le condizioni di integrabilità nella geometria generalizzata, spostando il focus da calcoli locali a proprietà globali algebriche.
• Distinzione tra Strutture: Evidenzia una differenza fondamentale tra strutture complesse/antisimmetriche (dove esiste una condizione di integrabilità non banale) e strutture di Riemann/simmetriche (dove la condizione tensoriale è banale).
• Versatilità: La metodologia proposta è applicabile a contesti più ampi, inclusi altri tipi di algebroidi, suggerendo che la struttura algebrica delle condizioni di integrabilità è universale in questo ambito geometrico.

In sintesi, il paper stabilisce che la torsione di Courant-Nijenhuis spostata non è solo una coincidenza utile, ma è l'unica possibile condizione tensoriale di integrabilità per endomorfismi antisimmetrici su algebroidi di tipo Courant, rendendola una condizione fondamentale e insostituibile nella teoria delle strutture polinomiali generalizzate.