The $G$-equivariant Kazdan--Warner problem

Resumo Técnico: O Problema de Kazdan–Warner G-Equivariante

Enunciado do Problema
Este artigo investiga o análogo equivariante da clássica tricotomia de Kazdan–Warner, que classifica variedades fechadas de dimensão $n \ge 3$ com base nas funções de curvatura escalar que elas podem realizar. Embora o resultado clássico particione as variedades em três classes mutuamente exclusivas — aquelas que admitem curvatura escalar positiva (P), aquelas que admitem métricas de curvatura escalar nula, mas não positivas (Z), e aquelas que não admitem métricas de curvatura escalar não negativa (N) — este trabalho restringe a análise a dados $G$-invariantes. Especificamente, dada uma variedade fechada e conexa $M$ com uma ação isométrica efetiva de um grupo de Lie compacto e conexo $G$ (onde a ação tem cohomogeneidade de pelo menos um e sem órbitas de dimensão zero), os autores determinam quais funções suaves $G$-invariantes podem surgir como a curvatura escalar de uma métrica $G$-invariante. A questão central é se a tricotomia clássica se estende vertermente ao cenário equivariante ou se novos fenômenos emergem.

Metodologia
Os autores empregam uma combinação de análise geométrica, métodos variacionais e topologia equivariante:

1. Linearização e Sobrevjetividade: O estudo começa analisando o operador de curvatura escalar $F: g \mapsto \text{scal}_g$ restrito ao espaço de métricas $G$-invariantes. Ao examinar o adjunto formal $A^*$ da linearização de $F$, os autores estabelecem critérios de sobrevivjetividade local. Eles provam que, se o núcleo de $A^*$ for trivial, o operador é localmente sobrevivjente sobre uma vizinhança da curvatura escalar atual.
2. Aproximação Equivariante (Teorema 1.6): Uma ferramenta técnica crítica é uma extensão do Lema de Aproximação de Kazdan–Warner. Os autores provam que funções $G$-invariantes podem ser rearranjadas via difeomorfismos $G$-equivariantes para aproximar outras funções $G-invariantes$, desde que condições específicas sobre o espaço de órbitas $X = M/G$ sejam atendidas. Isso depende do levantamento de isotopias do espaço de órbitas (seja um intervalo ou um círculo) para a variedade $M$.
3. Problema de Yamabe Equivariante: A existência de métricas de curvatura escalar constante é abordada usando métodos variacionais. Os autores utilizam o Princípio da Criticalidade Simétrica de Palais e teoremas de imersão compacta para espaços de Sobolev de funções invariantes (Hebey–Vaugon) para encontrar minimizadores do funcional de Yamabe dentro da classe $G$-invariante.
4. Caracterização Geométrica de Cohomogeneidade Um: Para ações de cohomogeneidade um, os autores aproveitam a estrutura do espaço de órbitas e as representações de isotropia. Eles utilizem a estrutura de produto varado das métricas invariantes e as propriedades das órbitas principais isotropia-irredutíveis para derivar restrições integrais sobre a curvatura escalar total.

Contribuições Principais e Resultados

• Descoberta de uma Quarta Classe (Totalmente G-Positiva): O principal resultado (Teorema 1.3) demonstra que a tricotomia clássica não se estende vertermente. Uma classe distinta de pares $(M, G)$ emerge, denominada totalmente G-positiva.

  • Definição: Um par é totalmente G-positivo se toda métrica $G$-invariante em $M$ possui uma curvatura escalar total estritamente positiva ($\int_M \text{scal}_g d\mu_g > 0$).
  • Consequências: Tais pares admitem uma métrica $G$-invariante de curvatura escalar constante positiva, mas admitem nenhuma métrica $G$-invariante de curvatura escalar constante zero ou negativa. Além disso, eles não podem realizar qualquer função $G$-invariante que seja onipresentemente não positiva.
  • Caracterização: O Lema 3.11 estabelece que $(M, G)$ é totalmente G-positivo se, e somente se, a ação é de cohomogeneidade um com uma órbita principal isotropia-irredutível. Um exemplo prototípico é $M = S^1 \times S^{n-1}$ com a ação $SO(n)$, onde a representação de isotropia é irredutível.

• Classificação Refinada para Pares Não Totalmente G-Positivos: Para pares que não são totalmente G-positivos, a tricotomia clássica é recuperada ao nível dos dados $G$-invariantes (Teorema 1.3, parte ii). Esses pares caem em exatamente uma de três classes:

  • $(P_G)$: Toda função suave $G$-invariante é a curvatura escalar de alguma métrica $G$-invariante.
  • $(Z_G)$: Uma função é realizável se, e somente se, for identicamente zero ou negativa em algum lugar.
  • $(N_G)$: Uma função é realizável se, e somente se, for negativa em algum lugar.

• Simetria Não-Abeliana: Os autores observam que, se a álgebra de Lie de $G$ for não-abeliana e o par não for totalmente G-positivo, o par pertence necessariamente à classe $(P_G)$. Isso se baseia no resultado de Lawson–Yau de que grupos de simetria não-abelianos garantem a existência de uma métrica de curvatura escalar positiva. No entanto, o artigo enfatiza que ações não-abelianas ainda podem ser totalmente G-positivas (como no exemplo de $S^1 \times S^{n-1}$), colocando-as na nova quarta categoria em vez de $(P_G)$.

• Existência de Métricas de Curvatura Constante: O Teorema 1.4 fornece um resultado de existência abrangente:

  • Se $(M, G)$ não é totalmente G-positivo, admite uma métrica $G$-invariante de curvatura escalar constante negativa. Se admite uma métrica não negativa, admite uma de curvatura escalar nula.
  • Se admite uma métrica não identicamente zero não negativa, admite uma métrica de curvatura escalar constante positiva.
  • Pares totalmente G-positivos admitem métricas de curvatura escalar constante positiva, mas nenhuma não positiva.

Significância
O artigo afirma que a geometria intrínseca da ação do grupo, especificamente a cohomogeneidade e a irredutibilidade da representação de isotropia, governa a existência de métricas de curvatura escalar no cenário equivariante. A emergência da classe "totalmente G-positiva" representa um desvio genuíno da teoria não-equivariante, onde a curvatura escalar total pode sempre ser tornada negativa ou zero em variedades que não admitem curvatura escalar positiva. O trabalho sintetiza as técnicas de aproximação de Kazdan–Warner com a teoria de Yamabe equivariante de Hebey–Vaugon para fornecer uma classificação completa de funções de curvatura escalar admissíveis para uma ampla classe de variedades simétricas.