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

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 12 October, 2023; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 20 pages, revised

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 16 July, 2022; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: v2 53 pages, 3 figures. Final version incorporating referee comments. To appear in Advances in Math

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 28 September, 2023; 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

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

Controlled Floyd Separation and Non Relatively Hyperbolic Groups

Authors: Shubhabrata Das, Mahan Mj

Abstract: We introduce the notion of controlled Floyd separation between geodesic rays starting at the identity in a finitely generated group G. Two such geodesic rays are said to be Floyd separated with respect to quasigeodesics if the (Floyd) length of c-quasigeodesics (for fixed but arbitrary c) joining points on the geodesic rays is asymptotically bounded away from zero. This is always satisfied by Mors… ▽ More We introduce the notion of controlled Floyd separation between geodesic rays starting at the identity in a finitely generated group G. Two such geodesic rays are said to be Floyd separated with respect to quasigeodesics if the (Floyd) length of c-quasigeodesics (for fixed but arbitrary c) joining points on the geodesic rays is asymptotically bounded away from zero. This is always satisfied by Morse geodesics. The main purpose of this paper is to furnish an example of a finitely generated group $G$ such that 1) all finitely presented subgroups of G are hyperbolic, 2) G has an uncountable family of geodesic rays that are Floyd separated with respect to quasigeodesics, 3) G is not hyperbolic relative to any collection of proper subgroups. 4) G is a direct limit of hyperbolic CAT(0) cubulated groups. 5) G has trivial Floyd boundary in the usual sense. On the way towards constructing $G$, we construct a malnormal infinitely generated (and hence non-quasiconvex) subgroup of a free group, giving negative evidence towards a question of Swarup and Gitik. △ Less

Submitted 31 March, 2015; v1 submitted 5 August, 2014; originally announced August 2014.

Comments: 21 pages, 3 figures. Final version for Journal of the Ramanujan Math. Society

MSC Class: 20F32

Journal ref: Journal of the Ramanujan Math. Soc. Volume 30, No. 3, September 2015

H_1-semistability for projective groups

Authors: Indranil Biswas, Mahan Mj

Abstract: We initiate the study of the asymptotic topology of groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers (these are called here as holomorphically convex groups). We prove the $H_1$-semistability conjecture of Geoghegan for holomorphically convex groups. In view of a theorem of Eyssidieux, Katzarkov, Pantev and Ramach… ▽ More We initiate the study of the asymptotic topology of groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers (these are called here as holomorphically convex groups). We prove the $H_1$-semistability conjecture of Geoghegan for holomorphically convex groups. In view of a theorem of Eyssidieux, Katzarkov, Pantev and Ramachandran \cite{ekpr}, this implies that linear projective groups satisfy the $H_1$-semistability conjecture. △ Less

Submitted 9 March, 2014; originally announced March 2014.

Comments: Corrected version of arXiv:1203.4520 (withdrawn); main result is weaker

Journal ref: Math. Proc. Cambridge Philos. Soc. 162 (2017), no. 1, 89-100

Quasiprojective three-manifold groups and complexification of three-manifolds

Authors: Indranil Biswas, Mahan Mj

Abstract: We characterize the quasiprojective groups that appear as fundamental groups of compact $3$-manifolds (with or without boundary). We also characterize all closed $3$-manifolds that admit good complexifications. These answer questions of Friedl--Suciu, \cite{fs}, and Totaro \cite{tot} We characterize the quasiprojective groups that appear as fundamental groups of compact $3$-manifolds (with or without boundary). We also characterize all closed $3$-manifolds that admit good complexifications. These answer questions of Friedl--Suciu, \cite{fs}, and Totaro \cite{tot} △ Less

Submitted 12 December, 2014; v1 submitted 26 February, 2014; originally announced February 2014.

Comments: Final version (to appear in IMRN)

MSC Class: 57M50; 32Q15; 57M05 (Primary); 14F35; 32J15 (Secondary)

Journal ref: Int Math Res Notices (2015) 2015 (20): 10041-10068

The Fujiki class and positive degree maps

Authors: Gautam Bharali, Indranil Biswas, Mahan Mj

Abstract: We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain relation of "domination" introduced by Gromov is in fact a partial order. We show that a map between complex-analytic manifolds, at least one of which is in the Fujiki class, is a biholomorphism under a natural condition on the second cohomologies. We use this to establish that, with mild restrictions, a certain relation of "domination" introduced by Gromov is in fact a partial order. △ Less

Submitted 9 March, 2015; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 6 pages; significantly restructured first & last sections; corrected statement of Result 3.4 (formerly Result 4.4); added references; to appear in Complex Manifolds

MSC Class: Primary 32H04; 57R35

