Searcharxiv⌕ Search

arXiv subjects

Michah Sageev

Publications and source records attributed to Michah Sageev.

17 recordsLinked to original sources
arXiv2025

Topological median algebra structures on ER homology manifolds I: local cubulation

We study topological median algebra structures on Euclidean spaces and, more generally, ER homology manifolds. We show that all such median structures have a local CAT(0) cubulation structure. We also show that topological median algebra structures are completely metrizable as median metric spaces if and only if intervals are compact. We give examples of both metrizable and non-metrizable such structures, as well as provide a construction for producing many non-locally cubulated topological median algebra structures on the unit ball in Euclidean space.

math.GT↗
arXiv2022

Coarse cubical rigidity

We show that for many right-angled Artin and Coxeter groups, all cocompact cubulations coarsely look the same: they induce the same coarse median structure on the group. These are the first examples of non-hyperbolic groups with this property. For all graph products of finite groups and for Coxeter groups with no irreducible affine parabolic subgroups of rank $\geq 3$, we show that all automorphism preserve the coarse median structure induced, respectively, by the Davis complex and the Niblo-Reeves cubulation. As a consequence, automorphisms of these groups have nice fixed subgroups and satisfy Nielsen realisation.

math.GR↗
arXiv2019

Cubulating Surface-by-free Groups

Let $$1 \to H \to G \to Q \to 1$$ be an exact sequence where $H= \pi_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↗
arXiv2018

Uniform exponential growth for CAT(0) square complexes

In this paper we start the inquiry into proving uniform exponential growth in the context of groups acting on CAT(0) cube complexes. We address free group actions on CAT(0) square complexes and prove a more general statement. This says that if $F$ is a finite collection of hyperbolic automorphisms of a CAT(0) square complex $X$, then either there exists a pair of words of length at most 10 in $F$ which freely generate a free semigroup, or all elements of $F$ stabilize a flat (of dimension 1 or 2 in $X$). As a corollary, we obtain a lower bound for the growth constant, $\sqrt[10]{2}$, which is uniform not just for a given group acting freely on a given CAT(0) cube complex, but for all groups which are not virtually abelian and have a free action on a CAT(0) square complex.

math.GR↗
arXiv2016

Ping pong on CAT(0) cube complexes

Let $G$ be a group acting properly and essentially on an irreducible, non-Euclidean finite dimensional CAT(0) cube complex $X$ without fixed points at infinity. We show that for any finite collection of simultaneously inessential subgroups $\{H_1, \ldots, H_k\}$ in $G$, there exists an element $g$ of infinite order such that $\forall i$, $\langle H_i, g\rangle \cong H_i * \langle g\rangle$. We apply this to show that any group, acting faithfully and geometrically on a non-Euclidean possibly reducible CAT(0) cube complex, has property $P_{naive}$ i.e. given any finite list $\{g_1, \ldots, g_k\}$ of elements from $G$, there exists $g$ of infinite order such that $\forall i$, $\langle g_i, g\rangle \cong \langle g_i \rangle *\langle g\rangle$. This applies in particular to the Burger-Moses simple groups that arise as lattices in products of trees. The arguments utilize the action of the group on its Poisson boundary and moreover, allow us to summarise equivalent conditions for the reduced $C^*$-algebra of the group to be simple.

math.GR↗
arXiv2015

Quasiflats in CAT(0) complexes

We show that if X is a piecewise Euclidean 2-complex with a cocompact isometry group, then every 2-quasiflat in X is at finite Hausdorff distance from a subset which is locally flat outside a compact set, and asymptotically conical.

math.GR↗
arXiv2011

The Poisson boundary of CAT(0) cube complex groups

We consider a finite-dimensional, locally finite CAT(0) cube complex X admitting a co-compact properly discontinuous countable group of automorphisms G. We construct a natural compact metric space B(X) on which G acts by homeomorphisms, the action being minimal and strongly proximal. Furthermore, for any generating probability measure on G, B(X) admits a unique stationary measure, and when the measure has finite logarithmic moment, it constitutes a compact metric model of the Poisson boundary. We identify a dense G-delta subset of B(X) on which the action of G is Borel-amenable, and describe the relation of these two spaces to the Roller boundary. Our construction can be used to give a simple geometric proof of Property A for the complex. Our methods are based on direct geometric arguments regarding the asymptotic behavior of half-spaces and their limiting ultrafilters, which are of considerable independent interest. In particular we analyze the notions of median and interval in the complex, and use the latter in the proof that B(X) is the Poisson boundary via the strip criterion developed by V. Kaimanovich.

math.GT↗
arXiv2011

Rank rigidity for CAT(0) cube complexes

