arXiv subjects
Publications and source records attributed to Kevin Whyte.
We prove that if a proper metric space is quasi-isometric to a finitely generated group and to a space with a horoball over a finitely generated group, then that space is quasi-isometric to a rank-one symmetric space or the real line.
We prove a rigidity theorem that shows that, under many circumstances, quasi-isometric embeddings of equal rank, higher rank symmetric spaces are close to isometric embeddings. We also produce some surprising examples of quasi-isometric embeddings of higher rank symmetric spaces. In particular, we produce embeddings of $SL(n,\mathbb R)$ into $Sp(2(n-1),\mathbb R)$ when no isometric embeddings exist. A key ingredient in our proofs of rigidity results is a direct generalization of the Mostow-Morse Lemma in higher rank. Typically this lemma is replaced by the quasi-flat theorem which says that maximal quasi-flat is within bounded distance of a finite union of flats. We improve this by showing that the quasi-flat is in fact flat off of a subset of codimension $2$.
Using the work of Cornulier-Valette and Whyte (see Appendix A for the latter), we show that neither the Haagerup property nor weak amenability is invariant under quasi-isometry of finitely generated groups. Appendix B shows, using the same examples, that the same holds for vanishing of the equivariant $L^p$-compression.
We develop a coarse notion of bundle and use it to understand the coarse geometry of group extensions and, more generally, groups acting on proper metric spaces. The results are particularly sharp for groups acting on (locally finite) trees with Abelian stabilizers, which we are able to classify completely.
We study a new holographic gauge theory based on probe D4-branes in the background dual to D4-branes on a circle with antiperiodic boundary conditions for fermions. Field theory configurations with baryons correspond to smooth embeddings of the probe D4-branes with nontrivial winding around an S^4 in the geometry. As a consequence, physics of baryons and nuclei can be studied reliably in this model using the abelian Born-Infeld action. However, surprisingly, we find that the meson spectrum is not discrete. This is related to a curious result that the action governing small fluctuations of the gauge field on the probe brane is the five-dimensional Maxwell action in Minkowski space despite the non-trivial embedding of the probe brane in the curved background geometry.
In this paper, which is the continuation of [EFW2], we complete the proof of the quasi-isometric rigidity of Sol and the lamplighter groups. The results were announced in [EFW1].
We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups.
Let $X$ be a geodesic metric space with $H_1(X)$ uniformly generated. If $X$ has asymptotic dimension one then $X$ is quasi-isometric to an unbounded tree. As a corollary, we show that the asymptotic dimension of the curve graph of a compact, oriented surface with genus $g \ge 2$ and one boundary component is at least two.
In this note, we announce the first results on quasi-isometric rigidity of non-nilpotent polycyclic groups. In particular, we prove that any group quasi-isometric to the three dimenionsional solvable Lie group Sol is virtually a lattice in Sol. We prove analogous results for groups quasi-isometric to $R \ltimes R^n$ where the semidirect product is defined by a diagonalizable matrix of determinant one with no eigenvalues on the unit circle. Our approach to these problems is to first classify all self quasi-isometries of the solvable Lie group. Our classification of self quasi-isometries for $R \ltimes \R^n$ proves a conjecture made by Farb and Mosher in [FM4]. Our techniques for studying quasi-isometries extend to some other classes of groups and spaces. In particular, we characterize groups quasi-isometric to any lamplighter group, answering a question of de la Harpe [dlH]. Also, we prove that certain Diestel-Leader graphs are not quasi-isometric to any finitely generated group, verifying a conjecture of Diestel and Leader from [DL] and answering a question of Woess from [SW],[Wo1]. We also prove that certain non-unimodular, non-hyperbolic solvable Lie groups are not quasi-isometric to finitely generated groups. The results in this paper are contributions to Gromov's program for classifying finitely generated groups up to quasi-isometry [Gr2]. We introduce a new technique for studying quasi-isometries, which we refer to as "coarse differentiation".
In this paper, we prove that certain spaces are not quasi-isometric to Cayley graphs of finitely generated groups. In particular, we answer a question of Woess and prove a conjecture of Diestel and Leader by showing that certain homogeneous graphs are not quasi-isometric to a Cayley graph of a finitely generated group. This paper is the first in a sequence of papers proving results announced in [EFW0]. In particular, this paper contains many steps in the proofs of quasi-isometric rigidity of lattices in Sol and of the quasi-isometry classification of lamplighter groups. The proofs of those results are completed in [EFW1]. The method used here is based on the idea of "coarse differentiation" introduced in [EFW0].
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.
We analyze the obstruction to metrics of positive scalar curvature within a given bounded distortion class of metrics. This obstruction lives in a non-Hausdorff cohomology group Poincare dual to the uniformly finite homology studied by Block and Weinberger. One of the applications is a converse to their theorem on infinite connected sums, giving a complete picture of when such manifolds have metrics of positive scalar curvature.
The Baumslag-Solitar groups: BS(m,n)= are some of the simplest interesting infinite groups which are not lattices in Lie groups. They have been studied in depth from the point of view of combinatorial group theory. It is natural to ask if the geometric approach to the theory of infinite groups, which has been so successful in the study of lattices, can yield any insights in this nonlinear case. We show that in contrast to the solvable groups studied by Farb and Mosher, the groups BS(m,n) with 1<m<n are all quasi-isometric. This generalizes to almost all groups acting on trees with infinite cyclic vertex and edge stabilizers.
Let G be a subgroup of finite index in SL(n,Z) for N > 4. Suppose G acts continuously on a manifold M, with fundamental group Z^n, preserving a measure that is positive on open sets. Further assume that the induced G action on H^1(M) is non-trivial. We show there exists a finite index subgroup G' of G and a G' equivariant continuous map from M to the n-torus that induces an isomorphism on fundamental groups. We prove more general results providing continuous quotients in cases where the fundamental group of M surjects onto a finitely generated torsion free nilpotent group. We also give some new examples of manifolds with G actions to which the theorems apply.
Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are quasi-isometric if and only if every one-ended vertex group of A is quasi-isometric to some one-ended vertex group of B and every one-ended vertex group of B is quasi-isometric to some one-ended vertex group of A. From our proof it also follows that if G is any finitely generated group, of order at least three, the groups: G*G, G*Z,G*G*G and G* Z/2Z are all quasi-isometric.
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.
We present a simple approach to questions of topological orbit equivalence for actions of countable groups on topological and smooth manifolds. For example, for any action of a countable group $Γ$ on a topological manifold where the fixed sets for any element are contained in codimension two submanifolds, every orbit equivalence is equivariant. Even in the presence of larger fixed sets, for actions preserving rigid geometric structures our results force sufficiently smooth orbit equivalences to be equivariant. For instance, if a countable group $Γ$ acts on ${\mathbb T}^n$ and the action is $C^1$ orbit equivalent to the standard action of $SL_n({\mathbb Z})$ on ${\mathbb T}^n$, then $Γ$ is isomorphic to $SL_n({\mathbb Z})$ and the actions are isomorphic. (The same result holds if we replace $SL_n(\mathbb Z)$ by a finite index subgroup.) We also show that preserving a geometric structure is an invariant of smooth orbit equivalence and give an application of our ideas to the theory of hyperbolic groups. In the course of proving our theorems, we generalize a theorem of Sierpinski which says that a connected Hausdorff compact topological space is not the disjoint union of countably many closed sets. We prove a stronger statement that allows "small" intersections provided the space is locally connected. This implies that for any continuous action of a countable group $\G$ on a connected, locally connected, locally compact, Hausdorff topological space, where the fixed set of every element is "small", every orbit equivalence is equivariant.
Suppose X is any finite complex with vanishing L^2 Betti number. We prove upper bounds on the Betti numbers for regular coverings of X, sublinear in the order of covering. The bounds are sensitive to the Novikov-Shubin invariants of X, and are improved in the presence of a spectral gap.