Journal ref: Complex Manifolds 2 (2015) 11-15

Limits of limit sets II: Geometrically Infinite Groups

Authors: Mahan Mj, Caroline Series

Abstract: We show that for a strongly convergent sequence of purely loxodromic finitely generated Kleinian groups with incompressible ends, Cannon-Thurston maps, viewed as maps from a fixed base limit set to the Riemann sphere, converge uniformly. For algebraically convergent sequences we show that there exist examples where even pointwise convergence of Cannon-Thurston maps fails. We show that for a strongly convergent sequence of purely loxodromic finitely generated Kleinian groups with incompressible ends, Cannon-Thurston maps, viewed as maps from a fixed base limit set to the Riemann sphere, converge uniformly. For algebraically convergent sequences we show that there exist examples where even pointwise convergence of Cannon-Thurston maps fails. △ Less

Submitted 13 June, 2013; originally announced June 2013.

Comments: 43 pages, 3 figures

MSC Class: 30F40; 57M50

Journal ref: Geom. Topol. 21 (2017) 647-692

Homotopical Height

Authors: Indranil Biswas, Mahan Mj, Dishant Pancholi

Abstract: Given a group $G$ and a class of manifolds $\CC$ (e.g. symplectic, contact, Kähler etc), it is an old problem to find a manifold $M_G \in \CC$ whose fundamental group is $G$. This article refines it: for a group $G$ and a positive integer $r$ find $M_G \in \CC$ such that $πぱい_1(M_G)=G$ and $πぱい_i(M_G)=0$ for $1<i<r$. We thus provide a unified point of view systematizing known and new results in this d… ▽ More Given a group $G$ and a class of manifolds $\CC$ (e.g. symplectic, contact, Kähler etc), it is an old problem to find a manifold $M_G \in \CC$ whose fundamental group is $G$. This article refines it: for a group $G$ and a positive integer $r$ find $M_G \in \CC$ such that $πぱい_1(M_G)=G$ and $πぱい_i(M_G)=0$ for $1<i<r$. We thus provide a unified point of view systematizing known and new results in this direction for various different classes of manifolds. The largest $r$ for which such an $M_G \in \CC$ can be found is called the homotopical height $ht_\CC(G)$. Homotopical height provides a dimensional obstruction to finding a $K(G,1)$ space within the given class $\CC$, leading to a hierarchy of these classes in terms of "softness" or "hardness" à la Gromov. We show that the classes of closed contact, CR, and almost complex manifolds as well as the class of (open) Stein manifolds are soft. The classes $\SP$ and $\CA$ of closed symplectic and complex manifolds exhibit intermediate "softness" in the sense that every finitely presented group $G$ can be realized as the fundamental group of a manifold in $\SP$ and a manifold in $\CA$. For these classes, $ht_\CC(G)$ provides a numerical invariant for finitely presented groups. We give explicit computations of these invariants for some standard finitely presented groups. We use the notion of homotopical height within the "hard" category of Kähler groups to obtain partial answers to questions of Toledo regarding second cohomology and second group cohomology of Kähler groups. We also modify and generalize a construction due to Dimca, Papadima and Suciu to give a potentially large class of projective groups violating property FP. △ Less

Submitted 7 December, 2014; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: Final version, to appear in International Journal of Mathematics. 37 pgs no figs

MSC Class: 32Q15; 57M05; 57R19 (Primary); 57R17; 14F35; 20J05; 20J06; 32E10; 32J15; 32J27 (Secondary)

Journal ref: International Journal of Mathematics Vol. 25, No. 13 (2014) 1450123 (43 pages)

Low dimensional projective groups

Authors: Indranil Biswas, Mahan Mj

Abstract: We initiate the study of holomorphically convex groups: groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers. If $G$ is a holomorphically convex group of cohomological dimension two, we show that $G$ is isomorphic to the fundamental group of a compact Riemann surface. As a consequence, we show that if a linear group… ▽ More We initiate the study of holomorphically convex groups: groups that can be realized as fundamental groups of smooth complex projective varieties with holomorphically convex universal covers. If $G$ is a holomorphically convex group of cohomological dimension two, we show that $G$ is isomorphic to the fundamental group of a compact Riemann surface. As a consequence, we show that if a linear group $G$ has (rational) cohomological dimension two and is the fundamental group of a smooth complex projective variety, then $G$ is a (virtual) surface group. △ Less

Submitted 26 February, 2014; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: This paper is withdrawn due to a crucial gap in the proof of Theorem 4.7. This step in the proof goes through only in the presence of an extra cohomology vanishing condition

MSC Class: 57M50; 32Q15; 57M05 (Primary) 14F35; 32J15 (Secondary)