---
title: Bending Measured Laminations
url: https://www.emergentmind.com/topics/bending-measured-lamination
type: topic
---

# Bending Measured Laminations

A bending measured lamination is the measured geodesic lamination that records the pleating of a convex pleated surface in hyperbolic \(3\)-geometry. On the boundary of a convex core, on a pleated boundary component of a geometrically finite manifold, or on the dome associated to a univalent map, the underlying geodesic lamination is the pleating locus and the transverse measure records total exterior dihedral angle across transverse arcs. In this sense, the object packages both support and bending magnitude, and it occupies a central position in Thurston’s parameterizations, in the deformation theory of Kleinian surface groups, in the geometry of convex cores, and in several analytic comparisons with Schwarzian derivatives and conformal structures at infinity [2510.07087] [2201.08926].

## 1. Definition through pleated surfaces and transverse measure

Let \(S\) be a finite-type hyperbolic surface. A measured geodesic lamination on \(S\) is a geodesic lamination equipped with a transverse invariant measure; the space \(ML(S)\) carries the weak* topology, or Thurston topology, determined by transverse-arc functionals. In the rational case, a measured lamination is a weighted multicurve, and the measure is atomic on the closed leaves [2510.07087].

The bending measured lamination arises from a pleated surface. If \(f:(F,m)\to N\) is a pleated surface in a hyperbolic \(3\)-manifold, then outside its pleating locus the map is totally geodesic, while along the pleating locus the surface folds by exterior dihedral angles. On the boundary \(\partial N(\sigma)\) of the convex core of a geometrically finite hyperbolic metric \(\sigma\), the pleating locus is a geodesic lamination \(\Lambda_\sigma\), and the bending measure \(\mu_\sigma\) is defined by integrating the bending angle across transverse arcs:
\[
\mu_\sigma(\alpha)=\int_\alpha \theta_\sigma(s)\,ds .
\]
For a closed geodesic \(c\) transverse to \(\Lambda_\sigma\),
\[
\mu_\sigma(c)=\sum_{p\in c\cap \Lambda_\sigma}\theta_\sigma(p).
\]
In the rational case, the weight of a closed leaf is exactly the exterior dihedral angle along that leaf [2510.07087].

On convex pleated boundaries, the closed-leaf weights satisfy \(0<w(\text{leaf})<\pi\). This is the regime relevant to convex core boundaries of quasi-Fuchsian manifolds and to several realization theorems. A different phenomenon occurs in the presence of rank-\(1\) cusps: the core curves of the corresponding annuli acquire bending weight exactly \(\pi\). This distinction is essential in compactness and continuity questions, and it underlies the clipped topology used in properness results for the bending map [2306.08521] [2510.07087].

The measured structure is not an auxiliary decoration. The support alone specifies where pleating occurs, but the transverse measure specifies how much pleating occurs. Many geometric quantities depend on the measure rather than only on the support, including bending length, local mass norms, and the angle data entering pleated-surface convergence.

## 2. Geometric origins and equivalent settings

A standard source of bending measured laminations is the convex core of a hyperbolic \(3\)-manifold. If \(M\) is geometrically finite, the convex core \(N(\sigma)\) is the smallest nonempty closed, locally convex subset homotopy equivalent to \(M\), and \(\partial N(\sigma)\) is pleated. For quasi-Fuchsian manifolds, the convex core boundary has two pleated components, each carrying its own bending measured lamination [2510.07087].

A second source is Thurston’s parameterization of complex projective structures. A complex projective structure \(\Sigma\) on a closed surface admits a Thurston parameterization by a pair \((Y_\Sigma,\lambda_\Sigma)\), where \(Y_\Sigma\) is a hyperbolic metric and \(\lambda_\Sigma\) is a measured geodesic lamination. Geometrically, \(\lambda_\Sigma\) is the bending lamination of the convex pleated surface \(\partial CH(\Lambda)\subset \mathbb H^3\), where \(\Lambda\subset \widehat{\mathbb C}\) is the limit set of the holonomy representation. If \(\lambda\) is supported on a simple closed geodesic \(\gamma\) with weight \(\theta\), then
\[
L(\lambda)=\theta\,\ell_Y(\gamma),
\]
and the general length functional is defined by continuity from weighted simple closed geodesics [2201.08926].

