TY - JOUR

T1 - Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories

AU - Kim, Byunghan

AU - Kim, Sunyoung

AU - Lee, Junguk

N1 - Funding Information:
All authors were supported by the Samsung Science Technology Foundation under Project Number SSTF-BA1301-03. The first author was supported by an NRF of Korea grant 2018R1D1A1A02085584.
Publisher Copyright:
© 2020 Institute of Mathematics. Polish Academy of Sciences. All rights reserved.

PY - 2020

Y1 - 2020

N2 - Given an arbitrary connected groupoid G with its vertex group Ga, if Ga is a central subgroup of a group F, then there is a canonical extension F = G ⊗ F of G in the sense that Ob(G) = Ob(F), Mor(G) ⊆ Mor(F), and F is isomorphic to all the vertex groups of F. From the failure of 3-uniqueness of a strong type p over A = acleq(A) in a stable theory T, a canonical finitary connected commutative groupoid G with the binding group G was A-type-definably constructed by John Goodrick and Alexei Kolesnikov (2012). In this paper we take a certain (possibly non-commutative) automorphism group F where G is embedded centrally (so inducing ιa: Ga → Z(F)), and show that the abstract groupoid G ⊗ F lives A-invariantly in models of T. More precisely, we A-invariantly construct a connected groupoid F, isomorphic to G ⊗ F as abstract groupoids, satisfying the following: (1) Ob(F) = Ob(G), and Mor(F) and composition maps are A-invariant (i.e., described by infinite disjunctions of conjunctions of formulas over A), so that an A-automorphism of a model of T induces a groupoid automorphism of F. (2) There is an A-invariant faithful functor I: G → F which is the identity on the objects, and I(Ga) = ia o ιa, where ia is a canonical group isomorphism from F onto a vertex group Fa of F. An automorphism group approximated by the vertex groups of the non-commutative groupoids is suggested as a "fundamental group" of the strong type p.

AB - Given an arbitrary connected groupoid G with its vertex group Ga, if Ga is a central subgroup of a group F, then there is a canonical extension F = G ⊗ F of G in the sense that Ob(G) = Ob(F), Mor(G) ⊆ Mor(F), and F is isomorphic to all the vertex groups of F. From the failure of 3-uniqueness of a strong type p over A = acleq(A) in a stable theory T, a canonical finitary connected commutative groupoid G with the binding group G was A-type-definably constructed by John Goodrick and Alexei Kolesnikov (2012). In this paper we take a certain (possibly non-commutative) automorphism group F where G is embedded centrally (so inducing ιa: Ga → Z(F)), and show that the abstract groupoid G ⊗ F lives A-invariantly in models of T. More precisely, we A-invariantly construct a connected groupoid F, isomorphic to G ⊗ F as abstract groupoids, satisfying the following: (1) Ob(F) = Ob(G), and Mor(F) and composition maps are A-invariant (i.e., described by infinite disjunctions of conjunctions of formulas over A), so that an A-automorphism of a model of T induces a groupoid automorphism of F. (2) There is an A-invariant faithful functor I: G → F which is the identity on the objects, and I(Ga) = ia o ιa, where ia is a canonical group isomorphism from F onto a vertex group Fa of F. An automorphism group approximated by the vertex groups of the non-commutative groupoids is suggested as a "fundamental group" of the strong type p.

KW - 3-uniqueness

KW - Fundamental group

KW - Generic groupoid

UR - http://www.scopus.com/inward/record.url?scp=85083423788&partnerID=8YFLogxK

U2 - 10.4064/fm755-7-2019

DO - 10.4064/fm755-7-2019

M3 - Article

AN - SCOPUS:85083423788

VL - 249

SP - 47

EP - 70

JO - Fundamenta Mathematicae

JF - Fundamenta Mathematicae

SN - 0016-2736

IS - 1

ER -