Acciones no suavizables de $\mathbb{Z}/p$ en núcleos

Información Básica

• ID del Artículo: 2401.00244
• Título: Acciones no suavizables de $\mathbb{Z}/p$ en núcleos
• Autor: Imogen Montague
• Clasificación: math.GT (Topología Geométrica)
• Fecha de Presentación: 30 de diciembre de 2023 en arXiv
• Enlace del Artículo: https://arxiv.org/abs/2401.00244

Resumen

Este artículo construye ejemplos de acciones $\mathbb{Z}/p$-no suavizables en 4-variedades de espín indefinidas con borde para todos los números primos $p\geq 5$. En particular, para cada número primo $p\geq 5$ y cada $n\geq 1$, existe una acción $\mathbb{Z}/p$-localmente lineal en el núcleo de Gompf $N(2pn)$ que no puede suavizarse bajo ninguna estructura suave de $N(2pn)$. Además, el artículo estudia el comportamiento de estas acciones bajo dos tipos diferentes de estabilizaciones equivariantes (estabilización libre y estabilización homológicamente trivial), demostrando que la estabilización libre satisface el principio de estabilización de Wall, mientras que la estabilización homológicamente trivial no lo hace.

Antecedentes y Motivación de la Investigación

Contexto del Problema

1. Extensión de resultados clásicos: Edmonds demostró que toda 4-variedad topológica cerrada simplemente conexa admite una acción $\mathbb{Z}_p$-localmente lineal, pero no todas estas acciones son suaves. Kiyono utilizó la desigualdad 10/8 de Furuta para demostrar que ciertas acciones no pueden suavizarse.
2. Desafíos en el caso con borde: Para 4-variedades con borde, la versión análoga del resultado de Edmonds es desconocida, lo que hace que el estudio del caso con borde sea más difícil.
3. Importancia de los espacios de Seifert-fibrado: Los espacios de Seifert-fibrado proporcionan ejemplos importantes de acciones $\mathbb{Z}_p$, cuya acción estándar está dada por rotaciones en las fibras.

Motivación de la Investigación

1. Llenar vacíos teóricos: En el caso de 4-variedades con borde donde $b_2(X) > 0$, se conocen pocos resultados, particularmente para acciones de orden superior ($p \geq 5$).
2. Estudio de fenómenos de estabilización: Comprender el comportamiento de acciones no suavizables bajo estabilizaciones equivariantes, lo cual es importante para entender las propiedades topológicas de 4-variedades.
3. Principio de estabilización de Wall: Investigar si diferentes tipos de estabilización pueden hacer que acciones no suavizables se vuelvan suavizables.

Contribuciones Principales

1. Construcción de acciones no suavizables: Para todos los números primos $p \geq 5$, se construyen acciones $\mathbb{Z}/p$-no suavizables en 4-variedades con borde no vacío y $b_2(X) > 0$.
2. Análisis del comportamiento de estabilización: Se demuestra que la estabilización libre satisface el principio de estabilización de Wall, mientras que la estabilización homológicamente trivial no lo hace.
3. Aplicación del invariante equivariante $\kappa$: Se utiliza el invariante equivariante $\kappa$ definido por el autor en Mon22 para obstruir la existencia de extensiones suaves.
4. Acción geométrica en espacios de módulos de Seiberg-Witten: Se analiza cómo la acción $S^1$ inducida por rotaciones de fibras en espacios de Seifert-fibrado actúa geométricamente en espacios de módulos de Seiberg-Witten.

Explicación Detallada de Métodos

Marco Técnico Central

1. Invariante Equivariante $\kappa$

El autor utiliza el invariante equivariante $\kappa$ definido en Mon22, $K(Y,s,\sigma) \subset \mathbb{Q}_p$, que está asociado a esferas de homología racional de espín $\mathbb{Z}_p$-equivariantes $(Y,s,\sigma)$.

2. Teoría de Seiberg-Witten

El artículo analiza profundamente los espacios de módulos de Seiberg-Witten en espacios de Seifert-fibrado, en particular cómo la acción $S^1$ estándar se eleva a soluciones irreducibles basadas en espacios de módulos.

Teorema Clave 2.1: Para un fibrado en líneas $E = (e; \epsilon_1, \ldots, \epsilon_n)$ en un espacio de Seifert-fibrado $Y$, el número de rotación está dado por: $\text{rot}(E) = \frac{1}{\ell}\left(g - e + \frac{n-2}{2} - \sum_{i=1}^n \frac{2\epsilon_i + 1}{2\alpha_i}\right)$

