2.1. Weyl chamber-valued and ${\mathbb{R}}^n$ -valued metrics

Given a finite reflection group $({\mathfrak{a}},W)$ and a fixed model closed Weyl chamber ${\overline{\mathfrak a}^+}$ , we define a ${\overline{\mathfrak a}^+}$ -valued pseudometric on a space $X$ as a function $\overrightarrow{d} \colon X \times X \to{{\overline{\mathfrak a}^+}}$ satisfying $\overrightarrow{d}(x,x)=0$ and

1. Triangular inequality: $\overrightarrow{d}(x,z)\leq \overrightarrow{d}(x,y)+\overrightarrow{d}(y,z)$ ;

2. $\text{opp}$ -symmetry: $\overrightarrow{d}(y,x)=\overrightarrow{d}(x,y)^{\text{opp}}$ ,

where $\text{opp}$ is the opposition involution on $\mathfrak{a}$ , and $\mathfrak{a}$ is endowed with the partial order with positive cone the Euclidean dual $({{\overline{\mathfrak a}^+}})^*$ of ${\overline{\mathfrak a}^+}$ . We will call $\overrightarrow{d}$ a ${\overline{\mathfrak a}^+}$ -valued metric if in addition it is separated, namely $\overrightarrow{d}(x,y)=0$ implies $x=y$ .

In this article, we are interested only in the reflection group associated to the semisimple Lie group $G=\textrm{PSL}(2,{\mathbb{R}})^n$ , which is ${\mathfrak{a}}={\mathbb{R}}^n$ with Weyl group $W=\{\pm{\textrm{id}}_{\mathbb{R}}\}^n$ . The model closed Weyl chamber is ${{\overline{\mathfrak a}^+}}={\mathbb{R}}_+^n$ . In this case, the involution opposition is trivial, $({{\overline{\mathfrak a}^+}})^*={{\overline{\mathfrak a}^+}}={\mathbb{R}}_+^n$ so a ${\overline{\mathfrak a}^+}$ -valued (pseudo)metric amounts simply to a $n$ -tuple

\begin{align*}\overrightarrow {d}=(d_i)_{i=1,\ldots,n}\end{align*}

of usual $\mathbb{R}$ -valued (pseudo)metric $d_i$ . This gives rise to the equivalent notion of a ${\mathbb{R}}^n$ -(pseudo)metric:

Observe that even if $(X,\overrightarrow{d})$ is an ${\mathbb{R}}^n$ -metric space, it is possible that none of the pseudo-metrics $d_i$ is separated.

Example 2.2. Examples of ${\mathbb{R}}^n$ -metric spaces are products

\begin{align*}X=X_1\times \ldots \times X_n\end{align*}

of ordinary metric spaces, as well as subspaces thereof with the induced metric. Another example that will play an important role in our paper are the ${\mathbb{R}}^2$ -metric naturally induced on the universal cover of a half translation surface, see Section 5.1 for details. Another relevant example is given by simplicial trees with ${\mathbb{R}}^2$ -valued edge lengths. This is discussed, and generalized, in Section 3.5.

In our case of interest,Footnote 2 it is easy to prove that, for any $W$ -invariant norm $N\colon{\mathfrak{a}}={\mathbb{R}}^n\to{\mathbb{R}}_+$ , $N$ is not decreasing on each variable on ${{\overline{\mathfrak a}^+}}={\mathbb{R}}_+^n$ , that is, for the partial order introduced above. As a result, a ${\overline{\mathfrak a}^+}$ -valued (pseudo)metric $\overrightarrow{d}$ on $X$ induces an $\mathbb{R}$ -valued (pseudo)metric by setting

\begin{align*}d_N(x,y)\;:\!=\;N(\overrightarrow {d}(x,y)) \;.\end{align*}

Note that $\overrightarrow{d}(x,y)=0$ if and only if $d_N(x,y)=0$ , in particular $\overrightarrow{d}$ is separated if and only if $d_N$ is separated.

Norms $N\colon{\mathbb{R}}^n\to{\mathbb{R}}$ of particular interest to us are the $\ell ^2$ and $\ell ^1$ norms, which we denote, respectively, by $\|\cdot \|_2$ and $\|\cdot \|_1$ . They give the associated Euclidean (pseudo)metric

\begin{align*}d_{\|\cdot \|_2}(x,y)\;:\!=\;\sqrt {\sum _{i=1}^n d_i(x,y)^2}\end{align*}

and $\ell ^1$ -(pseudo)metric

\begin{align*}d^1(x,y)\;:\!=\;\sum _{i=1}^n d_i(x,y)\end{align*}

on $X$ . We will also denote $d_{\|\cdot \|_2}$ by $\lVert \overrightarrow{d} \rVert _2$ and $d^1$ by $\| \overrightarrow{d} \|_1$ .

2.2. The Weyl chamber valued length function on $\textrm{PSL}(2,{\mathbb{R}})^n$

The symmetric space associated to $\textrm{PSL}(2,{\mathbb{R}})^n$ is the product $X=(\mathcal H^2)^n$ of $n$ copies of the hyperbolic plane $\mathcal H^2$ . On $X$ the natural Weyl-chamber valued distance $\overrightarrow{d} \colon X \times X \to{\mathbb{R}}_+^n$ is simply the product distance

\begin{align*}\overrightarrow {d}(x,y)=(d(x_i,y_i)_i)_{i=1,\ldots,n}\;.\end{align*}

The Weyl chamber length (or ${\mathbb{R}}^n$ -length) of $g=(g_i)_{i=1,\ldots,n}\in \textrm{PSL}(2,{\mathbb{R}})^n$ can be defined as

(1.1) \begin{align} \overrightarrow{L}(g)\;:\!=\;\inf _{x\in X}\overrightarrow{d}(x,gx) \end{align}

where the infimum is considered with respect to the partial order on ${\mathbb{R}}^n$ with positive cone ${\mathbb{R}}_+^n$ . As the metric space $X$ is a product, it boils down to taking the list of the usual lengths in each factor:

\begin{align*}\overrightarrow {L}(g)=({L}(g_i))_{i=1,\ldots,n}.\end{align*}

Here ${L}(g)\;:\!=\;\inf _{x\in \mathcal H^2}d(x,gx)$ is the usual translation length of $g$ on the hyperbolic plane $\mathcal H^2$ . This ensures in particular that the infimum in (1.1) exists.

The length function of a representation $\rho \colon \Gamma \to \textrm{PSL}(2,{\mathbb{R}})$ is

\begin{align*}L_\rho \;:\!=\;{L}\circ \rho \colon \Gamma \to {\mathbb {R}}_+ \;.\end{align*}

Similarly, the Weyl chamber length function (or ${\mathbb{R}}^n$ -length function) of a representation $\rho \colon \Gamma \to \textrm{PSL}(2,{\mathbb{R}})^n$ is

\begin{align*}\overrightarrow {L}_\rho \;:\!=\;\overrightarrow {L}\circ \rho \colon \Gamma \to {\mathbb {R}}_+^n \;. \end{align*}

Of course when $\rho =(\rho _i)_{i=1,\ldots,n}$ , it holds $\overrightarrow{L}_\rho =(L_{\rho _i})_{i=1,\ldots,n}$ .

2.3. The Weyl chamber length compactification

Here we define the Weyl chamber length compactification constructed in [Reference Parreau25], which has a simpler construction in our context. We endow the space $({\mathbb{R}}_+^n)^\Gamma$ of functions $\overrightarrow{L}\colon \Gamma \to{\mathbb{R}}_+^n$ with the topology of pointwise convergence, and the space ${\mathbb{P}}(({\mathbb{R}}_+^n)^\Gamma )$ of homothety classes of nonzero functions $\overrightarrow{L}$ with the quotient topology. The map

\begin{align*}\begin {array}{c@{\quad}c@{\quad}c@{\quad}c} \overrightarrow {\mathcal {L}}:&{\textrm {Hom}}(\Gamma,\textrm {PSL}(2,{\mathbb {R}})^n) &\to & ({\mathbb {R}}_+^n)^\Gamma \\[5pt] &\rho &\mapsto & \overrightarrow {L}\circ \rho \end {array}\end{align*}

