A cusped hyperbolic 4-manifold without spin structures

Basic Information

• Paper ID: 2510.12657
• Title: A cusped hyperbolic 4-manifold without spin structures
• Authors: Stefano Riolo, Edoardo Rizzi
• Classification: math.GT (Geometric Topology)
• Publication Date: October 14, 2024
• Paper Link: https://arxiv.org/abs/2510.12657

Abstract

We construct a non-compact, orientable, finite-volume hyperbolic 4-manifold that admits no spin structures.

Research Background and Motivation

Problem Background

According to work by Deligne and Sullivan in the 1970s, every hyperbolic manifold M is finitely covered by some stably parallelizable manifold M', in particular, all Stiefel-Whitney classes satisfy w_k(M') = 0 for all k > 0. However, the existence problem for hyperbolic manifolds that do not admit spin structures (i.e., manifolds with w_2 ≠ 0) has remained an important question in geometric topology.

Known Results

• Existence of closed hyperbolic n-manifolds without spin structures has been established for all n ≥ 4 (2020)
• Cusped hyperbolic n-manifolds without spin structures exist for all n ≥ 5
• Surfaces are stably parallelizable; 3-manifolds are parallelizable

Research Motivation

The cusped 4-manifold case remained open: do there exist cusped hyperbolic 4-manifolds with w_2 ≠ 0? This paper fills this gap, completing the proof of existence of cusped hyperbolic manifolds without spin structures for all dimensions ≥ 4.

Core Contributions

1. Main Theorem: Construction of a cusped orientable (arithmetic) hyperbolic 4-manifold M that admits no spin structures
2. Generalization: For each n ≥ 4, there exists a cusped orientable (arithmetic) hyperbolic n-manifold without spin structures
3. Geometrically Finite Cover: Construction of a geometrically finite hyperbolic 4-manifold that covers a cusped manifold and deformation retracts to a closed surface with non-trivial normal bundle
4. Technical Innovation: First use of Kerckhoff-Storm polyhedra in the cusped case

Methodology Details

Core Strategy

The paper employs a construction method similar to the closed case, with the key innovation being the construction of a hyperbolic 4-manifold M containing an oriented surface S with odd self-intersection number.

Technical Approach

1. Polyhedron Selection

Use of the right-angled hyperbolic 4-polyhedron P^4 discovered by Kerckhoff-Storm in 2010:

• Has 22 faces with octahedral symmetry
• Reflection group is arithmetic, commensurable with the integral lattice PO(1,4;Z)
• The unique known finite-volume, unbounded, right-angled hyperbolic 4-polyhedron with compact 2-faces

2. Construction Sequence

Establishment of a sequence of right-angled polyhedra: P^2 ⊂ P^3 ⊂ P^4, where:

• P^2 = E_1 ∩ E_2 (compact pentagon)
• P^3 = E_1
• Each P^n is a face of P^{n+1}

3. Stratified Construction

First Layer: Auxiliary Surface Σ

• Construction of an angular surface Σ by gluing 8 copies of P^2
• Σ is topologically a once-punctured torus
• Contains theta graph Θ = γ_0 ∪ γ_1 ∪ γ_2

Second Layer: 3-manifold Σ^thick

• Placement of P^3 above each P^2, yielding an angular 3-manifold of type Σ × 0,1

Third Layer: 3-manifolds N_0, N_1, N_2

• Construction of three angular 3-manifolds by gluing the top face of Σ^thick in different ways
• Each N_i contains surface S_i with ∂S_i = γ_i

Fourth Layer: Local Y-type Structure N

• Gluing N_0 with N_{12} = N_1 ∪ N_2 along Σ
• Formation of a non-manifold "local Y-type piece"

Fifth Layer: 4-manifold X

• Thickening N to an angular 4-manifold X
• N_0 and N_{12} are totally geodesic and orthogonal in X

Key Property Verification

Embedding Properties

Proposition 6: X is a hyperbolic manifold with right-angled corner points. Proposition 7: The faces of X are embedded.

Self-Intersection Number Calculation

Proposition 8: The self-intersection number of surface S = S_0 ∪ S_{12} in X is ±1.

The proof proceeds by isotoping the regular neighborhood of N in X to construct transverse intersections for computing the self-intersection number.

