Source author record

Tom Kaiser

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.GR math.AT math.GT

Catalog footprint

Research overview

4works

4topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

On arithmetic properties of solvable Baumslag-Solitar groups

For $0<α\le 1$ , we say that a sequence $(X_k)_{k>0}$ of $d$ -regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$ . We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$ ): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in $GL_2(\mathbb{Z}[1/m])$ and intersecting with a family $M_{N_k}$ of congruence subgroups of $GL_2(\mathbb{Z}[1/m])$ , where the levels $N_k$ are coprime with $m$ and $N_k|N_{k+1}$ . We prove: - if an arithmetic box space has $D_α$ , then $α\le\frac{1}{2}$ ~; - if the family $(N_k)_k$ of levels is supported on finitely many primes, the corresponding arithmetic box space has $D_{1/2}$ ~; - if the family $(N_k)_k$ of levels is supported on a family of primes with positive analytic primitive density, then the corresponding arithmetic box space does not have $D_α$ , for every $α>0$ . Moreover, we prove that if we embed $BS(1,m)$ in the group of invertible upper-triangular matrices $T_n(\mathbb{Z}[1/m])$ , then every finite index subgroup of the embedding contains a congruence subgroup. This is a version of the congruence subgroup property (CSP).

preprint2020arXiv

A closer look at the non-Hopfianness of $BS(2,3)$

The Baumslag-Solitar group $BS(2,3)$ , is a so-called non-Hopfian group, meaning that it has an epimorphism $ϕ$ onto itself, that is not injective. In particular this is equivalent to saying that $BS(2,3)$ has a non-trivial quotient that is isomorphic to itself. As a consequence the Cayley graph of $BS(2,3)$ has a quotient that is isomorphic to itself up to change of generators. We describe this quotient on the graph-level and take a closer look at the most common epimorphism $ϕ$ . We show its kernel is a free group of infinite rank with an explicit set of generators. Finally we show how $ϕ$ appears as a morphism on fundamental groups induced by some continuous map. This point of view was communicated to the author by Gilbert Levitt.

preprint2020arXiv

Magnitude Homology, Diagonality, Medianness, Künneth and Mayer-Vietoris

Magnitude homology of graphs is introduced by Hepworth and Willerton in arXiv:1505.04125 . Magnitude homology of arbitrary metric spaces by Leinster and Shulman in arXiv:1711.00802v2 . We verify that the Künneth and Mayer-Vietoris formulas proved in arXiv:1505.04125 for graphs extend naturally to the metric setting. The same is done for the notion of diagonality, also originating from arXiv:1505.04125 . Stability of this notion under products, retracts, filtrations is verified, and as an application, it is shown that median spaces are diagonal; in particular, any Menger convex median space has vanishing magnitude homology. Finally, we argue for a definition of magnitude homology in the context of "betweenness spaces" and develop some of its properties.

preprint2020arXiv

The first uniformly finite homology group with coefficients in $\mathbb{Z}$ and a characterisation of its vanishing in the transitive case

We study the first uniformly finite homology group of Block and Weinberger for uniformly locally finite graphs, with coefficients in $\mathbb{Z}$ and $\mathbb{Z}_2$ . When the graph is a tree, or coefficients are in $\mathbb{Z}_2$ , a characterisation of the group is obtained. In the general case, we describe three phenomena that entail non-vanishing of the group; their disjunction is shown to also be necessary for non-vanishing in the case of transitive graphs.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tom Kaiser

Research overview

Is this your work?

4 publications

On arithmetic properties of solvable Baumslag-Solitar groups

A closer look at the non-Hopfianness of $BS(2,3)$

Magnitude Homology, Diagonality, Medianness, Künneth and Mayer-Vietoris

The first uniformly finite homology group with coefficients in $\mathbb{Z}$ and a characterisation of its vanishing in the transitive case

See the researcher in context

Building this map preview

Tom Kaiser

Research overview

Is this your work?

4 publications

On arithmetic properties of solvable Baumslag-Solitar groups

A closer look at the non-Hopfianness of BS(2,3)BS(2,3)BS(2,3)

Magnitude Homology, Diagonality, Medianness, Künneth and Mayer-Vietoris

The first uniformly finite homology group with coefficients in Z\mathbb{Z}Z and a characterisation of its vanishing in the transitive case

See the researcher in context

Building this map preview

A closer look at the non-Hopfianness of $BS(2,3)$

The first uniformly finite homology group with coefficients in $\mathbb{Z}$ and a characterisation of its vanishing in the transitive case