Dobles sin descomposiciones de libro abierto a partir de firmas superiores

Información Básica

• ID del Artículo: 2510.24995
• Título: Doubles without open book decompositions from higher signatures
• Autor: D. Kotschick (LMU München)
• Clasificación: math.GT (Topología Geométrica), math.SG (Geometría Simpléctica)
• Fecha de Publicación: 30 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.24995

Resumen

Este artículo demuestra que en cada dimensión par existen variedades cerradas que son dobles pero no poseen descomposiciones de libro abierto (open book decomposition). En dimensiones superiores, esto contradice las conclusiones en la monografía de Ranicki. En todas las dimensiones, estos ejemplos surgen de la no-multiplicatividad de la firma (signature) en fibrados. El autor discute en detalle muchos ejemplos y aplicaciones en el caso cuatridimensional, donde este fenómeno está relacionado con el volumen simplicial.

Antecedentes de Investigación y Motivación

1. Problema de Investigación

Este artículo estudia la relación entre descomposiciones de libro abierto y variedades dobles, en particular respondiendo: ¿Toda variedad doble posee una descomposición de libro abierto?

2. Importancia del Problema

• Contexto Histórico: El concepto de libro abierto fue introducido por Winkelnkemper (1973); el resultado clásico de Alexander establece que toda variedad tridimensional tiene estructura de libro abierto
• Significado Teórico: Quinn en su artículo de 1979 menciona "book ⇒ double, and perhaps conversely", sugiriendo pero siendo cauteloso al no afirmar el recíproco
• Error en la Literatura: Ranicki en su monografía 26 página 371 afirma explícitamente que "una variedad de dimensión superior es un doble torcido si y solo si es un libro abierto", conclusión errónea que ha causado confusión en la literatura

3. Limitaciones de Métodos Existentes

• Caso de dimensión impar completamente entendido: todas las variedades de dimensión impar tienen descomposiciones de libro abierto
• Caso de dimensión par más complejo: la firma es un obstáculo para la existencia de libro abierto
• Quinn proporciona el invariante i(M) equivalente a la existencia de libro abierto, pero la caracterización completa para casos generales (especialmente cuatridimensionales) sigue siendo poco clara

4. Motivación de la Investigación

El autor fue inspirado por el preimpreso de Kastenholz 14, percatándose de que existen conclusiones erróneas en la literatura sobre descomposiciones de libro abierto, decidiendo construir contraejemplos sistemáticamente mediante argumentos geométricos elementales.

Contribuciones Principales

1. Teorema Principal: Demuestra que en cada dimensión par existen variedades dobles sin descomposiciones de libro abierto (Corolario 7), refutando directamente la conclusión de Ranicki para dimensiones ≥6
2. Método de Construcción: Utiliza la no-multiplicatividad de la firma en fibrados (fenómeno de Atiyah-Kodaira) para construir contraejemplos, con métodos completamente elementales e intuitivos geométricamente
3. Aplicaciones Cuatridimensionales: Proporciona múltiples ejemplos concretos en dimensión cuatro:
   • Productos de superficies de género alto
   • Variedades hiperbólicas reales
   • Explosiones de cocientes de esferas
   • Esferas de homología integral
4. Relación con Volumen Simplicial: Demuestra que en dimensión cuatro existe una conexión profunda entre el obstáculo de no-multiplicatividad de firma y la positividad del volumen simplicial (Proposición 15)
5. Aplicación a Estructuras de Engel: Proporciona muchos ejemplos de variedades cuatridimensionales de Engel no soportadas por libros abiertos, respondiendo negativamente a la pregunta de Colin-Presas-Vogel

Explicación de Métodos

Definición de Tarea

Entrada: Variedad cerrada orientada de dimensión par M Salida: Determinar si M posee una descomposición de libro abierto Restricción: M puede ser una variedad doble (es decir, M = ∂(P × 0,1))

Marco Técnico Principal

