Generic derivations and algebraically bounded structures

13.11.2025 15:00 - 15:50

A. Fornasiero (U Florence, IT)

Let \(K\) be a monster model of an algebraically bounded theory expanding a field of characteristic \(0\). We show that \(K\) admits a generic derivation \(\delta\). \((K, \delta)\) inherits many of the model theoretic properties of \(K\): if \(K\) is simple/stable/NIP then \((K, \delta)\) also is. Moreover, if \(K\) has a "reasonable" definable topology, then \(K\) is the open core of \((K, \delta)\). Being algebraically bounded (or more generally, a geometric expansion of a field) imposes severe constraints on \(K\). If \(K\) is stable, then \(K\) is a pure algebraically closed field (and \((K, \delta)\) is a differentially closed field). If \(K\) is simple, then it is supersimple of rank \(1\) (and \((K, \delta)\) is supersimple of rank \(\omega\)). If both \(K\) and \((K, \delta)\) have geometric elimination of imaginaries, then \((K, \delta)\) is superrosy of rank \(\omega\).

Joint works with G. Terzo, E. Kaplan, A. Matthews.

Organiser:

KGRC

Location:

HS 11, 2. OG, OMP 1