Showing 1–50 of 54 results for author: Manning, J

Coning off totally geodesic boundary components of a hyperbolic manifold

Authors: Colby Kelln, Jason Manning

Abstract: Let M be a compact hyperbolic manifold with totally geodesic boundary. If the injectivity radius of the boundary is larger than an explicit function of the normal injectivity radius of the boundary, we show that there is a negatively curved metric on the space obtained by coning each boundary component of M to a point. Moreover, we give explicit geometric conditions under which a locally convex su… ▽ More Let M be a compact hyperbolic manifold with totally geodesic boundary. If the injectivity radius of the boundary is larger than an explicit function of the normal injectivity radius of the boundary, we show that there is a negatively curved metric on the space obtained by coning each boundary component of M to a point. Moreover, we give explicit geometric conditions under which a locally convex subset of M gives rise to a locally convex subset of the cone-off. Group-theoretically, we conclude that the fundamental group of the cone-off is hyperbolic and the image of the fundamental group of the coned-off locally convex subset is a quasi-convex subgroup. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 15 pages, 3 figures

Pseudo-Anosov surfaces and Dynamics in 3-manifolds

Authors: Jason F. Manning, Christoforos Neofytidis

Abstract: We determine which closed orientable $3$-manifolds $M$ admit a self-homeomorphism restricting to a pseudo-Anosov map on an incompressible subsurface $Σ$, which we call a pseudo-Anosov surface. When $M$ is irreducible, we show that the self-homeomorphism of $M$ is isotopic rel $Σ$ to a "partially pseudo-Anosov" homeomorphism, a notion that we will introduce. This is motivated by the corresponding r… ▽ More We determine which closed orientable $3$-manifolds $M$ admit a self-homeomorphism restricting to a pseudo-Anosov map on an incompressible subsurface $Σ$, which we call a pseudo-Anosov surface. When $M$ is irreducible, we show that the self-homeomorphism of $M$ is isotopic rel $Σ$ to a "partially pseudo-Anosov" homeomorphism, a notion that we will introduce. This is motivated by the corresponding results for Anosov tori in irreducible $3$-manifolds, and the connection to partially hyperbolic diffeomorphisms, obtained by F. Rodriguez-Hertz, J. Rodriguez-Hertz and R. Ures. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Comments: 18 pages

Mod $\ell$ multiplicities in certain $U(4)$ Shimura varieties

Authors: Jeffrey Manning

Abstract: We use the Taylor-Wiles-Kisin patching method to investigate the multiplicities with which Hecke eigensystems appear in the mod-$\ell$ cohomology of unitary Shimura sets, associated to central simple algebras of the form $B=M_2(D)$, for $D$ a nonsplit quaternion algebra over a $CM$ field. We follow a similar strategy to the one used in our prior work for Shimura curves, exploiting the natural self… ▽ More We use the Taylor-Wiles-Kisin patching method to investigate the multiplicities with which Hecke eigensystems appear in the mod-$\ell$ cohomology of unitary Shimura sets, associated to central simple algebras of the form $B=M_2(D)$, for $D$ a nonsplit quaternion algebra over a $CM$ field. We follow a similar strategy to the one used in our prior work for Shimura curves, exploiting the natural self-duality in this setting. Our method requires a careful analysis of certain irreducible components of local deformation rings. We introduce and analyze a new local model for local deformation rings specific to the case of a banal prime, which is significantly better behaved than the standard local models for local deformation rings. Our main result is a "multiplicity $2^a$ result", in the case where quaternion algebra $D$ ramifies only at banal primes, where $a$ is the number of places in the discriminant of $D$ which satisfy a certain Galois theoretic condition. We also prove an additional statement about the endomorphism ring of the cohomology of the Shimura set, which has an application to the study of congruence modules. △ Less

Submitted 11 October, 2024; originally announced October 2024.

Comments: 77 pages, comments welcome

Drilling hyperbolic groups

Authors: Daniel Groves, Peter Haïssinsky, Jason F. Manning, Damian Osajda, Alessandro Sisto, Genevieve S. Walsh

Abstract: Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a drilling of $G$ along $g$, which is a relatively hyperbolic group pair $(\widehat{G}, P)$. This is inspired by the well-studied procedure of drilling a hyperbolic 3-manifold along an embedded geodesic. We prove that, under suitable conditions, a hyperbolic group with $2$-sphere boundary admits a dr… ▽ More Given a hyperbolic group $G$ and a maximal infinite cyclic subgroup $\langle g \rangle$, we define a drilling of $G$ along $g$, which is a relatively hyperbolic group pair $(\widehat{G}, P)$. This is inspired by the well-studied procedure of drilling a hyperbolic 3-manifold along an embedded geodesic. We prove that, under suitable conditions, a hyperbolic group with $2$-sphere boundary admits a drilling where the resulting relatively hyperbolic group pair $(\widehat{G}, P)$ has relatively hyperbolic boundary $S^2$. This allows us to reduce the Cannon Conjecture (in the residually finite case) to a relative version. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 83 pages, 2 figures. Comments welcome

MSC Class: 20F67; 20F65

Topological stability of relatively hyperbolic groups acting on their boundaries

Authors: Kathryn Mann, Jason Fox Manning, Theodore Weisman

Abstract: We prove a topological stability result for the actions of hyperbolic groups on their Bowditch boundaries. More precisely, we show that a sufficiently small perturbation of the standard boundary action, if assumed on each parabolic subgroup to be a perturbation by semi-conjugacy, is in fact always globally semi-conjugate to the standard action. This proves a relative version of the main result of… ▽ More We prove a topological stability result for the actions of hyperbolic groups on their Bowditch boundaries. More precisely, we show that a sufficiently small perturbation of the standard boundary action, if assumed on each parabolic subgroup to be a perturbation by semi-conjugacy, is in fact always globally semi-conjugate to the standard action. This proves a relative version of the main result of arXiv:2206.14914. The assumption of control on the perturbation of parabolics is necessary. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 33 pages, 2 figures

Congruence modules in higher codimension and zeta lines in Galois cohomology

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning, Eric Urban

Abstract: This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the const… ▽ More This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the construction of canonical lines in certain Galois cohomology groups arising from adjoint motives of Hilbert modular forms. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 22 pages

MSC Class: 11F80 (primary); 11F33; 13D02 (secondary)

Private Data Stream Analysis for Universal Symmetric Norm Estimation

Authors: Vladimir Braverman, Joel Manning, Zhiwei Steven Wu, Samson Zhou

