A note on the axioms for differentially closed fields of characteristic zero
type: Item
instance of: scholarly article
title: A note on the axioms for differentially closed fields of characteristic zero
zbMATH Open document ID: 0922.12006
author: K. Appert
published in: Journal of Algebra
publication date: 1999-10-03T00:00:00Z
review text: All fields dealt with in the paper are of characteristic zero. A field \(k\) equipped with an additive homomorphism \(D:k\rightarrow k\) such that \(D(a\cdot b)=D(a)\cdot b+a\cdot D(b)\) is called a differential field with a derivation \(D\). In [Differentially closed fields: A model-theoretic tour, in ``Contributions to Algebra'', 37-61 (1977; Zbl 0368.12013)], \textit{L. Blum} found axioms for \(DCF_0\), the theory of differentially closed fields of characteristic zero. If \(V\) is a variety defined over the field of constants \(C_k\) of \(k\), then for \(a\in V(k),\) the derivative \(D(a)\) naturally lives in the tangent space to \(V\) at \(a,\) thus \(D\) determines a section of the tangent bundle \(T(V)\). If \(V\) is not necessarily defined over the constants of \(k\), then \(D\) determines a section of a certain torsor \(\tau (V)\) under \(T(V)\). The authors axiomatize \(DCF_0\) and in a manner which is suggested by this geometric interpretaion. Two axioms for \(DCF_0\) are formulated. As a derivation \(D\) on a field \(k\) has a unique extension to a derivation on the algebraic closure of \(k,\) it is sufficient to deal with an algebraically closed field \(k.\) (i) The field \(k\) is algebraically closed. (ii) Let \(V\subset K^n\) and \(W\subset \tau(V)\) be irreducible varieties defined over \(k\) such that \(W\) projects generically on \(V\) (that is, a generic point of \(W\) over \(k\) is of the form \((\overline{a},\overline{b})\), where \(\overline{a}\) is a generic point of \(V\) over \(k\)). Let \(U\) be a nonempty Zariski-open subset of \(W\) defined over \(k\). Then there is a point \((\overline{a},\overline{b})\in U(k)\) such that \(\overline{b}=D(\overline{a})\). Finally some basic facts about differentially closed fields (\(\omega\)-stability and DCC on differential varieties) are proved without going through classical differential algebra.
Mathematics Subject Classification ID: 12H05
Mathematics Subject Classification ID: 12L12
Mathematics Subject Classification ID: 03C60
zbMATH DE Number: 1218690
zbMATH Keywords: differential field
zbMATH Keywords: existentially closed fields
zbMATH Keywords: axiomatizable fields
zbMATH Keywords: affine variety
MaRDI profile type: Publication
full work available at URL: jabr.1997.7359
OpenAlex ID: W1968664985
cites work: Q4145810
cites work: Q5588717
cites work: Q5534205
cites work: Q4302493
DOI: 10.1006/JABR.1997.7359
description: scientific article; zbMATH DE number 1218690