A third source is Thurston’s pleated-surface parametrization of locally univalent maps \(f:\Delta\to \widehat{\mathbb C}\). Maximal round disks in the domain determine half-spaces in \(\mathbb H^3\); the associated dome \(\operatorname{Dome}(f)\) is the boundary of the intersection of the complements of those half-spaces, and \(\partial \operatorname{Dome}(f)\) is intrinsically isometric to \(\mathbb H^2\). Its bending is encoded by a measured lamination \(\beta_f\in ML(\Delta)\) [2509.12493].

These constructions are compatible in the sense that they all produce the same type of object: a measured geodesic lamination encoding convex pleating. What changes from one setting to another is the ambient parameterization—hyperbolic metric, projective structure, Schwarzian derivative, or conformal boundary data—not the basic geometric content of the bending measure itself.

## 3. Quantitative invariants, norms, and analytic bounds

Two quantitative notions recur throughout the theory. The first is hyperbolic bending length. On the boundary of a convex core, if \(m\) is the induced hyperbolic metric and \(l\) the bending measured lamination, then \(L_m(l)\) denotes the hyperbolic length of \(l\). The second is a local mass norm. For a measured lamination \(\mu\) on \(\mathbb H^2\), the \(L\)-norm is
\[
\|\mu\|_L = \sup\{\, i(\mu,\alpha)\,:\ \alpha\subset\mathbb{H}^2\text{ open, transverse to }\operatorname{supp}\mu,\ \operatorname{length}(\alpha)<L\,\},
\]
which measures maximal transverse mass on arcs of bounded length [2509.12493].

Bending length enters directly into convex-core volume variation. For a quasifuchsian manifold with convex core \(C(M)\), the dual volume is
\[
V_C^*(M)=V_C(M)-\frac12 L_m(l),
\]
and the dual Bonahon–Schläfli formula is
\[
\dot V_C^*=-\frac12\,(dL(l))(\dot m).
\]
A global bound due to Bridgeman–Brock–Bromberg states
\[
L_{m_\pm}(l_\pm)\le 6\pi\,|\chi(S)|.
\]
This places bending length on the same topological scale as several conformal invariants at infinity [1708.01852].

For projective structures, the bending lamination can be compared to the Schwarzian quadratic differential. If \(\Sigma\) has Schwarzian parameterization \((X_\Sigma,\Phi_\Sigma)\) and Thurston parameterization \((Y_\Sigma,\lambda_\Sigma)\), Anderson’s inequality gives
\[
L(\lambda_\Sigma)\le 4\pi |\chi(\Sigma)|\,\|\Phi_\Sigma\|_\infty.
\]
More strongly, Bridgeman–Bromberg proved
\[
\|\Phi_\Sigma\|_2 \le (1+\|\Phi_\Sigma\|_\infty)\,\sqrt{L(\lambda_\Sigma)}.
\]
If \(\Sigma\) is the quotient of a disk in \(\widehat{\mathbb C}\), Nehari’s bound gives \(\|\Phi_\Sigma\|_\infty\le 3/2\), hence
\[
\|\Phi_\Sigma\|_2 \le \frac52\,\sqrt{L(\lambda_\Sigma)}.
\]
The Fuchsian case is characterized by vanishing bending and vanishing Schwarzian: \(L(\lambda)=0\) if and only if \(\|\Phi\|_p=0\), equivalently \(\Phi=0\) [2201.08926].

