pith. sign in

arxiv: 2402.13209 · v1 · submitted 2024-02-20 · 🧮 math.GT

Some cusp-transitive hyperbolic 4-manifolds

Edoardo Rizzi This is my paper

Pith reviewed 2026-05-24 04:26 UTC · model grok-4.3

classification 🧮 math.GT
keywords hyperbolic 4-manifoldsflat 3-manifoldscusp sectionscusp-transitivefinite-volumeorientable manifoldsisometry groupsgeometric constructions
0
0 comments X

The pith

Four of the six closed orientable flat 3-manifolds appear as cusps of a hyperbolic 4-manifold with transitive symmetry on its cusps.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes explicit constructions of orientable finite-volume hyperbolic 4-manifolds. In these manifolds, four of the six possible closed orientable flat 3-manifolds serve as the sections at the cusps. The isometry group of the 4-manifold acts transitively on the cusps. This means that the symmetry can map any cusp to any other. A sympathetic reader would care because it provides concrete examples of highly symmetric cusped hyperbolic 4-manifolds that incorporate multiple flat geometries at infinity.

Core claim

We realize 4 of the 6 closed orientable flat 3-manifolds as a cusp section of an orientable finite-volume hyperbolic 4-manifold whose symmetry group acts transitively on the set of cusps.

What carries the argument

An orientable finite-volume hyperbolic 4-manifold whose isometry group acts transitively on the cusps.

Load-bearing premise

Explicit geometric constructions exist which glue the chosen flat 3-manifolds into the cusps of a single connected hyperbolic 4-manifold while preserving the required transitivity of the isometry group.

What would settle it

A demonstration that the isometry group cannot act transitively while gluing any of the four flat 3-manifolds as cusps, or an invariant that distinguishes the cusps in every candidate 4-manifold.

Figures

Figures reproduced from arXiv: 2402.13209 by Edoardo Rizzi.

