Isolated Geometric Triangulations

• Isolated geometric triangulations are ideal triangulations in orientable cusped hyperbolic 3-manifolds where every local Pachner move destroys geometricity.
• They depend on precise cusp geometry and parity obstructions, as seen in once-punctured torus bundles with explicit monodromy constructions.
• This phenomenon contrasts with globally connected geometric triangulations in other settings, highlighting diverse rigidity and connectivity properties.

Searching arXiv for the main paper and closely related work on geometric triangulations, Pachner graphs, and flip connectivity. Querying arXiv for "isolated geometric triangulations" and related geometric triangulation connectivity results. Isolated geometric triangulations are geometric triangulations that are locally trapped inside the geometric Pachner graph: every combinatorially available local move exits the geometric subgraph. In the setting of orientable cusped hyperbolic $3$-manifolds, this notion is made precise for ideal triangulations and $2$-$3$, $3$-$2$ moves, and it is now known to occur in infinite families rather than only in small census examples (Benway, 1 Sep 2025). At the same time, a substantial body of work shows that such isolation is strongly setting-dependent: in several two-dimensional and constant-curvature contexts geometric triangulations are globally connected by flips or bistellar moves, so nontrivial isolation does not occur (Tahar, 2017).

1. Formal framework

The most precise current formulation arises for an orientable cusped hyperbolic $3$-manifold $M$. An ideal triangulation is a decomposition of $M$ into finitely many tetrahedra whose vertices have been removed, so the missing vertices correspond to cusps. A triangulation is geometric if all tetrahedra admit shape parameters in the upper half-plane $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$ solving the gluing equations, equivalently giving positively oriented ideal tetrahedra of strictly positive hyperbolic volume. The ambient move graph is the Pachner graph $\mathbb T(M)$, whose edges are $2$0-$2$1 and $2$2-$2$3 moves. The induced subgraph on geometric triangulations is denoted $2$4. A geometric triangulation $2$5 is isolated geometric if no $2$6-$2$7 move or $2$8-$2$9 move applicable to $3$0 yields another geometric triangulation (Benway, 1 Sep 2025).

This notion is internal to the geometric subgraph, not to the full Pachner graph. A triangulation may have many combinatorially valid moves in $3$1 and still be isolated geometric if every such move destroys geometricity. The distinction from essential triangulations is also sharp. An essential triangulation is one admitting a solution to the hyperbolic gluing equations with shape parameters in $3$2. Benway proves that if $3$3 is an isolated essential triangulation, then $3$4 is not geometric, so isolation in the essential subgraph and isolation in the geometric subgraph are different phenomena (Benway, 1 Sep 2025).

A useful local formula governs a $3$5-$3$6 move. If the two tetrahedra before the move have shape parameters $3$7 and $3$8, with

$3$9

then the three tetrahedra after the move have shape parameters

$3$0

This formula shows, in particular, why a geometric triangulation cannot be isolated in the essential sense: if $3$1, then the post-move shapes avoid $3$2, so the result remains essential (Benway, 1 Sep 2025).

2. The cusped hyperbolic $3$3-manifold case

The defining examples of isolated geometric triangulations were first observed by Neil Hoffman for the figure-eight knot complement. Benway takes these as prototypes and then proves that the phenomenon persists in an infinite family of once-punctured torus bundles. The main theorem states that the once-punctured torus bundle associated to the cyclic word

$3$4

has an isolated monodromy ideal triangulation for all $3$5 (Benway, 1 Sep 2025).

The family is built from hyperbolic monodromy words in $3$6, with

$3$7

For a hyperbolic monodromy $3$8, the associated once-punctured torus bundle is

$3$9

and the monodromy ideal triangulation is the standard layered ideal triangulation determined by the positive word decomposition of $2$0. If

$2$1

then the triangulation contains

$2$2

tetrahedra (Benway, 1 Sep 2025).

In this setting, the crucial distinction is between combinatorial move-availability and geometric move-availability. A $2$3-$2$4 move requires a degree-$2$5 edge. Benway records that in the monodromy triangulations of once-punctured torus bundles every cusp vertex has even valence, equivalently every edge of the $2$6-dimensional triangulation has even degree. Hence the family $2$7 admits no $2$8-$2$9 moves at all. The remaining problem is whether any $3$0-$3$1 move is geometric, and the answer is negative for the family in question (Benway, 1 Sep 2025).

