Doubles without open book decompositions from higher signatures

Basic Information

• Paper ID: 2510.24995
• Title: Doubles without open book decompositions from higher signatures
• Author: D. Kotschick (LMU München)
• Classification: math.GT (Geometric Topology), math.SG (Symplectic Geometry)
• Publication Date: October 30, 2025
• Paper Link: https://arxiv.org/abs/2510.24995

Abstract

This paper proves that in every even dimension there exist closed manifolds that are doubles but do not admit open book decompositions. In higher dimensions, this contradicts conclusions in Ranicki's monograph. In all dimensions, these examples arise from the non-multiplicativity of signature in fiber bundles. The author provides detailed discussion of numerous examples and applications in the four-dimensional case, where this phenomenon is related to simplicial volume.

Research Background and Motivation

1. Research Problem

This paper investigates the relationship between open book decompositions and doubles of manifolds, particularly addressing the question: Does every double manifold admit an open book decomposition?

2. Problem Significance

• Historical Context: The concept of open books was introduced by Winkelnkemper (1973). Alexander's classical result states that every three-dimensional manifold admits an open book structure.
• Theoretical Importance: Quinn's 1979 paper mentions "book ⇒ double, and perhaps conversely," suggesting but cautiously not claiming the converse holds.
• Literature Error: Ranicki explicitly claims in his monograph 26, p. 371 that "higher-dimensional manifolds are twisted doubles if and only if they are open books," an erroneous conclusion that has caused confusion in the literature.

3. Limitations of Existing Methods

• Odd-dimensional case is fully understood: all odd-dimensional manifolds admit open book decompositions.
• Even-dimensional case is more complex: signature is an obstruction to the existence of open books.
• Quinn provided an invariant i(M) equivalent to the existence of open books, but a complete characterization for the general case (particularly in dimension four) remains unclear.

4. Research Motivation

The author was inspired by Kastenholz's preprint 14, recognizing that erroneous conclusions about open book decompositions exist in the literature, and decided to systematically construct counterexamples using elementary geometric arguments.

Core Contributions

1. Main Theorem: Proves that in every even dimension there exist double manifolds without open book decompositions (Corollary 7), directly refuting Ranicki's conclusion for dimensions ≥ 6.
2. Construction Method: Utilizes the non-multiplicativity of signature in fiber bundles (Atiyah-Kodaira phenomenon) to construct counterexamples using completely elementary and geometrically intuitive methods.
3. Four-Dimensional Applications: Provides multiple concrete examples in dimension four:
   • Products of high-genus surfaces
   • Real hyperbolic manifolds
   • Blow-ups of ball quotient manifolds
   • Integral homology spheres
4. Relationship with Simplicial Volume: Establishes a deep connection between the signature non-multiplicativity obstruction and positivity of simplicial volume in dimension four (Proposition 15).
5. Engel Structure Applications: Provides numerous examples of Engel four-manifolds not supported by open books, negatively answering a question of Colin-Presas-Vogel.

Detailed Methods

Task Definition

Input: Even-dimensional closed oriented manifold M Output: Determine whether M admits an open book decomposition Constraint: M may be a double (i.e., M = ∂(P × 0,1))

Core Technical Framework

1. Basic Properties of Open Book Decompositions

Definition 1 (Winkelnkemper Definition): An open book decomposition of M consists of:

• A codimension-2 submanifold B (called the binding) with trivial normal bundle
• A locally trivial smooth fibration θ: M \ B → S¹

Definition 2 (Alexander Decomposition): A smooth function p: M → ℂ satisfying:

• 0 is a regular value of p
• p/|p|: M \ p⁻¹(0) → S¹ is a submersion

These two definitions are equivalent.

2. Key Lemmas

Lemma 3: If M admits an open book decomposition with binding B, then χ(M) = χ(B).

Lemma 4 (Core): If M admits an open book decomposition, then σ(M) = 0.

Proof Sketch: Consider the k-fold branched cover M_k generated by the monodromy f^k. Since the branch locus (binding) is homologically trivial, signature satisfies multiplicativity: σ(M_k) = k·σ(M₁). Since the Betti numbers of the pages are bounded, signature is also bounded, hence σ(M₁) = 0.