Abstract: We study how to release summary statistics on a data stream subject to the constraint of differential privacy. In particular, we focus on releasing the family of symmetric norms, which are invariant under sign-flips and coordinate-wise permutations on an input data stream and include $L_p$ norms, $k$-support norms, top-$k$ norms, and the box norm as special cases. Although it may be possible to de… ▽ More We study how to release summary statistics on a data stream subject to the constraint of differential privacy. In particular, we focus on releasing the family of symmetric norms, which are invariant under sign-flips and coordinate-wise permutations on an input data stream and include $L_p$ norms, $k$-support norms, top-$k$ norms, and the box norm as special cases. Although it may be possible to design and analyze a separate mechanism for each symmetric norm, we propose a general parametrizable framework that differentially privately releases a number of sufficient statistics from which the approximation of all symmetric norms can be simultaneously computed. Our framework partitions the coordinates of the underlying frequency vector into different levels based on their magnitude and releases approximate frequencies for the "heavy" coordinates in important levels and releases approximate level sizes for the "light" coordinates in important levels. Surprisingly, our mechanism allows for the release of an arbitrary number of symmetric norm approximations without any overhead or additional loss in privacy. Moreover, our mechanism permits $(1+α)$-approximation to each of the symmetric norms and can be implemented using sublinear space in the streaming model for many regimes of the accuracy and privacy parameters. △ Less

Submitted 9 July, 2023; originally announced July 2023.

The state of scientific PDF accessibility in repositories: A survey in Switzerland

Authors: Alireza Darvishy, Rolf Sethe, Ines Engler, Oriane Pierres, Juliet Manning

Abstract: This survey analyzed the quality of the PDF documents on online repositories in Switzerland, examining their accessibility for people with visual impairments. Two minimal accessibility features were analyzed: the PDFs had to have tags and a hierarchical heading structure. The survey also included interviews with the managers or heads of multiple Swiss universities' repositories to assess the gener… ▽ More This survey analyzed the quality of the PDF documents on online repositories in Switzerland, examining their accessibility for people with visual impairments. Two minimal accessibility features were analyzed: the PDFs had to have tags and a hierarchical heading structure. The survey also included interviews with the managers or heads of multiple Swiss universities' repositories to assess the general opinion and knowledge of PDF accessibility. An analysis of interviewee responses indicates an overall lack of awareness of PDF accessibility, and showed that online repositories currently have no concrete plans to address the issue. This paper concludes by presenting a set of recommendations for online repositories to improve the accessibility of their PDF documents. △ Less

Submitted 14 June, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: We need to modify this paper and make some extensions before re-uploading

Relative cubulation of relative strict hyperbolization

Authors: Daniel Groves, Jean-François Lafont, Jason Fox Manning, Lorenzo Ruffoni

Abstract: We prove that many relatively hyperbolic groups obtained by relative strict hyperbolization admit a cocompact action on a CAT(0) cubical complex. Under suitable assumptions on the peripheral subgroups, these groups are residually finite and even virtually special. We include some applications to the theory of manifolds, such as the construction of new non-positively curved Riemannian manifolds wit… ▽ More We prove that many relatively hyperbolic groups obtained by relative strict hyperbolization admit a cocompact action on a CAT(0) cubical complex. Under suitable assumptions on the peripheral subgroups, these groups are residually finite and even virtually special. We include some applications to the theory of manifolds, such as the construction of new non-positively curved Riemannian manifolds with residually finite fundamental group, and the existence of non-triangulable aspherical manifolds with virtually special fundamental group. △ Less

Submitted 2 April, 2025; v1 submitted 28 April, 2023; originally announced April 2023.

Comments: 29 pages, 5 figures. Main document by J.-F. Lafont and L. Ruffoni, appendix by D. Groves and J. F. Manning. Comments welcome! v2: revised final version to appear on the Journal of the London Mathematical Society

MSC Class: 20F67; 53C23; 20E26; 57Q15

$\texttt{Davos}$: a Python "smuggler" for constructing lightweight reproducible notebooks

Authors: Paxton C. Fitzpatrick, Jeremy R. Manning

Abstract: Reproducibility is a core requirement of modern scientific research. For computational research, reproducibility means that code should produce the same results, even when run on different systems. A standard approach to ensuring reproducibility entails packaging a project's dependencies along with its primary code base. Existing solutions vary in how deeply these dependencies are specified, rangi… ▽ More Reproducibility is a core requirement of modern scientific research. For computational research, reproducibility means that code should produce the same results, even when run on different systems. A standard approach to ensuring reproducibility entails packaging a project's dependencies along with its primary code base. Existing solutions vary in how deeply these dependencies are specified, ranging from virtual environments, to containers, to virtual machines. Each of these existing solutions requires installing or setting up a system for running the desired code, increasing the complexity and time cost of sharing or engaging with reproducible science. Here, we propose a lighter-weight solution: the $\texttt{Davos}$ package. When used in combination with a notebook-based Python project, $\texttt{Davos}$ provides a mechanism for specifying the correct versions of the project's dependencies directly within the code that requires them, and automatically installing them in an isolated environment when the code is run. The $\texttt{Davos}$ package further ensures that those packages and specific versions are used every time the notebook's code is executed. This enables researchers to share a complete reproducible copy of their code within a single Jupyter notebook file. △ Less

Submitted 1 October, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

Freeness of Hecke modules at non-minimal levels

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_Σ),\mathcal{O})_{\mathfrak{m}_Σ}$ of arithmetic manifolds are free over certain deformation rings $R_Σ$, when there are enough geometric characteristic 0 representations. Hitherto we had proved that the homology group has a nonzero free $R_Σ$-direct summand. The new ingredient is a commutative alg… ▽ More We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_Σ),\mathcal{O})_{\mathfrak{m}_Σ}$ of arithmetic manifolds are free over certain deformation rings $R_Σ$, when there are enough geometric characteristic 0 representations. Hitherto we had proved that the homology group has a nonzero free $R_Σ$-direct summand. The new ingredient is a commutative algebra argument involving congruence modules defined in higher codimension in [6]. △ Less

Submitted 27 August, 2022; originally announced August 2022.

Comments: 12 pages

Report number: MPIM-Bonn-2022 MSC Class: 11F80 (primary); 13C10; 13D02 (secondary)

Stability of hyperbolic groups acting on their boundaries

Authors: Kathrynn Mann, Jason Fox Manning, Theodore Weisman

Abstract: A hyperbolic group acts by homeomorphisms on its Gromov boundary. We use a dynamical coding of boundary points to show that such actions are topologically stable in the dynamical sense: any nearby action is semi-conjugate to (and an extension of) the standard boundary action. This result was previously known in the special case that the boundary is a topological sphere. Our proof here is indepen… ▽ More A hyperbolic group acts by homeomorphisms on its Gromov boundary. We use a dynamical coding of boundary points to show that such actions are topologically stable in the dynamical sense: any nearby action is semi-conjugate to (and an extension of) the standard boundary action. This result was previously known in the special case that the boundary is a topological sphere. Our proof here is independent and gives additional information about the semiconjugacy in that case. Our techniques also give a new proof of global stability when the boundary is a circle. △ Less

Submitted 17 August, 2023; v1 submitted 29 June, 2022; originally announced June 2022.

