arXiv subjects

Wouter van Limbeek

Publications and source records attributed to Wouter van Limbeek.

10 recordsLinked to original sources

arXiv2023

Greenberg-Shalom's Commensurator Hypothesis and Applications

We discuss many surprising implications of a positive answer to a question raised in some cases by Greenberg in the $`70$s and more generally by Shalom in the early $2000$s. We refer to this positive answer as the Greenberg-Shalom hypothesis. This hypothesis then says that any infinite discrete subgroup of a semisimple Lie group with dense commensurator is a lattice in a product of some factors. For some applications it is natural to extend the hypothesis to cover semisimple algebraic groups over other fields as well.

math.GR↗

arXiv2022

Co-spectral radius of intersections

We study the behavior of the co-spectral radius of a subgroup $H$ of a discrete group $\Gamma$ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable.

math.GR↗

arXiv2020

Structure of normally and finitely non-co-Hopfian groups

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is isomorphic to G. We prove that up to finite index, these are always obtained by pulling back a chain of subgroups from a free abelian quotient. We give two applications: First, we show any characteristic proper finite-index subgroup isomorphic to G arises by pulling back a finite-index subgroup of the abelianization, and secondly, we prove special cases (for normal subgroups) of conjectures of Benjamini and Nekrashevych--Pete regarding the classification of scale-invariant groups.

math.GR↗

arXiv2019

Heat kernels are not uniform expanders

We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non-expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest.

math.CO↗

arXiv2018

Rigidity of warped cones and coarse geometry of expanders

We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian factors, then two such warped cones are quasi-isometric if and only if the actions are finite covers of conjugate actions. As a consequence, we produce continuous families of non-quasi-isometric expanders and superexpanders. The proof relies on the use of coarse topology for warped cones, such as a computation of their coarse fundamental groups.

math.MG↗

arXiv2016

Isometry types of frame bundles

We consider the orthonormal frame bundle F(M) of a Riemannian manifold M. A construction of Sasaki defines a canonical Riemannian metric on F(M). We prove that for two closed Riemannian n-manifolds M and N, the frame bundles F(M) and F(N) are isometric if and only if M and N are isometric, except possibly in dimensions 3, 4, and 8. This answers a question of Benson Farb except in dimensions 3, 4, and 8.

math.DG↗

arXiv2015

Rigidity of convex divisible domains in flag manifolds

In contrast to the many examples of convex divisible domains in real projective space, we prove that up to projective isomorphism there is only one convex divisible domain in the Grassmannian of $p$-planes in $\mathbb{R}^{2p}$ when $p > 1$. Moreover, this convex divisible domain is a model of the symmetric space associated to the simple Lie group SO$(p, p)$.

math.DG↗

arXiv2014

Quasicircle boundaries and exotic almost-isometries

We consider properly discontinuous, isometric, convex cocompact actions of surface groups on a CAT(-1) space. We show that the limit set of such an action, equipped with the canonical visual metric, is a (weak) quasicircle in the sense of Falconer and Marsh. It follows that the visual metrics on such limit sets are classified, up to bi-Lipschitz equivalence, by their Hausdorff dimension. This result applies in particular to boundaries at infinity of the universal cover of a locally CAT(-1) surface. We show that any two periodic CAT(-1) metrics on $\mathbb H^2$ can be scaled so as to be almost-isometric (though in general, no equivariant almost-isometry exists). We also construct, on each higher genus surface, $k$-dimensional families of equal area Riemannian metrics, with the property that their lifts to the universal covers are pairwise almost-isometric but are not isometric to each other. Finally, we exhibit a gap phenomenon for the optimal multiplicative constant for a quasi-isometry between periodic CAT(-1) metrics on $\mathbb H^2$.

math.GT↗

arXiv2014

Symmetry gaps in Riemannian geometry and minimal orbifolds

We study the size of the isometry group Isom(M, g) of Riemannian manifolds (M, g) as g varies. For M not admitting a circle action, we show that the order of Isom(M, g) can be universally bounded in terms of the bounds on Ricci curvature, diameter, and injectivity radius of M. This generalizes results known for negative Ricci curvature to all manifolds. More generally we establish a similar universal bound on the index of the deck group pi_1(M) in the isometry group Isom(X, g) of the universal cover X in the absence of suitable actions by connected groups. We apply this to characterize locally symmetric spaces by their symmetry in covers. This proves a conjecture of Farb and Weinberger with the additional assumption of bounds on curvature, diameter, and injectivity radius. Further we generalize results of Kazhdan-Margulis and Gromov on minimal orbifolds of nonpositively curved manifolds to arbitrary manifolds with only a purely topological assumption.

math.DG↗

arXiv2013

Riemannian manifolds with local symmetry

We give a classification of many closed Riemannian manifolds M whose universal cover possesses a nontrivial amount of symmetry. More precisely, we consider closed Riemannian manifolds $M$ such that Isom$(\widetilde{M})$ has noncompact connected components. We prove that in many cases, such a manifold is as a fiber bundle over a locally homogeneous space. This is inspired by work of Eberlein (for nonpositively curved manifolds) and Farb-Weinberger (for aspherical manifolds), and generalizes work of Frankel (for a semisimple group action). As an application, we characterize simply-connected Riemannian manifolds with both compact and finite volume noncompact quotients.

math.DG↗