We extend the notion of Hitchin component from surface groups to orbifold groups and prove that this gives new examples of higher Teichm{u}ller spaces. We show that the Hitchin component of an orbifold group is homeomorphic to an open ball and we compute its dimension explicitly. We then give applications to the study of the pressure metric, cyclic Higgs bundles, and the deformation theory of real projective structures on $3$-manifolds.
In this paper we describe the space of maximal components of the character variety of surface group representations into PSp(4,R) and Sp(4,R). For every rank 2 real Lie group of Hermitian type, we construct a mapping class group invariant complex structure on the maximal components. For the groups PSp(4,R) and Sp(4,R), we give a mapping class group invariant parameterization of each maximal component as an explicit holomorphic fiber bundle over Teichmuller space. Special attention is put on the connected components which are singular, we give a precise local description of the singularities and their geometric interpretation. We also describe the quotient of the maximal components for PSp(4,R) and Sp(4,R) by the action of the mapping class group as a holomorphic submersion over the moduli space of curves. These results are proven in two steps, first we use Higgs bundles to give a non-mapping class group equivariant parameterization, then we prove an analogue of Labouries conjecture for maximal PSp(4,R) representations.
Let M be a two cusped hyperbolic 3-manifold and let M(r) be the result of r Dehn filling of a fixed cusp of M. We study canonical components of the SL(2,C) character varieties of M(r). We show that the gonality of these sets is bounded, independent of the filling parameter. We also obtain bounds, depending on r, for the genus of these sets. We compute the gonality for the double twist knots, demonstrating canonical components with arbitrarily large gonality.
This paper is devoted to the classification of connected components of Prym eigenform loci in the strata H(2,2)^odd and H(1,1,2) in the Abelian differentials bundle in genus 3. These loci, discovered by McMullen are GL^+(2,R)-invariant submanifolds (of complex dimension 3) that project to the locus of Riemann surfaces whose Jacobian variety has a factor admitting real multiplication by some quadratic order Ord_D. It turns out that these subvarieties can be classified by the discriminant D of the corresponding quadratic orders. However there algebraic varieties are not necessarily irreducible. The main result we show is that for each discriminant D the corresponding locus has one component if D is congruent to 0 or 4 mod 8, two components if D is congruent to 1 mod 8, and is empty otherwise. Our result contrasts with the case of Prym eigenform loci in the strata H(1,1) (studied by McMullen) that is connected for every discriminant D.
A $k$-differential on a Riemann surface is a section of the $k$-th power of the canonical bundle. Loci of $k$-differentials with prescribed number and multiplicities of zeros and poles form a natural stratification for the moduli space of $k$-differentials. The classification of connected components of the strata of $k$-differentials was known for holomorphic differentials, meromorphic differentials and quadratic differentials with at worst simple poles by Kontsevich--Zorich, Boissy and Lanneau, respectively. Built on their work we develop new techniques to study connected components of the strata of $k$-differentials for general $k$. As an application, we give a complete classification of connected components of the strata of quadratic differentials with arbitrary poles. Moreover, we distinguish certain components of the strata of $k$-differentials by generalizing the hyperelliptic structure and spin parity for higher $k$. We also describe an approach to determine explicitly parities of $k$-differentials in genus zero and one, which inspires an amusing conjecture in number theory. A key viewpoint we use is the notion of multi-scale $k$-differentials introduced by Bainbridge--Chen--Gendron--Grushevsky--Moller for $k = 1$ and extended by Costantini--Moller--Zachhuber for all $k$.
We give a definition of atlases for ineffective orbifolds, and prove that this definition leads to the same notion of orbifold as that defined via topological groupoids.