Figure 1
Figure 1. Figure 1: The link L0 (left) and the link L1 (right). 6 4 5 3, 7 1: 6 4 5 3, 7 2: 1 6 5 2 3, 7 4: 1 4 6 2 3, 7 5: 1 5 4 2 3, 7 6: L0: 6 65 4 45 1: 6 65 4 45 3, 7 2: 1 6 45 2 3, 7 4: 1 6 45 2 3, 7 65: 1 65 4 2 3, 7 6: 1 65 4 2 3, 7 45: L 3, 7 1 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The facets of L0 (top) and the facets of L1 (bottom). For a shorter notation we denote r5(4) by 45, and so on. Hence, with this convention, the facets are: 1, 2, 3, 4, 45, 6, 65, 7. In this case the facets 4 and 45 are facets of type 4, while 6 and 65 are facets of type 6, and 7 is a facet of type 7. By Proposition 3.1 we know the Coxeter diagram for L0. Hence, the links L0 and L1 of the ideal vertex V of … view at source ↗
Figure 3
Figure 3. Figure 3: The facet 1 of L1 (left) and the facets 1 and 12 of L2 (right). We now state a proposition that will allow to recover the needed information (I1), (I2), (I3) on Pn+1 starting from that of Pn, for n ≥ 1. Notation 3.15. In the following, if two vertices F and G of a graph are joined by an edge with label k, we denote this edge by (F, G; k). Recall that Pn+1 will be the double of Pn along a non-compact, admis… view at source ↗
Figure 4
Figure 4. Figure 4: The facet 1 of L2 (left) and the facet 1 of L3 (right). doubling. Near the last edge, we put rFn (K). The picture is tessellated in two copies C1 and C2 of the picture G of Pn. In the copy C1 corresponding to the one in Pn we copy the labels inside the picture of G in Ln. In the other copy C2, we put the same labels, in a way that the resulting labels are symmetric with respect to the edge along which we d… view at source ↗
Figure 5
Figure 5. Figure 5: The link L7 (top-left), the 3-torus (top-right), the 1 2 -twist manifold (bottom-left), the 1 4 -twist manifold (bottom-right). In the last three pictures, if two opposite facets do not have a letter inside, we glue them with a translation, otherwise we glue them as indicated with the letters. Let R1 4 be the space obtained from P7 by gluing the facets via the following isometries: r6 [PITH_FULL_IMAGE:fig… view at source ↗
Figure 6
Figure 6. Figure 6: The link L7 and the fixed planes of the reflections used to define RT , R1 2 , R1 4 [PITH_FULL_IMAGE:figures/full_fig_p013_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The link L8 (left) and the Hantzsche-Wendt manifold (right), with the same notation of [PITH_FULL_IMAGE:figures/full_fig_p013_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The link L8 with the fixed planes of the reflections used to define RHW . Let R be any of RT , R1 2 , R1 4 , RHW . The purpose of the following sections will be to prove this theorem. Theorem 4.4. The space R is an orientable, finite-volume, 1-cusped, developable reflectofold with compact, non-empty boundary. Moreover, the cusp of RT , R1 2 , R1 4 , RHW has section the 3-torus, the 1 2 -twist manifold, the… view at source ↗
Figure 9
Figure 9. Figure 9: The way to glue the facets 64,5 and 665,4,5 of L7. 645 : 66,45 : P P 12 11,2 665,4,5 64,5 12 11,2 665,4,5 64,5 [PITH_FULL_IMAGE:figures/full_fig_p017_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The way to glue the facets 645 and 66,45 of L7. • 64,5 and 665,4,5: We refer to [PITH_FULL_IMAGE:figures/full_fig_p017_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The way to glue the facets 12 and 11,2 of L7 for the 3-torus case (top), the 1 2 -twist manifold case (center) and the 1 4 -twist manifold case (bottom). • 3-torus: 365,4,45,2 ∼ 365,1,4,45,2; 345,2 ∼ 31,45,2; 34,45,2 ∼ 31,4,45,2; 365,4,2 ∼ 365,1,4,2; 32 ∼ 31,2; 34,2 ∼ 31,4,2; 365,6,4,45,2 ∼ 365,6,1,4,45,2; 36,45,2 ∼ 36,1,45,2; 36,4,45,2 ∼ 36,1,4,45,2. Moreover we have: 7 ∩2 71; 76 ∩2 76,1; 765 ∩2 765,1; 7… view at source ↗
Figure 12
Figure 12. Figure 12: The way to glue the facet 64,5 of L8. 665,4,5: P P 112,1,2 11,2 66,45 645 [PITH_FULL_IMAGE:figures/full_fig_p019_12.png] view at source ↗
Figure 14
Figure 14. Figure 14: The way to glue the facets 645 and 66,45 of L8. 11,2: 112,1,2: P P 645 66,45 665,4,5 64,5 645 66,45 665,4,5 64,5 [PITH_FULL_IMAGE:figures/full_fig_p020_14.png] view at source ↗
Figure 15
Figure 15. Figure 15: The way to glue the facets 11,2 and 112,1,2 of L8. Moreover we have: 712,65,1 ∩3 76,1; 712,1 ∩3 765,6,1; 712,65 ∩3 76; 712 ∩3 765,6 765 ∩3 712,6; 7 ∩3 712,65,6; 765,1 ∩3 712,6,1; 71 ∩3 712,65,6,1. • 11,2 and 112,1,2: We refer to [PITH_FULL_IMAGE:figures/full_fig_p020_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: The facets of L2. 3 1 2 32 2 1 7 1 [PITH_FULL_IMAGE:figures/full_fig_p024_16.png] view at source ↗
Figure 17
Figure 17. Figure 17: The facets of L3 1: 12: 65: 64,5: 6: 645 : 6 65 64,5 645 7 345 34,45 3 34 6 65 64,5 645 7 345,2 34,45,2 32 34,2 1 6 645 12 7 32 345,2 3 345 1 6 645 12 7 34,2 34,45,2 34 34,45 1 65 64,5 12 7 32 34,2 3 34 1 65 64,5 12 7 345,2 34,45,2 345 34,45 [PITH_FULL_IMAGE:figures/full_fig_p025_17.png] view at source ↗
Figure 18
Figure 18. Figure 18: The facets of L4 [PITH_FULL_IMAGE:figures/full_fig_p025_18.png] view at source ↗
Figure 19
Figure 19. Figure 19: The facets of L5 [PITH_FULL_IMAGE:figures/full_fig_p027_19.png] view at source ↗
Figure 20
Figure 20. Figure 20: Some facets of L6 [PITH_FULL_IMAGE:figures/full_fig_p028_20.png] view at source ↗
Figure 21
Figure 21. Figure 21: A facet of L6 [PITH_FULL_IMAGE:figures/full_fig_p029_21.png] view at source ↗
Figure 22
Figure 22. Figure 22: Some facets of L7 [PITH_FULL_IMAGE:figures/full_fig_p031_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: Some facets of L7 [PITH_FULL_IMAGE:figures/full_fig_p032_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: Some facets of L7 [PITH_FULL_IMAGE:figures/full_fig_p033_24.png] view at source ↗
Figure 25
Figure 25. Figure 25: Some facets of L8 [PITH_FULL_IMAGE:figures/full_fig_p035_25.png] view at source ↗
Figure 26
Figure 26. Figure 26: A facet of L8 [PITH_FULL_IMAGE:figures/full_fig_p036_26.png] view at source ↗
Figure 27
Figure 27. Figure 27: A facet of L8 [PITH_FULL_IMAGE:figures/full_fig_p037_27.png] view at source ↗
Figure 28
Figure 28. Figure 28: A facet of L8 [PITH_FULL_IMAGE:figures/full_fig_p038_28.png] view at source ↗
Figure 29
Figure 29. Figure 29: A facet of L8 [PITH_FULL_IMAGE:figures/full_fig_p039_29.png] view at source ↗
read the original abstract

We realize 4 of the 6 closed orientable flat 3-manifolds as a cusp section of an orientable finite-volume hyperbolic 4-manifold whose symmetry group acts transitively on the set of cusps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript constructs explicit examples of orientable finite-volume hyperbolic 4-manifolds whose isometry groups act transitively on the cusps and whose cusp sections realize four of the six closed orientable flat 3-manifolds.

Significance. The constructions supply concrete, verifiable models of cusp-transitive hyperbolic 4-manifolds, extending known lower-dimensional examples and furnishing explicit geometric data that can be used to study cusp geometry, symmetry, and deformation spaces in dimension 4.

minor comments (3)
  1. [Abstract] The abstract lists the realized flat 3-manifolds only by count; a parenthetical enumeration of the four types (e.g., by their fundamental-group presentations or names) would improve immediate readability.
  2. [Section 3] In the gluing descriptions, the precise identification maps between the flat 3-manifold boundaries and the cusp tori should be stated with explicit matrices or generators rather than left implicit.
  3. Figure captions should include the number of cusps and the order of the symmetry group for each example to allow quick cross-reference with the text.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report contains no major comments requiring a response.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper asserts an existence result via explicit geometric constructions of hyperbolic 4-manifolds with prescribed cusp sections and transitive cusp symmetry. No equations, fitted parameters, or algebraic derivations appear in the abstract or described claim. The central statement is a direct realization claim whose supporting evidence consists of concrete gluings and symmetry checks that do not reduce to the target statement by definition or self-citation. The derivation chain is therefore self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the existence of hyperbolic structures on 4-manifolds with prescribed cusp sections and symmetry; no free parameters, invented entities, or non-standard axioms are visible in the abstract.

axioms (1)
  • domain assumption Existence of finite-volume hyperbolic structures on 4-manifolds with given flat cusp sections
    The realization claim presupposes that such gluings and hyperbolic metrics can be constructed.

pith-pipeline@v0.9.0 · 5537 in / 1154 out tokens · 18000 ms · 2026-05-24T04:26:36.027125+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We realize 4 of the 6 closed orientable flat 3-manifolds as a cusp section of an orientable finite-volume hyperbolic 4-manifold whose symmetry group acts transitively on the set of cusps. ... The manifold Mi is built by orbifold covering a hyperbolic Coxeter polytope P0 such that: (a) it has exactly one ideal vertex; (b) if a bounded facet and an unbounded facet intersect, then their dihedral angle is an even submultiple of pi.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    R. M. Charney and M. W. Davis. Strict hyperbolization. Topology , 34(2):329--350, 1995

    work page 1995

  2. [2]

    M. W. Davis. The Geometry and Topology of Coxeter Groups. Princeton University Press, 2012. London Mathematical Society Monographs, volume 32

    work page 2012

  3. [3]

    Ferrari, A

    L. Ferrari, A. Kolpakov, and L. Slavich. Cusps of hyperbolic 4-manifolds and rational homology spheres. Proc. Lond. Math. Soc. , 6(3):636--648, 2021

    work page 2021

  4. [4]

    H.-C. Im Hof. Napier cycles and hyperbolic C oxeter groups. Bull. Soc. Math. Belg. S\' e r. A , 42(3):523--545, 1990

    work page 1990

  5. [5]

    Kolpakov and B

    A. Kolpakov and B. Martelli. Hyperbolic four-manifolds with one cusp. Geom. Funct. Anal. , 23(6):1903--1933, 2013

    work page 1903

  6. [6]

    Kolpakov and L

    A. Kolpakov and L. Slavich. Hyperbolic 4-manifolds, colourings and mutations. Proc. Lond. Math. Soc. , 113(2):163--184, 2016

    work page 2016

  7. [7]

    D. D. Long and A. W. Reid. On the geometric boundaries of hyperbolic 4-manifolds. Geom. Topol. , 4(1):171--178, 2000

    work page 2000

  8. [8]

    D. D. Long and A. W. Reid. All flat manifolds are cusps of hyperbolic orbifolds. Algebr. Geom. Topol. , 2(1):285--296, 2002

    work page 2002

  9. [9]

    Martelli

    B. Martelli. Hyperbolic four-manifolds. In Handbook of group actions. V ol. III , volume 40 of Adv. Lect. Math. (ALM) , pages 37--58. Int. Press, Somerville, MA, 2018

    work page 2018

  10. [10]

    Martelli

    B. Martelli. An introduction to Geometric Topology . CreateSpace Independent Publishing Platform, 2023. Version 3

    work page 2023

  11. [11]

    D. B. McReynolds. Peripheral separability and cusps of arithmetic hyperbolic orbifolds. Algebr. Geom. Topol. , 4(2):721--755, 2004

    work page 2004

  12. [12]

    D. B. McReynolds. Controlling manifold covers of orbifolds. Math. Res. Lett. , 16(4):651--662, 2009

    work page 2009

  13. [13]

    B. E. Niemershiem. All flat three-manifolds appear as cusps of hyperbolic four-manifolds. Topology and its Appl. , 90:109--133, 1998

    work page 1998

  14. [14]

    M. N. Prokhorov. Absence of discrete groups of reflections with a noncompact fundamental polyhedron of finite volume in a L obachevski ı space of high dimension. Izv. Akad. Nauk SSSR Ser. Mat. , 50(2):413--424, 1986

    work page 1986

  15. [15]

    M. Stover. On the number of ends of rank one locally symmetric spaces. Geom. Topol. , 17(2):905--924, 2013

    work page 2013

  16. [16]

    \`E . B. Vinberg. Hyperbolic reflection groups . Uspekhi Mat. Nauk , 40(1(241)):29--66, 255, 1985

    work page 1985