Groupoids and relative internality

DOI10.1017/JSL.2019.30MaRDI QIDQ5195055zbMATH OpenOpenAlexWikidataFDO

Authors Léo Jimenez

Publication date 17 September 2019

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

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

zbMATH Keywords

binding groupgroupoidinternalitystability theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Sets with a single binary operation (groupoids) (20N02)

Abstract: In a stable theory, a stationary type $qinS(A)$ internal to a family of partial types $mathcalP$ over $A$ gives rise to a type-definable group, called its binding group. This group is isomorphic to the group $mathrmAut(q/mathcalP,A)$ of permutations of the set of realizations of $q$, induced by automorphisms of the monster model, fixing $mathcalPcupA$ pointwise. In this paper, we investigate families of internal types varying uniformly, what we will call relative internality. We prove that the binding groups also vary uniformly, and are the isotropy groups of a natural type-definable groupoid (and even more). We then investigate how properties of this groupoid are related to properties of the type. In particular, we obtain internality criteria for certain 2-analysable types, and a sufficient condition for a type to preserve internality.

Recommendations

• On the binding group in simple theories
• On the type-definability of the binding group in simple theories
• Internality and interpretable automorphism groups in simple theories
• On almost orthogonality in simple theories
• Simple stable homogeneous groups

Cites work

• A course in model theory
• A note on canonical bases and one-based types in supersimple theories
• Differential-algebraic jet spaces preserve internality to the constants
• Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
• Groupoids, covers, and 3-uniqueness in stable theories
• Groupoids, imaginaries and internal covers
• scientific article; zbMATH DE number 1002918 (Why is no real title available?)
• Jet spaces of varieties over differential and difference fields
• Model-theoretic consequences of a theorem of Campana and Fujiki
• Survey article: an elementary illustrated introduction to simplicial sets

Cited in

(15)

• Internal direct products of groupoids
• Internality and interpretable automorphism groups in simple theories
• The snail lemma for internal groupoids
• Functoriality and uniformity in Hrushovski's groupoid-cover correspondence
• Relative internality and definable fibrations
• Underlying groupoids
• On the monad of internal groupoids
• On the binding group in simple theories
• Groupoids, covers, and 3-uniqueness in stable theories
• Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories
• On the type-definability of the binding group in simple theories
• Splitting differential equations using Galois theory
• Abelian reduction in differential-algebraic and bimeromorphic geometry
• Note on a differential algebra bound
• Groupoids, idempotents and pointwise inverses in relational categories

This page was built for publication: Groupoids and relative internality

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