2025-11-10T02:53:53.239965

The non-simply connected Price twist for the 4-sphere

Isoshima, Suzuki
A cutting and pasting operation on a $P^2$-knot $S$ in a $4$-manifold is called the Price twist. The Price twist for the $4$-sphere $S^4$ yields at most three $4$-manifolds up to diffeomorphism, namely, the $4$-sphere $S^4$, the other homotopy $4$-sphere $Σ_{S}(S^4)$ and a non-simply connected $4$-manifold $τ_{S}(S^4)$. In this paper, we study some properties and diffeomorphism types of $τ_{S}(S^4)$ for $P^2$-knots $S$ of Kinoshita type.
academic

La torsión de Price no simplemente conexa para la 4-esfera

Información Básica

  • ID del Artículo: 2505.09332
  • Título: The non-simply connected Price twist for the 4-sphere
  • Autores: Tsukasa Isoshima, Tatsumasa Suzuki
  • Clasificación: math.GT (Topología Geométrica)
  • Fecha de Publicación: 14 de octubre de 2025
  • Enlace del Artículo: https://arxiv.org/abs/2505.09332

Resumen

Este artículo estudia la operación de corte y pegado —torsión de Price— en nudos P2P^2 en 4-variedades. Para la torsión de Price de la 4-esfera S4S^4, se producen como máximo tres clases de difeomorfismo de 4-variedades: la 4-esfera original S4S^4, otra 4-esfera de homotopía ΣS(S4)\Sigma_S(S^4) y una 4-variedad no simplemente conexa τS(S4)\tau_S(S^4). Este artículo estudia las propiedades y el tipo de difeomorfismo de τS(S4)\tau_S(S^4) correspondiente a nudos P2P^2 de tipo Kinoshita SS.

Antecedentes de Investigación y Motivación

Contexto del Problema

  1. Teoría de la Torsión de Price: La torsión de Price es una operación importante en la topología de 4-variedades, similar a la más famosa torsión de Gluck, pero que actúa sobre nudos de plano proyectivo real RP2RP^2 (nudos P2P^2) en lugar de nudos de 2-esfera.
  2. Vacío de Investigación: Aunque la torsión de Price de segundo tipo ΣS(X)\Sigma_S(X) ha sido ampliamente estudiada (relacionada con la torsión de Gluck), la torsión de Price de tercer tipo τS(X)\tau_S(X) prácticamente no ha sido estudiada.
  3. Nudos de Tipo Kinoshita: Todos los nudos P2P^2 conocidos son de tipo Kinoshita (es decir, suma conexa de un nudo 2 con un nudo P2P^2 desanudado), lo que proporciona una base para el estudio sistemático.

Motivación de la Investigación

  1. Llenar Vacíos Teóricos: Estudiar sistemáticamente las propiedades topológicas de la torsión de Price no simplemente conexa τS(S4)\tau_S(S^4)
  2. Problemas de Clasificación: Determinar los tipos de difeomorfismo de τS(S4)\tau_S(S^4) producidos por diferentes nudos P2P^2
  3. Relación con 4-Variedades Conocidas: Comparar τS(S4)\tau_S(S^4) con otras 4-esferas de homología racional conocidas (como variedades giradas, variedades de Pao, variedades de Iwase)

Contribuciones Principales

  1. Establecer la Relación entre Torsión de Price y Cirugía Pochette: Demostrar que la torsión de Price es un caso especial de cirugía pochette
  2. Calcular Grupos Fundamentales y de Homología: Determinar que el grupo fundamental de τS(T2,2n+1)\tau_{S(T_{2,2n+1})} es el grupo diédrico D2n+1D_{|2n+1|}
  3. Teorema de Clasificación de Nudos 2 Cinta: Para nudos 2 cinta con 1-fusión KK, demostrar que τK\tau_K es difeomorfo a τS(T2,n)\tau_{S(T_{2,n})} (donde n=det(K)n = \det(K))
  4. Construcción de Ejemplos Concretos: Proporcionar numerosos ejemplos concretos de nudos cinta y la clasificación de sus torsiones de Price
  5. Estudio de Coberturas Dobles: Demostrar que la cobertura doble de τS(T2,2n+1)\tau_{S(T_{2,2n+1})} es difeomorfa a L2n+1#S2×S2L_{2n+1}\#S^2 \times S^2