For locally univalent maps, the comparison can be made fully explicit. If \(f:\Delta\to \widehat{\mathbb C}\) is univalent and
\[
\|Sf\|_\infty \le \frac12 \operatorname{sech}(L),
\]
then
\[
\|\beta_f\|_L \le B_L(\|Sf\|_\infty),
\]
where
\[
r(x)=\frac12\log\left(\frac{1+2x}{1-2x}\right),\qquad \tanh r=2x,\qquad \sinh r=\frac{2x}{\sqrt{1-4x^2}},
\]
and
\[
B_L(x)=
\begin{cases}
2\tan^{-1}\!\left(\dfrac{2e^{L}\,x}{\sqrt{1-4x^2}}\right), & 0\le x \le \dfrac{1}{2\sqrt{1+e^{2L}}},\\[8pt]
\cos^{-1}\!\left(1-8x^2-4\sinh(L)\,x\,\sqrt{1-4x^2}\right), & \dfrac{1}{2\sqrt{1+e^{2L}}}\le x \le \dfrac12\operatorname{sech}L.
\end{cases}
\]
The function \(B_L\) is continuous, strictly increasing, and satisfies
\[
B_L(x)\sim 4e^L\,x\qquad\text{as }x\to 0.
\]
In the quasifuchsian setting, if \(d_T(X,Y)\le \frac13\operatorname{sech}(L)\), then
\[
\|\beta(X,Y)\|_L \le B_L\!\left(\frac32 d_T(X,Y)\right).
\]
This gives a direct quantitative bridge from Teichmüller distance to convex-core bending [2509.12493].

## 4. Realization and parameterization theorems

The classical realization problem asks which measured laminations occur as bending data of convex core boundaries. In the geometrically finite quasi-Fuchsian case, Bonahon–Otal proved existence for pairs of measured laminations with no homotopic components and no compact leaves of weight \(\ge \pi\), and partial uniqueness for weighted multicurves. Baba–Ohshika extended the existence theory to general Kleinian surface groups, including geometrically infinite ends. Their theorem fixes geodesic laminations \(\lambda_\pm\) encoding end invariants and measured laminations \(\mu_\pm\) encoding bending data, under the conditions
\[
\lambda_\pm\cap \mu_\pm=\emptyset,
\]
neither \(\mu_-\) nor \(\mu_+\) has a compact leaf of weight \(\ge \pi\), and \(\lambda_-\cup\mu_-\) and \(\lambda_+\cup\mu_+\) fill \(S\). Then there exists \(\phi\in AH(S)\) realizing \(\lambda_\pm\) as end invariants and \(\mu_\pm\) as bending measured laminations on the lower and upper convex-core boundaries, and the realization locus is compact inside \(QH_{\lambda_-,\lambda_+}\). They also prove that
\[
b\circ q:T(\Sigma_-)\times T(\Sigma_+)\to ML(\Sigma_-)\times ML(\Sigma_+)\setminus D
\]
is proper and has degree \(1\), yielding surjectivity onto the allowable bending data [2106.11564].

A complementary realization theorem prescribes mixed boundary data on a compact convex domain \(M=S\times(0,1)\). If \(h\) is a Riemannian metric on \(S\) with curvature strictly greater than \(-1\), and \(\mu\) is a measured lamination all of whose closed leaves have weight strictly less than \(\pi\), then there exists a convex hyperbolic metric on \(M\) inducing \(h\) as first fundamental form on \(S\times\{0\}\) and inducing a pleated surface structure on \(S\times\{1\}\) with bending lamination \(\mu\). An analogous theorem holds for a prescribed third fundamental form \(h^*\) with curvature strictly less than \(1\) and every contractible closed \(h^*\)-geodesic of length strictly greater than \(2\pi\). In the conformal-boundary variant, one prescribes a conformal class on the ideal boundary at infinity and a bending lamination on the opposite convex-core boundary. For sufficiently small laminations \(t\mu\), the mixed data determine a unique quasi-Fuchsian manifold near the Fuchsian locus [2306.08521].

Bending data also parameterize certain boundary strata of deformation spaces. For one-sided degenerated Kleinian surface groups, let \(e^-=(P,L)\) denote the bottom end structure, consisting of a parabolic locus \(P\) and ending laminations \(L\), with \(\Sigma^-\) the moderate subsurface. Then
\[
m^-\times b^+: D^+_o(S;e^-)\longrightarrow Teich(\Sigma^-)\times ML^{\perp e^-}_{<\pi}(S^+)
\]
is a homeomorphism. Thus a one-sided degenerated manifold is uniquely determined by the end structure of the degenerated end and the bending measured lamination of the geometrically finite end. In the convex-cocompact case, this extends the quasi-Fuchsian theorem that the bending map
\[
b^-\times b^+: QF(S)\setminus F(S)\to Fill_{<\pi}(S^-\sqcup S^+)
\]
is a homeomorphism onto the filling, \(<\pi\) locus [2504.19891].

