Fields with Lie-commuting and iterative operators

TL;DR

This paper develops a framework for fields with operators satisfying Lie-commutativity and iterative conditions, proving model-theoretic properties like stability, simplicity, and elementary equivalence of certain substructures.

Contribution

It introduces $ ext{D}^ extGamma$-fields with compatibility conditions, establishes principal realizations, and proves model completeness, stability, and elementary properties of these fields.

Findings

Existence of principal realizations of $ ext{D}^ extGamma$-kernels.

Model companion $ ext{D}^ extGamma$-CF is stable and satisfies CBP and Zilber's dichotomy.

PAC substructures of $ ext{D}^ extGamma$-DCF are elementary.

Abstract

We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $\Gamma$ and call such structures $\mathcal{D}^{\Gamma}$-fields. These include Lie-commutativity of derivations and $\mathfrak g$-iterativity of (truncated) Hasse-Schmidt derivations. Our main result is about the existence of principal realisations of $\mathcal{D}^{\Gamma}$-kernels. As an application, we prove companionability of the theory of $\mathcal{D}^{\Gamma}$-fields and denote the companion by $\mathcal{D}^{\Gamma}$-CF. In characteristic zero, we prove that $\mathcal{D}^{\Gamma}$-CF is a stable theory that satisfies the CBP and Zilber's dichotomy for finite-dimensional types. We also prove that there is a uniform companion for model-complete theories of large $\mathcal{D}^{\Gamma}$-fields, which leads to the notion of $\mathcal{D}^{\Gamma}$-large fields and we further use this to show that PAC substructures of $\mathcal{D}^{\Gamma}$-DCF are elementary.