1. Propiedades Fundamentales de Descomposiciones de Libro Abierto

Definición 1 (Definición de Winkelnkemper): Una descomposición de libro abierto de M contiene:

• Una subvariedad B de codimensión 2 (llamada binding) con fibrado normal trivial
• Una fibración suave localmente trivial θ: M \ B → S¹

Definición 2 (Descomposición de Alexander): Una función suave p: M → ℂ satisfaciendo:

• 0 es valor regular de p
• p/|p|: M \ p⁻¹(0) → S¹ es una sumersión

Estas dos definiciones son equivalentes.

2. Lemas Clave

Lema 3: Si M tiene descomposición de libro abierto con binding B, entonces χ(M) = χ(B)

Lema 4 (Central): Si M tiene descomposición de libro abierto, entonces σ(M) = 0

Esquema de Prueba: Considérese la cobertura ramificada k-fold M_k producida por f^k. Dado que el locus de ramificación (binding) es homológicamente trivial, la firma satisface multiplicatividad: σ(M_k) = k·σ(M₁). Puesto que los números de Betti de las páginas del libro abierto están acotados, la firma también está acotada, por lo tanto σ(M₁) = 0.

Lema 5: Si E → M es un fibrado y M tiene descomposición de libro abierto, entonces E también tiene descomposición de libro abierto

Prueba: Mediante composición p ∘ π.

3. Mecanismo de Construcción de Contraejemplos

Observación Central: Si Σ_g (superficie de género g≥2) tiene descomposición de libro abierto, entonces cualquier fibrado sobre ella también debería tener descomposición de libro abierto (Lema 5). Sin embargo, la construcción de Atiyah-Kodaira muestra que existen fibrados de superficies X_i → Σ_g con firma no nula, lo que contradice el Lema 4.

Teorema 6 (Construcción Principal): Sea M = Σ_{g₁} × ... × Σ_ × N, donde todos los g_i ≥ 2 y N es una variedad 4n-dimensional con firma no nula. Entonces:

1. M no posee descomposición de libro abierto
2. Para cualquier L, la suma conexa M♯L tampoco posee descomposición de libro abierto

Prueba: En cada Σ_ tómese un fibrado de superficies F_i → X_i → Σ_ con firma no nula, entonces X = X₁ × ... × X_k × N es un fibrado sobre M con firma no nula. Por los Lemas 4 y 5 se obtiene la conclusión.

Puntos de Innovación Técnica

1. Elementalidad: No depende de teoría algebraica compleja (como grupos SK), sino que utiliza directamente propiedades geométricas de la firma
2. Marco Unificado: Unifica diversos contraejemplos bajo el marco de no-multiplicatividad de firma en fibrados
3. Recursión Dimensional: Mediante construcción de fibrados, construye contraejemplos de dimensión superior a partir de contraejemplos de dimensión inferior
4. Especificidad Cuatridimensional: Descubre la equivalencia entre no-multiplicatividad de firma y volumen simplicial en dimensión cuatro

Configuración Experimental

Este es un artículo de matemática pura teórica que no involucra experimentos computacionales, sino que verifica la teoría mediante construcción de ejemplos geométricos concretos.

Ejemplos Concretos

Ejemplo 8 (Dimensión Seis)

Σ × ℂP² (g(Σ) ≥ 2) no posee descomposición de libro abierto, refutando a Ranicki 26, Rem. 30.14

Ejemplo 10 (Variedades Hiperbólicas Reales)

Por Gaifullin 8, existen variedades hiperbólicas reales cuatridimensionales que dominan Σ_{g₁} × Σ_{g₂} (grado no nulo). Estas variedades tienen firma cero pero portan fibrados con firma no nula, por lo tanto sin descomposiciones de libro abierto.

Ejemplo 11 (Cocientes de Esferas)