Explicación Detallada de Métodos

Definición de la Tarea

Estudiar las propiedades topológicas de la torsión de Price no simplemente conexa τS(S4)=τK\tau_S(S^4) = \tau_K de nudos P2P^2 de tipo Kinoshita S=K#P0S = K\#P_0 en la 4-esfera S4S^4, incluyendo:

  • Cálculo de grupos de homología y grupo fundamental
  • Clasificación de difeomorfismo
  • Comparación con otras 4-variedades conocidas

Métodos Técnicos Principales

1. Conexión entre Torsión de Price y Cirugía Pochette

Teorema 3.1: La torsión de Price de nudos P2P^2 de tipo Kinoshita es un caso especial de cirugía pochette:

  • S4S^4S4(eK,1/0,0)S^4(e_K, 1/0, 0) (torsión trivial)
  • ΣK#P0(S4)\Sigma_{K\#P_0}(S^4)S4(eK,1/0,1)S^4(e_K, 1/0, 1) (torsión de Gluck)
  • τK#P0(S4)\tau_{K\#P_0}(S^4)S4(eK,2,0)S^4(e_K, 2, 0) (torsión de Price no simplemente conexa)

2. Técnica de Cálculo de Asas

Se introducen dos deformaciones especiales de asas:

  • Deformación α: Permite cambiar el signo de generadores en relaciones sin alterar el tipo de difeomorfismo
  • Deformación β: Permite intercambiar el papel de generadores conjugados

3. Método de Diagrama τ-Asa

Para simplificar los cálculos, se introduce la notación de diagrama τ-asa, donde cada 2-asa tiene un meridiano de marco 0, permitiendo cambiar arbitrariamente los puntos de auto-intersección sin afectar el tipo de difeomorfismo.

Teoremas Clave

Teorema 3.5 (Cálculo del Grupo Fundamental)

π1(τS(T2,2n+1))D2n+1\pi_1(\tau_{S(T_{2,2n+1})}) \cong D_{|2n+1|} (grupo diédrico)

Esquema de Prueba:

  1. Obtener la presentación del diagrama τ-asa: x,yx2=1,(yx1)ny(xy1)nx=1\langle x,y | x^2 = 1, (yx^{-1})^n y(xy^{-1})^n x = 1 \rangle
  2. Simplificar mediante transformaciones de Tietze a la presentación estándar del grupo diédrico

Teorema 4.13 (Clasificación de Nudos 2 Cinta con 1-Fusión)

Para nudos 2 cinta con 1-fusión KK: τKτS(T2,n)\tau_K \cong \tau_{S(T_{2,n})}, donde n=det(K)n = \det(K)

Método de Prueba:

  1. Utilizar la representación cinta R(m1,n1,,ms,ns)R(m_1,n_1,\ldots,m_s,n_s)
  2. Simplificar el diagrama τ-asa a forma estándar mediante deformaciones α y β
  3. Utilizar el polinomio de Alexander para calcular el determinante

Configuración Experimental

Fuentes de Datos

  1. Datos de Tablas de Nudos: Utilizar datos de nudos cinta con 12 cruces o menos
  2. Representaciones Cinta en Literatura: Provenientes de trabajos de Kawauchi, Lamm y otros
  3. Verificación Computacional: Verificar resultados teóricos mediante cálculos de asas

Objetos de Análisis

  • Todos los nudos 1 cinta con 12 cruces o menos (excepto 6 ejemplos especiales)
  • Nudos de 2-puentes
  • Nudos pretzel
  • Nudos 2-plat

Resultados Experimentales

Resultados Principales

1. Uniformidad de Grupos de Homología

Todos los τK\tau_K tienen los mismos grupos de homología:

undefined