On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and $(ii)$ For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas

Homological dimension and critical exponent of Kleinian groups

We prove that the relative homological dimension of a Kleinian group G does not exceed 1 + the critical exponent of G. As an application of this result we show that for a geometrically finite Kleinian group G, if the topological dimension of the limit set of G equals its Hausdorff dimension, then the limit set is a round sphere.Comment: 38 page

On topological phases of spin chains

Symmetry protected topological phases of one-dimensional spin systems have been classified using group cohomology. In this paper, we revisit this problem for general spin chains which are invariant under a continuous on-site symmetry group G. We evaluate the relevant cohomology groups and find that the topological phases are in one-to-one correspondence with the elements of the fundamental group of G if G is compact, simple and connected and if no additional symmetries are imposed. For spin chains with symmetry PSU(N)=SU(N)/Z_N our analysis implies the existence of N distinct topological phases. For symmetry groups of orthogonal, symplectic or exceptional type we find up to four different phases. Our work suggests a natural generalization of Haldane's conjecture beyond SU(2).Comment: 18 pages, 7 figures, 2 tables. Version v2 corresponds to the published version. It includes minor revisions, additional references and an application to cold atom system

Subgroups of direct products of elementarily free groups

We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if $G_1,...,G_n$ are in E then a subgroup $\Gamma\subset G_1\times...\times G_n$ is of type \FP_n if and only if $\Gamma$ is itself, up to finite index, the direct product of at most $n$ groups from $\mathcal E$. This answers a question of Sela.Comment: 19 pages, no figure

Dynamical properties of profinite actions

We study profinite actions of residually finite groups in terms of weak containment. We show that two strongly ergodic profinite actions of a group are weakly equivalent if and only if they are isomorphic. This allows us to construct continuum many pairwise weakly inequivalent free actions of a large class of groups, including free groups and linear groups with property (T). We also prove that for chains of subgroups of finite index, Lubotzky's property ($\tau$) is inherited when taking the intersection with a fixed subgroup of finite index. That this is not true for families of subgroups in general leads to answering the question of Lubotzky and Zuk, whether for families of subgroups, property ($\tau$) is inherited to the lattice of subgroups generated by the family. On the other hand, we show that for families of normal subgroups of finite index, the above intersection property does hold. In fact, one can give explicite estimates on how the spectral gap changes when passing to the intersection. Our results also have an interesting graph theoretical consequence that does not use the language of groups. Namely, we show that an expander covering tower of finite regular graphs is either bipartite or stays bounded away from being bipartite in the normalized edge distance.Comment: Corrections made based on the referee's comment

Finiteness obstructions and Euler characteristics of categories

We introduce notions of finiteness obstruction, Euler characteristic, L^2-Euler characteristic, and M\"obius inversion for wide classes of categories. The finiteness obstruction of a category Gamma of type (FP) is a class in the projective class group K_0(RGamma); the functorial Euler characteristic and functorial L^2-Euler characteristic are respectively its RGamma-rank and L^2-rank. We also extend the second author's K-theoretic M\"obius inversion from finite categories to quasi-finite categories. Our main example is the proper orbit category, for which these invariants are established notions in the geometry and topology of classifying spaces for proper group actions. Baez-Dolan's groupoid cardinality and Leinster's Euler characteristic are special cases of the L^2-Euler characteristic. Some of Leinster's results on M\"obius-Rota inversion are special cases of the K-theoretic M\"obius inversion.Comment: Final version, accepted for publication in the Advances in Mathematics. Notational change: what was called chi(Gamma) in version 1 is now called chi(BGamma), and chi(Gamma) now signifies the sum of the components of the functorial Euler characteristic chi_f(Gamma). Theorem 5.25 summarizes when all Euler characteristics are equal. Minor typos have been corrected. 88 page