Search arXiv⌕ Search

arXiv · 0707.3116

The action of the mapping class group on representation varieties of PSL(2,R). Case I: The one-holed torus

Abstract

In this paper we consider the action of the mapping class group of a surface on the space of homomorphisms from the fundamental group of a surface into PSL(2,R). Goldman conjectured that when the surface is closed and of genus bigger than one, the action on non-Teichmuller connected components of the associated moduli space (i.e. the space of homomorphisms modulo conjugation) is ergodic. One approach to this question is to use sewing techniques which requires that one considers the action on the level of homomorphisms, and for surfaces with boundary. In this paper we consider the case of the one-holed torus with boundary condition, and we determine regions where the action is ergodic. Our main result mirrors a theorem of Goldman's at the level of moduli.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Panagiota Konstantinou. 2007-07-20. The action of the mapping class group on representation varieties of PSL(2,R). Case I: The one-holed torus. https://arxiv.org/abs/0707.3116

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

KEEP EXPLORING

Related papers

Surfaces and their Profile Curves

This paper examines the relationship between the knotting of an embedded surface in $\R^3$ and the knotting of its fold curves, formed by the singular set of projection to a plane. The first result shows that every surface, no matter how knotted, can be isotoped so that its fold curves form an unlink. A second result defines a new invariant which gives a complete obstruction to turning a fixed curve on a surface into a fold curve.

math.GT↗

Hyperbolic links associated to Hamiltonian subgraphs in simple $3$-polytopes

We build a large family of hyperbolic links with an explicit decomposition of the complement into right-angled hyperbolic polytopes of finite volume. Namely, in a series of papers A.D.Mednykn and A.Yu.Vesnin introduced a construction that for a given right-angled polytope $P$ in geometry $\mathbb L^3$, $\mathbb R^3$, $\mathbb S^3$, $\mathbb L^2\times \mathbb R$, $\mathbb S^2\times \mathbb R$ and a Hamiltonian cycle, theta-subgraph or $K_4$-subgraph $Γ$ in the $1$-skeleton of $P$ builds a geometric $3$-manifold $N(P,Γ)$ with an involution $τ$ such that $N(P,Γ)/\langleτ\rangle\simeq S^3$. The brach set of the corresponding $2$-sheeted branched covering $N(P,Γ)\to S^3$ is a link $C_Γ\subset S^3$ consisting of trivially embedded circles. This construction reformulated in the language of toric topology works for such a subgraph $Γ$ in any simple $3$-polytope $P$ and gives a topological $3$-manifold $N(P,Γ)$. We give a criterion when $S^3\setminus C_Γ$ has a complete hyperbolic structure of finite volume and generalize this criterion to similar links in $3$-manifolds different from $S^3$. We prove that hyperbolic links $C_Γ$ are parametrized by nonselfcrossing Eulerian cycles, Eulerian theta-subgraphs and Eulerian $K_4$-subgraphs in hyperbolic right-angled $3$-polytopes of finite volume in $\mathbb L^3$ with $0$, $2$ or $4$ finite vertices. The complement $S^3\setminus C_Γ$ is glued of $4$, $8$ or $16$ copies of the corresponding right-angled polytope. We give a criterion when the link $C_Γ$ consists of mutually unlinked circles and prove that if such a link is nontrivial, then it contains the Borromean rings. The latter problem is motivated by the Efimov effect in quantum mechanics. We consider higher-dimensional analogues of hyperbolic links $C_Γ$.

math.GT↗

Affine transverse foliations in sphere bundles

Let~$S^{n-1}\rightarrow E \rightarrow M^n$ be an oriented sphere bundle supporting a {smooth} affine transverse foliation. We give a new and elementary proof of the following fact: if the fundamental group {$π_1(M^n)$} is amenable, then the Euler number of the bundle vanishes. As a by-product, we give an upper bound for the Euler number of the bundle in the general case, that is, for non-amenable {$π_1(M^n)$}.

math.GT↗