The $G$-equivariant Kazdan--Warner problem

Resumen Técnico: El Problema de Kazdan–Warner G-Equivariante

Planteamiento del Problema
Este artículo investiga el análogo equivariante de la clásica tricotomía de Kazdan–Warner, que clasifica las variedades cerradas de dimensión $n \ge 3$ basándose en las funciones de curvatura escalar que pueden realizar. Mientras que el resultado clásico divide las variedades en tres clases mutuamente excluyentes —aquellas que admiten una métrica de curvatura escalar positiva (P), aquellas que admiten métricas de curvatura escalar nula pero ninguna positiva (Z), y aquellas que no admiten métricas de curvatura escalar no negativa (N)—, este trabajo restringe el análisis a datos $G$-invariantes. Específicamente, dada una variedad cerrada conexa $M$ con una acción isométrica efectiva de un grupo de Lie compacto conexo $G$ (donde la acción tiene cohomogeneidad al menos uno y no tiene órbitas de dimensión cero), los autores determinan qué funciones suaves $G$-invariantes pueden surgir como la curvatura escalar de una métrica $G$-invariante. La cuestión central es si la tricotomía clásica se extiende de forma idéntica al entorno equivariante o si emergen nuevos fenómenos.

Metodología
Los autores emplean una combinación de análisis geométrico, métodos variacionales y topología equivariante:

1. Linealización y Sobreyectividad: El estudio comienza analizando el operador de curvatura escalar $F: g \mapsto \text{scal}_g$ restringido al espacio de métricas $G$-invariantes. Al examinar el adjunto formal $A^*$ de la linealización de $F$, los autores establecen criterios de sobreyectividad local. Demuestran que si el núcleo de $A^*$ es trivial, el operador es localmente sobreyectivo sobre un entorno de la curvatura escalar actual.
2. Aproximación Equivariante (Teorema 1.6): Una herramienta técnica crítica es una extensión del Lema de Aproximación de Kazdan–Warner. Los autores demuestran que las funciones $G$-invariantes pueden reordenarse mediante difeomorfismos $G$-equivariantes para aproximar otras funciones $G$-invariantes, siempre que se cumplan ciertas condiciones sobre el espacio de órbitas $X = M/G$. Esto se basa en elevar las isotopías desde el espacio de órbitas (ya sea un intervalo o un círculo) hacia la variedad $M$.
3. Problema de Yamabe Equivariante: La existencia de métricas de curvatura escalar constante se aborda mediante métodos variacionales. Los autores utilizan el Principio de Criticidad Simétrica de Palais y teoremas de inmersión compacta para espacios de Sobolev de funciones invariantes (Hebey–Vaugon) para encontrar minimizadores del funcional de Yamabe dentro de la clase $G$-invariante.
4. Caracterización Geométrica de Cohomogeneidad Uno: Para acciones de cohomogeneidad uno, los autores aprovechan la estructura del espacio de órbitas y las representaciones de isotropía. Utilizan la estructura de producto de guerra (warped product) de las métricas invariantes y las propiedades de las órbitas principales isotropía-irreducibles para derivar restricciones integrales sobre la curvatura escalar total.

Contribuciones Clave y Resultados

• Descubrimiento de una Cuarta Clase (Totalmente G-Positiva): El resultado principal (Teorema 1.3) demuestra que la tricotomía clásica no se extiende de forma idéntica. Emerge una clase distinta de pares $(M, G)$, denominada totalmente G-positiva.

  • Definición: Un par es totalmente G-positivo si toda métrica $G$-invariante en $M$ tiene una curvatura escalar total estrictamente positiva ($\int_M \text{scal}_g d\mu_g > 0$).
  • Consecuencias: Tales pares admiten una métrica $G$-invariante de curvatura escalar constante positiva, pero admiten ninguna métrica $G$-invariante de curvatura constante cero o negativa. Además, no pueden realizar ninguna función $G$-invariante que sea en todas partes no positiva.
  • Caracterización: El Lema 3.11 establece que $(M, G)$ es totalmente G-positivo si y solo si la acción es de cohomogeneidad uno con una órbita principal isotropía-irreducible. Un ejemplo prototípico es $M = S^1 \times S^{n-1}$ con la acción de $SO(n)$, donde la representación de isotropía es irreducible.

• Clasificación Refinada para Pares No Totalmente G-Positivos: Para los pares que no son totalmente G-positivos, la tricotomía clásica se recupera al nivel de los datos $G$-invariantes (Teorema 1.3, parte ii). Estos pares caen en exactamente una de tres clases:

  • $(P_G)$: Toda función suave $G$-invariante es la curvatura escalar de alguna métrica $G$-invariante.
  • $(Z_G)$: Una función es realizable si y solo si es idénticamente cero o negativa en algún punto.
  • $(N_G)$: Una función es realizable si y solo si es negativa en algún punto.

• Simetría No Abeliana: Los autores señalan que si la álgebra de Lie de $G$ es no abeliana y el par no es totalmente G-positivo, el par pertenece necesariamente a la clase $(P_G)$. Esto se basa en el resultado de Lawson–Yau, donde los grupos de simetría no abelianos garantizan la existencia de una métrica de curvatura escalar positiva. Sin embargo, el artículo enfatiza que las acciones no abelianas aún pueden ser totalmente G-positivas (como en el ejemplo de $S^1 \times S^{n-1}$), situándolas en esta nueva cuarta categoría en lugar de $(P_G)$.

• Existencia de Métricas de Curvatura Constante: El Teorema 1.4 proporciona un resultado de existencia exhaustivo:

  • Si $(M, G)$ no es totalmente G-positivo, admite una métrica $G$-invariante de curvatura escalar constante negativa. Si admite una métrica no negativa, admite una de curvatura escalar nula.
  • Si admite una métrica no negativa no idénticamente nula, admite una métrica de curvatura escalar constante positiva.
  • Los pares totalmente G-positivos admiten métricas de curvatura escalar constante positiva pero ninguna no positiva.

Significado
El artículo sostiene que la geometría intrínseca de la acción del grupo, específicamente la cohomogeneidad y la irreducibilidad de la representación de isotropía, gobierna la existencia de métricas de curvatura escalar en el entorno equivariante. La emergencia de la clase "totalmente G-positiva" representa una desviación genuina de la teoría no equivariante, donde la curvatura escalar total siempre puede hacerse negativa o cero en variedades que no admiten curvatura escalar positiva. El trabajo sintetiza las técnicas de aproximación de Kazdan–Warner con la teoría de Yamabe equivariante de Hebey–Vaugon para proporcionar una clasificación completa de las funciones de curvatura escalar admisibles para una amplia clase de variedades simétricas.