Lemma 5: If E → M is a fiber bundle and M admits an open book decomposition, then E also admits an open book decomposition.

Proof: Construct via composition p ∘ π.

3. Counterexample Construction Mechanism

Core Observation: If Σ_g (a surface of genus g ≥ 2) admits an open book decomposition, then any fiber bundle over it should also admit an open book decomposition (Lemma 5). However, the Atiyah-Kodaira construction shows there exist surface bundles X_i → Σ_g with non-zero signature, contradicting Lemma 4.

Theorem 6 (Main Construction): Let M = Σ_{g₁} × ... × Σ_ × N, where all g_i ≥ 2 and N is a 4n-dimensional manifold with non-zero signature. Then:

1. M does not admit an open book decomposition
2. For any L, the connected sum M♯L also does not admit an open book decomposition

Proof: For each Σ_, take a surface bundle F_i → X_i → Σ_ with non-zero signature. Then X = X₁ × ... × X_k × N is a fiber bundle over M with non-zero signature. The conclusion follows from Lemmas 4 and 5.

Technical Innovations

1. Elementarity: Does not rely on complex algebraic theories (such as SK-groups), but directly uses geometric properties of signature.
2. Unified Framework: Unifies various counterexamples under the framework of fiber bundle signature non-multiplicativity.
3. Dimensional Recursion: Constructs higher-dimensional counterexamples from lower-dimensional ones via fiber bundles.
4. Four-Dimensional Specificity: Discovers the equivalence between signature non-multiplicativity and simplicial volume in dimension four.

Experimental Setup

This is a pure mathematics theoretical paper without computational experiments. Instead, it verifies the theory through construction of concrete geometric examples.

Concrete Examples

Example 8 (Six-Dimensional)

Σ × ℂP² (g(Σ) ≥ 2) does not admit an open book decomposition, refuting Ranicki 26, Rem. 30.14.

Example 10 (Real Hyperbolic Manifolds)

By Gaifullin 8, there exist real hyperbolic four-dimensional manifolds dominating Σ_{g₁} × Σ_{g₂} (non-zero degree). These manifolds have zero signature but carry bundles with non-zero signature, hence do not admit open books.

Example 11 (Ball Quotient Manifolds)

By Stover 30, Σ_{g₁} × Σ_{g₂} has a complex structure such that its blow-up is biholomorphic to the orbifold ball quotient ℂH²/Γ. Taking the torsion-free cover yields a ball quotient manifold M = ℂH²/Δ.

• M itself is a ball quotient with σ(M) > 0, hence no open book decomposition
• k-fold blow-ups M_k = M♯kℂP² or M♯M̄ have zero signature but dominate Σ_{g₁} × Σ_{g₂}, carrying bundles with non-zero signature

Verification Methods

Examples are verified through:

1. Euler Characteristic Check (Lemma 3)
2. Signature Computation (Lemma 4)
3. Atiyah Formula Application: For fiber bundle π: X → M, σ(X) = ⟨ch(Sign(π)) · L̃(M), M⟩

Experimental Results

Main Results

Corollary 7: In every even dimension there exist double manifolds without open book decompositions.

• This directly contradicts Ranicki 26, Cor. 30.13 for dimensions ≥ 6.

Proposition 9: Let M be a closed oriented four-dimensional manifold with a non-zero degree map to Σ_{g₁} × Σ_{g₂} (g_i ≥ 2). Then M carries a four-dimensional manifold bundle with non-zero signature.

Key Proof Idea: Using the Atiyah formula, since the Pontryagin classes of the base space vanish, the signature is determined by evaluation of Chern characters. Pullback preserves non-zero signature.

Four-Dimensional Special Results

Theorem 14 (Kastenholz): If a closed oriented four-dimensional manifold M admits an open book decomposition, then ||M|| = 0.

Proposition 15 (Core Result of This Paper): Let M be a closed oriented four-dimensional manifold with zero signature carrying a bundle π: X → M with σ(X) ≠ 0. Then ||M|| > 0.

