A note on the Nielsen realization problem for Enriques manifolds

Resumen Técnico: El Problema de la Realización de Nielsen para Variedades de Enriques

1. Planteamiento del Problema

El Problema de la Realización de Nielsen, formulado originalmente por Nielsen y resuelto por Kerckhoff para curvas complejas, pregunta si cualquier grupo finito $G$ de clases de mapeo (mapping classes) de una variedad puede elevarse (lift) a un grupo de difeomorfismos que preserven la métrica y la estructura compleja. Equivalentemente, ¿fija $G$ algún punto en el espacio de Teichmüller?

El autor extiende este problema al contexto de variedades de Enriques de dimensión superior. Una variedad de Enriques $Y$ es una variedad compleja cuyo recubridor universal $X$ es una variedad hiper-Kähler. El grupo fundamental $\pi_1(Y)$ es cíclico (denotado como $D$) y su orden se llama el índice de la variedad.

El objetivo principal es determinar qué subgrupos finitos $G \leq \text{Mod}(Y)$ (grupo de clases de mapeo de $Y$) pueden realizarse como grupos de isometrías para una métrica de Einstein, y bajo qué condiciones cohomológicas esto es posible.

2. Metodología y Marco Teórico

El enfoque combina desarrollos recientes en la teoría de Birman-Hilden para variedades hiper-Kähler con resultados sobre la realización de Nielsen para estas mismas variedades.

• Teoría de Birman-Hilden: Se utiliza el hecho de que el recubrimiento $p: X \to Y$ posee la propiedad de Birman-Hilden. Esto establece un isomorfismo entre el grupo de clases de mapeo simétrico $\text{SMod}_D(X)$ (el centralizador de $D$ en el grupo de clases de mapeo de $X$) módulo $D$, y el grupo de clases de mapeo de la base:
  $$\text{SMod}_D(X) / D \cong \text{Mod}(Y)$$
  Esto permite estudiar el problema en $Y$ analizando la acción de los levantamientos $\tilde{G}$ en el recubridor hiper-Kähler $X$.

• Invariante de Retículo (Lattice Invariant): Se analiza la acción de los grupos de clases de mapeo en la cohomología $H^2(X, \mathbb{Z})$. Se utiliza la forma cuadrática de Beauville-Bogomolov-Fujiki ($q_X$) para definir el retículo $\Lambda_X$.

  • Se define una representación $\rho_X: \text{Mod}(X) \to O^+(\Lambda_X)$.
  • Se identifica un subespacio positivo invariante $P$ en el espacio simétrico asociado.
  • Se construyen subretículos específicos: $L_{\tilde{G}}$ (suma de subrepresentaciones irreducibles isomorfas a las que aparecen en $P$) y su ortogonal $L_{\tilde{G}}^\perp$.
  • Se considera el conjunto $\Delta_C$ de formas negativas indivisibles representadas por curvas racionales irreducibles en una componente $C$ del espacio de Teichmüller de métricas de Einstein ($\mathcal{T}_{\text{Ein}}(X)$).

3. Contribuciones Clave y Resultados Principales

El artículo presenta dos resultados fundamentales:

A. Criterio Numérico para la Realización (Teorema 0.1)
Se establece una condición necesaria y suficiente para que un grupo finito $G \leq \text{Mod}(Y)$ sea realizable como isometrías de una métrica de Einstein. Sea $\tilde{G}$ el levantamiento de $G$ a $\text{SMod}_D(X)$. Entonces, $G$ es realizable si y solo si:

1. $\tilde{G}$ fija una componente conexa $C$ del espacio de Teichmüller de métricas de Einstein $\mathcal{T}_{\text{Ein}}(X)$.
2. El retículo $L_{\tilde{G}}^\perp$ contiene la representación trivial.
3. La intersección $L_{\tilde{G}} \cap \Delta_C$ es vacía (es decir, no hay curvas racionales "obstáculo" en el subretículo invariante).

Además, si se cumple la condición, la métrica de Einstein puede elegirse para ser Kähler.

B. No-trivialidad de la Extensión Central (Proposición 0.2)
El autor responde parcialmente a una pregunta abierta sobre la estructura de la extensión central dada por la teoría de Birman-Hilden:
$$1 \to D \to \text{SMod}(X) \to \text{Mod}(Y) \to 1$$
Se demuestra que no siempre existe una sección para esta extensión. Específicamente, existen variedades de Enriques $Y$ (construidas como cocientes intermedios de variedades hiper-Kähler) tales que el grupo de cohomología $H^2(\text{Mod}(Y), D) \neq 0$. Esto implica que la extensión no es un producto directo, lo cual tiene implicaciones profundas para la posibilidad de levantar acciones de grupos.

4. Aplicación a Ejemplos Conocidos

El autor aplica el criterio del Teorema 0.1 a las familias conocidas de variedades de Enriques:

• Caso de Superficies K3 (Tipo $K3^{[n]}$):

  • Se consideran cocientes de esquemas de Hilbert $S^{[n]}$ bajo involuciones.
  • Realizaciones: Se muestran grupos en el subgrupo de congruencia módulo 2 ($\Gamma^+_2(M)$) que son realizables.
  • No-realizaciones: Se identifican involuciones y reflexiones en el retículo $\Lambda_Y$ que, aunque son monodromías, no son realizables como isometrías porque el generador del retículo invariante $L_{\tilde{G}}$ cae dentro de $\Delta_C$ (intersección no vacía con curvas racionales).

• Caso de Superficies Abelianas (Tipo $Kum_n$):

  • Se analizan cocientes de variedades de Kummer generalizadas $K_n(A)$.
  • Se exhiben ejemplos de grupos cíclicos generados por traslaciones que son realizables y actúan trivialmente en el retículo de cohomología libre.

5. Significado e Impacto

• Generalización: El trabajo extiende la comprensión del problema de Nielsen desde superficies (K3 y Enriques clásicas) hacia dimensiones superiores, proporcionando una herramienta computacional (el criterio numérico) para verificar la realizabilidad.
• Conexión Geométrica-Cohomológica: Establece un vínculo explícito entre la existencia de métricas de Einstein invariantes y la estructura de los retículos de cohomología ($H^2$), específicamente la interacción entre las representaciones de grupo y las clases de curvas racionales.
• Obstáculos Topológicos: La demostración de que la extensión central de Birman-Hilden puede no ser trivial ($H^2 \neq 0$) revela una complejidad topológica adicional en las variedades de Enriques de índice compuesto (no primo), sugiriendo que la estructura del grupo de clases de mapeo es más rica y menos "desacoplada" de lo que se podría esperar en casos simples.
• Herramienta Práctica: Proporciona un método para descartar la realizabilidad de ciertos grupos de difeomorfismos basándose puramente en la acción cohomológica, sin necesidad de construir explícitamente las métricas.

En conclusión, el artículo ofrece un marco riguroso para clasificar qué simetrías topológicas de las variedades de Enriques pueden ser "geometrizadas" (convertidas en isometrías), resolviendo casos específicos y planteando nuevas direcciones sobre la estructura de los grupos de mapeo en geometría hiper-Kähler.