induces a continuous map

\begin{align*}{\mathbb {P}}\overrightarrow {\mathcal {L}}\colon \mathcal {T}^n \to {\mathbb {P}}(({\mathbb {R}}_+^n)^\Gamma )\end{align*}

equivariant with respect to the mapping class group action. The injectivity of $\mathcal{T} \to{\mathbb{P}}{\mathbb{R}}_+^\Gamma$ implies that the map ${\mathbb{P}}\overrightarrow{\mathcal{L}}$ is injective as well. The Weyl chamber length compactification $\overline{\mathcal{T}^n}^{\textrm{WL}}$ of $\mathcal{T}^n$ is by definition the closure of its image (which is a compact set). We denote

\begin{align*}\partial ^{\textrm {WL}}(\mathcal {T}^n)\;:\!=\;\overline {\mathcal {T}^n}^{\textrm {WL}}\!\!-{\mathbb {P}}\overrightarrow {\mathcal {L}}(\mathcal {T}^n)\subset {\mathbb {P}}(({\mathbb {R}}_+^n)^\Gamma )\end{align*}

its boundary.

2.4. Other length compactifications

Recall from Section 2.1 that any $W$ -invariant norm $N\colon{\mathbb{R}}^n\to{\mathbb{R}}$ induces a metric $d_N\;:\!=\;N(\overrightarrow{d})$ on $X=(\mathcal H^2)^n$ , and thus a corresponding length function, the $N$ -length function $L_{d_N}$ . We use this to construct the $N$ -length compactification $\overline{\mathcal{T}^n}^{N}$ of $\mathcal{T}^n$ , associated to $L_{d_N}$ .

It is easy to verify that, since $N$ is not decreasing on each variable on ${{\overline{\mathfrak a}^+}}={\mathbb{R}}_+^n$ , and $\mathcal{T}^n$ is a product, it holds $L_{d_N}(g)=N(\overrightarrow{L}(g))$ . The Weyl chamber length compactification then dominates naturally $\overline{\mathcal{T}^n}^{N}$ : the restriction of the natural map

\begin{align*} \begin {array}[t]{rll} ({\mathbb {R}}_+^n)^\Gamma &\to & {\mathbb {R}}_+^\Gamma \\[5pt] \overrightarrow {L}&\mapsto & N\circ \overrightarrow {L} \end {array} \end{align*}

induces a continuous $\textrm{Out}(\Gamma )$ -equivariant surjective map

\begin{align*}\overline {\mathcal {T}^n}^{\textrm {WL}} \to \overline {\mathcal {T}^n}^{N} \end{align*}

restricting to identity on $\mathcal{T}^n$ .

3.1. Measured foliations

Let $\mathcal{F}$ be a transverse measured foliation on a topological surface $\Sigma$ with fundamental group $\Gamma$ . We denote by $i(\mathcal {F},c)$ the measure of a path $c\subset \Sigma$ with respect to $\mathcal{F}$ . The intersection of $\mathcal{F}$ with $\gamma \in \Gamma$ is defined as

\begin{align*}i_{\mathcal {F}}(\gamma )\;:\!=\;\inf _c i(\mathcal {F},c)\end{align*}

where the infimum is taken over all closed loops $c$ transverse to $\Lambda$ and freely homotopic to $\gamma$ . We denote by

\begin{align*}I_{\mathcal {F}}\;:\!=\;i(\mathcal {F},\cdot )\colon \Gamma \to {\mathbb {R}}_+\end{align*}

the corresponding intersection function.

This may be reformulated in terms of pseudometrics. We denote by $d_{\mathcal{F}}$ the pseudometric on the universal cover $\widetilde{\Sigma }$ of $\Sigma$ associated with the lift $\widetilde{\mathcal{F}}$ of $\mathcal{F}$ : it is defined by the formula

\begin{align*}d_{\mathcal {F}}(x,y) \;:\!=\;\inf _c i(\widetilde {\mathcal {F}}, c)\end{align*}

where the infimum is taken on paths $c$ joining $x$ to $y$ in $\widetilde{\Sigma }$ and transverse to $\widetilde{\mathcal{F}}$ . The length function $L_d\in ({\mathbb{R}}_+)^\Gamma$ of a pseudometric $d$ on a $\Gamma$ -space $X$ is defined as

\begin{align*}L_d(\gamma )\;:\!=\;\inf _{x\in X} d(x,\gamma x) \; .\end{align*}

By definition, the length function of $d_{\mathcal{F}}$ on $\widetilde{\Sigma }$ is the intersection function of $\mathcal{F}$ :

\begin{align*}L_{d_{\mathcal {F}}}=I_{\mathcal {F}}.\end{align*}

The dual tree of a measured foliation $\mathcal{F}$ is defined as the quotient metric space $T(\mathcal{F})\;:\!=\;\widetilde{\Sigma }/d_{\mathcal{F}}$ of $\widetilde{\Sigma }$ by the pseudometric $d_{\mathcal{F}}$ . The tree $T(\mathcal{F})$ inherits an action of $\Gamma$ by isometries, with associated length function

\begin{align*}L_{T(\mathcal{F})}=I_{\mathcal {F}} \;.\end{align*}

3.2. Measured geodesic laminations

Let $\lambda =(\Lambda,\nu )$ be a measured lamination on $\Sigma$ . As for measured foliations, we denote by $i(\lambda, c)$ the $\lambda$ -measure of a path $c\colon [0,1] \to \Sigma$ transverse to $\Lambda$ . The intersection of $\lambda$ with $\gamma \in \Gamma$ is defined as

\begin{align*}i(\lambda, \gamma )\;:\!=\;\inf _c i(\lambda,c)\end{align*}

where the infimum is taken over all closed loops $c$ transverse to $\Lambda$ and freely homotopic to $\gamma$ , and we denote by

\begin{align*}I_\lambda \;:\!=\;i(\lambda,\cdot )\colon \Gamma \to {\mathbb {R}}_+\end{align*}

the corresponding intersection function.

We denote by $d_\lambda$ the pseudometric on $\widetilde{\Sigma }$ associated with $\lambda$ : this is the pseudometric defined on $\widetilde{\Sigma }-\widetilde{\Lambda _0}$ , where $\widetilde{\Lambda _0}$ is the set of atomicFootnote 3 leafs of the lift $\tilde{\lambda }=(\widetilde{\Lambda },\nu )$ of $\lambda$ , by the formula

\begin{align*}d_\lambda (x,y) \;:\!=\;\inf _c i(\tilde {\lambda }, c)\end{align*}

where the infimum is taken on paths $c$ joining $x$ to $y$ in $\widetilde{\Sigma }$ and transverse to $\widetilde{\Lambda }$ . By definition, the length function of $d_\lambda$ on $\widetilde{\Sigma }-\widetilde{\Lambda _0}$ is the intersection function of $\lambda$ :

\begin{align*}L_{d_\lambda }=I_\lambda .\end{align*}

We refer to [Reference Kapovich14] for the classical correspondence between measured foliations and measured geodesic laminations on hyperbolic surfaces.

3.3. Geodesic currents

We refer to [Reference Bonahon2] or [Reference Martelli15, Section 8] for the background material in the case of closed geodesic surfaces, and for instance to [Reference Burger, Iozzi, Parreau and Pozzetti4] for the generalization to finite type surfaces.

A geodesic current on a finite type hyperbolic surface $\Sigma =\mathcal H^2/\Gamma$ is a flip-invariant $\Gamma$ -invariant positive Radon measure on the space of unoriented, unparametrized geodesics of $\mathcal H^2$ , that may be identified with the space

\begin{align*} \mathcal {G}(\mathcal H^2)\;:\!=\;\{(x,y)\in (\partial \mathcal H^2)^2:\,x\neq y\} \end{align*}