Proof Sketch:

• The Atiyah formula simplifies to: σ(X) = ⟨ch₂(Sign(π)), M⟩
• Sign(π) is pulled back from BO(p,q)_δ, corresponding to a monodromy representation ρ: π₁(M) → O(p,q)
• ch₂(Sign(π)) is a bounded cohomology class
• Non-zero evaluation implies ||M||_{ℓ¹} > 0

Corollary 16: If π: X → M satisfies σ(X) ≠ σ(F)·σ(M), then ||M|| > 0.

Key Findings

1. Dimensional Specificity: Proposition 15 holds only in dimensions 2 and 4. In higher dimensions, such as Σ × ℂP², there exist bundles with non-zero signature but zero simplicial volume.
2. Conjecture 17: A four-dimensional manifold M satisfies ||M|| > 0 if and only if there exists a fiber bundle π: X → M such that σ(X) ≠ σ(F)·σ(M).
3. Proposition 18: There exist integral homology four-spheres that are doubles with positive simplicial volume.
   • Constructed by Ratcliffe-Tschantz 28 as non-positively curved integral homology spheres M
   • Kim-Wan 15 prove ||M|| > 0
   • M♯M̄ is a double with ||M♯M̄|| > 0

Related Work

Historical Development

1. 1923 Alexander: Open book structures on three-manifolds
2. 1973 Winkelnkemper 33: Introduces open books, notes signature as obstruction
3. 1973 Tamura 31: Introduces spinnable structures (equivalent to open books)
4. 1978 T. Lawson 24, 1979 Quinn 25: Extends to all odd dimensions

Even-Dimensional Theory

1. Quinn 25: Provides invariant i(M) ∈ W_s(ℤπ₁(M)), whose vanishing is equivalent to existence of open books (dimension ≥ 6)
2. Ranicki 26: Introduces asymptotic signature σ*(M) ∈ LA_syn(ℤπ₁(M)), incorrectly claims high-dimensional twisted doubles ⟺ open books

Signature Non-Multiplicativity

1. Atiyah 1, Kodaira 16: Discover signature non-multiplicativity in fiber bundles
2. Chern-Hirzebruch-Serre 4: Signature is multiplicative when fundamental group acts trivially
3. Neumann 21 (1975): Already knew in SK-group context that surface products lack open books

Simplicial Volume

1. Gromov 10 (1982): Defines simplicial volume ||M|| = ||M||_{ℓ¹}
2. Hoster-Kotschick 12: Properties of simplicial volume in fiber bundles
3. Kastenholz 14: Proves four-dimensional open books imply zero simplicial volume

Conclusions and Discussion

Main Conclusions

1. Theoretical Clarification: Definitively negates the conjecture "doubles ⟹ open books," correcting errors in Ranicki's monograph.
2. Construction Method: Provides systematic counterexample construction based on the elementary geometric phenomenon of signature non-multiplicativity.
3. Four-Dimensional Specificity: Reveals deep connections between signature non-multiplicativity and simplicial volume in dimension four.
4. Application Value: Provides counterexamples for Engel structure theory, negatively answering a question of Colin-Presas-Vogel.

Limitations

1. Quinn Invariant: For the four-dimensional case, complete characterization of Quinn's invariant i(M) remains unclear. The signature non-multiplicativity in this paper is only a necessary condition.
2. Conjecture 17 Unresolved: Whether ||M|| > 0 is equivalent to existence of a bundle with signature non-multiplicativity in dimension four remains conjectural.
3. High-Dimensional Simplicial Volume: The analogue of Proposition 15 fails in higher dimensions, requiring other tools for high-dimensional cases.
4. Concrete Computation: Determining whether a given manifold admits an open book decomposition may still be difficult, particularly when signature is zero.

Future Directions

1. Verification of Conjecture 17: Particularly testing on integral homology spheres constructed in Proposition 18.
2. Relationship with SK-Groups: Although this paper avoids SK-group theory, the relationship with Neumann 21 deserves deeper investigation.
3. Computation of Quinn Invariant: Develop more effective methods for computing i(M), particularly in dimension four.
4. Classification of Engel Structures: Further study which Engel structures can be supported by open books using results of this paper.

