SearcharxivSearch

arXiv subjects

Kai-Uwe Bux

Publications and source records attributed to Kai-Uwe Bux.

At least 19 recordsLinked to original sources

Geometric invariants of locally compact groups: the homotopical perspective

We extend the classical theory of homotopical $Σ$-sets $Σ^n$ developed by Bieri, Neumann, Renz and Strebel for abstract groups, to $Σ$-sets $Σ_{\mathrm{top}}^n$ for locally compact Hausdorff groups. Given such a group $G$, our $Σ_{\mathrm{top}}^n(G)$ are sets of continuous homomorphisms $G \to \mathbb{R}$ ("characters"). They match the classical $Σ$-sets $Σ^n(G)$ if $G$ is discrete, and refine the homotopical compactness properties $\mathrm C_n$ of Abels and Tiemeyer. Moreover, our theory recovers the definition of $Σ_{\mathrm{top}}^1$ and $Σ_{\mathrm{top}}^2$ proposed by Kochloukova. Besides presenting various characterizations of $Σ_{\mathrm{top}}^n$ (particularly for $n\in \{1,2\}$), we show that characters in $Σ_{\mathrm{top}}^n(G)$ are also in $Σ_{\mathrm{top}}^n(H)$ if $H\le G$ is a closed cocompact subgroup, and we generalize several classical results. Namely, we prove that the set of nonzero elements of $Σ_{\mathrm{top}}^n(G)$ is open, we prove that characters in a group of type $\mathrm C_n$ that do not vanish on the center always lie in $Σ_{\mathrm{top}}^n(G)$, and we relate the $Σ$-sets of a group with those of its quotients by closed subgroups of type $\mathrm C_n$. Lastly, we describe how $Σ_{\mathrm{top}}^n(G)$ governs whether a closed normal subgroup with abelian quotient is of type $\mathrm C_n$, generalizing one of the highlights of the classical theory.

math.GR

The cost of cyclic permutations and remainder sums in the Euclidean algorithm

We discuss a modification to the Gries-Mills block swapping scheme for in-place rotation with average costs of 1.85 moves per element and worst case performance still at 3 moves per element. Analysis of the average case relies on the asymptotic behavior of the sum of remainders in the Euclidean algorithm.

cs.DS

Geometric invariants of locally compact groups: the homological perspective

In this paper we develop the homological version of $Σ$-theory for locally compact Hausdorff groups, leaving the homotopical version for another paper. Both versions are connected by a Hurewicz-like theorem. They can be thought of as directional versions of type $\mathrm{CP}_m$ and type $\mathrm{C}_m$, respectively. And classical $Σ$-theory is recovered if we equip an abstract group with the discrete topology. This paper provides criteria for type $\mathrm{CP}_m$ and homological locally compact $Σ^m$. Given a short exact sequence with kernel of type $\mathrm{CP}_m$, we can derive $Σ^m$ of the extension on the sphere that vanishes on the kernel from the quotient and likewise. Given a short exact sequence with abelian quotient, $Σ$-theory on the extension can tell if the kernel is of type $\mathrm{CP}_m$.

math.AT

On the Boone--Higman Conjecture for groups acting on locally finite trees

We develop a method for proving the Boone--Higman Conjecture for groups acting on locally finite trees. As a consequence, we prove the Boone--Higman Conjecture for all Baumslag--Solitar groups and for all free(finite rank)-by-cyclic groups, solving it in two cases that have been raised explicitly by Belk, Bleak, Matucci and Zaremsky. We also illustrate that our method has applications beyond these cases and may offer a route for proving the Boone--Higman Conjecture for many classes of groups.

math.GR

Asymptotic mapping class groups of Cantor manifolds and their finiteness properties

We prove that the infinite family of asymptotic mapping class groups of surfaces of defined by Funar--Kapoudjian and Aramayona--Funar are of type $F_\infty$, thus answering questions of Funar-Kapoudjian-Sergiescu and Aramayona-Vlamis. As it turns out, this result is a specific instance of a much more general theorem which allows to deduce that asymptotic mapping class groups of Cantor manifolds, also introduced in this paper, are of type $F_\infty$, provide the underlying manifolds satisfy some general hypotheses. As important examples, we will obtain $F_\infty$ asymptotical mapping class groups that contain, respectively, the mapping class group of every compact surface with non-empty boundary, the automorphism group of every free group of finite rank, or infinite families of arithmetic groups. In addition, for certain types of manifolds, the homology of our asymptotic mapping class groups coincides with the stable homology of the relevant mapping class groups, as studied by Harer and Hatcher--Wahl.

math.GT

Spectral correspondences for finite graphs without dead ends

We compare the spectral properties of two kinds of linear operators characterizing the (classical) geodesic flow and its quantization on connected locally finite graphs without dead ends. The first kind are transfer operators acting on vector spaces associated with the set of non backtracking paths in the graphs. The second kind of operators are averaging operators acting on vector spaces associated with the space of vertices of the graph. The choice of vector spaces reflects regularity properties. Our main results are correspondences between classical and quantum spectral objects as well as some automatic regularity properties for eigenfunctions of transfer operators.

math.SP

