Real involutive systems on compact Lie groups

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio della risolvibilità globale e delle spazi di coomologia associati a un complesso differenziale definito su una gruppo di Lie compatto e connesso $G$.
In particolare, gli autori analizzano strutture involutive essenzialmente reali e invarianti per traslazioni sinistre.

• Struttura Involutive: Si tratta di un fibrato vettoriale $V \subset CTG$ (fibrato tangente complessificato) che è chiuso rispetto al bracket di Lie. "Essenzialmente reale" significa che $V$ è la complessificazione di un fibrato reale integrabile (una distribuzione integrabile che genera una foliazione).
• Il Complesso Differenziale: A tale struttura è associato un complesso di operatori differenziali del primo ordine $d'$ che agisce su forme differenziali di tipo $(0,q)$ (o forme adattate alla struttura), generalizzando il complesso di Dolbeault (geometria complessa), il complesso $\bar{\partial}_b$ (geometria CR) e il complesso di de Rham foliato.
• Obiettivo: Determinare le condizioni necessarie e sufficienti affinché lo spazio di coomologia $H^q_{d'}(C^\infty(G))$ sia uno spazio di Hausdorff (topologicamente ben comportato). In termini di analisi funzionale, questo equivale a chiedere che l'immagine dell'operatore $d'$ sia chiusa (risolvibilità globale).

###2. Metodologia
Gli autori adottano un approccio che combina analisi armonica, teoria degli operatori su gruppi di Lie e algebra lineare sfruttando la simmetria del gruppo.

• Decomposizione Spettrale e Operatori: Sfruttando la compattezza di $G$, viene introdotta una metrica Riemanniana ad-invariante. Si definisce un operatore di tipo Laplaciano sub-ellittico $\Delta_v = -\sum L_j^2$, dove $L_j$ sono campi vettoriali reali left-invarianti che generano l'algebra di Lie $\mathfrak{v}$ della struttura.
• Decomposizione degli Spazi Funzionali: Viene dimostrata una decomposizione ortogonale dello spazio delle funzioni lisce $C^\infty(G)$ in:
  $$C^\infty(G) = \mathcal{K}(G) \oplus \overline{\mathcal{R}}(G)$$
  dove $\mathcal{K}(G)$ è lo spazio delle soluzioni omogenee (nucleo di $\Delta_v$) e $\overline{\mathcal{R}}(G)$ è la chiusura dell'immagine di $\Delta_v$. Questa decomposizione si estende alle forme differenziali.
• Analisi della Coomologia: La coomologia totale viene scomposta in due fattori:
  1. La parte relativa alle soluzioni omogenee $\mathcal{K}(G)$.
  2. La parte relativa alla chiusura dell'immagine $\overline{\mathcal{R}}(G)$.
     Gli autori dimostrano che la risolvibilità globale in grado 1 implica la chiusura dell'immagine di $\Delta_v$, il che a sua volta annulla la coomologia nella parte $\overline{\mathcal{R}}(G)$.
• Strutture Tubolari: Per le strutture "a tubo" su prodotti $M \times T^m$, viene utilizzata una tecnica di normalizzazione. Dimostrano che, se $M$ è un gruppo di Lie, ogni struttura reale a tubo è diffeomorfa a una struttura left-invariante, permettendo di applicare i risultati generali ottenuti per i gruppi.

3. Contributi Chiave e Risultati Principali

A. Teorema 1: Implicazione della Risolvibilità

Il risultato centrale afferma che, su un gruppo di Lie compatto $G$, se l'operatore $d'$ è globalmente risolvibile in grado 1 (cioè $d': C^\infty(G) \to C^\infty(G; \Lambda^1)$ ha immagine chiusa), allora è risolvibile in tutti i gradi $q \in \{1, \dots, n\}$.
Inoltre, in questo caso, lo spazio di coomologia ammette una rappresentazione topologica esplicita:
$$H^q_{d'}(C^\infty(G)) \cong \mathcal{K}(G) \otimes H^q_{d'}(C_G)$$
dove:

• $\mathcal{K}(G)$ è lo spazio delle funzioni lisce annichilate da tutti i campi vettoriali in $V$.
• $H^q_{d'}(C_G)$ è lo spazio delle classi di coomologia left-invarianti (coomologia dell'algebra di Lie).

B. Casi Particolari e Semplificazioni

• Ipoellitticità Globale: Se la struttura è ipoellittica globale, $\mathcal{K}(G)$ contiene solo funzioni costanti. Di conseguenza, la coomologia è isomorfa alla coomologia left-invariante dell'algebra di Lie.
• Foglie Chiuse: Se le foglie della foliazione generata da $V$ sono chiuse in $G$ (il che accade se il sottogruppo integrale $H$ è chiuso), allora:
  $$H^q_{d'}(C^\infty(G)) \cong C^\infty(G/H) \otimes H^q_{dR}(H)$$
  Questo generalizza un classico risultato sulla coomologia di de Rham per gruppi di Lie.

C. Converse e Ipotesi di Commutatività

Gli autori forniscono una conversazione parziale del Teorema 1: se l'algebra di Lie $\mathfrak{v}$ delle sezioni left-invarianti è Abeliana, allora la risolvibilità in un grado $q \ge 2$ implica la risolvibilità in grado 1. Questo estende risultati noti per i tori a gruppi di Lie più generali (anche non commutativi), purché la struttura stessa sia commutativa.

D. Strutture Tubolari e Congettura Risolta

Il paper risolve una congettura aperta (posta in un lavoro precedente degli stessi autori) riguardante le strutture tubolari su $G = M \times T^m$.

• Risultato: Se $M$ è un gruppo di Lie compatto e connesso, ogni struttura tubolare reale è equivalente (tramite un diffeomorfismo) a una struttura left-invariante.
• Conseguenza: La formula per la coomologia delle strutture tubolari, che in passato presentava ostacoli per varietà generali, vale sempre quando la base è un gruppo di Lie. Nello specifico, la coomologia è isomorfa a $C^\infty(T^r) \otimes H^q_{dR}(M)$, dove $r$ è il rango di un certo gruppo di indici di risonanza.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Unificazione: Fornisce un quadro unificato per lo studio della risolvibilità globale su gruppi di Lie, collegando casi noti (tori, varietà CR, foliazioni) in un'unica teoria basata sulla simmetria left-invariante.
2. Riduzione Dimensionale: Dimostra che la complessità analitica della risolvibilità globale su un gruppo di Lie compatto può essere ridotta allo studio di un problema algebrico (la coomologia dell'algebra di Lie) e di uno spazio di funzioni omogenee.
3. Generalizzazione: Estende risultati classici dalla teoria dei tori (dove le condizioni di Diophantine governano la risolvibilità) a gruppi di Lie non commutativi, mostrando che la struttura algebrica dell'algebra di Lie della distribuzione è il fattore determinante.
4. Risoluzione di Congetture: Chiude un capitolo importante sulla teoria delle strutture tubolari, confermando che la "cattiva" dipendenza dai parametri di risonanza osservata in casi generali scompare quando la base è un gruppo di Lie.

In sintesi, il paper stabilisce che per le strutture involutive reali invarianti su gruppi di Lie compatti, la risolvibilità globale in grado 1 è la condizione sufficiente e necessaria per la buona definizione topologica (spazi di Hausdorff) dell'intera coomologia, con una struttura algebrica esplicita dei risultati.