Comments: v2: 22 pages, 3 figures. Added result about cell-like fibers in the sphere case, and a new proof of a theorem of Matsumoto

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We define a congruence module $Ψ_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $λ\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $λ$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of pos… ▽ More We define a congruence module $Ψ_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $λ\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $λ$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $Ψ_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence. △ Less

Submitted 29 September, 2024; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 84 pages; various parts of the manuscript have been substantially changed. This article will appear in the Ivent. Math

Report number: MPIM-Bonn-2022 MSC Class: 11F80 (primary); 13C10; 13D02 (secondary)

Special IMM groups

Authors: Daniel Groves, Jason Fox Manning

Abstract: Italiano-Martelli-Migliorini recently constructed hyperbolic groups which have non-hyperbolic subgroups of finite type. Using a closely related construction, Llosa Isenrich-Martelli-Py constructed hyperbolic groups with subgroups of type $F_3$ but not $F_4$. We observe that these hyperbolic groups can be chosen to be special in the sense of Haglund-Wise. Italiano-Martelli-Migliorini recently constructed hyperbolic groups which have non-hyperbolic subgroups of finite type. Using a closely related construction, Llosa Isenrich-Martelli-Py constructed hyperbolic groups with subgroups of type $F_3$ but not $F_4$. We observe that these hyperbolic groups can be chosen to be special in the sense of Haglund-Wise. △ Less

Submitted 30 August, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: 8 pages. Final version, to appear in Bull. Lond. Math. Soc

Identifying stimulus-driven neural activity patterns in multi-patient intracranial recordings

Authors: Jeremy R. Manning

Abstract: Identifying stimulus-driven neural activity patterns is critical for studying the neural basis of cognition. This can be particularly challenging in intracranial datasets, where electrode locations typically vary across patients. This chapter first presents an overview of the major challenges to identifying stimulus-driven neural activity patterns in the general case. Next, we will review several… ▽ More Identifying stimulus-driven neural activity patterns is critical for studying the neural basis of cognition. This can be particularly challenging in intracranial datasets, where electrode locations typically vary across patients. This chapter first presents an overview of the major challenges to identifying stimulus-driven neural activity patterns in the general case. Next, we will review several modality-specific considerations and approaches, along with a discussion of several issues that are particular to intracranial recordings. Against this backdrop, we will consider a variety of within-subject and across-subject approaches to identifying and modeling stimulus-driven neural activity patterns in multi-patient intracranial recordings. These approaches include generalized linear models, multivariate pattern analysis, representational similarity analysis, joint stimulus-activity models, hierarchical matrix factorization models, Gaussian process models, geometric alignment models, inter-subject correlations, and inter-subject functional correlations. Examples from the recent literature serve to illustrate the major concepts and provide the conceptual intuitions for each approach. △ Less

Submitted 3 February, 2022; originally announced February 2022.

Comments: Forthcoming chapter in "Intracranial EEG for Cognitive Neuroscience"

Wiles defect of Hecke algebras via local-global arguments

Authors: Gebhard Boeckle, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We continue our study of the Wiles defect of deformation rings $R$ and Hecke rings $T$ (at a newform $f$) acting on the cohomology of Shimura curves. The Wiles defect at an augmentation $λ_f:T \to O$ measures the failure of $R,T$ to be complete intersections locally at $λ_f$. In situations we study here the Taylor-Wiles-Kisin patching method gives an isomorphism $R=T$ without the rings being compl… ▽ More We continue our study of the Wiles defect of deformation rings $R$ and Hecke rings $T$ (at a newform $f$) acting on the cohomology of Shimura curves. The Wiles defect at an augmentation $λ_f:T \to O$ measures the failure of $R,T$ to be complete intersections locally at $λ_f$. In situations we study here the Taylor-Wiles-Kisin patching method gives an isomorphism $R=T$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of our earlier results that compute the Wiles defect at $λ_f: R=T \to O$, and explain in an a priori manner why the answer is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet--Takahashi that computes change of degrees of optimal parametrizations of elliptic curves by Shimura curves as we vary the Shimura curve. △ Less

Submitted 23 August, 2021; v1 submitted 22 August, 2021; originally announced August 2021.

Comments: with an appendix by Najmuddin Fakhruddin and Chandrashekhar Khare

MSC Class: 11F80

Acylindrically hyperbolic groups and their quasi-isometrically embedded subgroups

Authors: Carolyn R. Abbott, Jason F. Manning

Abstract: We abstract the notion of an A/QI triple from a number of examples in geometric group theory. Such a triple (G,X,H) consists of a group G acting on a Gromov hyperbolic space X, acylindrically along a finitely generated subgroup H which is quasi-isometrically embedded by the action. Examples include strongly quasi-convex subgroups of relatively hyperbolic groups, convex cocompact subgroups of mappi… ▽ More We abstract the notion of an A/QI triple from a number of examples in geometric group theory. Such a triple (G,X,H) consists of a group G acting on a Gromov hyperbolic space X, acylindrically along a finitely generated subgroup H which is quasi-isometrically embedded by the action. Examples include strongly quasi-convex subgroups of relatively hyperbolic groups, convex cocompact subgroups of mapping class groups, many known convex cocompact subgroups of Out(Fn), and groups generated by powers of independent loxodromic WPD elements of a group acting on a Gromov hyperbolic space. We initiate the study of intersection and combination properties of A/QI triples. Under the additional hypothesis that G is finitely generated, we use a method of Sisto to show that H is stable. We apply theorems of Kapovich--Rafi and Dowdall--Taylor to analyze the Gromov boundary of an associated cone-off. We close with some examples and questions. △ Less

Submitted 9 August, 2022; v1 submitted 5 May, 2021; originally announced May 2021.

Comments: 40 pages, 4 figures. Version 2 contains many corrections and improvements in response to referee comments. The most substantial changes are to our account of Sisto's stability argument in Section 5. Questions are now in a separate section

dlmontepython: A Python library for automation and analysis of Monte Carlo molecular simulations

Authors: T. L. Underwood, J. A. Purton, J. R. H. Manning, A. V. Brukhno, K. Stratford, T. Düren, N. B. Wilding, S. C. Parker

Abstract: We present an open source Python 3 library aimed at practitioners of molecular simulation, especially Monte Carlo simulation. The aims of the library are to facilitate the generation of simulation data for a wide range of problems; and to support data analysis methods which enable one to make the most of previously generated data. The library contains a framework for automating the task of measuri… ▽ More We present an open source Python 3 library aimed at practitioners of molecular simulation, especially Monte Carlo simulation. The aims of the library are to facilitate the generation of simulation data for a wide range of problems; and to support data analysis methods which enable one to make the most of previously generated data. The library contains a framework for automating the task of measuring target physical properties (e.g. density) over a range of thermodynamic parameters (e.g. temperature) calculated using a molecular simulation program, in particular the Monte Carlo program DL_MONTE. The library also supports analysis methods including block averaging, equilibration detection and histogram reweighting. Here we describe the library and provide examples to demonstrate its key functionality: we use the library to automatically calculate isotherms to a specified precision; and to calculate the surface tension and liquid-vapour coexistence properties of methane. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Stability for hyperbolic groups acting on boundary spheres