The paper also establishes that isolated geometric triangulations need not be unique geometric triangulations of their manifolds. For $3$2, starting from the isolated monodromy triangulation $3$3 of $3$4 with $3$5, there is a sequence of two $3$6-$3$7 moves followed by a $3$8-$3$9 move producing a geometric triangulation $M$0 not isomorphic to $M$1. Consequently, there are infinitely many cusped hyperbolic $M$2-manifolds $M$3 for which $M$4 is disconnected (Benway, 1 Sep 2025).

3. Cusp geometry and the mechanism of isolation

The obstruction mechanism in the once-punctured torus bundle family is expressed on the Euclidean cusp triangulation. A geometric $M$5-$M$6 move in the $M$7-manifold induces three geometric $M$8-$M$9 moves on the cusp triangulation, so it suffices to show that at least one of these induced flips fails geometrically. The relevant cusp geometry is organized into fans separated by toggles. In a bundle with monodromy $M$0, Guéritaud’s description embeds each fan in the plane using vertices lying on the graph of $M$1, with coordinates of the form $M$2 or $M$3 between endpoints $M$4 and $M$5 (Benway, 1 Sep 2025).

The decisive feature is the inflection structure of $M$6. Looking at four consecutive cusp vertices on the graph, a geometric diagonal flip is possible exactly when the inflection point lies between the middle two vertices; otherwise one of the resulting triangles has the wrong orientation, or the new diagonal is not realized geodesically. For the family

$M$7

the numbers $M$8 and $M$9 are odd, so in each fan a cusp vertex lies exactly at the inflection point of the $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$0-curve model. This parity obstruction prevents any adjacent tetrahedron pair from supporting three simultaneously geometric induced cusp $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$1-$$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$2 flips, and therefore prevents any geometric $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$3-$$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$4 move (Benway, 1 Sep 2025).

The same analysis explains the even/odd dichotomy. If $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$5 and either $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$6 or $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$7 is odd, then there exists a geometric $$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$8-$$\mathbb H=\{z\in\mathbb C\mid \operatorname{Im}(z)>0\}$$9 move in the middle of the corresponding fan. If both are even, the analogous move produces a flat tetrahedron instead. This suggests that isolatedness in these examples is not a generic failure of local move combinatorics, but a parity-sensitive cusp-geometric obstruction (Benway, 1 Sep 2025).

A worked example is the bundle $\mathbb T(M)$0, equivalently $\mathbb T(M)$1, which belongs to the isolated family. Its monodromy triangulation has $\mathbb T(M)$2 tetrahedra, an explicit face-pairing table, and a cusp triangulation with two toggles separating one $\mathbb T(M)$3-fan and one $\mathbb T(M)$4-fan. The example serves as the concrete model for the general proof (Benway, 1 Sep 2025).

4. Settings where isolation does not occur

In several other geometric frameworks, the answer to the isolation question is essentially negative. For flat surfaces with conical singularities, a geometric triangulation is a topological triangulation whose edges are geodesic segments, whose vertices are exactly the conical singularities, and in which every conical singularity appears as a vertex. The main theorem proves that for a given flat surface, any pair of geometric triangulations can be connected by a chain of flips. Hence the flip graph of geometric triangulations is connected, so if the surface admits more than one geometric triangulation, no triangulation is isolated (Tahar, 2017).

The same non-isolation conclusion holds in the metric settings of flat tori and closed hyperbolic surfaces with fixed vertex sets. A triangulation is geometric if its edges can be realized by interior-disjoint locally geodesic segments, with loops and multiple edges allowed but no contractible loop or contractible $\mathbb T(M)$5-cycle. For a flat torus $\mathbb T(M)$6 or a closed hyperbolic surface $\mathbb T(M)$7 of genus $\mathbb T(M)$8, with fixed finite vertex set $\mathbb T(M)$9, the geometric flip graph is connected. More precisely, every geometric triangulation can be connected by flips to a Delaunay triangulation, and thus any two geometric triangulations are connected through Delaunay triangulations. In these settings no geometric triangulation is isolated unless the entire graph has only one vertex (Despré et al., 2019).

A higher-dimensional analogue appears for compact constant-curvature manifolds. A geometric triangulation of a Riemannian manifold is a finite triangulation whose simplex interiors are totally geodesic disks. For compact hyperbolic, spherical, and Euclidean manifolds, geometric triangulations are connected by geometric bistellar moves after sufficiently many derived subdivisions, and in dimensions $2$00 and $2$01 they are directly connected by geometric bistellar moves without subdivision. Thus, in low dimensions, geometric triangulations are not isolated in the direct geometric Pachner graph, while in higher dimensions they are not isolated after stabilization by derived subdivision (Kalelkar et al., 2019).