## 5. Properness, clipping, and degenerations

Properness of the bending map is subtle because geometrically finite limits can create new parabolics. For a compact, orientable \(3\)-manifold \(M\) whose interior admits geometrically finite hyperbolic structures, the bending map
\[
b:GF(M)\to ML(\partial M)
\]
takes a hyperbolic metric to its bending measured geodesic lamination. Its image is the set \(P(M)\) of measured laminations satisfying three realizability conditions: every closed leaf has weight \(\le \pi\); there exists \(\eta>0\) such that \(i(\partial E,\lambda)\ge \eta\) for every essential annulus \(E\); and \(i(\lambda,\partial D)>2\pi\) for every essential disk \(D\) [2510.07087].

The raw target \(ML(\partial M)\) is not the correct topology when parabolics appear. The appropriate modification clips all closed-leaf weights above \(\pi\) down to \(\pi\), producing an equivalence relation \(\mathcal R\), and equips \(ML(\partial M)/\mathcal R\) with the tubular topology. Convergence in this topology requires ordinary weak* convergence on arcs disjoint from the \(\pi\)-weight leaves, while on arcs meeting those leaves it requires only a \(\liminf\) lower bound by \(\pi\). With this target, the clipped bending map
\[
b_{\mathcal R}:\ GF(M)\longrightarrow P(M)/\mathcal R
\]
is proper. In the convex cocompact locus \(CC(M)\), where \(\pi\)-weight leaves do not occur, the ordinary bending map is already proper [2510.07087].

This resolves a common misconception: the discontinuity is not an intrinsic pathology of bending data, but rather a mismatch between the raw measured-lamination topology and the geometry of cusp formation. Weight \(\pi\) leaves are not forbidden artifacts; they arise naturally as the core curves of rank-\(1\) cusp annuli. The clipped quotient is therefore not a technical convenience alone, but the natural codomain for properness in the geometrically finite category [2510.07087].

Properness interacts with mapping class dynamics. If \(D(M)\) denotes the set of doubly incompressible measured laminations, then \(P(M)\subset D(M)\), and, when \(M\) is not a genus-two handlebody, \(\mathrm{Mod}(M)\) acts properly discontinuously on \(D(M)\). This yields finite stabilizers of compact sets and controls isotopy ambiguity in compactness arguments for bending parameterizations [2510.07087].

## 6. Deformation theory, character varieties, and transverse cocycles

Fix a measured lamination \(L\) on a closed surface \(S\). Bending along \(L\) defines a map
\[
b_L:\mathcal T\to \chi
\]
from Fricke–Teichmüller space to the \(\mathrm{PSL}_2(\mathbb C)\)-character variety. This map is a \(GL\)-equivariant, injective, real-analytic, symplectic embedding, with
\[
b_L^*(\Omega_G)=\Omega_{WP}.
\]
Its properness is controlled exactly by the leaf weights: \(b_L\) is proper if and only if \(L\) contains no periodic leaves of weight \(\pi\) modulo \(2\pi\). For weighted multiloops \(M\), complex Fenchel–Nielsen coordinates make the bending operation explicit: the twist parameters are translated by purely imaginary weights, and the construction admits a holomorphic complexification
\[
B_M:X_M\to \chi\times\chi
\]
that is complex-symplectic away from a proper subvariety [2203.15394].

This representation-theoretic perspective clarifies how bending data encode non-Fuchsian holonomy. In particular, weight-\(\pi\) periodic leaves are precisely the obstruction to properness, matching the degenerations described by clipped bending in geometrically finite \(3\)-manifolds. The exceptional set is therefore structurally small but geometrically significant [2203.15394].