Final Construction

Obtaining a closed hyperbolic 4-manifold M through iterative doubling along all faces of X:

• M is tiled by 2^m copies of X
• M is an arithmetic manifold
• Appropriate orientation chosen so that S·S = +1

Experimental Setup

Geometric Verification

The paper is primarily theoretical construction, with verification including:

1. Verification of combinatorial properties of polyhedron P^4
2. Checking manifold properties in each layer of construction
3. Verification of face embedding
4. Geometric calculations of angles and volumes

Topological Invariant Calculation

• Computation of Stiefel-Whitney classes
• Topological verification of self-intersection numbers
• Analysis of fundamental groups

Experimental Results

Main Results

Theorem 1: There exists a cusped orientable (arithmetic) hyperbolic 4-manifold M that admits no spin structures.

Theorem 4: There exists a cusped orientable arithmetic hyperbolic 4-manifold M containing an oriented surface S with self-intersection number S·S = 1.

Generalization Results

Corollary 2: For each n ≥ 4, there exists a cusped orientable (arithmetic) hyperbolic n-manifold without spin structures.

This is achieved via the embedding theorem of Kolpakov-Reid-Slavich, constructing sequences of totally geodesic embeddings.

Geometric Finiteness

Theorem 3: There exists a geometrically finite hyperbolic 4-manifold covering a cusped manifold that deformation retracts to a closed surface with non-trivial normal bundle.

Related Work

Historical Development

• Deligne-Sullivan (1970s): Theory of stably parallelizable covers of hyperbolic manifolds
• Long-Reid (2020): Proof for cusped case in dimensions n ≥ 5
• Martelli-Riolo-Slavich (2020): Construction method for closed case

Technical Tools

• Kerckhoff-Storm polyhedra: Key tool in 4-dimensional hyperbolic geometry
• Angular manifold theory: Techniques for handling non-smooth boundaries
• Arithmetic hyperbolic manifolds: Ensuring algebraic properties of construction

Method Comparison

This paper's method vs. Long-Reid method:

• Long-Reid: Realization through flat manifold cusps
• This paper: Direct geometric construction, yielding stronger odd intersection form conditions

Conclusions and Discussion

Main Conclusions

1. Completion of the existence proof for cusped hyperbolic manifolds without spin structures
2. Provision of explicit geometric construction methods
3. Establishment of systematic embedding methods from dimension 4 to higher dimensions

Limitations

1. Construction complexity: requires fine combinatorial analysis of 22-faced polyhedron
2. Arithmetic restriction: construction limited to specific arithmetic groups
3. Dimensional limitation: method inapplicable to dimensions 3 and below

Future Directions

1. Search for simpler construction methods
2. Investigation of non-arithmetic cases
3. Generalization to other geometric structures (e.g., Anti-de Sitter geometry)

In-Depth Evaluation

Strengths

1. Completeness: Fills an important theoretical gap, completing classification for all dimensions
2. Constructiveness: Provides explicit geometric construction, not merely existence proof
3. Technical Innovation: First application of Kerckhoff-Storm polyhedra to this problem
4. Systematicity: Establishes unified method from dimension 4 to higher dimensions

Weaknesses

1. Complexity: Construction process is quite involved, involving multiple nested structures
2. Specificity: Relies on special properties of particular polyhedron
3. Computational Details: Some geometric calculations could be more detailed

Impact

1. Theoretical Completeness: Completes an important chapter in the theory of spin structures on hyperbolic manifolds
2. Methodological Contribution: Provides new construction techniques for 4-dimensional hyperbolic geometry
3. Application Potential: Methods may apply to research on other topological invariants

Applicable Scenarios

1. Characteristic class research in 4-dimensional topology
2. Construction problems for arithmetic hyperbolic manifolds
3. Applications in geometric group theory

References

The paper cites key literature in the field, including:

• Foundational work by Deligne-Sullivan on stably parallelizable hyperbolic manifolds
• Pioneering research by Kerckhoff-Storm on 4-dimensional hyperbolic polyhedra
• Construction methods by Martelli-Riolo-Slavich for the closed case
• Proof by Long-Reid for cusped case in higher dimensions