In-Depth Evaluation

Strengths

1. Mathematical Rigor:
   • Arguments are completely rigorous with clear proofs at each step
   • Corrects important errors in the literature (Ranicki's monograph)
   • Clarifies that Quinn's cautious "perhaps conversely" was correct
2. Methodological Innovation:
   • Uses elementary geometric arguments (signature non-multiplicativity) rather than abstract algebraic tools
   • Unified framework for handling counterexamples in all dimensions
   • Discovers deep connections with simplicial volume in dimension four
3. Richness of Examples:
   • Provides multiple types of concrete examples: surface products, hyperbolic manifolds, ball quotients, integral homology spheres
   • Examples span different geometric properties: Kähler, non-complex, non-negatively curved
   • Each example has clear geometric significance
4. Clarity of Exposition:
   • Clear structure progressing from simple to complex
   • Sufficient historical background
   • Clear explanation of confusions in the literature

Weaknesses

1. Four-Dimensional Incompleteness:
   • Conjecture 17 remains unresolved; complete characterization in dimension four is still lacking
   • Specific form of Quinn's invariant in dimension four is not sufficiently explicit
2. Computational Complexity:
   • Although theoretically clear, determining open book existence for specific manifolds may remain difficult
   • Requires computing signatures of all possible fiber bundles
3. SK-Group Relationship:
   • The author deliberately avoids SK-group language, but this may obscure connections with classical work like Neumann 21
   • Discussion in Section 6.2 is relatively brief
4. High-Dimensional Generalization:
   • Failure of Proposition 15 in higher dimensions indicates four-dimensional specificity, but lacks systematic treatment of high-dimensional cases

Impact

1. Theoretical Value:
   • Corrects long-standing misconceptions in the field
   • Provides new perspective on open book decomposition theory
   • Establishes new connections between signature theory and simplicial volume
2. Practical Value:
   • Provides practical methods for determining that manifolds lack open book decompositions
   • Direct applications to Engel structure theory
   • Provides numerous concrete examples for further research
3. Reproducibility:
   • All results are pure mathematical proofs, completely verifiable
   • Concrete examples have explicit literature support
   • Arguments are elementary and easily understood and generalized

Applicable Scenarios

1. Geometric Topology Research: Determining whether high-dimensional manifolds admit open book decompositions
2. Four-Dimensional Topology: Studying geometric structures on four-manifolds, particularly properties related to simplicial volume
3. Engel Structure Theory: Constructing Engel manifolds not supported by open books
4. Fiber Bundle Theory: Studying signature behavior in fiber bundles
5. Algebraic Topology: Understanding geometric meaning of Quinn invariants and SK-groups

Key References

1. 1 M. F. Atiyah (1969): Signature of fiber bundles, establishes signature formula
2. 4 Chern-Hirzebruch-Serre (1957): Index theorem for fibered manifolds
3. 10 M. Gromov (1982): Definition and properties of simplicial volume
4. 14 T. Kastenholz (2024): Simplicial volume of four-dimensional open books, inspires this paper
5. 16 K. Kodaira (1967): Irregular algebraic surfaces, examples of signature non-multiplicativity
6. 21 W. D. Neumann (1975): Cutting-pasting groups of manifolds, already knew related results
7. 25 F. Quinn (1979): Open books and automorphisms of manifolds, defines Quinn invariant
8. 26 A. Ranicki (1998): High-dimensional knot theory, contains erroneous conclusions corrected in this paper
9. 33 H. E. Winkelnkemper (1973): Manifolds as open books, introduces open book concept

Overall Assessment: This is an important mathematics paper that elegantly solves a fundamental problem in open book decomposition theory using elementary methods, corrects errors in the literature, and reveals special phenomena in dimension four. The value lies not only in providing counterexamples but in demonstrating new applications of the classical phenomenon of signature non-multiplicativity in modern topology. This is essential reading for geometric topology researchers.