A+ CATEGORY SCIENTIFIC UNIT

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

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

Volume 249 / 2020

Byunghan Kim, SunYoung Kim, Junguk Lee Fundamenta Mathematicae 249 (2020), 47-70 MSC: Primary 03C45; Secondary 20L05. DOI: 10.4064/fm755-7-2019 Published online: 25 November 2019

Abstract

Given an arbitrary connected groupoid $\mathcal {G}$ with its vertex group ${\mathcal G} _a$, if ${\mathcal G} _a$ is a central subgroup of a group $F$, then there is a canonical extension $\mathcal {F}=\mathcal {G}\otimes F$ of ${\mathcal G} $ in the sense that $\operatorname{Ob} ({\mathcal G} )=\operatorname{Ob} ({\mathcal F} )$, $\operatorname{Mor} ({\mathcal G} )\subseteq \operatorname{Mor} ({\mathcal F} )$, and $F$ is isomorphic to all the vertex groups of ${\mathcal F} $.

From the failure of $3$-uniqueness of a strong type $p$ over $A=\operatorname{acl} ^{\operatorname{eq} }(A)$ in a stable theory $T$, a canonical finitary connected commutative groupoid ${\mathcal 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 $\iota _a:{\mathcal G} _a\to Z(F)$), and show that the abstract groupoid $\mathcal {G}\otimes F$ lives $A$-invariantly in models of $T$. More precisely, we $A$-invariantly construct a connected groupoid ${\mathcal F} $, isomorphic to $\mathcal {G}\otimes F$ as abstract groupoids, satisfying the following:

(1) $\operatorname{Ob} ({\mathcal F} )=\operatorname{Ob} ({\mathcal G} )$, and $\operatorname{Mor} ({\mathcal 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 ${\mathcal F} $.

(2) There is an $A$-invariant faithful functor $I:{\mathcal G} \to {\mathcal F} $ which is the identity on the objects, and $I({\mathcal G} _a)= i_a\circ \iota _a$, where $i_a$ is a canonical group isomorphism from $F$ onto a vertex group ${\mathcal F} _a$ of ${\mathcal 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$.

Authors

  • Byunghan KimDepartment of Mathematics
    Yonsei University
    50 Yonsei-ro Seodaemun-gu
    Seoul 03722, Republic of Korea
    e-mail
  • SunYoung KimDepartment of Mathematics
    Ewha Womans University
    52 Ewhayeodae-gil Seodaemun-gu
    Seoul 03760, Republic of Korea
    e-mail
  • Junguk LeeInstitute of Mathematics
    University of Wrocław
    Pl. Grunwaldzki 2/4
    50-384 Wrocław, Poland
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image