We study the vectorial length compactification of the space of conjugacy classes of maximal representations of the fundamental group $\Gamma$ of a closed hyperbolic surface $\Sigma$ in $\textrm{PSL}(2,{\mathbb{R}})^n$. We identify the boundary with the sphere ${\mathbb{P}}(({\mathcal{ML}})^n)$, where $\mathcal{ML}$ is the space of measured geodesic laminations on $\Sigma$. In the case $n=2$, we give a geometric interpretation of the boundary as the space of homothety classes of ${\mathbb{R}}^2$-mixed structures on $\Sigma$. We associate to such a structure a dual tree-graded space endowed with an ${\mathbb{R}}_+^2$-valued metric, which we show to be universal with respect to actions on products of two $\mathbb{R}$-trees with the given length spectrum.

The Hanna Neumann conjecture is a statement about the rank of the intersection of two finitely generated subgroups of a free group. The conjecture was posed by Hanna Neumann in 1957. In 2011, a strengthened version of the conjecture was proved independently by Joel Friedman and by Igor Mineyev. In this paper we show that the strengthened Hanna Neumann conjecture holds not only in free groups but also in non-solvable surface groups. In addition, we show that a retract in a free group and in a surface group is inert. This implies the Dicks–Ventura inertia conjecture for free and surface groups.

According to Mazhuga’s theorem, the fundamental group H of anyconnected surface, possibly except for the Klein bottle, is a retract of each finitely generated group containing H as a verbally closed subgroup. We prove that the Klein bottle group is indeed an exception but has a very close property.

The simplicial complexity is an invariant for finitely presentable groups which was recently introduced by Babenko, Balacheff, and Bulteau to study systolic area. The simplicial complexity κ(G) was proved to be a good approximation of the systolic area σ(G) for large values of κ(G). In this paper we compute the simplicial complexity of all surface groups (both in the orientable and in the non-orientable case). This partially settles a problem raised by Babenko, Balacheff, and Bulteau. We also prove that κ(G * ℤ) = κ(G) for any surface group G. This provides the first partial evidence in favor of the conjecture of the stability of the simplicial complexity under free product with free groups. The general stability problem, both for simplicial complexity and for systolic area, remains open.