Authors: Kathryn Mann, Jason Fox Manning

Abstract: A hyperbolic group acts by homeomorphisms on its Gromov boundary. We show that if this boundary is a topological n-sphere the action is topologically stable in the dynamical sense: any nearby action is semi-conjugate to the standard boundary action. A hyperbolic group acts by homeomorphisms on its Gromov boundary. We show that if this boundary is a topological n-sphere the action is topologically stable in the dynamical sense: any nearby action is semi-conjugate to the standard boundary action. △ Less

Submitted 17 August, 2023; v1 submitted 2 April, 2021; originally announced April 2021.

Comments: v2: 28 pages, 3 figures. Introduction rewritten and some other minor changes. This version accepted for publication in Forum of Math, Sigma

Specializing cubulated relatively hyperbolic groups

Authors: Daniel Groves, Jason Fox Manning

Abstract: In arXiv:1204.2810 Agol proved the Virtual Haken and Virtual Fibering Conjectures by confirming a conjecture of Wise: Every cubulated hyperbolic group is virtually special. We extend this result to cocompactly cubulated relatively hyperbolic groups with minimal assumptions on the parabolic subgroups. Our proof proceeds by first recubulating to obtain an improper action with controlled stabilizers… ▽ More In arXiv:1204.2810 Agol proved the Virtual Haken and Virtual Fibering Conjectures by confirming a conjecture of Wise: Every cubulated hyperbolic group is virtually special. We extend this result to cocompactly cubulated relatively hyperbolic groups with minimal assumptions on the parabolic subgroups. Our proof proceeds by first recubulating to obtain an improper action with controlled stabilizers (a weakly relatively geometric action), and then Dehn filling to obtain many cubulated hyperbolic quotients. We apply our results to prove the Relative Cannon Conjecture for certain cubulated or partially cubulated relatively hyperbolic groups. One of our main results (Theorem A) recovers via different methods a theorem of Oregón-Reyes (arXiv:2003.12702). △ Less

Submitted 2 February, 2022; v1 submitted 31 August, 2020; originally announced August 2020.

Comments: 55 pages, 3 figures, accepted for publication in the Journal of Topology

Wiles defect for Hecke algebras that are not complete intersections

Authors: Gebhard Boeckle, Chandrashekhar Khare, Jeffrey Manning

Abstract: In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study H… ▽ More In his work on modularity theorems, Wiles proved a numerical criterion for a map of rings $R\to T$ to be an isomorphism of complete intersections. He used this to show that certain deformation rings and Hecke algebras associated to a mod $p$ Galois representation at non-minimal level were isomorphic and complete intersections, provided the same was true at minimal level. In this paper we study Hecke algebras acting on cohomology of Shimura curves arising from maximal orders in indefinite quaternion algebras over the rationals localized at a semistable irreducible mod $p$ Galois representation $\overline ρ$. If $\overline ρ$ is scalar at some primes dividing the discriminant of the quaternion algebra, then Hecke algebra is still isomorphic to the deformation ring, but is not a complete intersection, or even Gorenstein, so the Wiles numerical criterion cannot apply. We consider a weight 2 newform $f$ which contributes to the cohomology of the Shimura curve and gives rise to an augmentation $λ_f$ of the Hecke algebra. We quantify the failure of the Wiles numerical criterion at $λ_f$ by computing the associated {\it Wiles defect} purely in terms of the local behavior at primes dividing the discriminant of the global Galois representation $ρ_f$ which $f$ gives rise to by the Eichler--Shimura construction. One of the main tools used in the proof is Taylor--Wiles--Kisin patching. △ Less

Submitted 4 April, 2021; v1 submitted 18 October, 2019; originally announced October 2019.

Comments: revision after comments of referees, to appear in Compositio Mathematica

MSC Class: 11F80

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)

Forecasting Short-term Dynamics of Fair-Weather Cumuli using Dynamic Mode Decomposition

Authors: Jeff Manning, Ross Baldick

Abstract: Application of Dynamic Mode Decomposition to clear-sky index forecasting of shadowing effects of convective fair-weather cumulus clouds is presented. Cloud dynamics are captured by sequences of visible-light photographic video frames. This method can be more easily applied to the modeling of cloud evolution than traditional fluid-based methods, and can enhance existing frozen-cloud advection metho… ▽ More Application of Dynamic Mode Decomposition to clear-sky index forecasting of shadowing effects of convective fair-weather cumulus clouds is presented. Cloud dynamics are captured by sequences of visible-light photographic video frames. This method can be more easily applied to the modeling of cloud evolution than traditional fluid-based methods, and can enhance existing frozen-cloud advection methods. Its use is demonstrated for an actual fair-weather cumulus cloud image sequence and compared to an advection-only forecast. It is concluded that the method shows promise for very short-term clear-sky index forecasting for up to seven minute horizons. △ Less

Submitted 30 July, 2019; originally announced July 2019.

Comments: 20 pages, 10 figures

MSC Class: 65Z05 ACM Class: J.2

Ihara's lemma for Shimura curves over totally real fields via patching

Authors: Jeff Manning, Jack Shotton

Abstract: We prove Ihara's lemma for the mod $l$ cohomology of Shimura curves, localised at a maximal ideal of the Hecke algebra, under a large image hypothesis on the associated Galois representation. This was proved by Diamond and Taylor, for Shimura curves over $\mathbb{Q}$, under various assumptions on $l$. Our method is totally different and can avoid these assumptions, at the cost of imposing the larg… ▽ More We prove Ihara's lemma for the mod $l$ cohomology of Shimura curves, localised at a maximal ideal of the Hecke algebra, under a large image hypothesis on the associated Galois representation. This was proved by Diamond and Taylor, for Shimura curves over $\mathbb{Q}$, under various assumptions on $l$. Our method is totally different and can avoid these assumptions, at the cost of imposing the large image hypothesis. It uses the Taylor--Wiles method, as improved by Diamond and Kisin, and the geometry of integral models of Shimura curves at an auxiliary prime. △ Less

Submitted 27 July, 2020; v1 submitted 13 July, 2019; originally announced July 2019.

Comments: 40 pages. To appear in Math. Annalen

Journal ref: Mathematische Annalen 379 (2020) 187-234

Boundaries of coned-off hyperbolic spaces

Authors: Carolyn R. Abbott, Jason F. Manning