A broader formalism replaces countably additive transverse measures by finitely additive transverse cocycles on a maximal geodesic lamination. An \((\mathbb R/2\pi\mathbb Z)\)-valued transverse cocycle \(\beta\) assigns bending angles modulo \(2\pi\) to transverse arcs, and determines a pleating map \(\widetilde f_\beta:\mathbb H^2\to \mathbb H^3\). When \(\beta\) is countably additive, it reduces to the classical bending measure theory. Šarić proved a genus-independent sufficient condition for quasi-Fuchsian holonomy: for a geometric train track carrying the lamination, if
\[
\|\beta\|_{\max}<\epsilon\,w_*
\qquad\text{and}\qquad
\|\beta\|_{\mathrm{var}_\delta}<\epsilon,
\]
under the spacing condition
\[
w^{*}<\frac{e^{-2l^{*}\tanh\left(\frac{l_*}{2}\right)}}{8\pi},
\]
then the pleating map extends to an injective map on \(\partial_\infty\mathbb H^2\), hence induces a quasi-Fuchsian representation. This places bending measured laminations inside a more general shear–bend coordinate system while preserving the measured case as the countably additive subclass [1112.1098].

## 7. Analogues at infinity and dynamical consequences

For quasifuchsian manifolds, the measured bending lamination on the convex core boundary has a precise analogue at infinity. The complex projective structure at infinity determines a holomorphic quadratic differential \(q\) via the Schwarzian derivative, and its horizontal measured foliation \(f\) is the measured foliation at infinity. The resulting dictionary pairs induced hyperbolic metric \(m\) on \(\partial C(M)\) with conformal structure \(c\) on \(\partial_\infty M\), bending lamination \(l\) with measured foliation \(f\), hyperbolic length \(L_m(l)\) with extremal length \(\operatorname{Ext}_c(f)\), and dual convex-core volume \(V_C^*\) with renormalized volume \(V_R\). The variational formulas match:
\[
\dot V_C^*=-\frac12(dL(l))(\dot m),
\qquad
\dot V_R=-\frac12(d\,\operatorname{Ext}(f))(\dot c).
\]
The quantitative bounds also match in topological scale:
\[
L_{m_\pm}(l_\pm)\le 6\pi |\chi(S)|,
\qquad
\operatorname{Ext}_{c_\pm}(f_\pm)\le 3\pi |\chi(S)|.
\]
Moreover, if \(I^*\) is the hyperbolic metric at infinity, then the traceless part of the second fundamental form at infinity satisfies
\[
\mathrm{II}_0^*=\operatorname{Re}(q).
\]
This identifies the analytic data at infinity as a direct analogue of pleating data on the convex core boundary [1708.01852].

The type of bending lamination also controls the dynamics of geodesic planes outside the convex core. For a geometrically finite end \(E\), let \(\mathcal L\) be the bending measured lamination on \(\partial E\). If \(\mathcal L\) is not a multicurve, then exotic rays exist: these are geodesic rays \(r\) with finite total transverse measure
\[
I(\mathcal L,r)=\int_r d\mu<\infty
\]
that are neither asymptotic to a leaf of \(\mathcal L\) nor eventually disjoint from it. The halo \(h(\mathcal L)\), defined as the set of endpoints of exotic rays, is either empty or uncountable, and it is nonempty exactly when \(\mathcal L\) is not a multicurve. This dichotomy governs the existence of exotic roofs and the closure behavior of geodesic planes in the end: purely atomic bending yields rigid closure behavior, while minimal atom-free bending can force closures to be all of \(E_+\) and can produce uncountably many exotic roofs, including examples in every genus and generic examples in punctured torus ends [2210.03937].

A plausible implication is that bending measured laminations should be viewed not only as boundary data for convex geometry, but also as dynamical invariants governing orbit closures, degenerations, and asymptotic analytic structures. The current theory supports that interpretation by linking bending simultaneously to realization theorems, volume variation, character-variety embeddings, and end dynamics [1708.01852] [2210.03937].

Source: https://www.emergentmind.com/topics/bending-measured-lamination