Surface Houghton groups

For every $n\ge 2$, the {\em surface Houghton group} $\mathcal B_n$ is defined as the asymptotically rigid mapping class group of a surface with exactly $n$ ends, all of them non-planar. The groups $\mathcal B_n$ are analogous to, and in fact contain, the braided Houghton groups. These groups also arise naturally in topology: every monodromy homeomorphisms of a fibered component of a depth-1 foliation of closed 3-manifold is conjugate into some $\mathcal B_n$. As countable mapping class groups of infinite type surfaces, the groups $\mathcal B_n$ lie somewhere between classical mapping class groups and big mapping class groups. We initiate the study of surface Houghton groups proving, among other things, that $\mathcal B_n$ is of type $F_{n-1}$, but not of type $FP_n$, analogous to the braided Houghton groups.

math.GT

Poisson Transforms for Trees of Bounded Degree

We introduce a parameterized family of Poisson transforms on trees of bounded degree, construct explicit inverses for generic parameters, and characterize moderate growth of Laplace eigenfunctions by Hölder regularity of their boundary values.

math.SP

The braided Thompson's groups are of type $F_\infty$

We prove that the braided Thompson's groups $V_{\rm br}$ and $F_{\rm br}$ are of type $F_\infty$, confirming a conjecture by John Meier. The proof involves showing that matching complexes of arcs on surfaces are highly connected. In an appendix, Zaremsky uses these connectivity results to exhibit families of subgroups of the pure braid group that are highly generating, in the sense of Abels and Holz.

math.GR

Coset Posets of Infinite Groups

We consider the coset poset associated with the families of proper subgroups, proper subgroups of finite index, and proper normal subgroups of finite index. We investigate under which conditions those coset posets have contractible geometric realizations.

math.GR

Non-crossing partitions

Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type $\mathsf{A}_n$, which explains the tight connection to the symmetric groups and braid groups. We shall outline those developments.

math.GR

On the bordification of outer space

We give a simple construction of an equivariant deformation retract of Outer space which is homeomorphic to the Bestvina-Feighn bordification. This results in a much easier proof that the bordification is (2n-5)-connected at infinity, and hence that $Out(F_n)$ is a virtual duality group.

math.GR

Quadratic forms and Sobolev spaces of fractional order

We study quadratic functionals on $L^2(\mathbb{R}^d)$ that generate seminorms in the fractional Sobolev space $H^s(\mathbb{R}^d)$ for $0 < s < 1$. The functionals under consideration appear in the study of Markov jump processes and, independently, in recent research on the Boltzmann equation. The functional measures differentiability of a function $f$ in a similar way as the seminorm of $H^s(\mathbb{R}^d)$. The major difference is that differences $f(y) - f(x)$ are taken into account only if $y$ lies in some double cone with apex at $x$ or vice versa. The configuration of double cones is allowed to be inhomogeneous without any assumption on the spatial regularity. We prove that the resulting seminorm is comparable to the standard one of $H^s(\mathbb{R}^d)$. The proof follows from a similar result on discrete quadratic forms in $\mathbb{Z}^d$, which is our second main result. We establish a general scheme for discrete approximations of nonlocal quadratic forms. Applications to Markov jump processes are discussed.

math.AP

From local to global conjugacy of subgroups of relatively hyperbolic groups

Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\mathbb{P}=\{P_1,\dots,P_m\}$. Let $H_1,H_2$ be subgroups of $G$ such that $H_1$ is relatively quasiconvex with respect to $\mathbb{P}$ and $H_2$ is not parabolic. Suppose that $H_2$ is elementwise conjugate into $H_1$. Then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. The minimal length of the conjugator can be estimated. In the case where $G$ is a limit group, it is sufficient to assume only that $H_1$ is a finitely generated and $H_2$ is an arbitrary subgroup of $G$.

math.GR

On subgroup conjugacy separability of hyperbolic QVH-groups

A group $G$ is called subgroup conjugacy separable (abbreviated as SCS) if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. An into-conjugacy version of SCS is abbreviated by SICS. We prove that if $G$ is a hyperbolic group, $H_1$ is a quasiconvex subgroup of $G$, and $H_2$ is a subgroup of $G$ which is elementwise conjugate into $H_1$, then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. As corollary, we deduce that fundamental groups of closed hyperbolic 3-manifolds and torsion-free small cancellation groups with finite $C'(1/6)$ or $C'(1/4)-T(4)$ presentations are hereditarily quasiconvex-SCS and hereditarily quasiconvex-SICS, and that surface groups are SCS and SICS. We also show that the word "quasiconvex" cannot be deleted for at least small cancellation groups.

math.GR

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.

math.MG

Subgroup conjugacy separability for surface groups

A group $G$ is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. We prove that free groups and the fundamental groups of orientable closed compact surfaces are SCS.

math.GR

Arithmetic Groups (Banff, Alberta, April 14-19, 2013)

We present detailed summaries of the talks that were given during a week-long workshop on Arithmetic Groups at the Banff International Research Station in April 2013. The vast majority of these reports are based on abstracts that were kindly provided by the speakers. Video recordings of many of the lectures are available online.

math.GR