arXiv Science⌕ Search

arXiv subjects

Mahan Mj

Publications and source records attributed to Mahan Mj.

At least 19 recordsLinked to original sources
arXiv2026

Landing rays and ray Cannon-Thurston maps

In this paper, we describe a procedure to construct pairs of hyperbolic groups $H<G$ with the following properties. 1) Every geodesic ray $γ$ in $H$ converges to a point $ξ_γ\in \partial G$. 2) The inclusion of $H$ into $G$ does not extend continuously to $\partial H \to \partial G$. In other words, a Cannon--Thurston map does not exist for this pair of hyperbolic groups. Jeon, Kapovich, Leininger and Ohshika gave a property of conical limit points in the presence of a Cannon--Thurston map. We convert this into a criterion for the existence of Cannon--Thurston maps and use it to prove the non-existence result in (2). We obtain, in particular, a geometric proof of Baker--Riley's counterexample.

math.GT↗
arXiv2026

Strongly converging unitary representations for extensions by exact groups

We prove the existence of strongly converging unitary representations in various new settings of countable groups, in particular, arising as extensions by exact groups: semidirect products with amenable groups; generalized wreath products with abelian base; graph wreath products; various free-by-cyclic groups including Gersten's group; and general Bernoulli shift crossed products on $C^*$-algebras.

math.OA↗
arXiv2026

Random Trees in Hyperbolic FPP

We start by surveying known properties of first passage percolation (FPP) geodesics on a Gromov-hyperbolic group $G$. Due to a coalescence phenomenon established in earlier work of the authors, a random tree $T(ξ,ω)$ consisting of infinite random geodesics to a point $ξ$ on the Gromov boundary $\partial G$ emerges naturally. These trees have a rich random geometry that we explore further in this paper.

math.PR↗
arXiv2026

Combining cusped triangle groups with Blaschke products: commensurable matings

In this note, we construct algebraic correspondences as matings of Fuchsian $(p,q,\infty)$-triangle groups with Blaschke products. Combined with the results of [MM25], this proves mateability of all cusped triangle groups with suitable Blaschke products. The proof of the main result involves associating two piecewise analytic circle maps to the $(p,q,\infty)-$triangle group, mating these maps with appropriate Blaschke products to produce two commensurable conformal matings, and finally constructing the desired algebraic correspondence as a common lift of the two conformal matings.

math.DS↗
arXiv2026

Geodesic Trees and Exceptional Directions in FPP on Hyperbolic Groups

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.

math.PR↗
arXiv2026

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

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.

math.DS↗
arXiv2026

Finiteness of Cannon--Thurston fibers

Let $Y\to X$ be a proper map between proper hyperbolic metric spaces. A Cannon--Thurston map is a continuous extension $\partial Y \to \partial X$. We prove that in most known settings in which a Cannon--Thurston map exists it is uniformly finite-to-one. This answers a question due to Swarup from Bestvina's problem list and generalizes previous results of Cannon--Thurston, Kapovich--Lustig, Dowdall--Kapovich--Taylor and Ghosh.

math.GT↗
arXiv2026

Randomized Geodesic Flow on Hyperbolic Groups

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 discrete flow that we call the \emph{randomized geodesic 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, Θ)$. As a consequence of our construction, we prove that the randomized geodesic flow is exponentially mixing of all orders and establish a functional CLT.

math.PR↗
arXiv2026

Universality of the Basilica

We establish universality of the fat Basilica Julia set $J(z^2-\frac34)$ in conformal dynamics in the following sense: $J(z^2-\frac34)$ is quasiconformally equivalent to the fat Basilica Julia set of any polynomial as well as to the limit set of any geometrically finite closed surface Bers boundary group. We thus obtain the first example of a connected rational Julia set, not homeomorphic to the circle or the sphere, that is quasiconformally equivalent to a Kleinian limit set. It follows that any geometrically finite Bers boundary limit set is conformally removable. Other consequences of this universality result include quasi-symmetric uniformization of polynomial fat Basilicas by round Basilicas, and the existence of infinitely many non-commensurable uniformly quasi-symmetric surface subgroups of the Basilica quasi-symmetry group. We apply our techniques to cuspidal Basilica Julia sets arising from Schwarz reflections and cubic polynomials, yielding further universality classes. We also show that the standard Basilica Julia set $J(z^2-1)$ is the archbasilica in the David hierarchy.

math.DS↗
arXiv2025

Greenberg-Shalom's Commensurator Hypothesis and Applications

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.

math.GR↗
arXiv2025

Simultaneous Uniformization and Algebraic Correspondences

We prove a generalization of 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.

math.GT↗
arXiv2025

Matings, holomorphic correspondences, and a Bers slice

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,BL20} and the simultaneous uniformization mating framework of \cite{MM23a}. The current paper unifies and generalizes these two frameworks. To achieve this, we extend the mating framework of \cite{MM23a} 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 punctured spheres and Hecke groups) with polynomials in real-symmetric 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.

math.DS↗
arXiv2025

Hausdorff Dimension of non-conical and Myrberg limit sets

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.

math.GR↗
arXiv2024

First Passage Percolation on Hyperbolic groups

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.

math.PR↗
arXiv2024

Cubulating Surface-by-free Groups

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$.

math.GT↗
arXiv2024

Class number for pseudo-Anosovs

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.

math.GR↗
arXiv2024

On soficity for certain fundamental groups of graphs of groups

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.

math.GR↗