--- title: Penner's Relation in Decorated Teichmüller Theory url: https://www.emergentmind.com/topics/penner-s-relation type: topic --- # Penner's Relation in Decorated Teichmüller Theory Penner’s relation is the hyperbolic counterpart of Ptolemy’s equation, formulated in terms of lambda lengths on a decorated hyperbolic surface. For an ideal quadrilateral with cyclically ordered vertices \(1,2,3,4\), the relation is \[ \lambda_{12}\,\lambda_{34}+\lambda_{23}\,\lambda_{14}=\lambda_{13}\,\lambda_{24}. \] In decorated Teichmüller theory it is the elementary exchange law for flipping a diagonal in an ideal triangulation, and in cluster-algebra language it is the type \(A\) exchange relation. Subsequent work places the same three-term identity in direct correspondence with Euclidean Ptolemy, Casey’s theorem, and the Plücker relation, and extends Penner-type coordinates and symplectic structures to settings including punctured spheres with cone points, skein algebras, and three-dimensional analogues [2507.10444] [1110.2748]. ## 1. Definition through lambda lengths Penner’s relation is expressed in terms of lambda lengths attached to decorated ideal arcs. Given two horocycles \(H_1,H_2\) in the hyperbolic plane with distinct centers at ideal points, let \(\delta_{12}\) be the signed hyperbolic distance along the geodesic joining those centers, with \(\delta_{12}>0\) exactly when the horocycles are disjoint. The lambda length is \[ \lambda_{12}=e^{\delta_{12}/2}. \] Equivalent hyperboloid-model normalizations write \[ \lambda_{12}=\sqrt{-\langle u_1,u_2\rangle} \] for \(u_1,u_2\) in the open positive light cone of Minkowski \(3\)-space. In the upper half-plane model, explicit examples include \[ \lambda_{\infty,0}=\frac{1}{\sqrt{2r}},\qquad \lambda_{0z}=\frac{|z|}{\sqrt{2r}}, \] for the standard horocycle at \(\infty\) and a horocycle of Euclidean radius \(r\) at \(0\) or \(z\) [2306.17118] [2507.10444]. With this normalization, Penner’s relation for an ideal quadrilateral with cyclically ordered boundary points \(1,2,3,4\) is \[ \lambda_{13}\,\lambda_{24}=\lambda_{12}\,\lambda_{34}+\lambda_{23}\,\lambda_{14}. \] The identity is homogeneous in the lambda lengths, hence invariant under rescaling the horocycle at any single vertex, which multiplies all incident lambda lengths by the same positive factor. This homogeneity is one reason the relation is stable under changes of decoration and under passage among equivalent geometric models [2306.17118]. ## 2. Ideal triangulations, flips, and cluster exchange On a punctured surface \(\Sigma\), the lambda lengths of the edges of an ideal triangulation provide global coordinates on the decorated Teichmüller space. If a triangulation is changed by flipping a diagonal \(e\) in an ideal quadrilateral with sides \(a,b,c,d\), the new diagonal \(e'\) satisfies the exchange rule \[ \lambda(e)\lambda(e')=\lambda(a)\lambda(c)+\lambda(b)\lambda(d). \] This is Penner’s relation in its most common operational form: it is the coordinate transformation associated with a flip, and it is exactly the cluster mutation formula for surface \(A\)-coordinates [1110.2748] [1912.11862]. The same quadrilateral can be expressed in shear coordinates. For an inner edge \(e\), \[ e^{Z_e}=\frac{\lambda(a)\lambda(c)}{\lambda(b)\lambda(d)}. \] Under the flip \(e\mapsto e'\), the adjacent shear coordinates transform by \[ A' = A + \phi(Z_e), \quad B' = B - \phi(-Z_e), \quad C' = C + \phi(Z_e), \quad D' = D - \phi(-Z_e), \quad Z_{e'}=-Z_e, \] where \(\phi(Z)=\log(1+e^Z)\). The flip preserves the Fock Poisson bracket and geodesic functions, while the induced transformation on lambda lengths is precisely Ptolemy exchange [1912.11862]. A standard normalized example is the quadrilateral \((0,1,\infty,x)\) with three mutually tangent horocycles at \(0,1,\infty\). Then \[ \lambda_{01}=\lambda_{1\infty}=\lambda_{0\infty}=1,\qquad \lambda_{0x}=\frac{x}{\sqrt{2r}},\qquad \lambda_{x1}=\frac{1-x}{\sqrt{2r}},\qquad \lambda_{x\infty}=\frac{1}{\sqrt{2r}}, \] so Penner’s relation reduces to \[ \lambda_{0x}+\lambda_{x1}=\lambda_{x\infty}. \] This normalization makes the exchange relation transparently linear in the coordinate \(x\) while remaining multiplicative in lambda lengths [2306.17118]. ## 3. Equivalence with Ptolemy, Casey, and Plücker relations A central development in the modern treatment of Penner’s relation is the observation that the same three-term quadric persists under vertexwise rescaling. If two \(6\)-tuples are related by \[ b_{ij}=q_i q_j a_{ij}, \] then \[ a_{12}a_{34}+a_{14}a_{23}=a_{13}a_{24} \] holds if and only if \[ b_{12}b_{34}+b_{14}b_{23}=b_{13}b_{24} \] holds. This torus-action invariance is the mechanism that allows direct passage among Euclidean chord lengths, bitangent lengths, lambda lengths, and Plücker coordinates [2507.10444]. In the Euclidean cyclic-quadrilateral setting, Ptolemy’s theorem is \[ d_{12}d_{34}+d_{14}d_{23}=d_{13}d_{24}. \] For four circles \(H_1,\dots,H_4\) tangent internally to the unit circle at the same four points, Casey’s theorem takes the form \[ t_{12}t_{34}+t_{14}t_{23}=t_{13}t_{24}, \] with the rescaling \[ t_{ij}=\sqrt{1-r_i}\sqrt{1-r_j}\,d_{ij}. \] Interpreting the unit circle as the Poincaré disk turns those circles into horocycles, and then \[ t_{ij}=\lambda_{ij}\sqrt{2r_i}\sqrt{2r_j}. \] Thus Ptolemy implies Casey, and Casey implies Penner, by explicit rescalings; the converse implications are obtained similarly [2507.10444]. The same identity is also the Plücker relation for the maximal minors of a \(2\times 4\) matrix: \[ P_{12}P_{34}+P_{14}P_{23}=P_{13}P_{24}. \] For points on the unit circle parameterized by \(A_i=(\cos 2\alpha_i,\sin 2\alpha_i)\), one has \[ d_{ij}=2P_{ij}, \] so Euclidean Ptolemy and the Plücker relation coincide up to uniform rescaling. The corresponding cross-ratio description, \[ [X_1,X_2,X_3,X_4]=\frac{P_{12}P_{34}}{P_{23}P_{14}}, \] supplies the projective criterion for when two quadruples are related by such rescalings. This identifies Penner’s relation not merely as an analogue of Ptolemy, but as the same three-term relation viewed through hyperbolic decoration data [2507.10444]. ## 4. Poisson, symplectic, and skein-theoretic formulations Penner’s relation sits inside a broader system of geodesic length identities. For arcs \(\alpha,\beta\) crossing at an interior point \(p\) with angle \(\theta\), Roger and Yang formulate the identities \[ e^{x/2}e^{x'/2}+e^{y/2}e^{y'/2}=e^{a/2}e^{b/2}, \] and \[ e^{x/2}e^{x'/2}-e^{y/2}e^{y'/2}=e^{a/2}e^{b/2}\cos\theta, \] where \(a,b\) are the lengths of \(\alpha,\beta\), and \(x,x',y,y'\) are the lengths of the two resolutions. The first equality contains the Ptolemy exchange; companion formulas treat loop-loop intersections, arc-loop intersections, puncture intersections, and self-intersections, thereby unifying Penner’s relation with trace identities and Wolpert-type cosine formulas [1110.2748]. These identities support a Poisson-algebraic description of decorated Teichmüller space. Roger and Yang define a Poisson algebra \(C(\Sigma)\) of arcs and curves and a homomorphism \[ \Phi(v)=r(v),\qquad \Phi(\alpha)=(-1)^{c(\alpha)}\lambda(\alpha), \] satisfying \[ \Phi(\{\alpha,\beta\})=4\,\Pi_{WP}\big(\Phi(\alpha),\Phi(\beta)\big). \] Here \(r(v)\) is the horocycle length at a puncture and \(c(\alpha)\) is the curling number. In this framework the classical Ptolemy relation is the commutative shadow of a skein algebra of arcs and links, with the Kauffman bracket skein relation and the puncture-skein relation providing its \(q\)-deformation [1110.2748]. Penner’s relation is also tightly tied to Weil–Petersson geometry. Penner’s symplectic form on decorated Teichmüller space is \[ \Omega_{\mathrm{WP}}=\sum_{\text{ideal triangles}} d\log\lambda_k\wedge d\log\lambda_{k+1}. \] For hyperbolic surfaces with holes and bordered cusps, one can pass between extended shear coordinates and lambda lengths, induce the Poisson bracket on lambda lengths from the Fock bracket on shear coordinates, and derive an explicit shear-coordinate expression \[ \Omega_{\mathrm{WP}}=\sum_{j=1}^{n}\sum_{\substack{\beta_1<\beta_2\\ \beta_i\in I_j}} dY_{\beta_1}\wedge dY_{\beta_2}. \] The resulting form is shown to be inverse to the Fock Poisson structure. This places Penner’s relation inside a symplectic-combinatorial package consisting of flips, log-canonical Poisson brackets, and invariant \(2\)-forms [1912.11862]. ## 5. Generalizations beyond the classical quadrilateral Penner-type coordinates extend beyond the classical decorated punctured-surface setting. For a \(3\)-punctured sphere with one cone point, McShane works with parabolic generators \[ C=\begin{pmatrix}1&-c\\0&1\end{pmatrix},\qquad B=\begin{pmatrix}1+b&-b\\ b&1-b\end{pmatrix},\qquad A=\begin{pmatrix}1&0\\ a&1\end{pmatrix}, \] where \(a,b,c>0\). The quantities \(ab\), \(bc\), and \(ac\) act as lambda-like parameters, and \(ac\) is identified as one of Penner’s lambda lengths; for the edge \(0\)–\(\infty\), the geodesic segment outside cusp neighborhoods has length \(\log(ac)\) [1503.00539]. The cone angle \(\theta\in[0,2\pi]\) is encoded not by a modified Ptolemy identity but by the trace coordinate \[ \kappa(a,b,c)=2+abc-ab-bc-ac=\operatorname{tr}(CBA)=2\cos(\theta/2). \] McShane’s paper does not provide an explicit \(\theta\)-corrected Ptolemy formula. Instead, it gives rational flip-like involutions, such as \[ I_b:(a,b,c)\mapsto \big(a(b-1),\,\tfrac{b}{b-1},\,c(b-1)\big), \] and an explicit Weil–Petersson form \[ \omega_{WP} =\frac{da\wedge db}{ab-a-b} =\frac{db\wedge dc}{bc-b-c} =\frac{dc\wedge da}{ac-a-c}. \] The cone-angle dependence appears in the collar-type inequality \[ \sinh\!\big(\tfrac14\ell_{\alpha\beta}\big)\, \sinh\!\big(\tfrac14\ell_{\beta\gamma}\big)\ge \cos\!\big(\tfrac{\theta}{4}\big), \] which reduces to the classical collar inequality when \(\theta=0\) [1503.00539]. A different extension occurs in \(3\)-dimensional hyperbolic geometry. For the tetrahedral graph associated with the tessellation of \(\mathbb H^3\) by regular ideal tetrahedra, standard horospheres give \[ \lambda_{XY}=l_{XY}=\bigl|p_X s_Y-p_Y q_X\bigr| \] for vertices \(X,Y\in \mathbb Q(\sigma)\cup\{\infty\}\). The \(3\)-dimensional counterpart of Penner’s relation for a fundamental tetrahedron \(A_1A_2A_3A_4\) and a point \(X\) is \[ \sum_{i=1}^{4}\lambda_{XA_i}^{4} = \sum_{1\le i