We prove that any group acting essentially without a fixed point at infinity on an irreducible finite-dimensional CAT(0) cube complex contains a rank one isometry. This implies that the Rank Rigidity Conjecture holds for CAT(0) cube complexes. We derive a number of other consequences for CAT(0) cube complexes, including a purely geometric proof of the Tits Alternative, an existence result for regular elements in (possibly non-uniform) lattices acting on cube complexes, and a characterization of products of trees in terms of bounded cohomology.

math.GR↗
arXiv2007

Surface subgroups of right-angled Artin groups

We consider the question of which right-angled Artin groups contain closed hyperbolic surface subgroups. It is known that a right-angled Artin group $A(K)$ has such a subgroup if its defining graph $K$ contains an $n$-hole (i.e. an induced cycle of length $n$) with $n\geq 5$. We construct another eight "forbidden" graphs and show that every graph $K$ on $\le 8$ vertices either contains one of our examples, or contains a hole of length $\ge 5$, or has the property that $A(K)$ does not contain hyperbolic closed surface subgroups. We also provide several sufficient conditions for a \RAAG to contain no hyperbolic surface subgroups. We prove that for one of these "forbidden" subgraphs $P_2(6)$, the right angled Artin group $A(P_2(6))$ is a subgroup of a (right angled Artin) diagram group. Thus we show that a diagram group can contain a non-free hyperbolic subgroup answering a question of Guba and Sapir. We also show that fundamental groups of non-orientable surfaces can be subgroups of diagram groups. Thus the first integral homology of a subgroup of a diagram group can have torsion (all homology groups of all diagram groups are free Abelian by a result of Guba and Sapir).

math.GR↗
arXiv2007

The asymptotic geometry of right-angled Artin groups, I

We study atomic right-angled Artin groups -- those whose defining graph has no cycles of length less than five, and no separating vertices, separating edges, or separating vertex stars. We show that these groups are not quasi-isometrically rigid, but that an intermediate form of rigidity does hold. We deduce from this that two atomic groups are quasi-isometric iff they are isomorphic.

math.GR↗
arXiv2005

Quasi-actions on trees II: Finite depth Bass-Serre trees

This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.

math.GR↗
arXiv2004

The Tits alternative for CAT(0) cubical complexes

We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a finite-dimensional CAT(0) cubical complex, then either $G$ contains a free subgroup of rank 2 or $G$ is finitely generated and virtually abelian. In particular the above conclusion holds for any group $G$ with a free action on a finite-dimensional CAT(0) cubical complex.

math.GR↗
arXiv2004

Quasi-actions on trees I. Bounded valence

Given a bounded valence, bushy tree T, we prove that any cobounded quasi-action of a group G on T is quasiconjugate to an action of G on another bounded valence, bushy tree T'. This theorem has many applications: quasi-isometric rigidity for fundamental groups of finite, bushy graphs of coarse PD(n) groups for each fixed n; a generalization to actions on Cantor sets of Sullivan's Theorem about uniformly quasiconformal actions on the 2-sphere; and a characterization of locally compact topological groups which contain a virtually free group as a cocompact lattice. Finally, we give the first examples of two finitely generated groups which are quasi-isometric and yet which cannot act on the same proper geodesic metric space, properly discontinuously and cocompactly by isometries.

math.GR↗
arXiv2004

Minimal cubings

We combine ideas of Scott and Swarup on good position for almost invariant subsets of a group with ideas of Sageev on constructing cubings from such sets. We construct cubings which are more canonical than in Sageev's original construction. We also show that almost invariant sets can be chosen to be in very good position.

math.GR↗
arXiv2001

Maximally symmetric trees

We characterize the ``best'' model geometries for the class of virtually free groups, and we show that there is a countable infinity of distinct ``best'' model geometries in an appropriate sense--these are the maximally symmetric trees. The first theorem gives several equivalent conditions on a bounded valence, cocompact tree T without valence 1 vertices saying that T is maximally symmetric. The second theorem gives general constructions for maximally symmetric trees, showing for instance that every virtually free group has a maximally symmetric tree for a model geometry.

math.GR↗
arXiv2000

Quasi-actions on trees: research announcement

We develop a battery of tools for studying quasi-isometric rigidity and classification problems for splittings of groups. The techniques work best for finite graphs of groups where all edge and vertex groups are coarse PD groups. For example, if Gamma is a graph of coarse PD(n) groups for a fixed n, if the Bass-Serre tree of Gamma has infinitely many ends, and if H is a finitely generated group quasi-isometric to pi_1(Gamma), then we prove that H is the fundamental group of a graph of coarse PD(n) groups, with vertex and edge groups quasi-isometric to those of Gamma. We also have quasi-isometric rigidity theorems for graphs of coarse PD groups of nonconstant dimension, under various assumptions on the edge-to-vertex group inclusions.

math.GR↗