Table of Contents
Fetching ...

Angle structures on pseudo 3-manifolds

Huabin Ge, Longsong Jia, Faze Zhang

TL;DR

The paper addresses when angle structures with area-curvature $(A,\kappa)$ exist on triangulated compact pseudo 3-manifolds, showing that a semi-angle structure with $A\le 0$ and the strict inequality $\chi^*(s)<\chi^{(A,\kappa)}(s)$ for quadrilateral-positive cases suffices (and is equivalent to) the existence of such an angle structure. It leverages Farkas's lemma to convert the problem into a linear-inequality duality, and uses the $\chi^{(A,\kappa)}$ framework to connect combinatorial data to topology. A key corollary is that every compact hyperbolic 3-manifold with totally geodesic boundary admits an angle structure, via Kojima decomposition and a deformation argument to achieve negative area curvature. The results also yield topological consequences, showing absence of essential spheres, tori, Klein bottles, disks, and annuli under the angle-structure regime and enabling 0-efficient triangulations. Overall, the work connects combinatorial angle data to hyperbolic geometry and 3-manifold topology, providing constructive criteria and implications for geometric structures on triangulated spaces.

Abstract

It is still not known whether a hyperbolic 3-manifold admits an angle structure or not. We consider angle structures with area-curvature on triangulated pseudo 3-manifolds M in this article. A suficient and necessary condition for the existence of such angle structures is established. As a consequence, any compact hyperbolic 3-manifold with totally geodesic boundary admits an angle structure. We also derive certain topological information of M from the existence of such angle structures.

Angle structures on pseudo 3-manifolds

TL;DR

The paper addresses when angle structures with area-curvature exist on triangulated compact pseudo 3-manifolds, showing that a semi-angle structure with and the strict inequality for quadrilateral-positive cases suffices (and is equivalent to) the existence of such an angle structure. It leverages Farkas's lemma to convert the problem into a linear-inequality duality, and uses the framework to connect combinatorial data to topology. A key corollary is that every compact hyperbolic 3-manifold with totally geodesic boundary admits an angle structure, via Kojima decomposition and a deformation argument to achieve negative area curvature. The results also yield topological consequences, showing absence of essential spheres, tori, Klein bottles, disks, and annuli under the angle-structure regime and enabling 0-efficient triangulations. Overall, the work connects combinatorial angle data to hyperbolic geometry and 3-manifold topology, providing constructive criteria and implications for geometric structures on triangulated spaces.

Abstract

It is still not known whether a hyperbolic 3-manifold admits an angle structure or not. We consider angle structures with area-curvature on triangulated pseudo 3-manifolds M in this article. A suficient and necessary condition for the existence of such angle structures is established. As a consequence, any compact hyperbolic 3-manifold with totally geodesic boundary admits an angle structure. We also derive certain topological information of M from the existence of such angle structures.

Paper Structure

This paper contains 11 sections, 10 theorems, 34 equations, 5 figures.

Key Result

Theorem 1.1

Let $(M, \mathcal{T})$ be a triangulated compact pseudo $3$-manifold. Suppose it admits a semi-angle structure with area-curvature $(A, \kappa)$ satisfying $A \leq 0$. If $\chi^\ast(s)<\chi^{(A, \kappa)}(s)$ for those $s\in C(M,\mathcal{T})$ with all quadrilateral coordinates non-negative and at lea

Figures (5)

  • Figure 1: Truncated Hyperideal Tetrahedron
  • Figure 2: the edge labelling and normal triangles in $\sigma_{i}$
  • Figure 3: Pillow
  • Figure 4: Quadrilateral
  • Figure 5: Admissible surfaces

Theorems & Definitions (31)

  • Theorem 1.1
  • Corollary 1.2
  • Theorem 1.3
  • Corollary 1.4
  • Theorem 1.5
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Remark 2.5
  • ...and 21 more