of distinct pairs of points in the boundary at infinity $\partial \mathcal H^2$ of $\mathcal H^2$ . A basic example is the current $\delta _c$ associated to a closed geodesic $c$ in $\Sigma$ , which is defined as the sum of the Dirac masses on the lifts of $c$ to $\mathcal H^2$ . Recall that the Bonahon intersection $i(\mu,\nu )$ of two geodesic currents $\mu,\nu$ is defined as the $(\mu \times \nu )$ -measure of any Borel fundamental domain for the $\Gamma$ -action on the space $\mathcal{DG}(\mathcal H^2)\subset \mathcal{G}(\mathcal H^2)\times \mathcal{G}(\mathcal H^2)$ of pairs of transverse geodesics $(g,h)$ .

We refer for instance to [Reference Martelli15, Section 8.3.4] for the bijective correspondence $\lambda \mapsto \mu _ \lambda$ between measured geodesic laminations $\lambda =(\Lambda,\nu )$ of full support $\Lambda$ and geodesic currents $\mu$ on $\Sigma$ with $i(\mu,\mu )=0$ , equivalently currents $\mu$ such that no two geodesics in the support of $\mu$ intersect transversally. The geodesic current $\mu _\lambda$ has support $\Lambda$ , and, for each geodesic arc $c$ transverse to $\Lambda$ , the restriction of $\mu _\lambda$ to the set of geodesics $g$ of $\Lambda$ intersecting $c$ is the pullback of the $\lambda$ -measure on $c$ by the map $g \mapsto g\cap c$ . The notions of intersection then coincide as

\begin{align*} i(\mu _\lambda,\delta _c)=i(\lambda,c)\,, \end{align*}

for all closed geodesic $c$ in $\Sigma$ . Note that the union of two measured geodesic laminations with disjoint support corresponds to the sum of the associated currents. From now on, we will freely identify $\lambda$ with $\mu _\lambda$ whenever convenient.

Given a geodesic current $\mu$ on $\Sigma$ and a geodesic subsurface $\Sigma^{\prime}$ of $\Sigma$ , we denote by $\mu_{|{\Sigma^{\prime}}}$ the restriction of $\mu$ to the subsurface $\Sigma^{\prime}$ , namely the geodesic current

\begin{align*}\mu _{{\Sigma^{\prime}}}\;:\!=\;\chi _{\mathcal {G}(\Sigma^{\prime})}\mu,\end{align*}

where $\chi _{\mathcal{G}(\Sigma^{\prime})}$ is the characteristic function of the set $\mathcal{G}(\Sigma^{\prime})$ of geodesics whose projection lies in $\Sigma^{\prime}$ . In general, a geodesic current of full support might restrict to the zero current on a proper subsurface (this is the case when $\mu$ is the Liouville current of a hyperbolic structure), but if, for every boundary component $c$ of $\Sigma^{\prime}$ , $i(\mu,\delta _c)=0$ , then for every $\gamma \in \pi _1(\Sigma^{\prime})$ , $i(\mu,\delta _\gamma )=i(\mu_{|\Sigma^{\prime}},\delta _\gamma )$ [Reference Burger, Iozzi, Parreau and Pozzetti5, Proposition 4.13].

3.4. Dual tree of a measured geodesic lamination

Let $\lambda =(\Lambda,\nu )$ be a measured geodesic lamination on an hyperbolic surface $\Sigma$ . We now recall the construction of the associated dual $\mathbb{R}$ -tree. We follow the construction of [Reference Kapovich14, Section 11.12].

We first get rid of the atoms blowing-up along atomic leafs: for each isolated leaf $c$ of $\Lambda$ , cut $\Sigma$ along $c$ and insert an annulus $B(c)=c\times [0,1]$ , foliated by the parallel circles $c\times{t}$ . We endow $\Sigma ^b$ with the locally CAT(0) metric $m^b$ equal to the original metric $m$ of $\Sigma$ outside the annuli $B(c)$ and to the flat metric on $B(c)$ . This gives a locally CAT(0) surface $(\Sigma ^b,m^b)$ homeomorphic to $\Sigma$ , with a geodesic lamination $\Lambda ^b$ . We call $(\Sigma ^b,\Lambda ^b)$ the blow-up of $(\Sigma,\Lambda )$ . The blow-up of the transverse measure $\nu$ on $\Lambda$ is the non-atomic transverse measure $\nu ^b$ on $\Lambda ^b$ , obtained from $\nu$ by giving to each foliated annulus $B(c)$ the transverse measure $\nu (c)dt$ on $[0,1]$ . The pseudometric $d_{\lambda ^b}$ associated to the measured lamination $\lambda ^b\;:\!=\;(\Lambda ^b,\nu ^b)$ is then a continuous and everywhere-defined path pseudometric on $\widetilde{\Sigma ^b}$ . The $\mathbb{R}$ -tree dual to $\lambda$ is defined as the quotient metric space $T(\lambda )\;:\!=\;\widetilde{\Sigma ^b}/d_\lambda ^b$ , whose metric will be denoted by $d_\lambda$ .

It is easy but crucial to see that the geodesics of $T(\lambda )$ are the projections of the $m^b$ -geodesics of $\widetilde{\Sigma ^b}$ . In the following lemma, and in the rest of the article, when we write geodesic we mean a path $t\mapsto c(t)$ that is additive for the distance $d$ , namely such that $d(c(t_1),c(t_3))=d(c(t_1),c(t_2))+d(c(t_2),c(t_3))$ for all $t_1\leq t_2\leq t_3$ . Observe that $c$ may then be constant on some subset of its domain of definition and needs not be parametrized at constant speed.

Proof. Let $x,y$ be points of $\widetilde{\Sigma ^b}$ and $c\colon [0,1]\to \widetilde{\Sigma ^b}$ be the constant speed geodesic segment from $x$ to $y$ . As the leafs of $\widetilde{\Lambda }^b$ are geodesics, and CAT(0) spaces are uniquely geodesic, the path $c$ cannot cross twice the same leaf of $\widetilde{\Lambda }^b$ , hence $i(\lambda ^b,c)$ is minimal and $d_{\lambda ^b}(x,y)=i(\lambda ^b,c)$ . Denote by $p\colon \widetilde{\Sigma ^b}\to T(\lambda )$ the canonical projection. The projection $\overline{c}=p\circ c$ of $c$ in the dual tree $T(\lambda )$ does not backtrack, hence is a geodesic.

The tree $T(\lambda )$ inherits an action of $\Gamma$ by isometries, with associated length function

\begin{align*}L_{T(\lambda )}=I_\lambda \;.\end{align*}

Note that when $\Sigma$ is closed the tree $T(\lambda )$ is then minimal for the action of $\Gamma$ , namely there is no invariant proper subtree. Indeed an invariant proper subtree will lift as a proper closed invariant convex subset in $\widetilde{\Sigma ^b}$ , and taking the closure in the CAT(0) compactification we will then obtain a proper closed invariant subset of the boundary at infinity $\partial _\infty \widetilde{\Sigma ^b} \simeq \partial \mathcal H^2$ , which is impossible.

Note that the tree $T(\lambda )$ is essentially determined by its length function ; more generally, we will use the length rigidity of actions on minimal trees with length functions in $\mathcal{ML}$ : It is easily seen that for $\lambda \neq 0$ the action of $\Gamma$ on $T(\lambda )$ has no global fixed point in $\partial _\infty T$ , where $\partial _\infty T$ denotes the boundary at infinity of $T$ . This in fact depends only on the length function, since having a fixed point at infinity is equivalent to the length function being of the form $\gamma \mapsto |h(\gamma )|$ , where $h:\Gamma \to{\mathbb{R}}$ is a morphism [Reference Culler and Morgan7, Corollary 2.3]. In particular, all minimal $\Gamma$ -trees with nonzero length function in $\mathcal{ML}$ have no fixed point at infinity, in particular are semisimple and not shifts in the sense of [Reference Culler and Morgan7]. It follows then from the length rigidity for minimal semisimple $\Gamma$ -trees [Reference Culler and Morgan7, Theorem 3.7] that if $T$ and $T'$ are any two minimal $\Gamma$ -trees with the same length function in $\mathcal{ML}$ , then there is a unique equivariant isometry $T\to T'$ .

3.5. The ${\mathbb{R}}^n$ -tree dual to a $n$ -measured geodesic lamination