These results delimit the scope of isolated geometric triangulations. They show that isolation is not a universal feature of geometric triangulations, but rather a phenomenon tied to specific move sets, vertex constraints, and cusp-geometric obstructions.

5. Abundance, disconnectedness, and virtual non-isolation

The existence of isolated geometric triangulations does not imply that geometric triangulations are generally sparse. Indeed, the opposite behavior occurs in virtual settings. Every cusped hyperbolic $2$02-manifold has a finite cover $2$03 admitting infinitely many geometric ideal triangulations, and for every sufficiently long slope on a distinguished cusp $2$04, the Dehn filling $2$05 also admits infinitely many geometric ideal triangulations. When the original manifold contains a non-rectangular cusp, the geometric Pachner graph of such a finite cover contains a subgraph homeomorphic to an infinite trivalent tree (Futer et al., 2021).

The construction is local. The infinite family is supported in a drilled ananas, a hyperbolic $2$06-manifold homeomorphic to

$2$07

whose boundary $2$08 consists of two totally geodesic ideal triangles forming the standard two-triangle triangulation of a once-punctured torus. A drilled ananas admits an infinite sequence of geometric triangulations connected by geometric $2$09-$2$10 moves, and in the acute case these moves organize into an infinite trivalent tree indexed by Farey triangles (Futer et al., 2021).

This produces a clear contrast. In Benway’s family, geometric triangulations can be isolated because every available local move exits the geometric subgraph. In the virtual setting of finite covers, the geometric Pachner graph can instead contain branching infinite subgraphs. A plausible implication is that isolatedness and abundance are compatible at the level of different manifolds, and even of different components of $2$11: disconnectedness may coexist with components of radically different size and local degree (Benway, 1 Sep 2025).

The abundance side is reinforced by explicit construction results for special classes of cusped hyperbolic $2$12-manifolds. Infinitely many twist-knot complements admit explicit geometric ideal triangulations proved geometric by Casson–Rivin volume maximization (Aribi et al., 2019); sufficiently highly twisted links admit geometric triangulations after long Dehn filling (Ham et al., 2020); complements of $2$13-pretzel knots and links with $2$14 admit explicit geometric ideal triangulations built from layered tetrahedra and proved geometric by the same method (Nimershiem, 2021); and double twist knots $2$15 admit two different explicit geometric triangulations, one canonical and one conjecturally minimal (Ibarra et al., 14 Apr 2025). These results do not address isolatedness directly, but they show that the space of geometric triangulations can be large even within narrowly defined knot families.

6. Related notions of rigidity and specialness

Not every paper relevant to isolated geometric triangulations studies isolation under Pachner moves. Several adjacent notions of rigidity recur across the literature.

For degree-regular triangulations of surfaces, every $2$16-regular triangulation is combinatorially equivalent to a geometric triangulation with respect to a constant-curvature metric, and for $2$17 any two $2$18-regular triangulations of $2$19 are combinatorially equivalent. This is a strong form of combinatorial uniqueness of the simply connected model, but not an isolation theorem in a move graph or deformation space (Datta et al., 2017).

For regular triangulations of closed surfaces that are self-dual under Wilson’s geodesic duality, the class is characterized by subgroup conditions in the geodesic triangle group

$2$20

Geodesic self-duality is equivalent to the subgroup $2$21 satisfying both trivial intersection conditions with specified cyclic subgroups and the condition that $2$22 is conjugate to $2$23, where

$2$24

This yields a sparse, finite classification for $2$25, but again the rigidity is group-theoretic rather than Pachner-theoretic (Baumeister, 2019).

In two-dimensional polygonal settings, constrained subfamilies can have extremely rigid geodesic behavior without being isolated vertices. For colored triangle-free triangulations of a convex $2$26-gon, the colored flip graph $2$27 has diameter

$2$28

and for antipodal pairs $2$29 every geodesic flips every diagonal exactly once. In the canonical case, geodesics correspond to linear extensions of a partial order and are enumerated by standard tableaux of truncated shifted staircase shape (Adin et al., 2010). This is metric rigidity inside a restricted flip graph, but not isolation.

These neighboring theories sharpen the meaning of “isolated geometric triangulation.” The term is most precise when reserved for local move-trapping inside a geometric Pachner graph, as in cusped hyperbolic $2$30-manifolds (Benway, 1 Sep 2025). Other uses of “special” or “rigid” triangulations typically concern canonicality, combinatorial uniqueness, symmetry, or constrained geodesic behavior rather than literal isolation under geometric local moves.