On model-theoretic connected components in some group extensions

DOI10.1142/S0219061315500099MaRDI QIDQ5744322zbMATH OpenFDO

Authors Jakub Gismatullin, Krzysztof Krupiński

Publication date 18 February 2016

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.5221

zbMATH Keywords

\(G\)-compactnessbraid group \(B_3\)model-theoretic connected componentsquasi-characterssymplectic Steinberg symbolsuniversal central extensions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15)

Abstract: 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) (intepreted 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. 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.

Recommendations

• Model theoretic connected components of groups
• Connected components of definable groups and o-minimality. I
• Group covers, o-minimality, and categoricity
• Model theoretic connected components of finitely generated nilpotent groups
• Connected components of definable groups, and o-minimality. II.

Cites work

• BOREL EQUIVALENCE RELATIONS AND LASCAR STRONG TYPES
• Group extensions of p-adic and adelic linear groups
• scientific article; zbMATH DE number 3499968 (Why is no real title available?)
• scientific article; zbMATH DE number 613869 (Why is no real title available?)
• scientific article; zbMATH DE number 1772585 (Why is no real title available?)
• scientific article; zbMATH DE number 848030 (Why is no real title available?)
• scientific article; zbMATH DE number 5793093 (Why is no real title available?)
• Introduction to Algebraic K-Theory. (AM-72)
• Linear algebraic groups and K-theory
• Markov's theorem and 100 years of the uniqueness conjecture. A mathematical journey from irrational numbers to perfect matchings
• Model theory.
• Sur les sous-groupes arithmétiques des groupes semi-simples déployés
• The Reciprocity of Dedekind Sums and the Factor Set for the Universal Covering Group of SL(2, R)
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY

Cited in

(10)

• Amenability, definable groups, and automorphism groups
• Amenability, connected components, and definable actions
• On the prime-to-$p$ part of the groups of connected components of N\'eron models
• Model theoretic connected components of finitely generated nilpotent groups
• Definable topological dynamics and real Lie groups
• Definable topological dynamics
• Generalised Bohr compactification and model-theoretic connected components
• ON MODEL-THEORETIC CONNECTED GROUPS
• Definable convolution and idempotent Keisler measures. III: Generic stability, generic transitivity, and revised Newelski's conjecture
• Generalized locally compact models for approximate groups

This page was built for publication: On model-theoretic connected components in some group extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5744322)