Let $n\in{\mathbb{N}}$ .

Observe that, while we only assume that $d_i$ are pseudodistances, we require that their sum $d^1$ is a distance, namely it separates points.

When $\Sigma$ is endowed with a locally CAT(0) metric, a $n$ -measured geodesic lamination $\overrightarrow{\lambda }=(\Lambda,\overrightarrow{\nu })$ is called geodesic when $\Lambda$ is geodesic.

When $\Sigma$ is a closed hyperbolic surface, seeing measured geodesic laminations as geodesic currents, a $n$ -tuple $(\lambda _1,\ldots, \lambda _n)$ of measured geodesic laminations is parallel if and only if

\begin{align*}i(\lambda _i, \lambda _j)=0 \text { for all } i,j\end{align*}

or equivalently that

\begin{align*}\lambda \;:\!=\;\sum _{i=1}^n\lambda _i\text { is a measured lamination.}\end{align*}

Let $\overrightarrow{\lambda }=(\Lambda,\overrightarrow{\nu })$ be a $n$ -measured lamination on a closed hyperbolic surface $\Sigma$ . We now construct the associated dual ${\mathbb{R}}^n$ -tree, adapting the construction of Section 3.4.

We take the $\mathbb{R}$ -tree $T(\lambda )\;:\!=\;\widetilde{\Sigma ^b}/d_\lambda ^b$ dual to the measured lamination $\lambda =(\Lambda,\nu )$ where $\nu =\sum _i\nu _i$ .

Recall from Section 3.4 that $(\Sigma ^b,\Lambda ^b)$ is the blow-up of $(\Sigma,\Lambda )$ , which is a locally CAT(0) surface $(\Sigma ^b,m^b)$ homeomorphic to $\Sigma$ , with a geodesic lamination $\Lambda ^b$ , and that $\lambda ^b=(\Lambda ^b,\nu ^b)$ where $\nu ^b$ is the non-atomic transverse measure on $\Lambda ^b$ obtained by blowing up $\nu$ , and that $d_{\lambda ^b}$ the associated continuous path pseudometric on $\widetilde{\Sigma ^b}$ .

Taking the blow-ups $\nu ^b_i$ of the transverse measure $\nu _i$ , we obtained a $n$ -tuple $\overrightarrow{\nu }^b\;:\!=\;(\nu ^b_i)_i$ of non-atomic transverse measures on $\lambda ^b$ (not necessarily of full support), namely a $n$ -measured lamination $\overrightarrow{\lambda }^b=(\Lambda ^b,\overrightarrow{\nu }^b)$ on $\Sigma ^b$ , which we will call the blow-up of $\overrightarrow{\lambda }=(\Lambda,\overrightarrow{\nu })$ .

Each of the measured laminations $\lambda ^b_i=(\Lambda ^b,\nu ^b_i)$ then induces a continuous everywhere-defined path pseudometric $d_{\lambda ^b_i}$ on $\widetilde{\Sigma ^b}$ .

Definition 3.4. The ${\mathbb{R}}^n$ -tree $T(\overrightarrow{\lambda })$ dual to $\overrightarrow{\lambda }$ is defined as the $\mathbb{R}$ -tree $T(\lambda )\;:\!=\;\Sigma ^b/d_\lambda ^b$ dual to the measured lamination $\lambda$ , endowed with the ${\mathbb{R}}^n$ -pseudometric given by the $n$ -tuple

\begin{align*}\overrightarrow {d}_\lambda \;:\!=\;(d_{\lambda _i})_{i=1,\dots,n}\end{align*}

of quotient pseudometrics $d_{\lambda _i}$ induced by $d_{\lambda ^b_i}$ .

It inherits an action of $\Gamma$ preserving $\overrightarrow{d}_\lambda$ , that is preserving each pseudometric $d_{\lambda _i}$ .

Proof. The crucial fact is that, by Proposition 3.1, the infima involved in the definition of the pseudometrics $d_{\lambda _i}$ are in fact all realized simultaneously for a same path $c$ in $\widetilde{\Sigma ^b}$ , the $m^b$ -geodesic. In particular, $c$ is a minimizing curve for $d_{\lambda ^b}$ and its projection on $T(\lambda )$ is a minimizing path for $\overrightarrow{d}_\lambda$ . This ensures that $d_{\lambda }=\sum _i d_{\lambda _i}$ on $T(\lambda )$ .

The separation of $\overrightarrow{d}_\lambda$ on $T(\lambda )$ follows: if $\overrightarrow{d}_\lambda (x,y)=0$ then $d_{\lambda }(x,y)=\sum _i d_{\lambda _i}(x,y)=0$ , hence $x=y$ .

4.1. Proof of Theorem 1.1

Theorem 1.1 is classical when $n=1$ and follows from the work of Thurston. Thurston furthermore proved [Reference Fathi, Laudenbach and Poénaru10, Expose 8] that $\mathcal{ML}$ is homeomorphic to ${\mathbb{R}}^{6g-6}$ , that it is projectivization ${\mathbb{P}}{\mathcal{ML}}$ is homeomorphic to $\mathbb S^{6g-7}$ , and that the resulting compactification is homeomorphic to a closed ball [Reference Martelli15, 8.3.13]. Using the latter fact, we can prove the following lemma, which ensures that given $L$ in $\mathcal{ML}$ , one can choose a sequence in $\mathcal{T}$ converging to $[L]$ with a fixed scale sequence. It will be crucial in the proof of Theorem 1.1.

Proof. Given a finite generating set $S\subset \Gamma$ and an isometric action $\rho$ of $\Gamma$ on a metric space $X$ , the minimal displacement of $\rho$ with respect to the generating set $S$ is defined by

\begin{align*}\lambda _S(\rho )\;:\!=\;\inf _{x\in X}\sqrt {\sum _s d(x,\rho (s)x)^2}\;.\end{align*}

This defines a nonzero proper and continuous function $\lambda _S \colon \mathcal{T} \to{\mathbb{R}}_+$ (this is for example proven—in a much more general context—in [Reference Parreau24, Prop. 25]).

We may suppose that $L$ is nonzero (otherwise we can take a constant sequence $\rho _k$ ). Let $T$ be a $\mathbb{R}$ -tree with minimal $\Gamma$ -action, with length function $L$ . Let $D$ be the minimal displacement of $\Gamma$ on $T$ with respect to the generating set $S$ .

