Search arXiv⌕ Search

arXiv · 2609.34108

Local Combinatorial Criteria for Geometric Hyper-ideal Triangulations via Combinatorial Ricci Flow

Abstract

We give local combinatorial criteria for realizing prescribed ideal triangulations by nondegenerate hyperbolic truncated tetrahedra. A local bichromatic criterion allows valence-7 edges when tetrahedra meeting low-valence edges use at most two quotient-edge classes. Using the extended combinatorial Ricci flow, we obtain parameter-dependent criteria for triangulations of minimum valence 6. Symmetric and pair-min angle estimates yield explicit valence conditions, including mixed conditions on entire edge stars. The proofs use analytic angle inequalities and rigorous interval evaluations. Explicit face pairings realize the criteria and distinguish their scope, while cyclic constructions and finite covers give infinite families. Each criterion yields a unique zero-curvature hyper-ideal metric and exponential convergence from any positive initial length vector.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Soichiro Uemura. 2026-09-28. Local Combinatorial Criteria for Geometric Hyper-ideal Triangulations via Combinatorial Ricci Flow. https://arxiv.org/abs/2609.34108

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Surfaces and their Profile Curves

This paper examines the relationship between the knotting of an embedded surface in $\R^3$ and the knotting of its fold curves, formed by the singular set of projection to a plane. The first result shows that every surface, no matter how knotted, can be isotoped so that its fold curves form an unlink. A second result defines a new invariant which gives a complete obstruction to turning a fixed curve on a surface into a fold curve.

math.GT↗

Affine transverse foliations in sphere bundles

Let~$S^{n-1}\rightarrow E \rightarrow M^n$ be an oriented sphere bundle supporting a {smooth} affine transverse foliation. We give a new and elementary proof of the following fact: if the fundamental group {$π_1(M^n)$} is amenable, then the Euler number of the bundle vanishes. As a by-product, we give an upper bound for the Euler number of the bundle in the general case, that is, for non-amenable {$π_1(M^n)$}.

math.GT↗

Ropelength-Filtered Knot Spaces

Ropelength is usually studied as a minimisation problem for one knot at a time. Here we instead use ropelength to filter the space of all realisations of a knot type. For a knot type $K$ and budget $Λ$, let $Y_Λ(K)$ be the space of unit-thickness $C^{1,1}$ configurations of length at most $Λ$, modulo rigid motions and constant-speed reparametrisation. We prove compact capture for smooth knot families, yielding homotopical and homological exhaustion of the ordinary knot space by finite ropelength levels. In the normalised Euclidean model, every $Y_Λ(K)$ is compact; connected components are right-continuous and their merge levels are attained, giving an ultrametric on the components of the ideal stratum. We also prove that $Y_L(K)$ strongly deformation retracts onto its exact-length shell, so path connectivity at a fixed level is fixed-length physical isotopy. The connected merge scale and the path merge scale, the min--max quantity for constrained deformation paths, take the same values, although only the former is known to be attained. Moreover, all configurations in any fixed finite sublevel become path connected to one another at some common finite higher level, even if the original sublevel has infinitely many components. For higher homotopy we introduce ropelength widths and relate them to known models of spaces of knots. We record mirror symmetry and prove finite factorization across every positive filtration gap in a marked weak model, yielding all-degree homological q-tameness. Finally, we relate the path filtration to the companion swept-area construction: the infimal budget for admissible endpoint connections agrees with the path merge threshold. The resulting framework separates geometric, topological, and physical-isotopy questions and provides a quantitative foundation for the study of ropelength-filtered knot spaces.

math.GT↗