Search arXiv⌕ Search

arXiv · 2204.04732

Canonical Maps from Spaces of Higher Complex Structures to Hitchin Components

Abstract

For $S$ a closed surface of genus $g\geq2$, we construct a canonical diffeomorphism from the degree $3$ Fock-Thomas space $\mathcal{T}^3(S)$ of higher complex structures to the $\text{SL}(3,\mathbb{R})$ Hitchin component. Our construction is equivariant with respect to natural actions of the mapping class group $\text{Mod}(S)$. For all $n \geq 3$, we show that the Fock-Thomas space $\mathcal{T}^n(S)$ has a canonical vector bundle structure over Teichmüller space. We then construct a $\text{Mod}(S)$-equivariant bundle isomorphism from $\mathcal{T}^n(S)$ to a sub-bundle of the restriction of the tangent bundle of the $\text{PSL}(n, \mathbb{R})$ Hitchin component to the Fuchsian locus. As consequences, we prove that the higher degree moduli space of complex structures is a bundle over the moduli space of Riemann surfaces and that the action of $\text{Mod}(S)$ on $\mathcal{T}^n(S)$ is a proper action by holomorphic automorphisms with respect to a canonical complex structure. The core of our approach is a careful analysis of higher degree diffeomorphism groups.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander Nolte. 2022-04-10. Canonical Maps from Spaces of Higher Complex Structures to Hitchin Components. https://arxiv.org/abs/2204.04732

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On discrete symmetries of the cube of smoothings

A link diagram with a labeled barycentric subdivision endows the cube of resolutions with an additional combinatorial structure. We study the set of symmetries, preserving this structure. We construct a combinatorial link invariant, based on the symmetries of triangulated smoothings.

math.GT↗

A Dehornoy-Type Ordering on Bridge Positions of Links

By a theorem of Hovland, bridge isotopy classes of $n$-bridge positions of links in $S^3$ correspond bijectively to Hilden double cosets $P_{2n}=H_{2n}\backslash B_{2n}/H_{2n}$. We use this correspondence to introduce Dehornoy-type orderings on bridge positions. After fixing a proper complexity function on $B_{2n}$, we assign to each double coset its Dehornoy-minimal braid among the elements of minimal complexity. Comparing these representatives by the Dehornoy order gives a strict total order $\prec_{D,n}$, and comparing them first by complexity and then by the Dehornoy order gives a strict well-order $\triangleleft_{D,n}$. For a link type $L$ and $n\geq b(L)$, we single out a canonical $n$-bridge position $\operatorname{CanPlat}_D^{(n)}(L)$: it is the $\triangleleft_{D,n}$-least element of the set of $n$-bridge positions of $L$, and the $\prec_{D,n}$-least element among those of minimal complexity, and its canonical braid coincides with the globally Dehornoy-minimal braid of minimal complexity representing $L$. We show by an example that, in general, it need not be least for $\prec_{D,n}$ on the whole set. Finally, we show that the fixed-level bridge finiteness conjecture is equivalent to boundedness of the complexities of the canonical representatives, and to the existence of a $\triangleleft_{D,n}$-greatest $n$-bridge position.

math.GT↗

Global shadow estimates and Hausdorff measure criteria in higher rank

Patterson--Sullivan measures encode the distribution of orbits of discrete group actions near the boundary. We prove a global shadow lemma for Patterson--Sullivan measures associated to relatively Morse subgroups of higher-rank semisimple Lie groups. The estimate is uniform for shadows centered at arbitrary points in a Gromov model, including points deep in the cuspidal part, and expresses the contribution of each cusp in terms of peripheral growth. This extends the global shadow lemma of Stratmann--Velani for geometrically finite real hyperbolic groups. As applications, we establish local doubling and reverse doubling. Under Zariski density, we give necessary and sufficient criteria for Patterson--Sullivan measures to agree with the associated Hausdorff measures and to be Ahlfors regular. For symmetric linear forms, these criteria hold without Zariski density. We verify the criteria explicitly for cusped Hitchin representations and real-hyperbolic self-joinings.

math.GT↗