On dynamics of the Mapping class group action on relative $\text{PSL}(2,\mathbb{R})$-Character Varieties
Ajay Kumar Nair
TL;DR
The paper investigates the action of the mapping class group $\mathrm{MCG}(S_{g,n})$ on relative $\mathrm{PSL}(2,\mathbb{R})$-character varieties, introducing simple-stability as an analogue of primitive stability for punctured surfaces. It proves that the simple-stable representations form a domain of discontinuity for the $\mathrm{MCG}$-action and shows that holonomies of admissible hyperbolic cone surfaces are simple-stable, with single-cone-point holonomies being primitive-stable, yielding infinite families of indiscrete primitive-stable representations. The authors also develop strong simple stability for punctured spheres and establish SBQ-conditions, providing a robust framework (including for cone-angles $<\pi$) that links geometric structures to dynamical properties of the group action. These results extend Minsky’s primitive-stable framework to relative PSL$(2,\mathbb{R})$-varieties and identify new domains of discontinuity and geometric examples, deepening the understanding of how hyperbolic cone geometries encode representation-theoretic behavior.
Abstract
In this paper, we study the mapping class group action on the relative $\text{PSL}(2,\mathbb{R})$-character varieties of punctured surfaces. It is well known that Minsky's primitive-stable representations form a domain of discontinuity for the $\text{Out}(F_n)$-action on the $\text{PSL}(2,\mathbb{C})$-character variety. We define simple-stability of representations of fundamental group of a surface into $\text{PSL}(2,\mathbb{R})$ which is an analogue of the definition of primitive stability and prove that these representations form a domain of discontinuity for the $\text{MCG}$-action. Our first main result shows that holonomies of hyperbolic cone surfaces are simple-stable. We also prove that holonomies of hyperbolic cone surfaces with exactly one cone-point of cone-angle less than $π$ are primitive-stable, thus giving examples of an infinite family of indiscrete primitive-stable representations.
