The $G$-equivariant Kazdan--Warner problem

Sintesi Tecnica: Il Problema di Kazdan–Warner G-Equivariante

Enunciato del Problema
Questo articolo investiga l'analogo equivariante della classica tricotomia di Kazdan–Warner, che classifica le varietà chiuse di dimensione $n \ge 3$ in base alle funzioni di curvatura scalare che possono realizzare. Mentre il risultato classico partiziona le varietà in tre classi mutuamente esclusive — quelle che ammettono una curvatura scalare positiva (P), quelle che ammettono metriche a curvatura scalare nulla ma non positive (Z), e quelle che non ammettono metriche con curvatura scalare non negativa (N) — questo lavoro restringe l'analisi ai dati $G$-invarianti. Nello specifico, data una varietà connessa chiusa $M$ con un'azione isometrica efficace di un gruppo di Lie compatto connesso $G$ (dove l'azione ha coomogeneità almeno uno e nessun'orbita a dimensione zero), gli autori determinano quali funzioni lisce $G$-invarianti possono emergere come la curvatura scalare di una metrica $G$-invariante. La questione centrale è se la classica tricotomia si estenda veritieramente all'ambito equivariante o se emergano nuovi fenomeni.

Metodologia
Gli autori impiegano una combinione di analisi geometrica, metodi variazionali e topologia equivariante:

1. Linearizzazione e Suriettività: Lo studio inizia analizzando l'operatore di curvatura scalare $F: g \mapsto \text{scal}_g$ ristretto allo spazio delle metriche $G$-invarianti. Esaminando l'aggiunto formale $A^*$ della linearizzazione di $F$, gli autori stabiliscono criteri di suriettività locale. Essi dimostrano che se il nucleo di $A^*$ è banale, l'operatore è localmente suriettivo su un intorno della corrente curvatura scalare.
2. Approssimazione Equivariante (Teorema 1.6): Uno strumento tecnico critico è un'estensione del Lemma di Approssimazione di Kazdan–Warner. Gli autori dimostrano che le funzioni $G$-invarianti possono essere riorganizzate tramite diffeomorfismi $G$-equivarianti per approssimare altre funzioni $G$-invarianti, a condizione che specifiche condizioni sull'orbita $X = M/G$ siano soddisfatte. Ciò si basa sul sollevamento di isotopie dallo spazio delle orbite (un intervallo o un cerchio) alla varietà $M$.
3. Problema di Yamabe Equivariante: L'esistenza di metriche a curvatura scalare costante viene affrontata tramite metodi variazionali. Gli autori utilizzano il Principio di Criticità Simmetrica di Palais e teoremi di immersione compatta per spazi di Sobolev di funzioni invarianti (Hebey–Vaugon) per trovare i minimizzanti del funzionale di Yamabe all'interno della classe $G$-invariante.
4. Caratterizzazione Geometrica della Coomogeneità Uno: Per le azioni di coomogeneità uno, gli autori sfruttano la struttura dello spazio delle orbite e le rappresentazioni di isotropia. Utilizzano la struttura di prodotto vario (warped product) delle metriche invarianti e le proprietà delle orbite principali isotropia-irriducibili per derivare vincoli integrali sulla curvatura scalare totale.

Contributi Chiave e Risultati

• Scoperta di una Quarta Classe (Totalmente G-Positiva): Il risultato primario (Teorema 1.3) dimostra che la classica tricotomia non si estende veritieramente. Una distinta classe di coppie $(M, G)$ emerge, definita totalmente G-positiva.

  • Definizione: Una coppia è totalmente G-positiva se ogni metrica $G$-invariante su $M$ ha una curvatura scalare totale strettamente positiva ($\int_M \text{scal}_g d\mu_g > 0$).
  • Conseguenze: Tali coppie ammettono una metrica $G$-invariante di curvatura scalare costante positiva, ma non ammettono alcuna metrica $G$-invariante di curvatura costante nulla o negativa. Inoltre, non possono realizzare alcuna funzione $G$-invariante che sia ovunque non positiva.
  • Caratterizzazione: Il Lemma 3.11 stabilisce che $(M, G)$ è totalmente G-positiva se e solo se l'azione è di coomogeneità uno con un'orbita principale isotropia-irriducibile. Un esempio prototipico è $M = S^1 \times S^{n-1}$ con l'azione di $SO(n)$, dove la rappresentazione di isotropia è irriducibile.

• Classificazione Raffinata per Coppie Non Totalmente G-Positive: Per le coppie che non sono totalmente G-positive, la classica tricotomia viene recuperata a livello di dati $G$-invarianti (Teorema 1.3, parte ii). Queste coppie rientrano esattamente in una di tre classi:

  • $(P_G)$: Ogni funzione liscia $G$-invariante è la curvatura scalare di qualche metrica $G$-invariante.
  • $(Z_G)$: Una funzione è realizzabile se e solo se è identicamente nulla o negativa in qualche punto.
  • $(N_G)$: Una funzione è realizzabile se e solo se è negativa in qualche punto.

• Simmetria Non-Abeliana: Gli autori notano che se l'algebra di Lie di $G$ è non-abeliana e la coppia non è totalmente G-positiva, la coppia appartiene necessariamente alla classe $(P_G)$. Ciò si basa sul risultato di Lawson–Yau secondo cui i gruppi di simmetria non-abeliani garantiscono l'esistenza di una metrica $G$-invariante di curvatura scalare positiva. Tuttavia, l'articolo sottolinea che le azioni non-abeliane possono comunque essere totalmente G-positive (come nel caso di $S^1 \times S^{n-1}$), collocandole nella nuova quarta categoria piuttosto che in $(P_G)$.

• Esistenza di Metriche a Curvatura Costante: Il Teorema 1.4 fornisce un risultato di esistenza esaustivo:

  • Se $(M, G)$ non è totalmente G-positiva, ammette una metrica $G$-invariante di curvatura scalare costante negativa. Se ammette una metrica non negativa, ammette una a curvatura scalare nulla.
  • Se ammette una metrica non negativa non identicamente nulla, ammette una metrica di curvatura scalare costante positiva.
  • Le coppie totalmente G-positive ammettono metriche di curvatura scalare costante positiva ma nessuna non-positiva.

Significato
L'articolo sostiene che la geometria intrinseca dell'azione del gruppo, specificamente la coomogeneità e l'irriducibilità della rappresentazione di isotropia, governa l'esistenza di metriche di curvatura scalare nell'ambito equivariante. L'emergere della classe "totalmente G-positiva" rappresenta una genuina deviazione dalla teoria non-equivariante, dove la curvatura scalare totale può sempre essere resa negativa o nulla su varietà che non ammettono curvatura scalare positiva. Il lavoro sintetizza le tecniche di approssimazione di Kazdan–Warner con la teoria di Yamabe equivariante di Hebey–Vaugon per fornire una classificazione completa delle funzioni di curvatura scalare ammissibili per una vasta classe di varietà simmetriche.