Por Stover 30, Σ_{g₁} × Σ_{g₂} tiene estructura compleja tal que su explosión es biholomórfica a un cociente orbital ℂH²/Γ. Tomando la cobertura sin torsión se obtiene la variedad cociente de esfera M = ℂH²/Δ.

• M mismo es cociente de esfera, firma > 0, sin descomposición de libro abierto
• La explosión k-fold M_k = M♯kℂP² o M♯M̄ tiene firma cero pero domina Σ_{g₁} × Σ_{g₂}, portando fibrados con firma no nula

Métodos de Verificación

Se verifica la corrección de los ejemplos mediante:

1. Verificación de Característica de Euler (Lema 3)
2. Cálculo de Firma (Lema 4)
3. Aplicación de Fórmula de Atiyah: Para fibrado π: X → M, σ(X) = ⟨ch(Sign(π)) · L̃(M), M⟩

Resultados Experimentales

Resultados Principales

Corolario 7: En cada dimensión par existen variedades dobles sin descomposiciones de libro abierto

• Esto contradice directamente a Ranicki 26, Cor. 30.13 para dimensiones ≥6

Proposición 9: Sea M una variedad cerrada orientada cuatridimensional con aplicación de grado no nulo a Σ_{g₁} × Σ_{g₂} (g_i ≥ 2). Entonces M porta un fibrado de variedades cuatridimensionales con firma no nula.

Clave de Prueba: Usando la fórmula de Atiyah, puesto que las clases de Pontryagin del espacio base son triviales, la firma se evalúa mediante el carácter de Chern. El pullback preserva la no-nulidad.

Resultados Especiales Cuatridimensionales

Teorema 14 (Kastenholz): Si una variedad cerrada orientada cuatridimensional M tiene descomposición de libro abierto, entonces ||M|| = 0

Proposición 15 (Núcleo del Artículo): Sea M una variedad cerrada orientada cuatridimensional con firma cero, portando un fibrado π: X → M con σ(X) ≠ 0. Entonces ||M|| > 0.

Esquema de Prueba:

• La fórmula de Atiyah se simplifica a: σ(X) = ⟨ch₂(Sign(π)), M⟩
• Sign(π) es pullback de BO(p,q)_δ, correspondiendo a representación de monodromía ρ: π₁(M) → O(p,q)
• ch₂(Sign(π)) es una clase de cohomología acotada
• Evaluación no nula implica ||M||_{ℓ¹} > 0

Corolario 16: Si π: X → M satisface σ(X) ≠ σ(F)·σ(M), entonces ||M|| > 0

Hallazgos Clave

1. Especificidad Dimensional: La Proposición 15 solo es válida en dimensiones 2 y 4. En dimensiones superiores, como Σ × ℂP² tiene fibrados con firma no nula pero volumen simplicial cero.
2. Conjetura 17: Una variedad cuatridimensional M satisface ||M|| > 0 si y solo si existe un fibrado π: X → M tal que σ(X) ≠ σ(F)·σ(M)
3. Proposición 18: Existen esferas de homología integral cuatridimensionales que son dobles y tienen volumen simplicial positivo
   • Construida por Ratcliffe-Tschantz 28 como esfera de homología de curvatura no positiva
   • Kim-Wan 15 prueban ||M|| > 0
   • M♯M̄ es doble y ||M♯M̄|| > 0

Trabajo Relacionado

Desarrollo Histórico

1. 1923 Alexander: Estructuras de libro abierto en variedades tridimensionales
2. 1973 Winkelnkemper 33: Introduce concepto de libro abierto, nota que firma es obstáculo
3. 1973 Tamura 31: Introduce estructuras spinnable (equivalentes a libro abierto)
4. 1978 T. Lawson 24, 1979 Quinn 25: Extensión a todas las dimensiones impares

Teoría de Dimensión Par

1. Quinn 25: Proporciona invariante i(M) ∈ W_s(ℤπ₁(M)), cuya anulación equivale a existencia de libro abierto (dimensión ≥6)
2. Ranicki 26: Introduce firma asintótica σ*(M) ∈ LA_syn(ℤπ₁(M)), erróneamente afirma doble torcido de dimensión superior ⟺ libro abierto