Abstract: Coning off a collection of uniformly quasiconvex subsets of a Gromov hyperbolic space leaves a new space, called the cone-off. Kapovich and Rafi generalized work of Bowditch to show this space is still Gromov hyperbolic. We show that the Gromov boundary of cone-off embeds in the boundary of the original hyperbolic space. (A stronger version of this result was previously obtained by Dowdall and Tay… ▽ More Coning off a collection of uniformly quasiconvex subsets of a Gromov hyperbolic space leaves a new space, called the cone-off. Kapovich and Rafi generalized work of Bowditch to show this space is still Gromov hyperbolic. We show that the Gromov boundary of cone-off embeds in the boundary of the original hyperbolic space. (A stronger version of this result was previously obtained by Dowdall and Taylor; see Note in text.) Moreover, under some acylindricity assumptions we give a precise description of the image. As an application, we are able to characterize the elliptic and loxodromic elements of groups acting on certain cone-offs of acylindrical actions. △ Less

Submitted 6 May, 2021; v1 submitted 21 June, 2019; originally announced June 2019.

Comments: This article is subsumed by arXiv:2105.02333

Patching and Multiplicity $2^k$ for Shimura Curves

Authors: Jeffrey Manning

Abstract: We use the Taylor-Wiles-Kisin patching method to investigate the multiplicities with which Galois representations occur in the mod $\ell$ cohomology of Shimura curves over totally real number fields. Our method relies on explicit computations of local deformation rings done by Shotton, which we use to compute the Weil class group of various deformation rings. Exploiting the natural self-duality of… ▽ More We use the Taylor-Wiles-Kisin patching method to investigate the multiplicities with which Galois representations occur in the mod $\ell$ cohomology of Shimura curves over totally real number fields. Our method relies on explicit computations of local deformation rings done by Shotton, which we use to compute the Weil class group of various deformation rings. Exploiting the natural self-duality of the cohomology groups, we use these class group computations to precisely determine the structure of a patched module in many new cases in which the patched module is not free (and so multiplicity one fails). Our main result is a "multiplicity $2^k$" theorem in the minimal level case (which we prove under some mild technical hypotheses), where $k$ is a number that depends only on local Galois theoretic information at the primes dividing the discriminant of the Shimura curve. Our result generalizes Ribet's classical multiplicity 2 result and the results of Cheng, and provides progress towards the Buzzard-Diamond-Jarvis local-global compatibility conjecture. We also prove a statement about the endomorphism rings of certain modules over the Hecke algebra, which may have applications to the integral Eichler basis problem. △ Less

Submitted 21 August, 2020; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 51 pages. To appear in Algebra & Number Theory

Journal ref: Alg. Number Th. 15 (2021) 387-434

Hyperbolic groups acting improperly

Authors: Daniel Groves, Jason F. Manning

Abstract: In this paper we study hyperbolic groups acting on CAT(0) cube complexes. The first main result (Theorem A) is a structural result about the Sageev construction, in which we relate quasi-convexity of hyperplane stabilizers with quasi-convexity of cell stabilizers. The second main result (Theorem D) generalizes both Agol's theorem on cubulated hyperbolic groups and Wise's Quasi-convex Hierarchy The… ▽ More In this paper we study hyperbolic groups acting on CAT(0) cube complexes. The first main result (Theorem A) is a structural result about the Sageev construction, in which we relate quasi-convexity of hyperplane stabilizers with quasi-convexity of cell stabilizers. The second main result (Theorem D) generalizes both Agol's theorem on cubulated hyperbolic groups and Wise's Quasi-convex Hierarchy Theorem. △ Less

Submitted 17 June, 2022; v1 submitted 7 August, 2018; originally announced August 2018.

Comments: 54pp. v5 is the accepted version. To appear in Geometry and Topology

Journal ref: Geom. Topol. 27 (2023) 3387-3460

Cohomology and the Bowditch Boundary

Authors: Jason Fox Manning, Oliver Wang

Abstract: We give a group cohomological description of the Čech cohomology of the Bowditch boundary of a relatively hyperbolic group pair, generalizing a result of Bestvina-Mess about hyperbolic groups. In case of a relatively hyperbolic Poincaré duality group pair, we show the Bowditch boundary is a homology manifold. For a three-dimensional Poincaré duality pair, we recover the theorem of Tshishiku-Walsh… ▽ More We give a group cohomological description of the Čech cohomology of the Bowditch boundary of a relatively hyperbolic group pair, generalizing a result of Bestvina-Mess about hyperbolic groups. In case of a relatively hyperbolic Poincaré duality group pair, we show the Bowditch boundary is a homology manifold. For a three-dimensional Poincaré duality pair, we recover the theorem of Tshishiku-Walsh stating that the boundary is homeomorphic to a two-sphere. △ Less

Submitted 31 August, 2020; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 28 pages, 3 figures. This version accepted by Michigan Mathematical Journal. (Reference to GGD in comments on previous version was an error.)

Journal ref: Michigan Math. J. Volume 69, Issue 3 (2020), 633-669

Quasiconvexity and Dehn filling

Authors: Daniel Groves, Jason Fox Manning

Abstract: We define a new condition on relatively hyperbolic Dehn filling which allows us to control the behavior of a relatively quasiconvex subgroups which need not be full. As an application, in combination with a recent result of Cooper and Futer, we provide a new proof of the virtual fibering of non-compact finite-volume hyperbolic 3-manifolds, a result first proved by Wise. Additionally, we explain ho… ▽ More We define a new condition on relatively hyperbolic Dehn filling which allows us to control the behavior of a relatively quasiconvex subgroups which need not be full. As an application, in combination with a recent result of Cooper and Futer, we provide a new proof of the virtual fibering of non-compact finite-volume hyperbolic 3-manifolds, a result first proved by Wise. Additionally, we explain how the results of [2, Appendix A] can be generalized to the relative setting to control the relative height of relatively quasiconvex subgroups under appropriate Dehn fillings. △ Less

Submitted 6 May, 2019; v1 submitted 26 August, 2017; originally announced August 2017.

Comments: 33 pages, 3 figures. To appear in American Journal of Mathematics. v3: Fixed typo in Example 4.8

Generalized triangle groups, expanders, and a problem of Agol and Wise

Authors: Alexander Lubotzky, Jason Fox Manning, Henry Wilton

Abstract: Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak. Answering a question asked by Agol and Wise, we show that a desired stronger form of Wise's malnormal special quotient theorem does not hold. The counterexamples are generalizations of triangle groups, built using the Ramanujan graphs constructed by Lubotzky--Phillips--Sarnak. △ Less

Submitted 29 May, 2018; v1 submitted 27 February, 2017; originally announced February 2017.

Comments: 12 pages, 2 figures. V2 incorporates changes suggested by the referee. This is the final version accepted for publication

Parametric uncertainty in complex environmental models: a cheap emulation approach for models with high-dimensional output

Authors: B. Swallow, M. Rigby, J. C. Rougier, A. J. Manning, M. Lunt, S. O'Doherty

Abstract: In order to understand underlying processes governing environmental and physical processes, and predict future outcomes, a complex computer model is frequently required to simulate these dynamics. However there is inevitably uncertainty related to the exact parametric form or the values of such parameters to be used when developing these simulators, with \emph{ranges} of plausible values prevalent… ▽ More In order to understand underlying processes governing environmental and physical processes, and predict future outcomes, a complex computer model is frequently required to simulate these dynamics. However there is inevitably uncertainty related to the exact parametric form or the values of such parameters to be used when developing these simulators, with \emph{ranges} of plausible values prevalent in the literature. Systematic errors introduced by failing to account for these uncertainties have the potential to have a large effect on resulting estimates in unknown quantities of interest. Due to the complexity of these types of models, it is often unfeasible to run large numbers of training runs that are usually required for full statistical emulators of the environmental processes. We therefore present a method for accounting for uncertainties in complex environmental simulators without the need for very large numbers of training runs and illustrate the method through an application to the Met Office's atmospheric transport model NAME. We conclude that there are two principle parameters that are linked with variability in NAME outputs, namely the free tropospheric turbulence parameter and particle release height. Our results suggest the former should be significantly larger than is currently implemented as a default in NAME, whilst changes in the latter most likely stem from inconsistencies between the model specified ground height at the observation locations and the true height at this location. Estimated discrepancies from independent data are consistent with the discrepancy between modelled and true ground height. △ Less

Submitted 13 February, 2017; originally announced February 2017.

HyperTools: A Python toolbox for visualizing and manipulating high-dimensional data

Authors: Andrew C. Heusser, Kirsten Ziman, Lucy L. W. Owen, Jeremy R. Manning

Abstract: Data visualizations can reveal trends and patterns that are not otherwise obvious from the raw data or summary statistics. While visualizing low-dimensional data is relatively straightforward (for example, plotting the change in a variable over time as (x,y) coordinates on a graph), it is not always obvious how to visualize high-dimensional datasets in a similarly intuitive way. Here we present Hy… ▽ More Data visualizations can reveal trends and patterns that are not otherwise obvious from the raw data or summary statistics. While visualizing low-dimensional data is relatively straightforward (for example, plotting the change in a variable over time as (x,y) coordinates on a graph), it is not always obvious how to visualize high-dimensional datasets in a similarly intuitive way. Here we present HypeTools, a Python toolbox for visualizing and manipulating large, high-dimensional datasets. Our primary approach is to use dimensionality reduction techniques (Pearson, 1901; Tipping & Bishop, 1999) to embed high-dimensional datasets in a lower-dimensional space, and plot the data using a simple (yet powerful) API with many options for data manipulation [e.g. hyperalignment (Haxby et al., 2011), clustering, normalizing, etc.] and plot styling. The toolbox is designed around the notion of data trajectories and point clouds. Just as the position of an object moving through space can be visualized as a 3D trajectory, HyperTools uses dimensionality reduction algorithms to create similar 2D and 3D trajectories for time series of high-dimensional observations. The trajectories may be plotted as interactive static plots or visualized as animations. These same dimensionality reduction and alignment algorithms can also reveal structure in static datasets (e.g. collections of observations or attributes). We present several examples showcasing how using our toolbox to explore data through trajectories and low-dimensional embeddings can reveal deep insights into datasets across a wide variety of domains. △ Less

Submitted 28 January, 2017; originally announced January 2017.

Comments: 22 pages, 11 figures, 3 tables

Boundaries of Dehn fillings

Authors: Daniel Groves, Jason Fox Manning, Alessandro Sisto

Abstract: We begin an investigation into the behavior of Bowditch and Gromov boundaries under the operation of Dehn filling. In particular we show many Dehn fillings of a toral relatively hyperbolic group with 2-sphere boundary are hyperbolic with 2-sphere boundary. As an application, we show that the Cannon conjecture implies a relatively hyperbolic version of the Cannon conjecture. We begin an investigation into the behavior of Bowditch and Gromov boundaries under the operation of Dehn filling. In particular we show many Dehn fillings of a toral relatively hyperbolic group with 2-sphere boundary are hyperbolic with 2-sphere boundary. As an application, we show that the Cannon conjecture implies a relatively hyperbolic version of the Cannon conjecture. △ Less

Submitted 18 December, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: v2: 52 pages, 2 figures. Moved some technical material to an appendix. Added outline and Theorem 4.8 about free product structure

MSC Class: 20F67

Journal ref: Geom. Topol. 23 (2019) 2929-3002

Enabling Factor Analysis on Thousand-Subject Neuroimaging Datasets

Authors: Michael J. Anderson, Mihai Capotă, Javier S. Turek, Xia Zhu, Theodore L. Willke, Yida Wang, Po-Hsuan Chen, Jeremy R. Manning, Peter J. Ramadge, Kenneth A. Norman

Abstract: The scale of functional magnetic resonance image data is rapidly increasing as large multi-subject datasets are becoming widely available and high-resolution scanners are adopted. The inherent low-dimensionality of the information in this data has led neuroscientists to consider factor analysis methods to extract and analyze the underlying brain activity. In this work, we consider two recent multi… ▽ More The scale of functional magnetic resonance image data is rapidly increasing as large multi-subject datasets are becoming widely available and high-resolution scanners are adopted. The inherent low-dimensionality of the information in this data has led neuroscientists to consider factor analysis methods to extract and analyze the underlying brain activity. In this work, we consider two recent multi-subject factor analysis methods: the Shared Response Model and Hierarchical Topographic Factor Analysis. We perform analytical, algorithmic, and code optimization to enable multi-node parallel implementations to scale. Single-node improvements result in 99x and 1812x speedups on these two methods, and enables the processing of larger datasets. Our distributed implementations show strong scaling of 3.3x and 5.5x respectively with 20 nodes on real datasets. We also demonstrate weak scaling on a synthetic dataset with 1024 subjects, on up to 1024 nodes and 32,768 cores. △ Less

Submitted 17 August, 2016; v1 submitted 16 August, 2016; originally announced August 2016.

MSC Class: 68W15 ACM Class: I.2

Problems In Groups, Geometry, and Three-Manifolds

Authors: Kelly Delp, Diane Hoffoss, Jason Fox Manning

Abstract: In May 2015, a conference entitled "Groups, Geometry, and 3-manifolds" was held at the University of California, Berkeley. The organizers asked participants to suggest problems and open questions, related in some way to the subject of the conference. These have been collected here, roughly divided by topic. The name (or names) attached to each question is that of the proposer, though many of the q… ▽ More In May 2015, a conference entitled "Groups, Geometry, and 3-manifolds" was held at the University of California, Berkeley. The organizers asked participants to suggest problems and open questions, related in some way to the subject of the conference. These have been collected here, roughly divided by topic. The name (or names) attached to each question is that of the proposer, though many of the questions have been asked before. △ Less

Submitted 14 December, 2015; originally announced December 2015.

Comments: 7 pages

Spatio-temporal bivariate statistical models for atmospheric trace-gas inversion

Authors: Andrew Zammit-Mangion, Noel Cressie, Anita L. Ganesan, Simon O' Doherty, Alistair J. Manning

Abstract: Atmospheric trace-gas inversion refers to any technique used to predict spatial and temporal fluxes using mole-fraction measurements and atmospheric simulations obtained from computer models. Studies to date are most often of a data-assimilation flavour, which implicitly consider univariate statistical models with the flux as the variate of interest. This univariate approach typically assumes that… ▽ More Atmospheric trace-gas inversion refers to any technique used to predict spatial and temporal fluxes using mole-fraction measurements and atmospheric simulations obtained from computer models. Studies to date are most often of a data-assimilation flavour, which implicitly consider univariate statistical models with the flux as the variate of interest. This univariate approach typically assumes that the flux field is either a spatially correlated Gaussian process or a spatially uncorrelated non-Gaussian process with prior expectation fixed using flux inventories (e.g., NAEI or EDGAR in Europe). Here, we extend this approach in three ways. First, we develop a bivariate model for the mole-fraction field and the flux field. The bivariate approach allows optimal prediction of both the flux field and the mole-fraction field, and it leads to significant computational savings over the univariate approach. Second, we employ a lognormal spatial process for the flux field that captures both the lognormal characteristics of the flux field (when appropriate) and its spatial dependence. Third, we propose a new, geostatistical approach to incorporate the flux inventories in our updates, such that the posterior spatial distribution of the flux field is predominantly data-driven. The approach is illustrated on a case study of methane (CH$_4$) emissions in the United Kingdom and Ireland. △ Less

Submitted 19 October, 2015; v1 submitted 2 September, 2015; originally announced September 2015.

Comments: 39 pages, 8 figures

Journal ref: Chemometrics and Intelligent Laboratory Systems, Vol. 149, 15.12.2015, p. 227-241

Dehn fillings and elementary splittings

Authors: Daniel Groves, Jason Fox Manning

Abstract: We consider conditions on relatively hyperbolic groups about the non-existence of certain kinds of splittings, and show these properties persist in long Dehn fillings. We deduce that certain connectivity properties of the Bowditch boundary persist under long fillings. We consider conditions on relatively hyperbolic groups about the non-existence of certain kinds of splittings, and show these properties persist in long Dehn fillings. We deduce that certain connectivity properties of the Bowditch boundary persist under long fillings. △ Less

Submitted 12 July, 2016; v1 submitted 11 June, 2015; originally announced June 2015.

Comments: 44 pages, 1 figure. v2 minor changes and corrections. v3 corrected Corollary 4.6; this version accepted for publication in Transactions of the AMS

The Bowditch boundary of $(G,\mathcal{H})$ when $G$ is hyperbolic

Authors: Jason Fox Manning

Abstract: In this note we use Yaman's dynamical characterization of relative hyperbolicity to prove a theorem of Bowditch about relatively hyperbolic pairs $(G,\mathcal{H})$ with $G$ hyperbolic. Our proof additionally gives a description of the Bowditch boundary of such a pair. This description of the boundary was previously obtained by Tran. In this note we use Yaman's dynamical characterization of relative hyperbolicity to prove a theorem of Bowditch about relatively hyperbolic pairs $(G,\mathcal{H})$ with $G$ hyperbolic. Our proof additionally gives a description of the Bowditch boundary of such a pair. This description of the boundary was previously obtained by Tran. △ Less

Submitted 7 March, 2020; v1 submitted 14 April, 2015; originally announced April 2015.

Comments: 8 pages, 2 figures. v4: corrections and improvements prompted by referee remarks

Virtual Geometricity is Rare

Authors: Christopher H. Cashen, Jason F. Manning

Abstract: We present the results of computer experiments suggesting that the probability that a random multiword in a free group is virtually geometric decays to zero exponentially quickly in the length of the multiword. We then prove this fact. We present the results of computer experiments suggesting that the probability that a random multiword in a free group is virtually geometric decays to zero exponentially quickly in the length of the multiword. We then prove this fact. △ Less

Submitted 20 April, 2015; v1 submitted 29 July, 2014; originally announced July 2014.

Comments: 8 pages, 2 figures v2 adds a link to the computer scripts used in the paper; v3 13pages, to appear in LMS Journal of Computation and Mathematics

MSC Class: 20E05; 20P05; 57M10

Journal ref: LMS J. Comput. Math. 18 (2015) 444-455

An alternate proof of Wise's Malnormal Special Quotient Theorem

Authors: Ian Agol, Daniel Groves, Jason Fox Manning

Abstract: We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu--Wise and Haglund--Wise. We give an alternate proof of Wise's Malnormal Special Quotient Theorem (MSQT), avoiding cubical small cancellation theory. We also show how to deduce Wise's Quasiconvex Hierarchy Theorem from the MSQT and theorems of Hsu--Wise and Haglund--Wise. △ Less

Submitted 18 November, 2015; v1 submitted 4 May, 2014; originally announced May 2014.

Comments: 42 pages, 10 figures. Version 2 contains minor changes, addressing referee comments. To appear in Forum of Mathematics, Pi

Recognizing geometric 3-manifold groups using the word problem

Authors: Daniel Groves, Jason Fox Manning, Henry Wilton

Abstract: Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'. Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'. △ Less

Submitted 7 October, 2012; originally announced October 2012.

Comments: 30 pages

The virtual Haken conjecture

Authors: Ian Agol, Daniel Groves, Jason Manning

Abstract: We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to… ▽ More We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken question of Waldhausen and Thurston's virtual fibering question. An appendix to this paper by Agol, Groves, and Manning proves a generalization of the main result of "Residual finiteness, QCERF and fillings of hyperbolic groups". △ Less

Submitted 12 April, 2012; originally announced April 2012.

Comments: 32 pages, 2 figures; Primary article by Ian Agol with an appendix by Ian Agol, Daniel Groves, and Jason Manning; relies on work of Dani Wise and collaborators available here: http://comet.lehman.cuny.edu/behrstock/cbms/program.html

MSC Class: 57M

Non-faithful representations of surface groups into SL(2,C) which kill no simple closed curve

Authors: Daryl Cooper, Jason Fox Manning

Abstract: We give counterexamples to a version of the simple loop conjecture in which the target group is PSL(2,C). These examples answer a question of Minsky in the negative. We give counterexamples to a version of the simple loop conjecture in which the target group is PSL(2,C). These examples answer a question of Minsky in the negative. △ Less

Submitted 28 April, 2014; v1 submitted 22 April, 2011; originally announced April 2011.

Comments: 23 pages, 3 figures. Version 3 incorporates additional referee comments, especially improving the appendix

Simplicial volume and fillings of hyperbolic manifolds

Authors: Koji Fujiwara, Jason Fox Manning

Abstract: Let M be a hyperbolic n-manifold whose cusps have torus cross-sections. In arXiv:0901.0056, the authors constructed a variety of nonpositively and negatively curved spaces as "2π-fillings" of M by replacing the cusps of M with compact "partial cones" of their boundaries. These 2π-fillings are closed pseudomanifolds, and so have a fundamental class. We show that the simplicial volume of any such 2π… ▽ More Let M be a hyperbolic n-manifold whose cusps have torus cross-sections. In arXiv:0901.0056, the authors constructed a variety of nonpositively and negatively curved spaces as "2π-fillings" of M by replacing the cusps of M with compact "partial cones" of their boundaries. These 2π-fillings are closed pseudomanifolds, and so have a fundamental class. We show that the simplicial volume of any such 2π-filling is positive, and bounded above by Vol(M)/v_n, where v_n is the volume of a regular ideal hyperbolic n-simplex. This result generalizes the fact that hyperbolic Dehn filling of a 3-manifold does not increase hyperbolic volume. In particular, we obtain information about the simplicial volumes of some 4--dimensional homology spheres described by Ratcliffe and Tschantz, answering a question of Belegradek and establishing the existence of 4--dimensional homology spheres with positive simplicial volume. △ Less

Submitted 19 July, 2011; v1 submitted 5 December, 2010; originally announced December 2010.

Comments: 22 pages; version 2 points out the application to the homology spheres of Ratcliffe and Tschantz, and makes some other small changes suggested by the referee

Journal ref: Algebr. Geom. Topol. 11 (2011) 2237-2264

Virtually geometric words and Whitehead's algorithm

Authors: Jason Fox Manning

Abstract: Motivated by a question of Gordon and Wilton, we consider the question of which collections of words are "virtually geometric". In particular, we prove that some words (e.g. bbaaccabc) are not virtually geometric. Motivated by a question of Gordon and Wilton, we consider the question of which collections of words are "virtually geometric". In particular, we prove that some words (e.g. bbaaccabc) are not virtually geometric. △ Less

Submitted 16 May, 2010; v1 submitted 4 April, 2009; originally announced April 2009.

Comments: 9 pages, 2 figures. (v2) Corrected statement of Theorem 2.4, and rewrote Remark 1.5 slightly (v3) Some improvements to the exposition and expansion of some remarks suggested by the referee

Journal ref: Mathematical Research Letters 17, no. 5 (2010) pp. 917-925

CAT(0) and CAT(-1) fillings of hyperbolic manifolds

Authors: Koji Fujiwara, Jason Fox Manning

Abstract: We give new examples of hyperbolic and relatively hyperbolic groups of cohomological dimension $d$ for all $d\geq 4$. These examples result from applying CAT$(0)$/CAT$(-1)$ filling constructions (based on singular doubly warped products) to finite volume hyperbolic manifolds with toral cusps. The groups obtained have a number of interesting properties, which are established by analyzing their… ▽ More We give new examples of hyperbolic and relatively hyperbolic groups of cohomological dimension $d$ for all $d\geq 4$. These examples result from applying CAT$(0)$/CAT$(-1)$ filling constructions (based on singular doubly warped products) to finite volume hyperbolic manifolds with toral cusps. The groups obtained have a number of interesting properties, which are established by analyzing their boundaries at infinity by a kind of Morse-theoretic technique, related to but distinct from ordinary and combinatorial Morse theory. △ Less

Submitted 30 December, 2008; originally announced January 2009.

Comments: 33 pages, 4 figures

MSC Class: 20F67

Journal ref: Journal of Differential Geometry 85, no. 2 (2010) pp. 229--270

Separation of Relatively Quasiconvex Subgroups

Authors: Jason Fox Manning, Eduardo Martinez-Pedroza

Abstract: Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric spaces are separable; Kleinian groups are subgroup separable. We also show that… ▽ More Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric spaces are separable; Kleinian groups are subgroup separable. We also show that LERF for finite volume hyperbolic 3-manifolds would follow from LERF for closed hyperbolic 3-manifolds. The method is to reduce, via combination and filling theorems, the separability of a quasiconvex subgroup of a relatively hyperbolic group G to the separability of a quasiconvex subgroup of a hyperbolic quotient G/N. A result of Agol, Groves, and Manning is then applied. △ Less

Submitted 12 May, 2010; v1 submitted 24 November, 2008; originally announced November 2008.

Comments: 22 pages, 2 figures. New version has numbering matching with the published version in the Pacific Journal of Mathematics, 244 no. 2 (2010) 309--334.

MSC Class: 20F65; 20F67; 20E26

Residual finiteness, QCERF, and fillings of hyperbolic groups

Authors: Ian Agol, Daniel Groves, Jason Fox Manning

Abstract: We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling. We prove that if every hyperbolic group is residually finite, then every quasi-convex subgroup of every hyperbolic group is separable. The main tool is relatively hyperbolic Dehn filling. △ Less

Submitted 10 March, 2008; v1 submitted 5 February, 2008; originally announced February 2008.

Comments: (v1) 22 pages, 2 figures. (v2) 24 pages, 2 figures. An error in the proof and statement of the main technical lemma was corrected, and some other small corrections and clarifications were made

MSC Class: 20F65; 20F67; 20E26

Journal ref: Geom. Topol. 13 (2009) 1043-1073

Actions of certain arithmetic groups on Gromov hyperbolic spaces

Authors: Jason Fox Manning

Abstract: We study the variety of actions of a fixed (Chevalley) group on arbitrary geodesic, Gromov hyperbolic spaces. In high rank we obtain a complete classification. In rank one, we obtain some partial results and give a conjectural picture. We study the variety of actions of a fixed (Chevalley) group on arbitrary geodesic, Gromov hyperbolic spaces. In high rank we obtain a complete classification. In rank one, we obtain some partial results and give a conjectural picture. △ Less

Submitted 18 July, 2008; v1 submitted 25 February, 2007; originally announced February 2007.

Comments: v1: 23 pages, 4 figures. v2: 24 pages, 4 figures. Fixed a bad typo in Claim 3.3 and made some other small changes. v3: A few small clarifications. To appear in AGT

Journal ref: Algebr. Geom. Topol. 8 (2008) 1371-1402

Fillings, finite generation and direct limits of relatively hyperbolic groups

Authors: Daniel Groves, Jason Fox Manning

Abstract: We examine the relationship between finitely and infinitely generated relatively hyperbolic groups, in two different contexts. First, we elaborate on a remark from math.GR/0601311, which states that the version of Dehn filling in relatively hyperbolic groups proved in math.GR/0510195, allowing infinitely generated parabolic subgroups, follows from the version with finitely generated parabolics… ▽ More We examine the relationship between finitely and infinitely generated relatively hyperbolic groups, in two different contexts. First, we elaborate on a remark from math.GR/0601311, which states that the version of Dehn filling in relatively hyperbolic groups proved in math.GR/0510195, allowing infinitely generated parabolic subgroups, follows from the version with finitely generated parabolics. Second, we observe that direct limits of relatively hyperbolic groups are in fact direct limits of finitely generated relatively hyperbolic groups. We use this (and known results) to derive some consequences about the Strong Novikov Conjecture for groups as constructed in math.GR/0411039. △ Less

Submitted 12 February, 2007; v1 submitted 2 June, 2006; originally announced June 2006.

Comments: (v1)10 pages. (v2) 11 pages, to appear in Groups, Geometry and Dynamics

MSC Class: 20F65; 20F67; 19K56