arxiv: 2604.05956 · v2 · submitted 2026-04-07 · 🧮 math.GT · math.GR

Stably tangential strict hyperbolization

Mauricio Bustamante , Eduardo Reyes , Stefano Riolo This is my paper

Pith reviewed 2026-05-10 18:26 UTC · model grok-4.3

classification 🧮 math.GT math.GR

keywords strict hyperbolizationstable tangent bundleshyperbolic manifoldscubulable groupsStiefel-Whitney classesPontryagin classesflat manifoldscommensurability classes

0 comments p. Extension

The pith

Strict hyperbolization preserves stable tangent bundles when built from suitable pieces.

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

The paper shows that the Charney-Davis strict hyperbolization procedure can be performed while keeping the stable tangent bundle unchanged. This is done by producing enough hyperbolizing pieces that have connected faces, which relies on separability in hyperbolic cubulable groups. A sympathetic reader cares because the result answers open questions posed by Charney and Davis as well as Belegradek, and it yields many new closed hyperbolic manifolds with controlled topology starting from flat manifolds. The construction gives examples with prescribed nontrivial characteristic classes and infinite towers of covers avoiding certain bundle properties.

Core claim

The Charney-Davis strict hyperbolization procedure can preserve stable tangent bundles when the hyperbolizing pieces are chosen appropriately from hyperbolic cubulable groups using their separability properties, and these pieces can moreover be chosen so that every face is connected.

What carries the argument

Hyperbolizing pieces with connected faces constructed via separability properties of hyperbolic cubulable groups, which allow control over the stable tangent bundle throughout the hyperbolization.

If this is right

Infinitely many commensurability classes of closed hyperbolic manifolds, both arithmetic and non-arithmetic, arise from suitable cubulations of flat manifolds.
First examples appear in which all Stiefel-Whitney classes are nontrivial below the top degree.
First orientable examples appear with nontrivial Pontryagin classes.
Infinite towers of finite covers exist in which no cover is stably parallelizable or spin.
New pairs of exotic negatively curved Riemannian manifolds are obtained.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same construction technique might be applied to cubulations of manifolds other than flat ones to produce further families with prescribed stable tangent bundles.
This approach connects to the broader question of which topological invariants of manifolds can be realized by closed hyperbolic manifolds.
One could test extensions by checking whether the method controls additional bundle invariants or works for other hyperbolization variants.

Load-bearing premise

Separability properties of hyperbolic cubulable groups suffice to produce enough hyperbolizing pieces with connected faces for the cubulations under consideration.

What would settle it

An explicit flat manifold cubulation for which no collection of such hyperbolizing pieces exists that preserves the original stable tangent bundle, or a direct computation showing that the resulting hyperbolic manifold has a different stable tangent bundle than predicted.

Figures

Figures reproduced from arXiv: 2604.05956 by Eduardo Reyes, Mauricio Bustamante, Stefano Riolo.

**Figure 1.** Figure 1: The separating (left) and non-separtaing cases (right). Case 2: Z ′ 1 is non-separating in M′ . The proof is very similar to that of Case 1, so we just provide a sketch. We cut M′ along each Z ′ j , obtaining a connected manifold with 2m boundary components. In this case the action of Bm has two orbits on the set of these boundary components. As in the first case, we consider m copies Q1, . . . , Qm of Q, … view at source ↗