Fix a point $[\rho _0]$ in the Teichmüller space $\mathcal{T}$ . As the compactification $\overline{\mathcal{T}}$ of $\mathcal{T}$ is a closed ball, there exists a path $r(t)$ , $t\in [0,1]$ from $[\rho _0]$ to $[L]$ in $\overline{\mathcal{T}}$ such that $r(t)$ belongs to $\mathcal{T}$ for $t\in [0,1[$ . Let $\rho _t$ be a representation with $[\rho _t]=r(t)$ . Then, as the map

\begin{align*}\begin {array}{c@{\quad}c@{\quad}c} [0,1[&\to &{\mathbb {R}}_+\\[5pt] t&\mapsto &\lambda _S(r(t)) \end {array}\end{align*}

is continuous and diverges as $t$ goes to $1$ , there exists an increasing sequence $(t_k)_{k\geq K}$ in $[0,1[$ with limit $1$ such that $\lambda _S(r(t_k))=D\lambda _k$ . Since $[\rho _k]=r(t_k)$ converges to $[L]$ in $\overline{\mathcal{T}}$ , we have that $\frac{1}{\lambda _S(\rho _k)} L_{\rho _k}$ converges to $sL$ for some $s\in{\mathbb{R}}_+$ . Taking the asymptotic cone of this sequence (see for example [Reference Parreau25]), we also have that $sL$ is the length function of an action of $\Gamma$ on a real tree $T_\omega$ with minimal displacement $1$ with respect to $S$ .Footnote 4 Let $T'\subset T_\omega$ be the minimal invariant subtree. As $T'$ is a convex subset of $T_\omega$ , the minimal displacement of $\Gamma$ in $T'$ is the same as in $T_\omega$ . By length rigidity of actions on minimal trees with length function in $\mathcal{ML}$ , the trees $T$ and $\frac{1}{s}T'$ are equivariantly isometric, hence have same minimal displacement $s=\frac{1}{D}$ . So we have that $\frac{1}{\lambda _k}L_{\rho _k} \to L$ as wanted.

We now have the ingredients needed to prove Theorem 1.1, which we recall for the reader’s convenience:

Proof. It is easy to see that $\partial ^{\textrm{WL}}(\mathcal{T}^n)\subset{\mathbb{P}}(({\mathcal{ML}})^n)$ . Let indeed $\rho _k=(\rho _{k,i})_{i=1,\ldots,n}$ , $k\in{\mathbb{N}}$ , be a sequence in ${\textrm{Hom}}(\Gamma,\textrm{PSL}(2,{\mathbb{R}})^n)$ , which we identify with ${\textrm{Hom}}(\Gamma,\textrm{PSL}(2,{\mathbb{R}}))^n$ . We write a nonzero function $\overrightarrow{L}\colon \Gamma \to{\mathbb{R}}^n$ as $\overrightarrow{L}=(L_i)_{i=1,\ldots,n}$ with $L_i\colon \Gamma \to{\mathbb{R}}$ . The sequence of conjugacy classes $[\rho _k]$ converges to the homothety class $[\overrightarrow{L}]$ in the Weyl chamber length compactification if and only if there exists a sequence of positive real numbers $\lambda _k\to \infty$ (scale sequence) such that the renormalized Weyl chamber length function $\frac{1}{\lambda _k}\overrightarrow{L}_{\rho _k}$ converges to $\overrightarrow{L}$ , that is, if $\frac{1}{\lambda _k}L_{\rho _{k,i}}$ converges to $L_i$ for all $i=1,\ldots,n$ [Reference Parreau25, Theorem 5.6]. Then either $L_i=0$ or $[\rho _{k,i}]$ converges to $[L_i]$ in the length compactification $\overline{\mathcal{T}}$ of $\mathcal{T}$ . As $\partial \mathcal{T}={\mathbb{P}}({\mathcal{ML}})$ , we have that each $L_i$ belongs to $\mathcal{ML}$ , hence $[\overrightarrow{L}]$ belongs to ${\mathbb{P}}(({\mathcal{ML}})^n)$ .

The converse implication is a consequence of Lemma 4.1. Let $\overrightarrow{L}=(L_i)_{i=1,\ldots,n}\in ({\mathcal{ML}})^n$ . Using Lemma 4.1 with scale sequence $\lambda _k=k$ , we can construct for each $i=1,\ldots,n$ a sequence of maximal representations $\rho _{k,i}:\Gamma \to \textrm{PSL}(2,{\mathbb{R}})$ , $k\in{\mathbb{N}}$ , whose renormalized length function $\frac{1}{k}L_{\rho _{k,i}}$ converges to the length function $L_i$ in $({\mathbb{R}}_+)^\Gamma$ as $k\to \infty$ . We now consider for $k\in{\mathbb{N}}$ the product representation $\rho _k\;:\! =\;(\rho _{k,i})_{i=1,\ldots,n}\colon \Gamma \to \textrm{PSL}(2,{\mathbb{R}})^n$ , which, being a product of maximal representations, is a maximal representation. Then $\frac{1}{k}\overrightarrow{L}_{\rho _k}=(\frac{1}{k}L_{\rho _{k,i}})_{i=1,\ldots,n}$ converges to $(L_i)_{i=1,\ldots,n}=\overrightarrow{L}$ as $k\to \infty$ . Hence, $[\overrightarrow{L}]$ belongs to $\partial ^{\textrm{WL}}(\mathcal{T}^n)$ .

As a result, we deduce that ${\mathbb{P}}(({\mathcal{ML}})^n)\subset{\mathbb{P}}(({\mathbb{R}}_+^\Gamma )^n)$ is a sphere of dimension $n(6g-6)-1$ , being the topological join of $n$ spheres:

4.2. Applications to other length compactifications

As an application of Proposition 4.2, we can also understand various other compactifications of $\Xi _{\text{Max}}(\Gamma,\textrm{PSL}(2,{\mathbb{R}})^n)$ :

In particular, the boundary of $\mathcal{T}^n$ in the $\ell ^1$ -length compactification is the projectivization ${\mathbb{P}}(\sum _{i=1}^n{\mathcal{ML}})$ of the space of geodesic currents that can be decomposed as the sum of $n$ measured laminations.

5.1. Flat structures

We will consider flat structures on a punctured finite type surfaces, namely the complement of a finite set of marked points considered as punctures in a compact topological surfaces. When dealing with mixed structures, the finite type surfaces will typically be obtained from geodesic subsurfaces of the original surface $\Sigma$ by collapsing each boundary components to a cusp point.

With a slight abuse of notation we denote by $\overrightarrow{\textrm{Flat}}(\Sigma )$ the moduli space of half-translation structures on $\Sigma$ , where two such structures are identified if they are isotopic. Note that the flat structures we consider here are directed (i.e.,, with a preferred vertical direction).

Remark 5.2. Duchin−Leiniger−Rafi [Reference Duchin, Leininger and Rafi9], as well as Ouyang−Tamburelli [Reference Ouyang and Tamburelli21] consider, instead, the space of flat structures on $\Sigma$ , where they identify isometric marked structures. As a result, we have fibrations

\begin{align*}\overrightarrow {\textrm {Flat}}(\Sigma )\to {\textrm {Flat}}(\Sigma )\to \mathcal {T}(\Sigma ).\end{align*}

The fiber of $\overrightarrow{\textrm{Flat}}(\Sigma )\to{\textrm{Flat}}(\Sigma )$ is the circle $\mathbb S^1$ , which acts on a half-translation surface by rotation. Since our structures are marked, and any half-translation structure induces a conformal structure on the surface, the space $\overrightarrow{\textrm{Flat}}(\Sigma )$ fibers over the Teichmüller space. We will never need this fact, but it is well known that the fiber over $X$ in this fibration identifies with the space of holomorphic quadratic differentials over the Riemann surface $X$ .

Let $K$ be a flat structure on $\Sigma$ , and let $\mathcal{F}_1$ , $\mathcal{F}_2$ be the vertical and horizontal measured foliations of $K$ . This is a pair of transverse measured foliations. For $i=1,2$ , we denote by

\begin{align*}\ell _{{K},i}(c)=i(\mathcal {F}_i,c)=\int _c|dx_i|\end{align*}

and by $d_{{K},i}\;:\!=\;d_{\mathcal{F}_i}$ the associated pseudometric on $\widetilde{\Sigma }$ This defines the natural ${\mathbb{R}}^2$ -metric

\begin{align*}\overrightarrow {d}_{K}=(d_{{K},i})_i\end{align*}

on $\widetilde{\Sigma }$ . We denote $L_{{K},i}\;:\!=\;I_{\mathcal{F}_i}\colon \Gamma \to{\mathbb{R}}$ the corresponding length function. Let $T(\mathcal{F}_i)\;:\!=\;\widetilde{\Sigma }/d_{{K},i}$ be the dual tree of $\mathcal{F}_i$ , and $p_i\colon \widetilde{\Sigma }\to T(\mathcal{F}_i)$ the corresponding projection.

The universal cover $\widetilde{\Sigma }$ of $\Sigma$ is a CAT(0) metric space for the flat metric associated to $K$ , which we will denote by $d_{{\textrm{CAT}}(0)}$ . Note that $d_{{\textrm{CAT}}(0)}$ is not in general equal to the metric $\|\overrightarrow{d}_{K}\|_2$ induced from the ${\mathbb{R}}^2$ -metric $\overrightarrow{d}$ by taking the $\ell ^2$ -norm, nevertheless it is the associated length metric. We denote $\widetilde{\Sigma }^c$ the completion of $\widetilde{\Sigma }$ with respect to $d_{{\textrm{CAT}}(0)}$ , which consists in adding one fixed point $x_{{\widetilde{c}}}$ for each parabolic subgroup $\Gamma _{{\widetilde{c}}}$ of $\Gamma =\pi _1(\Sigma )$ (corresponding to lifts $\widetilde{c}$ of punctures $c$ of $\Sigma$ ), see for example [Reference Morzadec18, Lemma 7.2]. The flat structure extends on $\widetilde{\Sigma }^c$ . It is easy to see that $\mathcal{F}_i$ , $d_{{K},i}$ , and $p_i$ extend naturally to the completion $\widetilde{\Sigma }^c$ of $\widetilde{\Sigma }$ .

We define the $\ell ^1$ -length metric on $\widetilde{\Sigma }$ , as the Finsler metric $d_{K}$ induced by the $\ell ^1$ -norm $||x||_1=|x_1|+|x_2|$ on ${\mathbb{R}}^2$ . This metric is clearly equivalent to the CAT(0) metric $d_{CAT(0)}$ , in particular extends to $\widetilde{\Sigma }^c$ . We denote by

\begin{align*}L_{K}(\gamma )\;:\!=\;L_{d_{K}}(\gamma )\end{align*}

the corresponding length of $\gamma \in \Gamma$ . We now establish some basic properties of the $\ell ^1$ -metric that we will need. Recall that in the following lemma, a geodesic is an additive path $t\mapsto c(t)$ for the distance $d$ .

Proof. We prove (1). Let $i\in \{1,2\}$ . As $T(\mathcal{F}_i)$ is a tree, we only need to prove that the path $c_i$ does not backtrack. Let $t_1\leq t_2\leq t_3$ be real parameters in $I$ such that $c_i(t_1)=c_i(t_3)$ . Then the points $c(t_1)$ and $c(t_3)$ are in a common leaf of the foliation $\mathcal{F}_i$ . As the leafs of the foliation are geodesic for the CAT(0) metric $d$ on $\widetilde{\Sigma }$ , we can deduce, by uniqueness of geodesics in CAT(0) metric spaces, that the point $c(t_2)$ is on the same leaf, hence that $c_i(t_1)=c_i(t_2)=c_i(t_3)$ . This proves that $c_i$ is a geodesic in the tree $T(\mathcal{F}_i)$ . We now prove (2). The $\ell ^1$ -length of a path $c$ is, by definition, $\ell ^1(c)=\int _c|dx_1|+\int _c|dx_2| =\ell _1(c)+\ell _2(c)$ . We then clearly have that $d(x,y)\geq d_1(x,y)+d_2(x,y)$ . On the other hand, if $c$ is the CAT(0) geodesic in $\widetilde{\Sigma }^c$ from $x$ to $y$ , we know by (2) that both projections $c_i=p_i\circ c$ of $c$ are geodesic. So for $i=1,2$ we have $d_i(x,y)=d(p_i(x), p_i(y))=l(c_i)=\ell _i(c)$ and hence $\ell (c) = d_1(x,y)+d_2(x,y)$ .

We finally prove (3). As $d=d_1+d_2$ we clearly have $L_{K}(\gamma )\geq L_{{K},1}(\gamma )+L_{{K},2}(\gamma )$ . If $L_{K}(\gamma )=0$ , then we are done. Otherwise, $\gamma$ has no fixed point in $\widetilde{\Sigma }^c$ and, since $\widetilde{\Sigma }^c/\Gamma$ is compact, there is a CAT(0) geodesic $c$ in $\widetilde{\Sigma }^c$ translated by $\gamma$ . By (2) both projections $c_i=p_i\circ c$ of $c$ are geodesics translated by $\Gamma$ . So, for any $x$ on $c$ , and $i=1,2$

\begin{align*}d_i(x,\gamma x)=d_i(p_i(x), \gamma p_i(x))=L_{ T(\mathcal {F}_i)}(\gamma )=L_{{K},i}(\gamma ).\end{align*}

Then $d(x,\gamma x)=L_{{K},1}(\gamma )+L_{{K},2}(\gamma )$ .

5.2. ${\mathbb{R}}^2$ -mixed structures on a surface

In this section, we introduce a natural notion of ${\mathbb{R}}^2$ -mixed structure on a surface. This generalizes flat structures and refines the notion of mixed structure introduced by Duchin−Leininger−Rafi and Morzadec [Reference Duchin, Leininger and Rafi9, Reference Morzadec18]. The definition follows the point of view of [Reference Duchin, Leininger and Rafi9], see Section 6 for the metric viewpoint analoguous to [Reference Morzadec18]. Note that an equivalent notion has been independently introduced in [Reference Martone, Ouyang and Tamburelli16, Definition 6.4].

This imposes topological restrictions on the subsurface $\Sigma^{\prime}$ : no connected component of $\Sigma^{\prime}$ can be a pair of pants, since a pair of pants does not support any non-trivial flat structure.

We denote by $\overrightarrow{\textrm{Mix}}(\Sigma )$ the moduli space of ${\mathbb{R}}^2$ -mixed structures, where two ${\mathbb{R}}^2$ -mixed structures are identified if the subsurfaces and the laminations agree and the flat structures are equivalent, namely isotopic to each other.

Figure 1. An ${\mathbb{R}}^2$ -mixed structure on a surface of genus 4.

5.3. The ${\mathbb{R}}^2$ -length function of a mixed structure

Let ${M}=(\Sigma^{\prime},{K},\overrightarrow{\lambda })$ be a ${\mathbb{R}}^2$ -mixed structure on $\Sigma$ . Denote by $(\mathcal{F}_1,\mathcal{F}_2)$ the vertical and horizontal measured foliations on $\Sigma^{\prime}$ associated with the flat structure $K$ . Let $\lambda _{{K},i}$ be the measured geodesic lamination on $\Sigma^{\prime}$ corresponding to $\mathcal{F}_i$ , namely, with the same intersection function. It can be seen as a measured geodesic lamination on $\Sigma$ . Let $\lambda _{{M},i}$ be the measured geodesic lamination on $\Sigma$ obtained by taking the union of $\lambda _{{K},i}$ and of the measured geodesic lamination $\lambda _i=(\Lambda _i, \nu _i)$ on $\Sigma -\Sigma^{\prime}$ , where $\Lambda _i\;:\!=\;\textrm{supp}(\nu _i)$ . Regarding measured geodesic laminations as geodesic currents on $\Sigma$ , we have

\begin{align*}\lambda _{{M},i}\;:\!=\;\lambda _{{K},i}+\lambda _i\end{align*}

The ${\mathbb{R}}^2$ -length of $\gamma \in \Gamma$ with respect to the mixed structure $M$ is then defined as the pair:

\begin{align*}\overrightarrow {L}_{M}(\gamma )\;:\!=\;(i(\lambda _{{M},i},\gamma ))_{i=1,2}.\end{align*}

We denote $L_{M,i}(\gamma )\;:\!=\;i(\lambda _{M,i},\gamma )$ the factors. Note that if $\Sigma^{\prime}=\Sigma$ , then the length $L_{M,i}$ agrees with $L_{{K},i}$ .

This gives a map

\begin{align*}\overrightarrow {L}\colon \overrightarrow {\textrm {Mix}}(\Sigma )\to {\mathcal {ML}}\times {\mathcal {ML}}.\end{align*}

We will show in the next subsection that this is indeed a bijection.

5.4. Interpretation of ${\mathcal{ML}}\times{\mathcal{ML}}$ as $\overrightarrow {\textrm {Mix}}(\Sigma )$

The goal of the section is to provide an identification of ${\mathcal{ML}}\times{\mathcal{ML}}$ with $\overrightarrow{\textrm{Mix}}(\Sigma)$ , thus obtaining a geometric interpretation of the boundary $\partial ^{\textrm{WL}}\Xi _{\text{Max}}(\Gamma,\textrm{PSL}(2,{\mathbb{R}})^n)$ for the case $n=2$ . The main ingredient for this is the following application of the decomposition result of [Reference Burger, Iozzi, Parreau and Pozzetti4] to a sum of measured geodesic laminations (seen as geodesic currents), a result that works for general $n$ :

Proof. Let $\mu _i=(\Lambda _i,\nu _i)$ be the measured lamination on $\Sigma$ corresponding to $L_i$ , that is, such that $i(\mu _i,\cdot )=L_i$ on $\Gamma$ .

As in [Reference Burger, Iozzi, Parreau and Pozzetti4], we consider the collection $\mathcal E=\mathcal E_\mu$ of closed $\mu$ -short solitary geodesics. This is the collection, canonically associated to $\mu$ , of simple closed geodesics in $\Sigma$ that have $0$ -intersection with $\mu$ , and that do not intersect any geodesic that does not intersect the support of $\mu$ . Applying the decomposition theorem [Reference Burger, Iozzi, Parreau and Pozzetti4, Corollary 1.9] to the geodesic current $\mu =\sum _{i=1}^n\mu _i$ , we get that the surface decomposes along the collection $\mathcal E=\mathcal E_\mu$ in a finite number of open connected subsurfaces with geodesic boundary $\Sigma -\mathcal E=\bigcup _{v\in{\mathcal{V}}} \Sigma _v$ , and the current $\mu$ decomposes as a sum

\begin{align*}\mu =\sum _{v\in {\mathcal {V}}}\mu _v + \sum _{c\in \mathcal E} t_c \delta _c\end{align*}

where $\mu _v=\mu |_{\Sigma _v}$ is the restriction of $\mu$ to $\Sigma _v$ (recall Section 3.3).

Furthermore, for every $v\in \mathcal E$ for which $\mu _v\neq 0$ precisely one of the following holds:

1. (1) either $\textrm{Syst}_{\Sigma _v}(\mu _v)\gt 0$ ,

2. (2) or $\mu _v$ is a measured lamination.

where

\begin{align*}\textrm {Syst}_{\Sigma _v}(\mu _v)\;:\!=\;\inf \{i(\mu _v,c) |\,c\subset \mathring \Sigma _v \text { closed geodesic }\}.\end{align*}

Let $i\in \{1,\ldots,n\}$ . We first see that no closed geodesic $c\in \mathcal E$ intersects transversally the support of $\mu _i$ : indeed, since $i(\mu,c)=i(\mu _1,c)+i(\mu _2,c)=0$ , we have $i(\mu _i,c)=0$ . So the measured geodesic lamination $\mu _i$ decomposes as the union of measured geodesic laminations $\mu _{v,i}$ included in the open subsurface $\Sigma _v$ , and possibly closed leafs $c\in \mathcal E$ with transverse measure $t_{c,i} \in{\mathbb{R}}_+$ . That is, seeing all those measured geodesic laminations as geodesic currents on $\Sigma$ :

\begin{align*}\mu _i=\sum _{v\in {\mathcal {V}}}\mu _{v,i} + \sum _{c\in \mathcal E} t_{c,i} \delta _c\end{align*}

By uniqueness of the decomposition of $\mu$ along $\mathcal E$ , for each $v\in{\mathcal{V}}$ we have

\begin{align*}\mu _v=\sum _i \mu _{v,i}\end{align*}

and for each $c\in \mathcal E$

\begin{align*}t_c=\sum _i t_{c,i}\end{align*}

Let $v\in{\mathcal{V}}$ . If $\mu _v$ is a measured lamination, then the measured laminations $\mu _{v,i}$ , $i=1,\ldots,n$ are parallel: indeed, as $i(\mu _v,\mu _v)=\sum _{1\leq i,j\leq n}i(\mu _{v,i},\mu _{v,j})=0$ , and $i(\mu _{v,i},\mu _{v,j})\geq 0$ , we get that $i(\mu _{v,i},\mu _{v,j})=0$ for all $i,j\in \{1,\ldots,n\}$ .

We can now prove the main result of the section.

Note that a similar identification has been independently established in [Reference Martone, Ouyang and Tamburelli16], see for instance Theorem 6.8 therein.

Proof. As above we denote by $\mu _i$ the geodesic current corresponding to the lamination $(\Lambda _i,\nu _i)$ with length function $L_i$ . We use Proposition 5.7 to decompose $\mu _i\;:\!=\;\mu ^i_{\Sigma^{\prime}}+\mu ^i_\Lambda$ .

For any connected component $\Sigma _v$ of the positive systole subsurface $\Sigma^{\prime}$ , we denote by $\Gamma _v=\pi _1(\Sigma _v)$ and $L_{v,i}\colon \Gamma _v\to{\mathbb{R}}_+$ the intersection function of $\mu _{v,i}$ on $\Sigma _v$ . Then $L_{v,i}$ is the intersection function $I_{\mathcal{F}_i}$ of a measured foliation $\mathcal{F}_i$ on the surface $\Sigma _v$ . Denote $C=\textrm{Syst}_{\Sigma _v}(\mu _v)$ . We have that, for all non parabolic $\gamma$ in $\Gamma _v$ ,

\begin{align*}\max (i(\mathcal {F}_1,\gamma ), i(\mathcal {F}_2,\gamma ))\geq \frac {C}{2} \gt 0.\end{align*}

It is known (see for example [Reference Gardiner and Wang12, Theorem 7]) that the two measured foliations $\mathcal{F}_1, \mathcal{F}_2$ are then transversely realisable, that is, up to replacing $\mathcal{F}_i$ by an equivalent measured foliation (an operation that does not change the length function), they arise as the vertical and horizontal measured foliation of a flat structure ${K}_v$ on the surface $\Sigma _v$ . In particular, the measured geodesic laminations on $\Sigma _v$ associated with ${K}_v$ are

\begin{align*}\lambda _{{K}_v,i}=\mu _{v,i}\end{align*}

for $i=1,2$ . We denote by $K$ the flat structure on $\Sigma^{\prime}$ equal to ${K}_v$ on each $\Sigma _v$ .

Let $\lambda _i$ be the measured geodesic lamination obtained by taking the union of $\mu _{v,i}$ , for the $v$ such that $\mu _v$ is a lamination, and of the closed geodesics $c\in \mathcal E$ with weight $t_{c,i}$ . Then $\overrightarrow{\lambda }=(\lambda _1,\lambda _2)$ is a pair of parallel measured geodesic laminations on $\Sigma$ , and $M=(\Sigma^{\prime},{K},\overrightarrow{\lambda })$ is a mixed structure on $\Sigma$ , with associated pair of laminations

\begin{align*}\lambda _{M,i}=\lambda _{{K},i}+\lambda _i=\mu _i.\end{align*}

In particular, taking intersection functions on $\Gamma$ we have $L_i=L_{M,i}$ for each $i$ .

The uniqueness of $M$ (up to isotopy of the flat part) is given by the uniqueness of the decomposition in Corollary 1.9 of [Reference Burger, Iozzi, Parreau and Pozzetti4] and by the injectivity of the natural map from quadratic differentials to pairs of equivalence classes of measured foliations [Reference Gardiner and Masur11, Theorem 3.1].

6.1. Generalities on ${\mathbb{R}}^n$ -tree-graded spaces

Recall from [Reference Druţu and Sapir8] the notion of tree-graded metric space:Footnote 6

We now adapt this to define an tree-graded ${\mathbb{R}}^n$ -space, recall from Definition 2.1 the notion of an ${\mathbb{R}}^n$ -metric space:

In the next subsection, we will construct the tree-graded space associated with a mixed structure on a surface $\Sigma$ as a quotient of a blowup $\widetilde{\Sigma ^b}$ of $\Sigma$ by pseudometrics defined by gluing. We now recall the general construction of a global pseudometric on a CAT(0) surface $\widetilde{\Sigma }$ obtained by gluing pseudometrics defined on geodesic pieces, the initial ingredient for the construction in the next section.

Let $\Sigma$ be a locally CAT(0) surface, and $\mathcal E$ be a set of disjoint simple closed geodesics on $\Sigma$ . We denote by $\widetilde{\mathcal E}$ the set of their lifts to the universal cover $\widetilde{\Sigma }$ . A piece of $\widetilde{\Sigma }$ is defined as the closure $\widetilde{P}$ of a complementary component $\widetilde{W}$ of $\widetilde{\mathcal E}$ in $\widetilde{\Sigma }$ . Two different pieces are adjacent if they have non-empty intersection (which is then a geodesic in $\widetilde{\mathcal E}$ bounding each of the pieces). We denote by $\mathcal P(\widetilde{\Sigma })$ the set of pieces of $\widetilde{\Sigma }$ .

For $j=1,\ldots,k$ the pieces ${\widetilde{P}}_{j-1}$ and ${\widetilde{P}}_j$ are then adjacent and $x_j$ is on their common boundary geodesic ${\widetilde{c}}_j$ . Such a chain defines a path in the simplicial tree dual to $\widetilde{\mathcal E}$ . We call the chain straight if this path is geodesic, that is, if and only if ${\widetilde{c}}_{j-1}\neq{\widetilde{c}}_{j}$ for $j=1,\ldots,k$ . Then ${\widetilde{c}}_1,\ldots{\widetilde{c}}_k$ is the ordered sequence of geodesics in $\widetilde{\mathcal E}$ separating $x$ and $y$ (going from $x$ to $y$ ).

Given a pseudometric $d^{\widetilde{P}}$ on each piece $\widetilde{P}$ of $\widetilde{\Sigma }$ , we define the $d$ -length of a chain $C$ as

\begin{align*}\ell _d(C)=\sum _{j=0}^{k+1} d^{{\widetilde {P}}_j}(x_j,x_{j+1})\end{align*}

The induced pseudometric on $\widetilde{\Sigma }$ is then defined by

\begin{align*}d(x,y)=\inf _C \ell _d(C)\end{align*}

where the infimum is taken over all chains $C$ joining $x$ to $y$ . It is easy to see that we may restrict to straight chains $C$ . If the restriction of $d^{{\widetilde{P}}}$ to the geodesics $\widetilde{c}$ of $\widetilde{\mathcal E}$ is $0$ for each piece $\widetilde{P}$ , then the pseudo-distance $d(x_j,x_{j+1})$ does not depend on the choice of $x_j$ on ${\widetilde{c}}_j$ , and thus all straight chains have the same length. In this case, we may alternatively define $d(x,y)$ as the $d$ -length of any straight chain, thus in particular $d$ restricts to the original pseudometric $d^{\widetilde{P}}$ on each piece $\widetilde{P}$ .

6.2. Construction of the ${\mathbb{R}}^2$ -space $X_M$

Let $M=(\Sigma^{\prime},{K},\overrightarrow{\lambda })$ be a ${\mathbb{R}}^2$ -mixed structure on a closed hyperbolic surface $\Sigma$ . Here, as always, $\overrightarrow{\lambda }=(\Lambda,\nu _1,\nu _2)$ .

We first resolve the atoms in the lamination part, by taking the blowup $(\Sigma ^b,\overrightarrow{\lambda }^b)$ of $(\Sigma,\overrightarrow{\lambda })$ as in Section 3.5. Recall from Sections 3.4 and 3.5 that $\Sigma ^b$ denotes the CAT(0) surface obtained inserting in $\Sigma$ a flat foliated annulus $B(c)=c\times [0,1]$ at each isolated leaf $c$ of $\Lambda$ , and $\Lambda ^b$ is the associated lamination whose non-atomic transverse measure $\nu ^b_i$ is obtained by extending $\nu _i$ with the transverse measure $\nu _i(c)dt$ on $[0,1]$ for each foliated annulus $B(c)$ .

Our next goal is to define a ${\mathbb{R}}^2$ -pseudometric $\overrightarrow{d}_M$ on $\widetilde{\Sigma ^b}$ associated with $M$ , that is, a pair of pseudometrics $(d_{M,i})_i$ on $\widetilde{\Sigma ^b}$ . We first define the pieces which we will glue as outlined in Section 6.1. We denote by $\Sigma ^{'b}$ the open subsurface of $\Sigma ^b$ corresponding to $\Sigma^{\prime}$ , and denote by $\mathcal E^b$ its set of boundary geodesics in $\Sigma ^b$ . We denote by $\widetilde{\mathcal E}^b$ the set of their lifts to $\widetilde{\Sigma ^b}$ .

We now define a new pseudometric on each piece. Let $i\in \{1,2\}$ . On each lamination piece $\widetilde{P}$ of $\widetilde{\Sigma ^b}$ , we define $d^{\widetilde{P}}_{M,i}$ as the restriction to $\widetilde{P}$ of the pseudometric $d_{\lambda ^b_i}$ associated to the non-atomic measured lamination $\lambda ^b_i\;:\!=\;(\Lambda ^b,\nu ^b_i)$ . On each flat piece $\widetilde{P}$ of $\widetilde{\Sigma ^b}$ we, instead, define the pseudometric $d^{\widetilde{P}}_{M,i}$ as intersection with the horizontal (resp. vertical) measured foliation of $K$ . More precisely we consider the canonical projection ${\widetilde{P}}=\overline{{\widetilde{W}}}\to{\widetilde{W}^c}$ to the completion $\widetilde{W}^c$ of $\widetilde{W}$ with respect to the CAT(0) metric given by the flat structure $K$ , and we define the pseudometric $d^{\widetilde{P}}_{M,i}$ as the pullback of the pseudo-distance $d_{{K},i}$ introduced in Section 5.1 through this projection. Note that the restriction of $d^{\widetilde{P}}_{M,i}$ to any boundary geodesic of a piece $\widetilde{P}$ is always $0$ .

We define the pseudometric $d_{M,i}$ on $\widetilde{\Sigma ^b}$ as the gluing of the pseudometrics $d^{\widetilde{P}}_{M,i}$ on the pieces ${\widetilde{P}}\in \mathcal P(\widetilde{\Sigma ^b})$ as in Section 6.1. We denote by

\begin{align*}\overrightarrow {d}_M=(d_{M,i})_i\end{align*}

the corresponding ${\mathbb{R}}^2$ -pseudometric on $\widetilde{\Sigma ^b}$ , and by

\begin{align*}d_M\;:\!=\;d_{M,1}+d_{M,2}\end{align*}

the associated $\ell ^1$ -pseudometric on $\widetilde{\Sigma ^b}$ . It follows from the construction that $d_M$ is the gluing of the $\ell ^1$ -pseudometrics $d^{\widetilde{P}}_{M}=\sum _i d^{\widetilde{P}}_{M,i}$ on the pieces ${\widetilde{P}}\in \mathcal P(\widetilde{\Sigma ^b})$ .

Definition 6.6. The ${\mathbb{R}}^2$ -metric space $X_M$ associated with $M$ is the quotient

\begin{align*}X_M\;:\!=\;\widetilde {\Sigma ^b}/d_M\end{align*}

of $\widetilde{\Sigma ^b}$ by the $\ell ^1$ -pseudometric $d_M$ , endowed with the ${\mathbb{R}}^2$ -metric induced by $\overrightarrow{d}_M$ , that is, the pair of pseudometrics induced by $d_{M,i}$ , $i=1,2$ .

The action of $\Gamma$ on $\widetilde{\Sigma ^b}$ induces an action of $\Gamma$ on $X_M$ preserving the ${\mathbb{R}}^2$ -metric $\overrightarrow{d}_M$ .

6.3. Basic properties of $X_M$

In this section, we prove that $X_M$ is indeed tree-graded, that its induced ${\mathbb{R}}^2$ -length function corresponds to the pair $(\lambda _{M,1},\lambda _{M,2})$ of measured geodesic laminations associated with the mixed structure $M$ , and we discuss the isometry types of the pieces of $X_M$ .

Recall that we defined the laminations $\lambda _{M,i}$ as the sum of two measured geodesic laminations on $\Sigma$

\begin{align*}\lambda _{M,i}\;:\!=\;\lambda _{{K},i}+\lambda _i\end{align*}

where $(\lambda _{{K},i})_{i=1,2}$ are the measured geodesic laminations supported in $\Sigma^{\prime}$ induced by the horizontal (resp. vertical) foliation of the flat structure $K$ and $\lambda _i=(\Lambda,\nu _i)$ .

We denote by $L_{X_{M,i}}$ , $i=1,2$ the length function of $d_{M,i}$ on $X_M$ , namely