No-Multiplicatividad de Firma

1. Atiyah 1, Kodaira 16: Descubren no-multiplicatividad de firma en fibrados
2. Chern-Hirzebruch-Serre 4: Multiplicatividad de firma cuando grupo fundamental actúa trivialmente
3. Neumann 21 (1975): Bajo contexto de grupos SK, ya se conocía que productos de superficies carecen de libro abierto

Volumen Simplicial

1. Gromov 10 (1982): Define volumen simplicial ||M|| = ||M||_{ℓ¹}
2. Hoster-Kotschick 12: Propiedades de volumen simplicial en fibrados
3. Kastenholz 14: Prueba que libro abierto cuatridimensional implica volumen simplicial cero

Conclusiones y Discusión

Conclusiones Principales

1. Aclaración Teórica: Niega explícitamente la conjetura "doble ⇒ libro abierto", corrigiendo el error en la monografía de Ranicki
2. Método de Construcción: Proporciona método sistemático de construcción de contraejemplos, basado en el fenómeno geométrico elemental de no-multiplicatividad de firma
3. Especificidad Cuatridimensional: Revela conexión profunda entre no-multiplicatividad de firma y volumen simplicial en dimensión cuatro
4. Valor de Aplicación: Proporciona contraejemplos para teoría de estructuras de Engel, respondiendo negativamente a pregunta de Colin-Presas-Vogel

Limitaciones

1. Invariante de Quinn: Para el caso cuatridimensional, la caracterización completa del invariante de Quinn i(M) sigue siendo poco clara; la no-multiplicatividad de firma en este artículo es solo condición necesaria
2. Conjetura 17 sin Resolver: Sigue siendo conjetura si ||M|| > 0 equivale a existencia de fibrado con no-multiplicatividad de firma en dimensión cuatro
3. Volumen Simplicial en Dimensiones Superiores: El análogo de Proposición 15 no se cumple en dimensiones superiores; casos de dimensión superior requieren otras herramientas
4. Cálculo Concreto: Para variedad dada, determinar si posee descomposición de libro abierto puede seguir siendo difícil, especialmente cuando firma es cero

Direcciones Futuras

1. Verificación de Conjetura 17: Particularmente en esferas de homología integral construidas en Proposición 18
2. Relación con Grupos SK: Aunque este artículo evita lenguaje de teoría SK, la relación con Neumann 21 merece investigación profunda
3. Cálculo de Invariante de Quinn: Desarrollar métodos más efectivos para calcular i(M), especialmente en caso cuatridimensional
4. Clasificación de Estructuras de Engel: Utilizar resultados de este artículo para investigar cuáles estructuras de Engel pueden ser soportadas por libros abiertos

Evaluación Profunda

Fortalezas

1. Rigor Matemático:
   • Argumentación completamente rigurosa, cada paso tiene prueba clara
   • Corrige error importante en literatura (monografía de Ranicki)
   • Aclara que la expresión cautelosa de Quinn "perhaps conversely" era correcta
2. Innovación de Método:
   • Utiliza argumentos geométricos elementales (no-multiplicatividad de firma) en lugar de herramientas algebraicas abstractas
   • Trata contraejemplos de todas las dimensiones en marco unificado
   • Descubre conexión profunda entre firma y volumen simplicial en dimensión cuatro
3. Riqueza de Ejemplos:
   • Proporciona múltiples tipos de ejemplos concretos: productos de superficies, variedades hiperbólicas, cocientes de esferas, esferas de homología integral
   • Ejemplos abarcan diferentes propiedades geométricas: Kähler, no-compleja, curvatura no-negativa, etc.
   • Cada ejemplo tiene significado geométrico explícito
