Pair-of-Pants Decompositions in Topology

Updated 27 January 2026

Pair-of-pants decompositions are methods for expressing complex algebraic varieties as unions of fundamental building blocks modeled on a three-holed sphere.
They leverage essential projective hyperplane complements and angle maps to establish homotopy equivalences and capture key topological invariants.
The approach connects tropical geometry, toric compactifications, and moduli spaces, offering new insights into degeneration phenomena and cohomological bounds.

A pair-of-pants decomposition is a method of expressing complex algebraic or topological varieties as unions of basic building blocks—generalizations of the "pair-of-pants" from low-dimensional topology—glued together along certain subspaces. The classical pair-of-pants is the three-holed sphere, which serves as a fundamental domain in the study of hyperbolic surfaces. In higher dimensions, particularly for complex algebraic varieties, the construction is generalized using "essential projective hyperplane complements," whose angle sets model the local geometry and combinatorics of pair-of-pants pieces. The modern theory connects these decompositions to tropical geometry, the theory of matroids, and higher-dimensional moduli problems, providing new perspectives on topological invariants and degeneration phenomena (Elmaazouz et al., 20 Jan 2026).

1. Essential Projective Hyperplane Complements and the Building Blocks

The fundamental local pieces in higher-dimensional pair-of-pants decompositions are essential projective hyperplane complements. Fixing homogeneous linear forms $H_0,\dots,H_n$ in $\C[X_0,\dots,X_d]$ defines hyperplanes $D_j = \{H_j=0\}\subset\PP^d$. The complement $Y = \PP^d \setminus \bigcup_{j=0}^n D_j$ is called a projective hyperplane complement. The space is essential if the induced evaluation map to the algebraic torus

$Y \to (\C^\times)^{n+1}/\C^\times,\quad [X] \mapsto [H_0(X):\dots: H_n(X)]$

is injective. This injectivity encodes that $Y$ is isomorphic, after dehomogenization, to an affine subvariety in $(\C^\times)^n$ determined by an affine-linear ideal, i.e., a "very-affine" linear space, providing a universal local model (Elmaazouz et al., 20 Jan 2026).

2. The Angle Map and Angle Sets

The angle map is defined on the algebraic torus $T = (\C^\times)^n$ with coordinates $(x_1,\dots,x_n)$ by

$\mathrm{ang} : T \to (S^1)^n, \qquad (x_1,\dots,x_n) \mapsto (x_1/|x_1|, \dots, x_n/|x_n|).$

For a very-affine linear space $X \subset T$ , its angle set is $\Theta = \mathrm{ang}(X) \subset (S^1)^n$ . The central result (Theorem A) establishes that the angle map induces a homotopy equivalence onto its image: $\mathrm{ang} : X \xrightarrow{\ \simeq\ } \Theta.$ The proof involves toric-cone charts near each point of $\Theta$ , where fibers are convex and contractible, and uses a cover refined by McCord’s theorem (which strengthens the Čech–Vietoris approach) to infer the global homotopy type. This framework continuously interpolates classical sign-pattern (Salvetti, Björner–Ziegler) complexes, generalizing to real-angle stratifications (Elmaazouz et al., 20 Jan 2026).

3. Kummer Coverings and Functorial Properties

A Kummer covering of order $m$ is given by $\kappa_m : (x_1,\dots,x_n) \mapsto (x_1^m, \dots, x_n^m)$ . For $X \subset T$ very-affine linear, the preimage $X_m = \kappa_m^{-1}(X)$ satisfies that the induced angle map

$\mathrm{ang} : X_m \to \Theta_m = \mathrm{ang}(X_m)$

remains a homotopy equivalence. This property is verified using the same local-convex structure and the stability of contractibility and the McCord argument under finite coverings (Elmaazouz et al., 20 Jan 2026).

4. Gluing Local Blocks: The Global Pair-of-Pants Decomposition

A semistable torically hyperbolic degeneration $\mathcal{X} \to U$ gives rise to a special fiber comprised of (punctured) essential projective hyperplane complements glued along toric strata. In the angular pair-of-pants framework, one associates to each local component its angle set $\Theta_\sigma$ , with the gluing data encoded by the dual intersection complex $\Sigma$ of the degeneration. The space constructed as the homotopy colimit over the diagram

$\Sigma^{\mathrm{op}} \to \mathrm{Top}, \qquad \sigma \mapsto \Theta_\sigma$

yields, via Kato–Nakayama theory, a real torus fibration over $\Sigma$ homotopy equivalent to the original algebraic variety. This supplies a higher-dimensional analogue of the classical surface pair-of-pants decomposition (Elmaazouz et al., 20 Jan 2026).

5. Cohomological and Topological Implications

Classical results on the minimality of CW-complex structures of arrangement complements extend to these settings: for essential projective arrangements, the complement $M(\mathcal{A})$ has the homotopy type of a minimal CW-complex, with the number of $k$ -cells equal to the $k$ th Betti number $b_k(M(\mathcal{A}))$ (Tibar, 2014). The Orlik–Solomon algebra provides models for the integral cohomology, and Betti numbers correspond to the Whitney numbers of the associated matroid lattice (Budur, 2011). Higher resonance varieties, defined via the Aomoto complex, are determinantal loci in projective space and obey combinatorially explicit bounds and connectivity results (Budur, 2011). Tropical intersection theory and polar invariants further enable computation of Betti numbers and characteristic classes associated with these decompositions (Tibar, 2014, Denham, 2013).

6. Connections to Tropical Geometry and Toric Compactifications

The theory of pair-of-pants decompositions is deeply intertwined with tropical and toric geometry. The essential hyperplane complements are very-affine and their tropicalizations correspond to Bergman fans of the underlying matroid. The visible-contour and minimal wonderful compactifications (De Concini–Procesi) are realized as closures in suitably chosen toric varieties whose underlying fans (e.g., Bergman, nested-set fans) capture the combinatorial stratification induced by the decomposition (Elmaazouz et al., 20 Jan 2026, Kurul et al., 2017, Denham, 2013). This framework allows for extension theorems for endomorphisms, boundary stratifications compatible with the combinatorics, and connections to moduli spaces such as the Deligne–Mumford compactifications in the context of braid arrangements (Kurul et al., 2017, Denham, 2013).

7. Illustrative Case: The Complement of Four Lines in $\PP^2$

As an explicit example, consider $f(x,y,z)=1+x+y+z$ , so $X=\{f=0\}\subset (\C^\times)^3$, the complement of four generic hyperplanes in $\PP^2$. The angle set $\Theta\subset (S^{1})^3$ can be described (via the logarithmic–angle map) as the complement of the rhombic dodecahedron within the cube $[-\pi,\pi]^3$ . Theorem A yields immediately that $X \simeq \Theta \simeq$ the $2$-skeleton of the $3$-torus, aligning with Hattori’s result that this complement is homotopy equivalent to the $2$-skeleton of $(S^1)^3$ (Elmaazouz et al., 20 Jan 2026).