**Figure 2.** Figure 2: The folding map f1 : R → [0, 1]. In general, the map fn : Rn → □n given by (x1, . . . , xn) 7→ (f1(x1), . . . , f1(xn)) is the unique folding map that restricts to the identity on □n . From the properties of f1 we easily deduce the following. Lemma 4.2. Let Γ be a discrete subgroup of isometries of R n such that every element of Γ acts according to (x1, . . . , xn) 7→ ((−1)ϵ1 x1 + 2a1, . . . ,(−1)ϵn xn + 2… view at source ↗

read the original abstract

We show that the Charney--Davis strict hyperbolization procedure can preserve stable tangent bundles, answering a question of Charney and Davis. The key input is the construction of many hyperbolizing pieces, obtained using separability properties of hyperbolic cubulable groups. Moreover, these pieces may be chosen so that every face is connected, answering a question of Belegradek. We then apply this construction to suitable cubulations of flat manifolds to produce infinitely many commensurability classes of closed hyperbolic manifolds, both arithmetic and non-arithmetic, with diverse topological features. In particular, we obtain the first examples in which all the Stiefel--Whitney classes are non-trivial below the top degree, and the first orientable examples with non-trivial Pontryagin classes. We also construct infinite towers of finite covers of closed hyperbolic manifolds in which no cover is stably parallelizable or spin. Our methods further yield new pairs of exotic negatively curved Riemannian manifolds.

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.

Desk Editor's Note private letter to a colleague

They make strict hyperbolization preserve stable tangent bundles via separability of cubulable groups and use it to produce the first hyperbolic manifolds with all lower Stiefel-Whitney classes non-trivial.

read the letter

The core advance is that Charney-Davis hyperbolization can be arranged to keep the stable tangent bundle of the input intact. They achieve this by building a supply of hyperbolizing pieces from hyperbolic cubulable groups, using separability to produce enough of them with connected faces. That also settles Belegradek's question on connected faces. They then feed suitable cubulations of flat manifolds into the process and obtain infinitely many commensurability classes of closed hyperbolic manifolds, both arithmetic and non-arithmetic, carrying prescribed characteristic classes. The new examples include the first cases where every Stiefel-Whitney class below the top degree is non-zero, the first orientable hyperbolic manifolds with non-trivial Pontryagin classes, and infinite towers of covers that are never spin or stably parallelizable. They also get new pairs of exotic negatively curved manifolds. The construction is direct: separability supplies the pieces, the connected-face condition simplifies gluing, and the bundle data on the faces is controlled so the global stable class survives. The results are concrete enough to be the first of their kind in the literature they cite. One soft spot is that the method is demonstrated on flat-manifold cubulations rather than shown to work for completely arbitrary inputs, though that is exactly what is needed for the stated applications. The proofs rely on standard facts about separability and cubulations, with no obvious circularity. This paper is for geometric topologists and geometric group theorists who care about hyperbolic manifolds and their invariants. It ties together hyperbolization, characteristic classes, and group separability in a usable way. The outline is coherent and the claims are specific, so it deserves a serious referee.

Referee Report

1 major / 2 minor

Summary. The paper shows that the Charney--Davis strict hyperbolization procedure can be carried out so as to preserve stable tangent bundles, answering a question of Charney and Davis. The key step is the construction, via separability properties of hyperbolic cubulable groups, of sufficiently many hyperbolizing pieces whose faces are connected (also answering a question of Belegradek). These pieces are then glued along suitable cubulations of flat manifolds to produce infinitely many commensurability classes of closed hyperbolic manifolds (both arithmetic and non-arithmetic) with prescribed topological features, including the first examples in which all Stiefel--Whitney classes below the top degree are non-trivial, the first orientable examples with non-trivial Pontryagin classes, infinite towers of finite covers with no stably parallelizable or spin cover, and new pairs of exotic negatively curved Riemannian manifolds.

Significance. If the central construction is correct, the result affirmatively resolves the Charney--Davis question on stable tangency for strict hyperbolization and supplies new, topologically rich families of hyperbolic manifolds together with infinite covers and exotic structures. The explicit use of separability to control both connectivity of faces and stable bundle data is a concrete strength of the argument.

major comments (1)

[§4] §4 (construction of hyperbolizing pieces): the argument that separability produces pieces whose facewise stable tangent data can be matched arbitrarily during gluing is load-bearing for the global preservation claim. The text invokes the existence of finite covers separating subgroups but does not explicitly verify that the induced stable classes on the faces remain sufficiently flexible (i.e., that the representation or cubical structure does not fix or restrict the possible classes). A short additional paragraph or lemma confirming that the stable class on each face can be prescribed independently of the separability choice would remove any doubt about the generality of the subsequent applications to flat manifolds.

minor comments (2)

[Introduction / applications paragraph] The statement that the new manifolds realize 'all Stiefel--Whitney classes non-trivial below the top degree' would benefit from an explicit reference to the precise degree range and the dimension of the manifolds under consideration.
[§2] Notation for the stable tangent bundle (e.g., the symbol used for the stable class) is introduced only after several uses; a single sentence of clarification at first appearance would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough reading and supportive evaluation of the manuscript. The single major comment concerns an expository clarification in §4; we address it directly below and will incorporate the requested addition.

read point-by-point responses

Referee: [§4] §4 (construction of hyperbolizing pieces): the argument that separability produces pieces whose facewise stable tangent data can be matched arbitrarily during gluing is load-bearing for the global preservation claim. The text invokes the existence of finite covers separating subgroups but does not explicitly verify that the induced stable classes on the faces remain sufficiently flexible (i.e., that the representation or cubical structure does not fix or restrict the possible classes). A short additional paragraph or lemma confirming that the stable class on each face can be prescribed independently of the separability choice would remove any doubt about the generality of the subsequent applications to flat manifolds.

Authors: We agree that an explicit verification would improve clarity. The separability argument in §4 relies on the fact that the stable tangent classes are determined by the underlying cubulation and the fixed representation of the hyperbolic cubulable group into the isometry group of hyperbolic space; finite covers chosen to separate subgroups act on the fundamental group without altering these classes, since the stable bundle data descend from the base piece and are preserved under the covering maps used for gluing. Nevertheless, to address the concern directly, the revised manuscript will include a short additional paragraph (or lemma) in §4 confirming that the stable class on each face can be prescribed independently of the separability choice, by noting that the relevant cohomology classes are invariant under the finite covers and that the cubical structure permits arbitrary matching during the gluing step along flat manifolds. revision: yes

Circularity Check

0 steps flagged

Direct construction via external separability properties

full rationale

The paper presents a direct construction of hyperbolizing pieces with connected faces using separability properties of hyperbolic cubulable groups (an external input from group theory). This is applied to cubulations of flat manifolds to produce hyperbolic manifolds preserving stable tangent bundles under the Charney-Davis procedure. No step reduces a claimed prediction or result to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain; the derivation remains self-contained against the stated external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of hyperbolizing pieces with connected faces constructed from separability in hyperbolic cubulable groups and on the existence of suitable cubulations of flat manifolds; no free parameters or new entities are introduced.

axioms (2)

domain assumption Hyperbolic cubulable groups possess separability properties sufficient to produce arbitrarily many hyperbolizing pieces with connected faces.
Stated as the key input for the construction in the abstract.
domain assumption Flat manifolds admit cubulations to which the hyperbolizing pieces can be applied.
Used for the main application to produce new hyperbolic manifolds.

pith-pipeline@v0.9.0 · 5456 in / 1410 out tokens · 76981 ms · 2026-05-10T18:26:23.410485+00:00 · methodology

discussion (0)

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 show that the Charney–Davis strict hyperbolization procedure can preserve stable tangent bundles... using separability properties of hyperbolic cubulable groups
IndisputableMonolith/Cost/FunctionalEquation.lean J_uniquely_calibrated_via_higher_derivative unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A... stably tangential... g_C^*(T C ⊕ ε^k) ≅ T H_X(C) ⊕ ε^k

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

5 extracted references · 5 canonical work pages · 1 internal anchor

[1]

Systoles of hyperbolic 4-manifolds

MR 3456181 7, 39 [Ago06] I. Agol,Systoles of hyperbolic4-manifolds, arXiv preprint math/0612290 (2006). 6, 18 [Ago13] ,The virtual Haken conjecture, Doc. Math.18(2013), 1045–1087, With an appendix by Agol, Daniel Groves, and Jason Manning. MR 3104553 6, 13, 14, 36, 38, 39, 40 [AM21] M. Albanese and A. Milivojevi´ c,Spinh and further generalisations of spi...

work page Pith review arXiv 2006
[2]

MR 2922380 36 42 MAURICIO BUSTAMANTE, EDUARDO REYES, AND STEFANO RIOLO [BT11] M. V. Belolipetsky and S. A. Thomson,Systoles of hyperbolic manifolds, Algebr. Geom. Topol.11 (2011), no. 3, 1455–1469. MR 2821431 6, 18 [CD95] R. M. Charney and M. W. Davis,Strict hyperbolization, Topology34(1995), no. 2, 329–350. MR 1318879 1, 2, 6, 7, 9, 10, 11, 12, 19, 20, 3...

work page arXiv 2011
[3]

A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas

Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 77, Springer, Cham, [2024]©2024. MR 4769472 6, 9, 20 [Der05] M. Deraux,A negatively curved K¨ ahler threefold not covered by the ball, Invent. Math.160(2005), no. 3, 501–525. MR 2178701 1, 3 [DH24] S. Dou...

work page arXiv 2024
[4]

MR 3307755 17 [MR02] R. J. Miatello and J. P. Rossetti,Comparison of twisted p-form spectra for flat manifolds with diagonal holonomy, Ann. Global Anal. Geom.21(2002), no. 4, 341–376. MR 1910457 22 [MRS20] B. Martelli, S. Riolo, and L. Slavich,Compact hyperbolic manifolds without spin structures, Geom. Topol.24(2020), no. 5, 2647–2674. MR 4194300 5, 7, 8 ...

work page 2002
[5]

A cusped hyperbolic 4-manifold without spin structures

MR 3469435 22 [PS10] B. Putrycz and A. Szczepa´ nski,Existence of spin structures on flat four-manifolds, Adv. Geom.10 (2010), no. 2, 323–332. MR 2629818 8, 34 [RR25] S. Riolo and E. Rizzi,A cusped hyperbolic4-manifold without spin structures, to appear in Algebr. Geom. Topol. ArXiv preprint arXiv:2510.12657 (2025). 8 [RS05] J. P. Rossetti and A. Szczepa´...

work page internal anchor Pith review Pith/arXiv arXiv 2010