4. Claridad de Escritura:
   • Estructura clara, desarrollo gradual de simple a complejo
   • Antecedentes históricos suficientemente explicados
   • Explicación clara de confusiones en literatura

Insuficiencias

1. Completitud Cuatridimensional:
   • Conjetura 17 sin resolver, caracterización completa en dimensión cuatro sigue siendo incompleta
   • Forma concreta del invariante de Quinn en dimensión cuatro no suficientemente clara
2. Complejidad Computacional:
   • Aunque teóricamente claro, determinar existencia de libro abierto para variedad concreta puede seguir siendo difícil
   • Requiere calcular firma de todos los fibrados posibles
3. Relación con Grupos SK:
   • Autor deliberadamente evita lenguaje de grupos SK, pero esto puede hacer menos obvio vínculo con trabajos clásicos como Neumann 21
   • Discusión en sección 6.2 relativamente breve
4. Generalización a Dimensiones Superiores:
   • Fallo de Proposición 15 en dimensiones superiores muestra especificidad de dimensión cuatro, pero falta tratamiento sistemático de casos de dimensión superior

Influencia

1. Valor Teórico:
   • Corrige concepciones erróneas de larga data en el campo
   • Proporciona nueva perspectiva para teoría de descomposiciones de libro abierto
   • Establece nueva conexión entre teoría de firma y volumen simplicial
2. Valor Práctico:
   • Proporciona método práctico para determinar que variedades no poseen descomposiciones de libro abierto
   • Aplicación directa a teoría de estructuras de Engel
   • Proporciona abundancia de ejemplos concretos para investigación posterior
3. Reproducibilidad:
   • Todos los resultados son pruebas matemáticas puras, completamente verificables
   • Construcción de ejemplos concretos tiene apoyo explícito en literatura
   • Argumentación elemental, fácil de entender y generalizar

Escenarios de Aplicación

1. Investigación en Topología Geométrica: Determinar si variedades de dimensión superior poseen descomposiciones de libro abierto
2. Topología Cuatridimensional: Investigar estructuras geométricas de variedades cuatridimensionales, especialmente propiedades relacionadas con volumen simplicial
3. Teoría de Estructuras de Engel: Construir variedades de Engel cuatridimensionales no soportadas por libros abiertos
4. Teoría de Fibrados: Investigar comportamiento de firma en fibrados
5. Topología Algebraica: Entender significado geométrico de invariantes de Quinn y grupos SK

Referencias (Literatura Clave)

1. 1 M. F. Atiyah (1969): Firma de fibrados, establece fórmula de firma
2. 4 Chern-Hirzebruch-Serre (1957): Teorema del índice para variedades fibrosas
3. 10 M. Gromov (1982): Definición y propiedades de volumen simplicial
4. 14 T. Kastenholz (2024): Volumen simplicial de libro abierto cuatridimensional, inspira investigación de este artículo
5. 16 K. Kodaira (1967): Superficies algebraicas irregulares, ejemplo de no-multiplicatividad de firma
6. 21 W. D. Neumann (1975): Grupo de corte-pegado de variedades, de hecho ya conocía resultados relacionados
7. 25 F. Quinn (1979): Descomposiciones de libro abierto y cobordismo de automorfismos, define invariante de Quinn
8. 26 A. Ranicki (1998): Teoría de nudos de dimensión superior, contiene conclusión errónea corregida en este artículo
9. 33 H. E. Winkelnkemper (1973): Variedades como libros abiertos, introduce concepto de libro abierto

Evaluación General: Este es un artículo matemático importante que resuelve un problema fundamental en teoría de descomposiciones de libro abierto de manera elemental y elegante, corrige errores en literatura, y revela fenómenos especiales en dimensión cuatro. El valor del artículo no solo radica en proporcionar contraejemplos, sino en demostrar cómo el fenómeno clásico de no-multiplicatividad de firma tiene nuevas aplicaciones en topología moderna. Para investigadores en topología geométrica, este es literatura de lectura obligatoria.