Search arXivSearch

arXiv · 2001.10077

Nondiscrete parabolic characters of the free group $F_2$: supergroup density and Nielsen classes in the complement of the Riley slice

Abstract

A parabolic representation of the free group $F_2$ is one in which the images of both generators are parabolic elements of $PSL(2,\IC)$. The Riley slice is a closed subset ${\cal R}\subset \IC$ which is a model for the parabolic, discrete and faithful characters of $F_2$. The complement of the Riley slice is a bounded Jordan domain within which there are isolated points, accumulating only at the boundary, corresponding to parabolic discrete and faithful representations of rigid subgroups of $PSL(2,\IC)$. Recent work of Aimi, Akiyoshi, Lee, Oshika, Parker, Lee, Sakai, Sakuma \& Yoshida, have topologically identified all these groups. Here we give the first identified substantive properties of the nondiscrete representations and prove a supergroup density theorem: given any irreducible parabolic representation $ρ_*:F_2\to PSL(2,\IC)$ whatsoever, any non-discrete parabolic representation $ρ_0$ has an arbitrarily small perturbation $ρ_ε$ so that $ρ_ε(F_2)$ contains a conjugate of $ρ_*(F_2)$ as a proper subgroup. This implies that if $Γ_*$ is any nonelementary group generated by two parabolic elements (discrete or otherwise) and $γ_0$ is any point in the complement of the Riley slice, then in any neighbourhood of $γ$ there is a point corresponding to a nonelementary group generated by two parabolics with a conjugate of $Γ_*$ as a proper subgroup. Using these ideas we then show that there are nondiscrete parabolic representations with an arbitrarily large number of distinct Nielsen classes of parabolic generators.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gaven Martin. 2020-01-27. Nondiscrete parabolic characters of the free group $F_2$: supergroup density and Nielsen classes in the complement of the Riley slice. https://doi.org/10.1112/jlms.12412

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

KEEP EXPLORING

Related papers

On the Ohsawa-Takegoshi $L^2$ extension theorem and removable singularities of plurisubharmonic functions

The celebrated Ohsawa--Takegoshi extension theorem for $L^2$ holomorphic functions on bounded pseudoconvex domains in $\mathbb C^n$ is a fundamental result in the fields of complex analysis and algebraic geometry. In 1995, Ohsawa conjectured that the theorem holds more generally on bounded complete Kähler domains in $\mathbb C^n$. Recently, Chen, Wu and Wang confirmed this conjecture in a special case. In this paper, we extend their result to the case of holomorphic sections of twisted canonical bundles over relatively compact complete Kähler domains in Stein manifolds. As an application, we establish a Hartogs-type extension theorem for plurisubharmonic functions across compact complete pluripolar sets. This result complements a classical theorem of Shiffman and may be regarded as a plurisubharmonic analogue of the Skoda--El Mir extension theorem, thereby filling a gap that appears to have remained open in the literature since at least 1985.

math.CV

The real analytic structure of the Teichmüller space of circle diffeomorphisms with Zygmund continuous derivatives

We apply the methods of simultaneous uniformization and composition operators on Besov spaces to the Teichmüller space $T^Z$ of circle diffeomorphisms with Zygmund continuous derivatives. As consequences, we obtain the following: (1) a new proof of the correspondence between quasiconformal self-homeomorphisms of the unit disk with complex dilatations of linear decay order and their quasisymmetric extensions to the unit circle with regularity in the Zygmund continuously differentiable class; (2) a real-analytic equivalence of $T^Z$ with the real Banach space of Zygmund continuous functions on the unit circle.

math.CV

The Oka principle for holomorphic fibre bundles of Holder-Zygmund classes on strongly pseudoconvex domains

Let \(\overline Ω\) be a compact strongly pseudoconvex domain with smooth boundary in a Stein manifold, and let \(h:Z\to \overline Ω\) be a fibre bundle of Hölder-Zygmund class \(Λ^r\), \(r>0\), which is holomorphic over \(Ω\). Assuming that the fibre is an Oka manifold, we prove that every continuous section \(f_0:\overline Ω\to Z\) is homotopic to a section \(f_1:\overline Ω\to Z\) of class \(Λ^r(\overline Ω)\) which is holomorphic on \(Ω\). We also establish the parametric h-principle in this context. As an application, we obtain the Oka principle for the classification of vector bundles and principal bundles of Hölder-Zygmund classes on such domains.

math.CV