The $G$-equivariant Kazdan--Warner problem

Technische Samenvatting: Het G-equivariante Kazdan–Warner-probleem

Probleemstelling
Dit artikel onderzoekt het equivariante analoog van de klassieke Kazdan–Warner-trichotomie, die gesloten variëteiten van dimensie $n \ge 3$ classificeert op basis van de scalaire krommingsfuncties die zij kunnen realiseren. Terwijl het klassieke resultaat variëteiten indeelt in drie wederzijds exclusieve klassen—die een positieve scalaire kromming toelaten (P), die scalaar-vlakke metrieken toelaten maar geen positieve (Z), en die geen metrieken met niet-negatieve scalaire kromming toelaten (N)—beperkt dit werk de analyse tot $G$-invariante data. Gegeven een gesloten samenhangende variëteit $M$ met een effectieve isometrische actie door een compacte samenhangende Lie-groep $G$ (waarbij de actie een cohomogeneïteit van minstens één heeft en geen nuldimensionale banen), bepalen de auteurs welke $G$-invariante gladde functies kunnen voortkomen uit een $G$-invariante Riemannse metriek. De centrale vraag is of de klassieke trichotomie zich letterlijk voortzet in de equivariante setting of dat er nieuwe fenomenen optreden.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische analyse, variationele methoden en equivariante topologie:

1. Linearisatie en Surjectiviteit: De studie begint met het analyseren van de scalaire krommingoperator $F: g \mapsto \text{scal}_g$ beperkt tot de ruimte van $G$-invariante metrieken. Door het onderzoek naar de formele adjunct $A^*$ van de linearisatie van $F$, stellen de auteurs lokale surjectiviteitscriteria vast. Ze bewijzen dat als de kern van $A^*$ triviaal is, de operator lokaal surjectief is op een omgeving van de huidige scalaire kromming.
2. Equivariante Approximatie (Theorem 1.6): Een cruciaal technisch instrument is een uitbreiding van de Kazdan–Warner Approximatie-Lemma. De auteurs bewijzen dat $G$-invariante functies via $G$-equivariante diffeomorfismen kunnen worden geherarrangeerd om andere $G-invariante$ functies te benaderen, mits aan specifieke voorwaarden op de baanruimte $X = M/G$ wordt voldaan. Dit berust op het tillen van isotopieën vanuit de baanruimte (ofwel een interval of een cirkel) naar de variëteit $M$.
3. Equivariant Yamabe-probleem: De existentie van metrieken met constante scalaire kromming wordt aangepakt met behulp van variationele methoden. De auteurs maken gebruik van het Palais Principe van Symmetrische Kritische Graden en compacte inbeddingsstellingen voor Sobolev-ruimten van invariante functies (Hebey–Vaugon) om minimizers van de Yamabe-functionaal binnen de $G$-invariante klasse te vinden.
4. Geometrische Karakterisering van Cohomogeneïteit Eén: Voor acties van cohomogeneïteit één maken de auteurs gebruik van de structuur van de baanruimte en de isotopie-representaties. Ze maken gebruik van de warped product-structuur van invariante metrieken en de eigenschappen van isotopie-irreducibele hoofdbanen om integrale restricties op de totale scalaire kromming af te leiden.

Belangrijkste Bijdragen en Resultaten

• Ontdekking van een Vierde Klasse (Totaal G-positief): Het primaire resultaat (Theorem 1.3) toont aan dat de klassieke trichotomie zich niet letterlijk voortzet. Er ontstaat een duidelijke klasse van paren $(M, G)$, getypeerd als totaal G-positief.

  • Definitie: Een paar is totaal G-positief als elke $G$-invariante metriek op $M$ een strikt positieve totale scalaire kromming heeft ($\int_M \text{scal}_g d\mu_g > 0$).
  • Gevolgen: Dergelijke paren laten een $G$-invariante metriek toe van positieve constante scalaire kromming, maar laten geen $G$-invariante metriek toe van nul of negatieve constante scalaire kromming. Bovendien kunnen zij geen $G$-invariant functie realiseren die overal niet-positief is.
  • Karakterisering: Lemma 3.11 stelt vast dat $(M, G)$ totaal G-positief is dan en slechts dan als de actie van cohomogeneïteit één is met een isotopie-irreducibele hoofdbaan. Een prototypisch voorbeeld is $M = S^1 \times S^{n-1}$ met de $SO(n)$-actie, waarbij de isotopie-representatie irreducibel is.

• Verfijnde Classificatie voor Niet-Totaal G-positieve Paren: Voor paren die niet totaal G-positief zijn, wordt de klassieke trichotomie hersteld op het niveau van $G$-invariante data (Theorem 1.3, deel ii). Deze paren vallen in exact één van drie klassen:

  • $(P_G)$: Elke gladde $G$-invariante functie is de scalaire kromming van een $G$-invariante metriek.
  • $(Z_G)$: Een functie is realiseerbaar indien en slechts indien deze identiek nul is of ergens negatief is.
  • $(N_G)$: Een functie is realiseerbaar indien en slechts indien deze ergens negatief is.

• Niet-Abelse Symmetrie: De auteurs merken op dat als de Lie-algebra van $G$ niet-abels is en het paar niet totaal G-positief is, het paar noodzakelijkerwijs tot klasse $(P_G)$ behoort. Dit berust op de Lawson–Yau resultaten dat niet-abelse symmetriegroepen de existentie van een $G$-invariante metriek met positieve scalaire kromming garanderen. De paper benadrukt echter dat niet-abelse acties nog steeds totaal G-positief kunnen zijn (zoals in het $S^1 \times S^{n-1}$ voorbeeld), waardoor ze in de nieuwe vierde categorie vallen in plaats van $(P_G)$.

• Existentie van Constante Kromming Metrieken: Theorem 1.4 biedt een uitgebreid existentie-resultaat:

  • Indien $(M, G)$ niet totaal G-positief is, laat het een $G$-invariante metriek toe van constante negatieve scalaire kromming. Indien het een niet-negatieve metriek toelaat, laat het een scalaar-vlakke metriek toe.
  • Indien het een niet-identiek-nul niet-negatieve metriek toelaat, laat het een positieve constante scalaire kromming metriek toe.
  • Totaal G-positieve paren laten positieve constante scalaire kromming metrieken toe maar geen niet-positieve.

Betekenis
De paper claimt dat de intrinsieke geometrie van de groep-actie, specifiek de cohomogeneïteit en de irreducibiliteit van de isotopie-representatie, de existentie van scalaire kromming metrieken in de equivariante setting bepaalt. De opkomst van de "totaal G-positieve" klasse vertegenwoordigt een werkelijke afwijking van de niet-equivariante theorie, waar de totale scalaire kromming altijd negatief of nul gemaakt kan worden op variëteiten die geen positieve scalaire kromming toelaten. Het werk synthetiseert de Kazdan–Warner benaderingstechnieken met de Hebey–Vaugon equivariante Yamabe-theorie om een volledige classificatie te bieden van toelaatbare scalaire kromming functies voor een brede klasse van symmetrische variëteiten.