Journal
JOURNAL OF MATHEMATICAL LOGIC
Volume 15, Issue 2, Pages -Publisher
WORLD SCIENTIFIC PUBL CO PTE LTD
DOI: 10.1142/S0219061315500099
Keywords
Model-theoretic connected components; G-compactness; universal central extensions; symplectic Steinberg symbols; quasi-characters; the braid group B-3
Categories
Funding
- Marie Curie Intra-European Fellowship MODGROUP [PIEF-GA-2009-254123]
- Polish Government [N201 545938]
- NCN [2012/07/B/ST1/03513]
Ask authors/readers for more resources
We analyze model-theoretic connected components in extensions of a given group by abelian groups which are defined by means of 2-cocycles with finite image. We characterize, in terms of these 2-cocycles, when the smallest type-definable subgroup of the corresponding extension differs from the smallest invariant subgroup. In some situations, we also describe the quotient of these two connected components. Using our general results about extensions of groups together with Matsumoto-Moore theory or various quasi-characters considered in bounded cohomology, we obtain new classes of examples of groups whose smallest type-definable subgroup of bounded index differs from the smallest invariant subgroup of bounded index. This includes the first known example of a group with this property found by Conversano and Pillay, namely the universal cover of SL2(R) (interpreted in a monster model), as well as various examples of different nature, e.g. some central extensions of free groups or of fundamental groups of closed orientable surfaces. As a corollary, we get that both non-abelian free groups and fundamental groups of closed orientable surfaces of genus >= 2, expanded by predicates for all subsets, have this property, too. We also obtain a variant of the example of Conversano and Pillay for SL2(Z) instead of SL2(R), which (as most of our examples) was not accessible by the previously known methods.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available