Source author record

Stefan Witzel

Stefan Witzel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.GT math.MG math.CO math.LO math.NT

Catalog footprint

What is connected

12works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2022arXiv

Higher finiteness properties of arithmetic approximate lattices: The Rank Theorem for number fields

We introduce geometric and homological finiteness properties for countable approximate groups via coarse geometry and then study these finiteness properties for S-arithmetic reductive approximate groups. For S-arithmetic approximate groups without infinite places we show that the finiteness length is finite and compute this finiteness length explicitly. In the simple case it is one less than the sum of the local ranks. This extends the Rank Theorem of Bux, Köhl and the second author from positive characteristic to characteristic zero. Our proof is based on a geometric version of their proof, but except for some input from reduction theory it is characteristic free. This indicates that the apparent differences between arithmetic groups in characteristic zero and positive characteristic concerning finiteness properties are entirely due to the presence of infinite places.

preprint2021arXiv

Hyperbolic generalized triangle groups, property (T) and finite simple quotients

We construct several series of explicit presentations of infinite hyperbolic groups enjoying Kazhdan's property (T). Some of them are significantly shorter than the previously known shortest examples. Moreover, we show that some of those hyperbolic Kazhdan groups possess finite simple quotient groups of arbitrarily large rank; they constitute the first known specimens combining those properties. All the hyperbolic groups we consider are non-positively curved k-fold generalized triangle groups, i.e. groups that possess a simplicial action on a CAT(0) triangle complex, which is sharply transitive on the set of triangles, and such that edge-stabilizers are cyclic of order k.

preprint2021arXiv

Quasi-isometric diversity of marked groups

We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric groups. It follows that every perfect set of marked groups having a dense subset of finitely presented groups contains $2^{\aleph_0}$ quasi-isometry classes. These results account for most known constructions of continuous families of non-quasi-isometric finitely generated groups. They can also be used to prove the existence of $2^{\aleph_0}$ quasi-isometry classes of finitely generated groups having interesting algebraic, geometric, or model-theoretic properties.

preprint2018arXiv

Boundary Braids

The n-strand braid group can be defined as the fundamental group of the configuration space of n unlabeled points in a closed disk based at a configuration where all n points lie in the boundary of the disk. Using this definition, the subset of braids that have a representative where a specified subset of these points remain pointwise fixed forms a subgroup isomorphic to a braid group with fewer strands. In this article, we generalize this phenomenon by introducing the notion of boundary braids. A boundary braid is a braid that has a representative where some specified subset of the points remains in the boundary cycle of the disk. Although boundary braids merely form a subgroupoid rather than a subgroup, they play an interesting geometric role in the piecewise Euclidean dual braid complex defined by Tom Brady and the second author. We prove several theorems in this setting, including the fact that the subcomplex of the dual braid complex determined by a specified set of boundary braids metrically splits as the direct metric product of a Euclidean polyhedron and a dual braid complex of smaller rank.

preprint2016arXiv

The Basilica Thompson group is not finitely presented

We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP_2. The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes.

preprint2015arXiv

The $Σ$-invariants of Thompson's group $F$ via Morse theory

Bieri, Geoghegan and Kochloukova computed the BNSR-invariants $Σ^m(F)$ of Thompson's group $F$ for all $m$. We recompute these using entirely geometric techniques, making use of the Stein--Farley CAT(0) cube complex on which $F$ acts.

preprint2014arXiv

Local convexity in CAT(κ)-spaces

Heinrich Tietze has shown that for a closed connected subset of euclidean space being convex is a local property. We generalize this to CAT(0)-spaces and locally compact CAT(κ) spaces. As an application we give a construction of certain convex sets in euclidean buildings.

preprint2014arXiv

The Brin-Thompson groups sV are of type F_\infty

We prove that the Brin-Thompson groups sV, also called higher dimensional Thompson's groups, are of type F_\infty for all natural numbers s. This result was previously shown for s up to 3, by considering the action of sV on a naturally associated space. Our key step is to retract this space to a subspace sX which is easier to analyze.

preprint2012arXiv

Abels's groups revisited

We generalize a class of groups introduced by Herbert Abels to produce examples of virtually torsion free groups that have Bredon-finiteness length m-1 and classical finiteness length n-1 for all 0 < m <= n. The proof illustrates how Bredon-finiteness properties can be verified using geometric methods and a version of Brown's criterion due to Martin Fluch and the author.

preprint2012arXiv

Finiteness Properties of Chevalley Groups over the Ring of (Laurent) Polynomials over a Finite Field

In these notes we determine the finiteness length of the groups G(O_S) where G is an F_q-isotropic, connected, noncommutative, almost simple F_q-group and O_S is one of F_q[t], F_q[t^{-1}], and F_q[t,t^{-1}]. That is, k = F_q(t) and S contains one or both of the places s_0 and s_\infty corresponding to the polynomial p(t) = t respectively to the point at infinity. The statement is that the finiteness length of G(O_S) is n-1 if S contains one of the two places and is 2n-1 if it contains both places, where n is the F_q-rank of G. For example, the group SL_3(F_q[t,t^{-1}]) is of type F_3 but not of type F_4, a fact that was previously unknown.

preprint2010arXiv

Finiteness Properties of Chevalley Groups over a Polynomial Ring over a Finite Field

It is known from work by H. Abels and P. Abramenko that for a classical Fq-group G of rank n the arithemetic lattice G(Fq[t]) of Fq[t]-rational points is of type Fn-1 provided that q is large enough. We show that the statement is true without any assumption on q and for any isotropic, absolutely almost simple group G defined over Fq.