Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 1208.5405

Linear and projective boundary of nilpotent groups

Bernhard Krön·Jörg Lehnert·Norbert Seifter·Elmar Teufl
View original source ↗Read source document ↗Export metadata ↓

Abstract

We define a pseudometric on the set of all unbounded subsets of a metric space. The Kolmogorov quotient of this pseudometric space is a complete metric space. The definition of the pseudometric is guided by the principle that two unbounded subsets have distance 0 whenever they stay sublinearly close. Based on this pseudometric we introduce and study a general concept of boundaries of metric spaces. Such a boundary is the closure of a subset in the Kolmogorov quotient determined by an arbitrarily chosen family of unbounded subsets. Our interest lies in those boundaries which we get by choosing unbounded cyclic sub-(semi)-groups of a finitely generated group (or more general of a compactly generated, locally compact Hausdorff group). We show that these boundaries are quasi-isometric invariants and determine them in the case of nilpotent groups as a disjoint union of certain spheres (or projective spaces). In addition we apply this concept to vertex-transitive graphs with polynomial growth and to random walks on nilpotent groups.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bernhard Krön, Jörg Lehnert, Norbert Seifter, Elmar Teufl. 2013-09-20. Linear and projective boundary of nilpotent groups. https://arxiv.org/abs/1208.5405

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Strongly Doubly Reversible Pairs in Quaternionic Unitary Group of Signature $(n,1)$

Let $\mathrm{PSp}(n,1)$ denote the isometry group of quaternionic hyperbolic $n$--space $\h^n$. A pair $(g_1,g_2)\in\mathrm{PSp}(n,1)^2$ is \emph{strongly doubly reversible} if $(g_1,g_2)$ and $(g_1^{-1},g_2^{-1})$ are simultaneously conjugate by an involution. Equivalently, there exist involutions $i_1,i_2,i_3\in\mathrm{PSp}(n,1)$ such that $g_1=i_1i_2$ and $g_2=i_1i_3$. We prove that the set of strongly doubly reversible pairs has Haar measure zero in $\mathrm{PSp}(n,1)\times\mathrm{PSp}(n,1)$. The same conclusion holds for $\mathrm{PSp}(n)\times\mathrm{PSp}(n)$ and $\mathrm{SU}(n,1)\times\mathrm{SU}(n,1)$ for $n\ge2$, and for $\mathrm{SO}_0(n,1)\times\mathrm{SO}_0(n,1)$ and $\mathrm{SO}(n+1)\times\mathrm{SO}(n+1)$ for $n\ge4$. In the compact rank-one case, every pair in $\mathrm{PSp}(1)$ is strongly doubly reversible, which gives a short proof of the theorem of Basmajian and Maskit that every pair in $\mathrm{SO}(4)$ is strongly doubly reversible. For hyperbolic pairs, we prove that double reversibility and strong double reversibility are equivalent in $\mathrm{PSp}(1,1)$. In higher dimension, we prove the same implication when one member of the pair is regular, with pairwise distinct non-real unit eigenvalue classes. Finally, in $\mathrm{PSp}(1,1)$, for a hyperbolic element in normal form, we give a complete explicit matrix criterion characterizing all elements that form a strongly doubly reversible pair with it.

math.GR↗
arXiv2026

Non-split sharply 2- and 3-transitive groups in SL_n(\mathbb Z)

We prove that $\mathrm{SL}_3(\mathbb{Z})$ contains a non-split sharply 2-transitive subgroup, answering a question of Glasner and Gulko. We also prove that $\mathrm{SL}_4(\mathbb{Z})$ contains a non-split sharply 3-transitive subgroup, but that $\mathrm{SL}_3(\mathbb{Z})$ does not contain an infinite sharply 3-transitive subgroup.

math.GR↗
arXiv2026

The Fourth Continuous Bounded Cohomology of the Complex Symplectic Group

We prove that $H_{\mathrm{cb}}^4(\Sp(4,\CC);\RR)=0$. Together with Blatz's secondary stability and the rank-one theorem of Bucher--Savini, this gives degree-four vanishing for all complex symplectic and odd complex orthogonal groups. In normalized symplectic Gram coordinates, we establish a bounded-primitive estimate and compute the measurable cohomology of the projective action. An explicit rational cocycle has divergent periods on a family of finite orbit cycles of uniformly bounded $\ell^1$-mass. A two-cone averaging construction extends the period estimate to measurable cochains and excludes bounded representatives of every nonzero degree-four measurable action class.

math.GR↗