3. Desigualdad Equivariante Relativa 10/8

Proposición 3.5: Si la desigualdad relativa 10/8 de Manolescu es aguda para $(Y,s,X,t)$, y existen al menos dos elementos distintos $\kappa, \kappa' \in K_\pi(Y,s,\sigma)$ satisfaciendo $|\kappa| = |\kappa'| = \kappa(Y,s)$, entonces $\sigma$ no puede extenderse a una acción $\mathbb{Z}_p$-suave homológicamente trivial que preserva $t$ en $X$.

Método de Construcción

1. Construcción de Acciones Localmente Lineales

Se utilizan los métodos de Edmonds y Kwasik-Lawson, a través de los siguientes pasos:

• Comenzar con la acción localmente lineal estándar en una 4-variedad topológica cerrada simplemente conexa
• Construir un cobordismo homológico equivariante de $(Y,\rho_p)$ a $S^3$ equipado con una acción de lente generalizado

2. Cobordismo $\mathbb{Z}[\mathbb{Z}_p]$ h-

Proposición 4.10: Para $p \geq 5$ y todos $n \geq 1$, existe un cobordismo topológico $\mathbb{Z}[\mathbb{Z}_p]$ h- de $Q(p; 2,3,12pn-1)$ a $L(p;-2,3)$.

Resultados Principales

Teorema 1.2 (Obstrucción a la Extensión Suave)

Para los siguientes casos, una acción $\mathbb{Z}_p$-suave efectiva no puede extenderse a una acción $\mathbb{Z}_p$-suave homológicamente trivial:

1. $p \geq 3$, $X$ homeomorfo al núcleo de Gompf $N(2n)$ o su estabilización
2. $p \geq 3$, $X$ homeomorfo a $P(2n)$ o su estabilización
3. $p \geq 3, p \neq 5$, $X$ homeomorfo a la fibra de Milnor $M(2,3,11)$
4. $p \geq 3$, $X$ homeomorfo a la fibra de Milnor $M(2,3,7)$

Teorema 1.6 (Comportamiento de Estabilización)

Para cada número primo $p \geq 5$ y $n \geq 1$, las acciones $\mathbb{Z}_p$-no suavizables $\tau_{p,n}$ y $\tau'_{p,n}$ permanecen no suavizables después de $M$ estabilizaciones homológicamente triviales y $N$ estabilizaciones libres cuando $M \geq 0$ y $0 \leq N \leq 2n-2$.

Teorema 1.5 (Principio de Estabilización de Wall)

Bajo condiciones apropiadas, existe $N \geq 0$ tal que la estabilización libre $N$-veces $\tau_N$ es suave con respecto a alguna estructura suave en la variedad estabilizada.

Puntos de Innovación Técnica

1. Cálculo del Número de Rotación

El artículo proporciona una fórmula explícita para el número de rotación de soluciones de Seiberg-Witten en espacios de Seifert-fibrado, lo cual es crucial para entender acciones geométricas $S^1$.

2. Cálculo de Términos de Corrección Equivariantes

Proposición 5.3: Proporciona una fórmula explícita para el término de corrección equivariante $n_L(Y,\hat{\rho}_r,g,\nabla_\infty)$, involucrando sumas de Dedekind y sumas de Dedekind-Rademacher.

3. Invariancia bajo Estabilización

Lema 5.1: Demuestra la invariancia de $\vec{S}(X,\tau)$ bajo estabilizaciones homológicamente triviales y estabilizaciones libres.

Verificación Experimental

Ejemplos de Cálculos Concretos

El artículo proporciona cálculos concretos del invariante equivariante $\kappa$ en familias específicas de esferas de Brieskorn $\Sigma(2,3,6n \pm 1)$:

Proposición 3.2: Para $\Sigma(2,3,12n-5)$ y $\Sigma(2,3,12n-1)$, se proporciona una descripción completa del conjunto de invariantes equivariantes $\kappa$, incluyendo:

• El caso de conjunto de un punto cuando $(Y,\rho_p)$ es una división de Floer $K\mathcal{G}_p^*$
• Conjuntos de múltiples elementos en el caso no dividido

Resultados Numéricos

Proposición 5.5: Para todos los números primos $p \geq 5$ y $n \geq 1$: