Showing 1–50 of 80 results for author: Mj, M

Hausdorff Dimension of non-conical and Myrberg limit sets

Authors: Mahan Mj, Wenyuan Yang

Abstract: In this paper, we develop techniques to study the Hausdorff dimensions of non-conical and Myrberg limit sets for groups acting on negatively curved spaces. We establish maximality of the Hausdorff dimension of the non-conical limit set of $G$ in the following cases. 1. $M$ is a finite volume complete Riemannian manifold of pinched negative curvature and $G$ is an infinite normal subgroups of infin… ▽ More In this paper, we develop techniques to study the Hausdorff dimensions of non-conical and Myrberg limit sets for groups acting on negatively curved spaces. We establish maximality of the Hausdorff dimension of the non-conical limit set of $G$ in the following cases. 1. $M$ is a finite volume complete Riemannian manifold of pinched negative curvature and $G$ is an infinite normal subgroups of infinite index in $π_1(M)$. 2. $G$ acts on a regular tree $X$ with $X/G$ infinite and amenable (dimension 1). 3. $G$ acts on the hyperbolic plane $\mathbb H^2$ such that $\mathbb H^2/G$ has Cheeger constant zero (dimension 2). 4. $G$ is a finitely generated geometrically infinite Kleinian group (dimension 3). We also show that the Hausdorff dimension of the Myrberg limit set is the same as the critical exponent, confirming a conjecture of Falk-Matsuzaki. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 49 pages, 3 figures

Teichmüller spaces, polynomial loci, and degeneration in spaces of algebraic correspondences

Authors: Yusheng Luo, Mahan Mj, Sabyasachi Mukherjee

Abstract: We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichmüller space… ▽ More We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichmüller spaces or combinatorial copies of polynomial connectedness loci. We show that these slices are bounded in the character variety, thus proving the analog of a theorem of Bers. To produce compactifications of the Bers-like slices, we initiate a study of degeneration of algebraic correspondences on trees of Riemann spheres, revealing a new degeneration phenomenon in conformal dynamics. There is no available analog of Sullivan's 'no invariant line field' theorem in our context. Nevertheless, for the four times punctured sphere, we show that the compactifications of Teichmüller spaces are naturally homeomorphic. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 55 pages, 9 figures

MSC Class: 30D05; 37F05; 37F10; 37F31; 37F32; 37F34; 37F44; 37F46; 57M50 (primary); 30C10; 30F60; 37C85; 37E10; 37F20 (secondary)

Landing rays and ray Cannon-Thurston maps

Authors: Rakesh Halder, Mahan Mj, Pranab Sardar

Abstract: For a hyperbolic subgroup H of a hyperbolic group G, we describe sufficient criteria to guarantee the following. 1) Geodesic rays in H starting at the identity land at a unique point of the boundary of G. 2)The inclusion of H into G does not extend continuously to the boundary. As a consequence we obtain sufficient conditions that provide a mechanism to guarantee the non-existence of Cannon-… ▽ More For a hyperbolic subgroup H of a hyperbolic group G, we describe sufficient criteria to guarantee the following. 1) Geodesic rays in H starting at the identity land at a unique point of the boundary of G. 2)The inclusion of H into G does not extend continuously to the boundary. As a consequence we obtain sufficient conditions that provide a mechanism to guarantee the non-existence of Cannon-Thurston maps. One such criterion we use extensively is an adaptation of a property proven by Jeon, Kapovich, Leininger and Ohshika. As a consequence we describe a number of classes of examples demonstrating the non-existence of Cannon-Thurston maps. We recover, in the process, a simple counter-example lying at the heart of Baker and Riley's examples. △ Less

Submitted 22 March, 2025; originally announced March 2025.

Comments: 45 pgs. No figures

MSC Class: 20F65; 20F67 (Primary) 30C10; 37F10 (Secondary)

Geodesic Trees and Exceptional Directions in FPP on Hyperbolic Groups

Authors: Riddhipratim Basu, Mahan Mj

Abstract: We continue the study of the geometry of infinite geodesics in first passage percolation (FPP) on Gromov-hyperbolic groups G, initiated by Benjamini-Tessera and developed further by the authors. It was shown earlier by the authors that, given any fixed direction $ξ\in \partial G$, and under mild conditions on the passage time distribution, there exists almost surely a unique semi-infinite FPP geod… ▽ More We continue the study of the geometry of infinite geodesics in first passage percolation (FPP) on Gromov-hyperbolic groups G, initiated by Benjamini-Tessera and developed further by the authors. It was shown earlier by the authors that, given any fixed direction $ξ\in \partial G$, and under mild conditions on the passage time distribution, there exists almost surely a unique semi-infinite FPP geodesic from each $v\in G$ to $ξ$. Also, these geodesics coalesce to form a tree. Our main topic of study is the set of (random) exceptional directions for which uniqueness or coalescence fails. We study these directions in the context of two random geodesics trees: one formed by the union of all geodesics starting at a given base point, and the other formed by the union of all semi-infinite geodesics in a given direction $ξ\in \partial G$. We show that, under mild conditions, the set of exceptional directions almost surely has a strictly smaller Hausdorff dimension than the boundary, and hence has measure zero with respect to the Patterson-Sullivan measure. We also establish an upper bound on the maximum number of disjoint geodesics in the same direction. For groups that are not virtually free, we show that almost surely exceptional directions exist and are dense in $\partial G$. When the topological dimension of $\partial G$ is greater than one, we establish the existence of uncountably many exceptional directions. When the topological dimension of $\partial G$ is $n$, we prove the existence of directions $ξ$ with at least $(n+1)$ disjoint geodesics. Our results hinge on deep facts about hyperbolic groups. En route, we also establish facts about the structure of random bigeodesics that substantially strengthen prior results. △ Less

Submitted 15 December, 2024; v1 submitted 4 December, 2024; originally announced December 2024.

Comments: v2: 43 pages, 2 figures. References added. Section 5.2 added

MSC Class: 60K35; 82B43; 20F67 (20F65; 51F99; 60J50)

Randomized Geodesic Flow on Hyperbolic Groups

Authors: Luzie Kupffer, Mahan Mj, Chiranjib Mukherjee

Abstract: Motivated by Gromov's geodesic flow problem on hyperbolic groups $G$, we develop in this paper an analog using random walks. This leads to a notion of a harmonic analog $Θ$ of the Bowen-Margulis-Sullivan measure on $\partial^2 G$. We provide three different but related constructions of $Θ$: 1) by moving the base-point along a quasigeodesic ray 2) by moving the base-point along random walk trajecto… ▽ More Motivated by Gromov's geodesic flow problem on hyperbolic groups $G$, we develop in this paper an analog using random walks. This leads to a notion of a harmonic analog $Θ$ of the Bowen-Margulis-Sullivan measure on $\partial^2 G$. We provide three different but related constructions of $Θ$: 1) by moving the base-point along a quasigeodesic ray 2) by moving the base-point along random walk trajectories 3) directly as a push-forward under the boundary map to $\partial^2 G$ of a measure inherited from studying all bi-infinite random walk trajectories (with no restriction on base-point) on $G^{\mathbb{Z}}$. Of these, the third construction is the most involved and needs new techniques. It relies on developing a framework where we can treat bi-infinite random walk trajectories as analogs of bi-infinite geodesics on complete simply connected negatively curved manifolds. Geodesic flow on a hyperbolic group is typically not well-defined due to non-uniqueness of geodesics. We circumvent this problem in the random walk setup by considering \emph{all} trajectories. We thus get a well-defined \emph{discrete flow} given by the $\mathbb{Z}-$shift on bi-infinite random walk trajectories. The $\mathbb{Z}-$shift is the random analog of the time one map of the geodesic flow. As an analog of ergodicity of the geodesic flow on a closed negatively curved manifold, we establish ergodicity of the $G$-action on $(\partial^2G, Θ)$. △ Less

Submitted 10 December, 2024; v1 submitted 21 November, 2024; originally announced November 2024.

Comments: In V2, Sec 1.3 is inserted with new references

Simultaneous Uniformization and Algebraic Correspondences

Authors: Mahan Mj, Sabyasachi Mukherjee

Abstract: We prove a generalization of the Bers' simultaneous uniformization theorem in the world of algebraic correspondences. More precisely, we construct algebraic correspondences that simultaneously uniformize a pair of non-homeomorphic genus zero orbifolds. We also present a complex-analytic realization of the Teichmüller space of a punctured sphere in the space of correspondences. We prove a generalization of the Bers' simultaneous uniformization theorem in the world of algebraic correspondences. More precisely, we construct algebraic correspondences that simultaneously uniformize a pair of non-homeomorphic genus zero orbifolds. We also present a complex-analytic realization of the Teichmüller space of a punctured sphere in the space of correspondences. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 23 pages, 7 figures. The expository part of the article is based on arXiv:2103.00835, arXiv:2304.12699, and arXiv:2408.00204

On soficity for certain fundamental groups of graphs of groups

Authors: David Gao, Srivatsav Kunnawalkam Elayavalli, Mahan Mj

Abstract: In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical everywhere. We prove soficity for this family of groups under a flexible technical hypothesis for $H$ called $σ$-co-sofic. This proves soficity for group double… ▽ More In this note we study a family of graphs of groups over arbitrary base graphs where all vertex groups are isomorphic to a fixed countable sofic group $G$, and all edge groups $H<G$ are such that the embeddings of $H$ into $G$ are identical everywhere. We prove soficity for this family of groups under a flexible technical hypothesis for $H$ called $σ$-co-sofic. This proves soficity for group doubles $*_H G$, where $H<G$ is an arbitrary separable subgroup and $G$ is countable and sofic. This includes arbitrary finite index group doubles of sofic groups among various other examples. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Tight contact structures on hyperbolic homology 3-spheres

Authors: Mahan Mj, Balarka Sen

Abstract: We produce a large class of hyperbolic homology 3-spheres admitting arbitrarily many distinct tight contact structures. We also produce a sub-class admitting arbitrarily many distinct tight contact structures within the same homotopy class of oriented plane distributions. As a corollary, we give a recipe to construct hyperbolic L-spaces admitting arbitrarily many distinct tight contact structures.… ▽ More We produce a large class of hyperbolic homology 3-spheres admitting arbitrarily many distinct tight contact structures. We also produce a sub-class admitting arbitrarily many distinct tight contact structures within the same homotopy class of oriented plane distributions. As a corollary, we give a recipe to construct hyperbolic L-spaces admitting arbitrarily many distinct tight contact structures. We also introduce a notion of geometric limits of contact structures compatible with geometric limits of hyperbolic manifolds and study the behavior of the tight contact structures we construct under geometric limits. △ Less

Submitted 28 May, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

Comments: v2. 36 pages, 6 figures. Substantially revised: Corrected hypothesis in the case of links (Section 4.1), improved result from surgery coefficients in (0, 1) to all positive surgeries (Section 4.2), added application to tight contact structures on hyperbolic L-spaces (Section 4.3). Additional references and minor improvements in exposition. 3 figures added [v1 was 28 pgs, 3 figs]

MSC Class: 57R17; 57M50

Cubulating Drilled bundles over graphs

Authors: Mahan Mj, Biswajit Nag

Abstract: We start with a Gromov-hyperbolic surface bundle $E$ over a graph, and drill out essential simple closed curves from fibers to obtain a drilled bundle $F$. We prove that for such drilled bundles $F$, the fundamental group $π_1(F)$ is relatively hyperbolic with $(\mathbb{Z}\oplus \mathbb{Z})$ peripheral groups. Combining the relative hyperbolicity of $π_1(F)$ thus obtained with a theorem of Wise, w… ▽ More We start with a Gromov-hyperbolic surface bundle $E$ over a graph, and drill out essential simple closed curves from fibers to obtain a drilled bundle $F$. We prove that for such drilled bundles $F$, the fundamental group $π_1(F)$ is relatively hyperbolic with $(\mathbb{Z}\oplus \mathbb{Z})$ peripheral groups. Combining the relative hyperbolicity of $π_1(F)$ thus obtained with a theorem of Wise, we establish virtually special cubulability of $π_1(F)$ provided that the maximal undrilled subbundles of $F$ are cubulable. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 37 pages, no figures

MSC Class: 20F65; 20F67 (Primary); 22E40; 57M50

Indiscrete Common Commensurators

Authors: Jingyin Huang, Mahan Mj

Abstract: We develop a framework for common commensurators of discrete subgroups of lattices in isometry groups of CAT(0) spaces. We show that the Greenberg-Shalom hypothesis about discreteness of common commensurators of Zariski dense subgroups and lattices fails in this generality, even if one imposes strong finiteness conditions. We analyze some examples due to Burger and Mozes in this context and show t… ▽ More We develop a framework for common commensurators of discrete subgroups of lattices in isometry groups of CAT(0) spaces. We show that the Greenberg-Shalom hypothesis about discreteness of common commensurators of Zariski dense subgroups and lattices fails in this generality, even if one imposes strong finiteness conditions. We analyze some examples due to Burger and Mozes in this context and show that they have discrete common commensurator. △ Less

Submitted 10 October, 2023; v1 submitted 7 October, 2023; originally announced October 2023.

Comments: 20pgs no figures

MSC Class: 20F65; 20F67

Commensurated hyperbolic subgroups

Authors: Nir Lazarovich, Alex Margolis, Mahan Mj

Abstract: We show that if H is a non-elementary hyperbolic commensurated subgroup of infinite index in a hyperbolic group G, then H is virtually a free product of hyperbolic surface groups and free groups. We prove that whenever a one-ended hyperbolic group H is a fiber of a non-trivial hyperbolic bundle then H virtually splits over a 2-ended subgroup. We show that if H is a non-elementary hyperbolic commensurated subgroup of infinite index in a hyperbolic group G, then H is virtually a free product of hyperbolic surface groups and free groups. We prove that whenever a one-ended hyperbolic group H is a fiber of a non-trivial hyperbolic bundle then H virtually splits over a 2-ended subgroup. △ Less

Submitted 25 April, 2024; v1 submitted 24 September, 2023; originally announced September 2023.

Comments: v2: 25pgs no figures. Final version, to appear in Transactions AMS

MSC Class: 20F65; 20F67

Greenberg-Shalom's Commensurator Hypothesis and Applications

Authors: Nic Brody, David Fisher, Mahan Mj, Wouter van Limbeek

Abstract: We discuss many surprising implications of a positive answer to a question raised in some cases by Greenberg in the $`70$s and more generally by Shalom in the early $2000$s. We refer to this positive answer as the Greenberg-Shalom hypothesis. This hypothesis then says that any infinite discrete subgroup of a semisimple Lie group with dense commensurator is a lattice in a product of some factors. F… ▽ More We discuss many surprising implications of a positive answer to a question raised in some cases by Greenberg in the $`70$s and more generally by Shalom in the early $2000$s. We refer to this positive answer as the Greenberg-Shalom hypothesis. This hypothesis then says that any infinite discrete subgroup of a semisimple Lie group with dense commensurator is a lattice in a product of some factors. For some applications it is natural to extend the hypothesis to cover semisimple algebraic groups over other fields as well. △ Less

Submitted 7 November, 2023; v1 submitted 15 August, 2023; originally announced August 2023.

MSC Class: 22E40; 53C35

Matings, holomorphic correspondences, and a Bers slice

Authors: Mahan Mj, Sabyasachi Mukherjee

Abstract: There are two frameworks for mating Kleinian groups with rational maps on the Riemann sphere: the algebraic correspondence framework due to Bullett-Penrose-Lomonaco \cite{BP94,BL20a} and the simultaneous uniformization mating framework of \cite{MM1}. The current paper unifies and generalizes these two frameworks in the case of principal hyperbolic components. To achieve this, we extend the mating… ▽ More There are two frameworks for mating Kleinian groups with rational maps on the Riemann sphere: the algebraic correspondence framework due to Bullett-Penrose-Lomonaco \cite{BP94,BL20a} and the simultaneous uniformization mating framework of \cite{MM1}. The current paper unifies and generalizes these two frameworks in the case of principal hyperbolic components. To achieve this, we extend the mating framework of \cite{MM1} to genus zero hyperbolic orbifolds with at most one orbifold point of order $ν\geq 3$ and at most one orbifold point of order two. We give an explicit description of the resulting conformal matings in terms of uniformizing rational maps. Using these rational maps, we construct correspondences that are matings of such hyperbolic orbifold groups (including the modular group) with polynomials in principal hyperbolic components. We also define an algebraic parameter space of correspondences and construct an analog of a Bers slice of the above orbifolds in this parameter space. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Comments: 48 pgs, 10 figs

MSC Class: 30C10; 30C20; 30F60; 37F05; 37F10; 37F31; 37F32; 37F34; 37F44 (primary); 37C85; 57M50; 20F65 (secondary)

The Sullivan dictionary and Bowen-Series maps

Authors: Mahan Mj, Sabyasachi Mukherjee

Abstract: The Sullivan dictionary between Kleinian groups and rational dynamics describes striking similarities between the fields, both in terms of the objects of study as well as the techniques used. We give an expository account of a recent bridge between the two sides of the dictionary by describing a framework for combining a Fuchsian group with a complex polynomial into a single dynamical system on th… ▽ More The Sullivan dictionary between Kleinian groups and rational dynamics describes striking similarities between the fields, both in terms of the objects of study as well as the techniques used. We give an expository account of a recent bridge between the two sides of the dictionary by describing a framework for combining a Fuchsian group with a complex polynomial into a single dynamical system on the Riemann sphere. △ Less

Submitted 20 February, 2023; originally announced February 2023.

Comments: 39 pgs, 10 figures. This is an expository paper, partly based on arXiv:2103.00835v1. Some of the examples from arXiv:2103.00835 have now been taken out and moved into the present article. To appear in the 80th birthday volume of Dennis Sullivan, edited by Basmajian, Koberda, Papadopoulos, Seade and Zeinalian, EMS Surveys in Mathematical Sciences

MSC Class: 37F10; 37F32; 30F60; 37D25 (primary); 30C62; 30D05; 30F40; 30J10; 37F31; 57M50 (secondary)

Journal ref: EMS Surv. Math. Sci., 10:179-221, 2023

Class number for pseudo-Anosovs

Authors: François Dahmani, Mahan Mj

Abstract: Given two automorphisms of a group $G$, one is interested in knowing whether they are conjugate in the automorphism group of $G$, or in the abstract commensurator of $G$, and how these two properties may differ. When $G$ is the fundamental group of a closed orientable surface, we present a uniform finiteness theorem for the class of pseudo-Anosov automorphisms. We present an explicit example of a… ▽ More Given two automorphisms of a group $G$, one is interested in knowing whether they are conjugate in the automorphism group of $G$, or in the abstract commensurator of $G$, and how these two properties may differ. When $G$ is the fundamental group of a closed orientable surface, we present a uniform finiteness theorem for the class of pseudo-Anosov automorphisms. We present an explicit example of a commensurably conjugate pair of pseudo-Anosov automorphisms of a genus $3$ surface, that are not conjugate in the Mapping Class Group, and we also show that infinitely many independent automorphisms of hyperbolic orbifolds have class number equal to one. In the appendix, we briefly survey the Latimer-MacDuffee theorem that addresses the case of automorphisms of $\mathbb{Z}^n$, with a point of view that is suited to an analogy with surface group automorphisms. △ Less

Submitted 31 August, 2024; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 21 pages, revised

Journal ref: Trans. Amer. Math. Soc. 378, no. 2 (2025) 1465-1482

Mixing Properties of Stable Random Fields Indexed by Amenable and Hyperbolic Groups

Authors: Mahan Mj, Parthanil Roy, Sourav Sarkar

Abstract: We show that any stationary symmteric $α$-stable ($SαS$) random field indexed by a countable amenable group $G$ is weakly mixing if and only if it is generated by a null action, extending works of Samorodnitsky and Wang-Roy-Stoev for abelian groups to all amenable groups. This enables us to improve significantly the domain of a recently discovered connection to von Neumann algebras. We also establ… ▽ More We show that any stationary symmteric $α$-stable ($SαS$) random field indexed by a countable amenable group $G$ is weakly mixing if and only if it is generated by a null action, extending works of Samorodnitsky and Wang-Roy-Stoev for abelian groups to all amenable groups. This enables us to improve significantly the domain of a recently discovered connection to von Neumann algebras. We also establish ergodicity of stationary $SαS$ fields associated with boundary and double boundary actions of a hyperbolic group $G$, where the boundary is equipped with either the Patterson-Sullivan or the hitting measure of a random walk, and the double boundary is equipped with the Bowen-Margulis-Sullivan measure. △ Less

Submitted 1 July, 2022; v1 submitted 31 May, 2022; originally announced May 2022.

Comments: 21 pages. Some minor corrections have been made

MSC Class: 60G52; 60G60; 60G10

The Gromov-Tischler theorem for stratified spaces

Authors: Mahan Mj, Balarka Sen

Abstract: We define a notion of a symplectic structure on stratified spaces, and demonstrate that given a symplectic structure on a stratified space $X$ with integral cohomology class, $X$ can be symplectically embedded in some complex projective space equipped with the standard Kähler form. This extends a theorem, due to Gromov and Tischler for manifolds, to stratified spaces. We define a notion of a symplectic structure on stratified spaces, and demonstrate that given a symplectic structure on a stratified space $X$ with integral cohomology class, $X$ can be symplectically embedded in some complex projective space equipped with the standard Kähler form. This extends a theorem, due to Gromov and Tischler for manifolds, to stratified spaces. △ Less

Submitted 13 August, 2023; v1 submitted 22 May, 2022; originally announced May 2022.

Comments: Final version, 28 pages, to appear in Rocky Mountain J. Math

MSC Class: 53D99; 58A35; 57R17 (Primary); 32S60; 53D05

h-Principle for Stratified Spaces

Authors: Mahan Mj, Balarka Sen

Abstract: We extend Gromov and Eliashberg-Mishachev's h-principle on manifolds to stratified spaces. This is done in both the sheaf-theoretic framework of Gromov and the smooth jets framework of Eliashberg-Mishachev. The generalization involves developing 1) the notion of stratified continuous sheaves to extend Gromov's theory, 2) the notion of smooth stratified bundles to extend Eliashberg-Mishachev's theo… ▽ More We extend Gromov and Eliashberg-Mishachev's h-principle on manifolds to stratified spaces. This is done in both the sheaf-theoretic framework of Gromov and the smooth jets framework of Eliashberg-Mishachev. The generalization involves developing 1) the notion of stratified continuous sheaves to extend Gromov's theory, 2) the notion of smooth stratified bundles to extend Eliashberg-Mishachev's theory. A new feature is the role played by homotopy fiber sheaves. We show, in particular, that stratumwise flexibility of stratified continuous sheaves along with flexibility of homotopy fiber sheaves furnishes the parametric h-principle. We extend the Eliashberg-Mishachev holonomic approximation theorem to stratified spaces. We also prove a stratified analog of the Smale-Hirsch immersion theorem. △ Less

Submitted 19 May, 2023; v1 submitted 22 May, 2022; originally announced May 2022.

Comments: Final version, 74 pages, to appear in IMRN

MSC Class: 53D99; 58A35 (Primary); 58E99

Commensurators of normal subgroups of lattices

Authors: David Fisher, Mahan Mj, Wouter Van Limbeek

Abstract: We study a question of Greenberg-Shalom concerning arithmeticity of discrete subgroups of semisimple Lie groups with dense commensurators. We answer this question positively for normal subgroups of lattices. This generalizes a result of the second author and T. Koberda for certain normal subgroups of arithmetic lattices in SO(n,1) and SU(n,1). We study a question of Greenberg-Shalom concerning arithmeticity of discrete subgroups of semisimple Lie groups with dense commensurators. We answer this question positively for normal subgroups of lattices. This generalizes a result of the second author and T. Koberda for certain normal subgroups of arithmetic lattices in SO(n,1) and SU(n,1). △ Less

Submitted 28 May, 2023; v1 submitted 8 February, 2022; originally announced February 2022.

Combination Theorems in Groups, Geometry and Dynamics

Authors: Mahan Mj, Sabyasachi Mukherjee

Abstract: The aim of this article is to give a survey of combination theorems occurring in hyperbolic geometry, geometric group theory and complex dynamics, with a particular focus on Thurston's contribution and influence in the field. The aim of this article is to give a survey of combination theorems occurring in hyperbolic geometry, geometric group theory and complex dynamics, with a particular focus on Thurston's contribution and influence in the field. △ Less

Submitted 7 August, 2022; v1 submitted 18 March, 2021; originally announced March 2021.

Comments: Final version, 47 pages, 9 figures. Parts of the survey are based on the papers arXiv:math/0611601, arXiv:0912.2715, arXiv:1901.02170 (for combination theorems in geometric group theory), and arXiv:2007.02429, arXiv:2010.11256, arXiv:2103.00835 (for combination theorems at the interface of complex dynamics and Kleinian groups)

MSC Class: 20F65; 20F67; 37F10; 37F32; 30F60; 30F40; 57M50

Journal ref: In the Tradition of Thurston II (edited by K. Ohshika and A. Papadopoulos), pp 331-383, Springer, 2022

Combining Rational maps and Kleinian groups via orbit equivalence

Authors: Mahan Mj, Sabyasachi Mukherjee

Abstract: We develop a new orbit equivalence framework for holomorphically mating the dynamics of complex polynomials with that of Kleinian surface groups. We show that the only torsion-free Fuchsian groups that can be thus mated are punctured sphere groups. We describe a new class of maps that are topologically orbit equivalent to Fuchsian punctured sphere groups. We call these higher Bowen-Series maps. Th… ▽ More We develop a new orbit equivalence framework for holomorphically mating the dynamics of complex polynomials with that of Kleinian surface groups. We show that the only torsion-free Fuchsian groups that can be thus mated are punctured sphere groups. We describe a new class of maps that are topologically orbit equivalent to Fuchsian punctured sphere groups. We call these higher Bowen-Series maps. The existence of this class ensures that the Teichmüller space of matings has one component corresponding to Bowen-Series maps and one corresponding to higher Bowen-Series maps. We also show that, unlike in higher dimensions, topological orbit equivalence rigidity fails for Fuchsian groups acting on the circle. We also classify the collection of Kleinian Bers boundary groups that are mateable in our framework. △ Less

Submitted 21 February, 2023; v1 submitted 1 March, 2021; originally announced March 2021.

Comments: v 2: 70 pages, 9 figures; final version, accepted in Proceedings of the London Math. Soc. Some examples and expository details from the earlier version have now been moved to arXiv:2302.09827

MSC Class: 37F10; 37F32; 30F60 (primary); 30C50; 30C62; 30D05; 30F40; 30J10; 37F31; 57M50 (secondary)

Journal ref: Proc. Lond. Math. Soc. (3), 126:1740-1809, 2023

One-relator Sasakian groups

Authors: Indranil Biswas, Mahan Mj

Abstract: We prove that any one-relator group $G$ is the fundamental group of a compact Sasakian manifold if and only if $G$ is either finite cyclic or isomorphic to the fundamental group of a compact Riemann surface of genus g > 0 with at most one orbifold point of order $n \geq 1$. We also classify all groups of deficiency at least two that are also the fundamental group of some compact Sasakian manifold. We prove that any one-relator group $G$ is the fundamental group of a compact Sasakian manifold if and only if $G$ is either finite cyclic or isomorphic to the fundamental group of a compact Riemann surface of genus g > 0 with at most one orbifold point of order $n \geq 1$. We also classify all groups of deficiency at least two that are also the fundamental group of some compact Sasakian manifold. △ Less

Submitted 26 January, 2021; originally announced January 2021.

Regluing graphs of Free Groups

Authors: Pritam Ghosh, Mahan Mj

Abstract: Answering a question due to Min, we prove that a finite graph of roses admits a regluing such that the resulting graph of roses has hyperbolic fundamental group. Answering a question due to Min, we prove that a finite graph of roses admits a regluing such that the resulting graph of roses has hyperbolic fundamental group. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Comments: 25pgs, no figs

MSC Class: 20F65; 20F67

Journal ref: Algebr. Geom. Topol. 22 (2022) 1969-2006

Propagating quasiconvexity from fibers

Authors: Mahan Mj, Pranab Sardar

Abstract: Let $1 \to K \longrightarrow G \stackrelπ\longrightarrow Q$ be an exact sequence of hyperbolic groups. Let $Q_1 < Q$ be a quasiconvex subgroup and let $G_1=π^{-1}(Q_1)$. Under relatively mild conditions (e.g. if $K$ is a closed surface group or a free group and $Q$ is convex cocompact), we show that infinite index quasiconvex subgroups of $G_1$ are quasiconvex in $G$. Related results are proven fo… ▽ More Let $1 \to K \longrightarrow G \stackrelπ\longrightarrow Q$ be an exact sequence of hyperbolic groups. Let $Q_1 < Q$ be a quasiconvex subgroup and let $G_1=π^{-1}(Q_1)$. Under relatively mild conditions (e.g. if $K$ is a closed surface group or a free group and $Q$ is convex cocompact), we show that infinite index quasiconvex subgroups of $G_1$ are quasiconvex in $G$. Related results are proven for metric bundles, developable complexes of groups, and graphs of groups. △ Less

Submitted 4 March, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: final version, 21 pages

MSC Class: 20F65; 20F67 (Primary); 30F60(Secondary)

Property (T) for fiber products

Authors: Mahan Mj, Arghya Mondal

Abstract: We study when the fiber product of groups with Property (T) has Property (T). We study when the fiber product of groups with Property (T) has Property (T). △ Less

Submitted 27 February, 2022; v1 submitted 1 September, 2020; originally announced September 2020.

Comments: v2: Final version. Paper reorganized and introduction rewritten following referee's comments. To appear in Proc. Indian Acad. Sci. Math Sci. 17 pages, no figure

MSC Class: 22D55 (Primary); 20F65; 20F67 (Secondary)

First Passage Percolation on Hyperbolic groups

Authors: Riddhipratim Basu, Mahan Mj

Abstract: We study first passage percolation (FPP) on a Gromov-hyperbolic group $G$ with boundary $\partial G$ equipped with the Patterson-Sullivan measure $ν$. We associate an i.i.d.\ collection of random passage times to each edge of a Cayley graph of $G$, and investigate classical questions about the asymptotics of first passage time as well as the geometry of geodesics in the FPP metric. Under suitable… ▽ More We study first passage percolation (FPP) on a Gromov-hyperbolic group $G$ with boundary $\partial G$ equipped with the Patterson-Sullivan measure $ν$. We associate an i.i.d.\ collection of random passage times to each edge of a Cayley graph of $G$, and investigate classical questions about the asymptotics of first passage time as well as the geometry of geodesics in the FPP metric. Under suitable conditions on the passage time distribution, we show that the `velocity' exists in $ν$-almost every direction $ξ\in \partial G$, and is almost surely constant by ergodicity of the $G-$action on $\partial G$. For every $ξ\in \partial G$, we also show almost sure coalescence of any two geodesic rays directed towards $ξ$. Finally, we show that the variance of the first passage time grows linearly with word distance along word geodesic rays in every fixed boundary direction. This provides an affirmative answer to a conjecture of Benjamini, Tessera, and Zeitouni. △ Less

Submitted 22 December, 2024; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: 53 pages, 3 figures. Appeared in Advances in Math.. This version clarifies the statement of Theorem 7.9 which was imprecisely formulated in the previous versions including the published version

MSC Class: 60K35; 82B43; 20F67 (Primary); 20F65; 51F99; 60J50 (Secondary)

Cubulating Surface-by-free Groups

Authors: Jason F. Manning, Mahan Mj, Michah Sageev

Abstract: Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= π_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient conditions to prove that $G$ is cubulable and construct examples satisfying these conditions. The main result may be thought of as a combination theor… ▽ More Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= π_1(S)$ is the fundamental group of a closed surface $S$ of genus greater than one, $G$ is hyperbolic and $Q$ is finitely generated free. The aim of this paper is to provide sufficient conditions to prove that $G$ is cubulable and construct examples satisfying these conditions. The main result may be thought of as a combination theorem for virtually special hyperbolic groups when the amalgamating subgroup is not quasiconvex. Ingredients include the theory of tracks, the quasiconvex hierarchy theorem of Wise, the distance estimates in the mapping class group from subsurface projections due to Masur-Minsky and the model geometry for doubly degenerate Kleinian surface groups used in the proof of the ending lamination theorem. An appendix to this paper by Manning, Mj, and Sageev proves a reduction theorem by showing that cubulability of $G$ follows from the existence of an essential incompressible quasiconvex track in a surface bundle over a graph with fundamental group $G$. △ Less

Submitted 19 November, 2024; v1 submitted 9 August, 2019; originally announced August 2019.

Comments: v2: major revision. 64 pages, 5 figures. The main body of the paper is now by Mj, with an appendix by Manning, Mj, and Sageev v3: Final version. 65 pages, 5 figures. To appear in Journal of Topology

MSC Class: 20F65; 20F67 (Primary); 22E40; 57M50 (Secondary)

Commensurators of thin normal subgroups and abelian quotients

Authors: Thomas Koberda, Mahan Mj

Abstract: We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let $K<Γ<G$ be an infinite normal subgroup of an arithmetic lattice $Γ$ in a rank one simple Lie group $G$, such that the quotient $Q=Γ/K$ is infinite. We show that the commensurator of $K$ in $G$ is discrete, provided that $Q$ admit… ▽ More We give an affirmative answer to many cases of a question due to Shalom, which asks if the commensurator of a thin subgroup of a Lie group is discrete. In this paper, let $K<Γ<G$ be an infinite normal subgroup of an arithmetic lattice $Γ$ in a rank one simple Lie group $G$, such that the quotient $Q=Γ/K$ is infinite. We show that the commensurator of $K$ in $G$ is discrete, provided that $Q$ admits a surjective homomorphism to $\mathbb{Z}$. In this case, we also show that the commensurator of $K$ contains the normalizer of $K$ with finite index. We thus vastly generalize a result of the authors, which showed that many natural normal subgroups of $\mathrm{PSL}_2(\mathbb{Z})$ have discrete commensurator in $\mathrm{PSL}_2(\mathbb{R})$. △ Less

Submitted 13 May, 2023; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: 19 pages. Accepted version. To appear in Alg. Geom. Topol

Report number: BCSim-2019-s11 MSC Class: 22E40 (Primary); 20F65; 20F67; 57M50

Journal ref: Algebr. Geom. Topol. 24 (2024) 2149-2170

Monodromy representations of meromorphic projective structures

Authors: Subhojoy Gupta, Mahan Mj

Abstract: We determine the image of the monodromy map for meromorphic projective structures with poles of orders greater than two. This proves the analogue of a theorem of Gallo-Kapovich-Marden, and answers a question of Allegretti and Bridgeland. Our proof uses coordinates on the moduli space of framed representations arising from the work of Fock and Goncharov. We determine the image of the monodromy map for meromorphic projective structures with poles of orders greater than two. This proves the analogue of a theorem of Gallo-Kapovich-Marden, and answers a question of Allegretti and Bridgeland. Our proof uses coordinates on the moduli space of framed representations arising from the work of Fock and Goncharov. △ Less

Submitted 20 September, 2019; v1 submitted 24 May, 2019; originally announced May 2019.

Comments: 12 pages, final version, to appear in Proc. AMS

MSC Class: 57M50

Meromorphic projective structures, grafting and the monodromy map

Authors: Subhojoy Gupta, Mahan Mj

Abstract: A meromorphic projective structure on a punctured Riemann surface $X\setminus P$ is determined, after fixing a standard projective structure on $X$, by a meromorphic quadratic differential with poles of order three or more at each puncture in $P$. In this article we prove the analogue of Thurston's grafting theorem for such meromorphic projective structures, that involves grafting crowned hyperbol… ▽ More A meromorphic projective structure on a punctured Riemann surface $X\setminus P$ is determined, after fixing a standard projective structure on $X$, by a meromorphic quadratic differential with poles of order three or more at each puncture in $P$. In this article we prove the analogue of Thurston's grafting theorem for such meromorphic projective structures, that involves grafting crowned hyperbolic surfaces. This also provides a grafting description for projective structures on $\mathbb{C}$ that have polynomial Schwarzian derivatives. As an application of our main result, we prove the analogue of a result of Hejhal, namely, we show that the monodromy map to the decorated character variety (in the sense of Fock-Goncharov) is a local homeomorphism. △ Less

Submitted 3 March, 2021; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: 48 pages, 12 figures. Final version

MSC Class: 30F30; 57M50

Tight trees and model geometries of surface bundles over graphs

Authors: Mahan Mj

Abstract: We generalize the notion of tight geodesics in the curve complex to tight trees. We then use tight trees to construct model geometries for certain surface bundles over graphs. This extends some aspects of the combinatorial model for doubly degenerate hyperbolic 3-manifolds developed by Brock, Canary, and Minsky during the course of their proof of the Ending Lamination Theorem. Thus we obtain unifo… ▽ More We generalize the notion of tight geodesics in the curve complex to tight trees. We then use tight trees to construct model geometries for certain surface bundles over graphs. This extends some aspects of the combinatorial model for doubly degenerate hyperbolic 3-manifolds developed by Brock, Canary, and Minsky during the course of their proof of the Ending Lamination Theorem. Thus we obtain uniformly Gromov-hyperbolic geometric model spaces equipped with geometric $G-$actions, where $G$ admits an exact sequence of the form $$1 \to π_1(S) \to G \to Q \to 1.$$ Here $S$ is a closed surface of genus $g > 1$ and $Q$ belongs to a special class of free convex cocompact subgroups of the mapping class group $MCG(S)$. △ Less

Submitted 10 May, 2020; v1 submitted 8 January, 2019; originally announced January 2019.

Comments: V2: Final version, incorporating referee's comments. 49 pages, 2 figures

MSC Class: 20F65; 20F67 (Primary); 22E40; 57M50

Commutators, commensurators, and $\mathrm{PSL}_2(\mathbb{Z})$

Authors: Thomas Koberda, Mahan Mj

Abstract: Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. We thus obtain a natural family of thin subgroups of… ▽ More Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. We thus obtain a natural family of thin subgroups of $\mathrm{PSL}_2(\mathbb{R})$ whose commensurators are discrete, establishing some cases of a conjecture of Shalom. △ Less

Submitted 10 June, 2021; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: 20 pages, appendix removed. To appear in the Journal of Topology

Stable Random Fields, Patterson-Sullivan measures and Extremal Cocycle Growth

Authors: Jayadev Athreya, Mahan Mj, Parthanil Roy

Abstract: We study extreme values of group-indexed stable random fields for discrete groups $G$ acting geometrically on spaces $X$ in the following cases: 1) $G$ acts freely, properly discontinuously by isometries on a CAT(-1) space $X$, 2) $G$ is a lattice in a higher rank Lie group, acting on a symmetric space $X$, 3) $G$ is the mapping class group of a surface acting on its Teichmuller space. The… ▽ More We study extreme values of group-indexed stable random fields for discrete groups $G$ acting geometrically on spaces $X$ in the following cases: 1) $G$ acts freely, properly discontinuously by isometries on a CAT(-1) space $X$, 2) $G$ is a lattice in a higher rank Lie group, acting on a symmetric space $X$, 3) $G$ is the mapping class group of a surface acting on its Teichmuller space. The connection between extreme values and the geometric action is mediated by the action of the group $G$ on its limit set equipped with the Patterson-Sullivan measure. Based on motivation from extreme value theory, we introduce an invariant of the action called extremal cocycle growth which measures the distortion of measures on the boundary in comparison to the movement of points in the space $X$ and show that its non-vanishing is equivalent to finiteness of the Bowen-Margulis measure for the associated unit tangent bundle $U(X/G)$ provided $X/G$ has non-arithmetic length spectrum. As a consequence, we establish a dichotomy for the growth-rate of a partial maxima sequence of stationary symmetric $α$-stable ($0 < α< 2$) random fields indexed by groups acting on such spaces. We also establish analogous results for normal subgroups of free groups. △ Less

Submitted 23 March, 2022; v1 submitted 21 September, 2018; originally announced September 2018.

Comments: version 3: final version, 30 pages, to appear in Probability Theory and Related Fields

MSC Class: 20F65; 20F67; 60B15; 60J50 (Primary); 11K55; 20F69; 28A78; 28A80; 37A; 57M (Secondary)

Cheeger inequalities for graph limits

Authors: Abhishek Khetan, Mahan Mj

Abstract: We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings. We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings. △ Less

Submitted 12 November, 2018; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: 35 pgs, 4 figures; v2: 39 pgs, 5 figures. Relationships between Cheeger constant of finite weighted graph and associated canonical graphon added

MSC Class: 05C40; 35P15; 05C75; 05C99; 58J50

Stable Higgs bundles over positive principal elliptic fibrations

Authors: Indranil Biswas, Mahan Mj, Misha Verbitsky

Abstract: Let $M$ be a compact complex manifold of dimension at least three and $Π: M\rightarrow X$ a positive principal elliptic fibration, where $X$ is a compact Kähler orbifold. Fix a preferred Hermitian metric on $M$. In \cite{V}, the third author proved that every stable vector bundle on $M$ is of the form $L\otimes Π^*B_0$, where $B_0$ is a stable vector bundle on $X$, and $L$ is a holomorphic line bu… ▽ More Let $M$ be a compact complex manifold of dimension at least three and $Π: M\rightarrow X$ a positive principal elliptic fibration, where $X$ is a compact Kähler orbifold. Fix a preferred Hermitian metric on $M$. In \cite{V}, the third author proved that every stable vector bundle on $M$ is of the form $L\otimes Π^*B_0$, where $B_0$ is a stable vector bundle on $X$, and $L$ is a holomorphic line bundle on $M$. Here we prove that every stable Higgs bundle on $M$ is of the form $(L\otimes Π^*B_0,Π^*Φ_X)$, where $(B_0, Φ_X)$ is a stable Higgs bundle on $X$ and $L$ is a holomorphic line bundle on $M$. △ Less

Submitted 11 June, 2018; originally announced June 2018.

Sasakian and parabolic Higgs bundles

Authors: Indranil Biswas, Mahan Mj

Abstract: Let $M$ be a quasi-regular compact connected Sasakian manifold, and let $N = M/S^1$ be the base projective variety. We establish an equivalence between the class of Sasakian $G$-Higgs bundles over $M$ and the class of parabolic (or equivalently, ramified) $G$-Higgs bundles over the base $N$. Let $M$ be a quasi-regular compact connected Sasakian manifold, and let $N = M/S^1$ be the base projective variety. We establish an equivalence between the class of Sasakian $G$-Higgs bundles over $M$ and the class of parabolic (or equivalently, ramified) $G$-Higgs bundles over the base $N$. △ Less

Submitted 28 December, 2017; originally announced December 2017.

Comments: arXiv admin note: text overlap with arXiv:0806.1308

MSC Class: 14P25; 57M05

Cannon-Thurston Maps

Authors: Mahan Mj

Abstract: We give an overview of the theory of Cannon-Thurston maps which forms one of the links between the complex analytic and hyperbolic geometric study of Kleinian groups. We also briefly sketch connections to hyperbolic subgroups of hyperbolic groups and end with some open questions. We give an overview of the theory of Cannon-Thurston maps which forms one of the links between the complex analytic and hyperbolic geometric study of Kleinian groups. We also briefly sketch connections to hyperbolic subgroups of hyperbolic groups and end with some open questions. △ Less

Submitted 3 December, 2017; originally announced December 2017.

Comments: Survey article for Proceedings of ICM 2018. 22 pages 6 figures. Contains a summary of some of the material from arXiv:1606.07185, arXiv:1506.08036, arXiv:1306.308, arXiv:1002.0996, arXiv:0912.2715, arXiv:0708.3578, arXiv:math/0607509 by the author and his co-authors

MSC Class: 57M50; 30F40 (Primary); 20F65; 20F67 (Secondary)

Surface group representations in ${\rm SL}_2({\mathbb C})$ with finite mapping class orbits

Authors: Indranil Biswas, Subhojoy Gupta, Mahan Mj, Junho Peter Whang

Abstract: Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the fundamental group of the surface. For surfaces of genus at least two, such orbits correspond to homomorphisms with finite image. For genus one, they correspond to the… ▽ More Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the fundamental group of the surface. For surfaces of genus at least two, such orbits correspond to homomorphisms with finite image. For genus one, they correspond to the finite or special dihedral representations. We also obtain an analogous result for bounded orbits in the moduli space. △ Less

Submitted 10 April, 2021; v1 submitted 30 June, 2017; originally announced July 2017.

Comments: 30 pages, 5 figures, accepted for publication in Geometry & Topology

MSC Class: 57M50 (Primary); 57M05; 20E36; 20F29 (Secondary)

Journal ref: Geom. Topol. 26 (2022) 679-719

Discontinuous motions of limit sets

Authors: Mahan Mj, Ken'ichi Ohshika

Abstract: We characterise completely when limit sets, as parametrised by Cannon-Thurston maps, move discontinuously for a sequence of algebraically convergent quasi-Fuchsian groups. We characterise completely when limit sets, as parametrised by Cannon-Thurston maps, move discontinuously for a sequence of algebraically convergent quasi-Fuchsian groups. △ Less

Submitted 16 October, 2020; v1 submitted 2 April, 2017; originally announced April 2017.

Comments: The third version: Section 4 has been substantially revised for clarification. 33 pages with 4 figures

MSC Class: 57M50; 30F40

Journal ref: Algebr. Geom. Topol. 21 (2021) 3401-3444

Representations of surface groups with finite mapping class group orbits

Authors: Indranil Biswas, Thomas Koberda, Mahan Mj, Ramanujan Santharoubane

Abstract: Let $(S,\, \ast)$ be a closed oriented surface with a marked point, let $G$ be a fixed group, and let $ρ\colonπ_1(S) \longrightarrow G$ be a representation such that the orbit of $ρ$ under the action of the mapping class group $Mod(S,\, \ast)$ is finite. We prove that the image of $ρ$ is finite. A similar result holds if $π_1(S)$ is replaced by the free group $F_n$ on $n\geq 2$ generators and wher… ▽ More Let $(S,\, \ast)$ be a closed oriented surface with a marked point, let $G$ be a fixed group, and let $ρ\colonπ_1(S) \longrightarrow G$ be a representation such that the orbit of $ρ$ under the action of the mapping class group $Mod(S,\, \ast)$ is finite. We prove that the image of $ρ$ is finite. A similar result holds if $π_1(S)$ is replaced by the free group $F_n$ on $n\geq 2$ generators and where $Mod(S,\, \ast)$ is replaced by $Aut(F_n)$. We thus resolve a well-known question of M. Kisin. We show that if $G$ is a linear algebraic group and if the representation variety of $π_1(S)$ is replaced by the character variety, then there are infinite image representations which are fixed by the whole mapping class group. △ Less

Submitted 12 February, 2017; originally announced February 2017.

Comments: 6 pgs no figs

MSC Class: Primary: 57M50; Secondary: 57M05; 20E36; 20F29

Intersection properties of stable subgroups and bounded cohomology

Authors: Yago Antolín, Mahan Mj, Alessandro Sisto, Samuel J. Taylor

Abstract: We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group. We show that a finite collection of stable subgroups of a finitely generated group has finite height, finite width and bounded packing. We then use knowledge about intersections of conjugates to characterize finite families of quasimorphisms on hyperbolically embedded subgroups that can be to simultaneously extended to the ambient group. △ Less

Submitted 3 February, 2017; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: Version 2 has a new title, added applications to bounded cohomology, and two additional authors. 16 pages

Flexibility of group actions on the circle

Authors: Sang-hyun Kim, Thomas Koberda, Mahan Mj

Abstract: In this partly expository monograph we develop a general framework for producing uncountable families of exotic actions of certain classically studied groups acting on the circle. We show that if $L$ is a nontrivial limit group then the nonlinear representation variety $\mathrm{Hom}(L,\mathrm{Homeo}_+(S^1))$ contains uncountably many semi-conjugacy classes of faithful actions on $S^1$ with pairwis… ▽ More In this partly expository monograph we develop a general framework for producing uncountable families of exotic actions of certain classically studied groups acting on the circle. We show that if $L$ is a nontrivial limit group then the nonlinear representation variety $\mathrm{Hom}(L,\mathrm{Homeo}_+(S^1))$ contains uncountably many semi-conjugacy classes of faithful actions on $S^1$ with pairwise disjoint rotation spectra (except for $0$) such that each representation lifts to $\mathbb{R}$. For the case of most Fuchsian groups $L$, we prove further that this flexibility phenomenon occurs even locally, thus complementing a result of K. Mann. We prove that each non-elementary free or surface group admits an action on $S^1$ that is never semi-conjugate to any action that factors through a finite--dimensional connected Lie subgroup in $\mathrm{Homeo}_+(S^1)$. It is exhibited that the mapping class groups of bounded surfaces have non-semi-conjugate faithful actions on $S^1$. In the process of establishing these results, we prove general combination theorems for indiscrete subgroups of $\mathrm{PSL}_2(\mathbb{R})$ which apply to most Fuchsian groups and to all limit groups. We also show a Topological Baumslag Lemma, and general combination theorems for representations into Baire topological groups. The abundance of $\mathbb{Z}$--valued subadditive defect--one quasimorphisms on these groups would follow as a corollary. We also give a mostly self-contained reconciliation of the various notions of semi-conjugacy in the extant literature by showing that they are all equivalent. △ Less

Submitted 4 October, 2018; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: 111 pages. To appear as a volume of Springer Lecture Notes in Mathematics

Higgs bundles on Sasakian manifolds

Authors: Indranil Biswas, Mahan Mj

Abstract: We extend the Donaldson-Corlette-Hitchin-Simpson correspondence between Higgs bundles and flat connections on compact Kähler manifolds to compact quasi-regular Sasakian manifolds. A particular consequence is the translation of restrictions on Kähler groups proved using the Donaldson-Corlette-Hitchin-Simpson correspondence to fundamental groups of compact Sasakian manifolds. We extend the Donaldson-Corlette-Hitchin-Simpson correspondence between Higgs bundles and flat connections on compact Kähler manifolds to compact quasi-regular Sasakian manifolds. A particular consequence is the translation of restrictions on Kähler groups proved using the Donaldson-Corlette-Hitchin-Simpson correspondence to fundamental groups of compact Sasakian manifolds. △ Less

Submitted 19 December, 2016; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: Final version; to appear in IMRN

MSC Class: 14P25; 57M05; 14F35; 20F65

Horospheres in degenerate 3-manifolds

Authors: Cyril Lecuire, Mahan Mj

Abstract: We study horospheres in hyperbolic 3-manifolds $M$ all whose ends are degenerate. Towards this, we study which almost minimizing geodesics in $M$ go through arbitrarily thin parts. We study horospheres in hyperbolic 3-manifolds $M$ all whose ends are degenerate. Towards this, we study which almost minimizing geodesics in $M$ go through arbitrarily thin parts. △ Less

Submitted 11 October, 2020; v1 submitted 23 June, 2016; originally announced June 2016.

Comments: Added erratum in Section 7. We are grateful to James Farre and Yair Minsky for bringing the errors to our notice

MSC Class: 30F40; 57M50

Planes in degenerate 3-manifolds

Authors: Mahan Mj

Abstract: We study totally geodesic planes in hyperbolic 3-manifolds $M$ having incompressible core and degenerate ends. We prove a Ratner-type phenomenon: a closed minimal $PSL(2,R)-$invariant subset of $M$ is either an immersed totally geodesic surface or all of $M$. We also show that for an arbitrary infinite volume hyperbolic 3-manifold $M$ without parabolics and with finitely generated fundamental grou… ▽ More We study totally geodesic planes in hyperbolic 3-manifolds $M$ having incompressible core and degenerate ends. We prove a Ratner-type phenomenon: a closed minimal $PSL(2,R)-$invariant subset of $M$ is either an immersed totally geodesic surface or all of $M$. We also show that for an arbitrary infinite volume hyperbolic 3-manifold $M$ without parabolics and with finitely generated fundamental group, the number of compact totally geodesic surfaces in $M$ is finite. △ Less

Submitted 7 April, 2016; originally announced April 2016.

Comments: 21 pgs, 1 figure

MSC Class: 30F40; 37A17; 37B20; 57M50

Height, Graded Relative Hyperbolicity and Quasiconvexity {\it (with Corrigendum)}

Authors: Francois Dahmani, Mahan Mj

Abstract: We introduce the notions of geometric height and graded (geometric) relative hyperbolicity in this paper. We use these to characterize quasiconvexity in hyperbolic groups, relative quasiconvexity in relatively hyperbolic groups, and convex cocompactness in mapping class groups and $Out(F_n)$. Corrigendum: there is an unfortunate mistake in the statement and the proof of Proposition 5.1. This aff… ▽ More We introduce the notions of geometric height and graded (geometric) relative hyperbolicity in this paper. We use these to characterize quasiconvexity in hyperbolic groups, relative quasiconvexity in relatively hyperbolic groups, and convex cocompactness in mapping class groups and $Out(F_n)$. Corrigendum: there is an unfortunate mistake in the statement and the proof of Proposition 5.1. This affects one direction of the implications of the main theorem. A correction is given, that states that given a quasi-convex subgroup of a hyperbolic (or relatively hyperbolic) group, the graded relative hyperbolic structure holds with respect to saturations of I-fold intersections, that are stabilizers of limit sets of I-fold intersections. △ Less

Submitted 23 April, 2018; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: 44 pgs; Added : Corrigendum for a mistake in Proposition 5.1, affecting part of the statement of the main result. Correction as described in the second paragraph of the arXiv abstract

MSC Class: 20F65; 20F67

Journal ref: Journal d'Ecole Polytechnique, Tome 4 (2017) pp. 515-556 et Tome 6 (2019), pp. 425-432

Geometrically finite and infinite Kleinian Groups

Authors: Mahan Mj

Abstract: This is a summary of the material for 3 lectures on geometrically finite and infinite Kleinian groups delivered by the author at a workshop held at Tata Institute of Fundamental Research in April 2014. This is a summary of the material for 3 lectures on geometrically finite and infinite Kleinian groups delivered by the author at a workshop held at Tata Institute of Fundamental Research in April 2014. △ Less

Submitted 15 July, 2015; originally announced July 2015.

Comments: 10pgs 3 figures

MSC Class: 57M50; 20F67 (Primary); 20F65; 22E40 (Secondary)

Algebraic Ending Laminations and Quasiconvexity

Authors: Mahan Mj, Kasra Rafi

Abstract: We explicate a number of notions of algebraic laminations existing in the literature, particularly in the context of an exact sequence $$1\to H\to G \to Q \to 1 $$ of hyperbolic groups. These laminations arise in different contexts: existence of Cannon-Thurston maps; closed geodesics exiting ends of manifolds; dual to actions on $\R-$trees. We use the relationship between these laminations to pr… ▽ More We explicate a number of notions of algebraic laminations existing in the literature, particularly in the context of an exact sequence $$1\to H\to G \to Q \to 1 $$ of hyperbolic groups. These laminations arise in different contexts: existence of Cannon-Thurston maps; closed geodesics exiting ends of manifolds; dual to actions on $\R-$trees. We use the relationship between these laminations to prove quasiconvexity results for finitely generated infinite index subgroups of $H$, the normal subgroup in the exact sequence above. △ Less

Submitted 28 February, 2018; v1 submitted 26 June, 2015; originally announced June 2015.

Comments: Final version incorporating referee comments. 26 pgs 1 fig

MSC Class: 20F65; 20F67 (Primary); 30F60 (Secondary)

Journal ref: Algebr. Geom. Topol. 18 (2018) 1883-1916

A splitting theorem for good complexifications

Authors: Indranil Biswas, Mahan Mj, A. J. Parameswaran

Abstract: The purpose of this paper is to produce restrictions on fundamental groups of manifolds admitting good complexifications by proving the following Cheeger-Gromoll type splitting theorem: Any closed manifold $M$ admitting a good complexification has a finite-sheeted regular covering $M_1$ such that $M_1$ admits a fiber bundle structure with base $(S^1)^k$ and fiber $N$ that admits a good complexific… ▽ More The purpose of this paper is to produce restrictions on fundamental groups of manifolds admitting good complexifications by proving the following Cheeger-Gromoll type splitting theorem: Any closed manifold $M$ admitting a good complexification has a finite-sheeted regular covering $M_1$ such that $M_1$ admits a fiber bundle structure with base $(S^1)^k$ and fiber $N$ that admits a good complexification and also has zero virtual first Betti number. We give several applications to manifolds of dimension at most 5. △ Less

Submitted 27 March, 2015; originally announced March 2015.

Comments: 13 pgs no figs

MSC Class: 14P25; 57M05; 14F35; 20F65

Journal ref: Ann. Inst. Fourier (Grenoble) 66 (2016), no. 5, 1965-1985

An almost complex Castelnuovo de Franchis theorem

Authors: Indranil Biswas, Mahan Mj

Abstract: Given an almost complex structure on a subbundle of the cotangent bundle, we prove a Castelnuovo--de Franchis type theorem for it. Given an almost complex structure on a subbundle of the cotangent bundle, we prove a Castelnuovo--de Franchis type theorem for it. △ Less

Submitted 13 April, 2016; v1 submitted 22 February, 2015; originally announced February 2015.

Comments: Final version

MSC Class: 32Q60; 14F45