An AEC framework for fields with commuting automorphisms

DOI10.1007/S00153-023-00879-1MaRDI QIDQ6053511zbMATH OpenOpenAlexFDO

Authors Tapani Hyttinen, Kaisa Kangas

Publication date 27 September 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

abstract elementary classesdifference fieldsindependence theoremstability theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Difference algebra (12H10)

Abstract: In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA,the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms,the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms.We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models,that the class is homogeneous,and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory).

Cites work

• A Rational Polynomial whose Group is the Quaternions
• Categoricity
• Categoricity in multiuniversal classes
• Classification theory and the number of non-isomorphic models
• Difference algebra
• Difference fields and descent in algebraic dynamics. I
• Difference fields and descent in algebraic dynamics. II
• Existentially closed fields with finite group actions
• Generic automorphisms of fields
• scientific article; zbMATH DE number 4014840 (Why is no real title available?)
• scientific article; zbMATH DE number 40985 (Why is no real title available?)
• scientific article; zbMATH DE number 1272922 (Why is no real title available?)
• scientific article; zbMATH DE number 1531887 (Why is no real title available?)
• scientific article; zbMATH DE number 1836559 (Why is no real title available?)
• scientific article; zbMATH DE number 1405573 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• scientific article; zbMATH DE number 2195297 (Why is no real title available?)
• Infinitary stability theory
• Model theory of difference fields
• MODEL THEORY OF DIFFERENCE FIELDS, II: PERIODIC IDEALS AND THE TRICHOTOMY IN ALL CHARACTERISTICS
• Model theory of fields with virtually free group actions
• Shelah's eventual categoricity conjecture in universal classes. I.
• Simple homogeneous models
• Simple theories
• Simple unstable theories
• The Manin-Mumford conjecture and the model theory of difference fields

Cited in

(1)

• Dimension polynomials for affine partial difference algebraic groups

This page was built for publication: An AEC framework for fields with commuting automorphisms

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