Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-28T15:02:11.079Z Has data issue: false hasContentIssue false
  • English
  • Français

Superstable differential fields

Published online by Cambridge University Press:  12 March 2014

A. Pillay  and
Ž. Sokolović
A. Pillay
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556, E-mail: [email protected]
Ž. Sokolović
Affiliation:
Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556, E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper we study differential fields of characteristic 0 (with perhaps additional structure) whose theory is superstable. Our main result is that such a differential field has no proper strongly normal extensions in the sense of Kolchin [K1]. This is an approximation to the conjecture that a superstable differential field is differentially closed (although we believe the full conjecture to be false). Our result improves earlier work of Michaux [Mi] who proved that a (plain) differential field with quantifier elimination has no proper Picard-Vessiot extension. Our result is a generalisation of Michaux's, due to the fact that any plain differential field K with quantifier elimination is ω-stable. (Any quantifier free type over K defines a unique type over K in the sense of dc(k), the differential closure of K, and as we mention below the theory of differentially closed fields is ω-stable.) The proof of our main result depends on (i) Kolchin's theory [K3] which states that any strongly normal extension L of an algebraically closed differential field K is generated over K by an element η of some algebraic group G defined over CK, the constants of K, where η satisfies some specific differential equations over K related to invariant differential forms on G (η is “G-primitive” over K), and (ii) the fact that a superstable field has a unique generic type which is semiregular.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 57 , Issue 1 , March 1992 , pp. 97 - 108
Copyright
Copyright © Association for Symbolic Logic 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[BL]Berline, C. and Lascar, D., Superstable groups, Annals of Pure and Applied Logic, vol. 30 (1986), pp. 1–45.CrossRefGoogle Scholar
[B]Bouscaren, E., Model-theoretic versions of Weil's theorem on pregroups, Model theory of groups, University of Notre Dame Press, Notre Dame, Indiana, 1989, pp. 177–185.Google Scholar
[CS]Cherlin, G. and Shelah, S., Superstable fields and groups, Annals of Mathematical Logic, vol. 18(1980), pp. 227–270.CrossRefGoogle Scholar
[K1]Kolchin, E., Galois theory of differential fields, American Journal of Mathematics, vol. 75 (1953), pp. 753–824.CrossRefGoogle Scholar
[K2]Kolchin, E., On the Galois theory of differential fields, American Journal of Mathematics, vol. 77 (1955), pp. 868–894.CrossRefGoogle Scholar
[K3]Kolchin, E., Abelian extensions of differential fields, American Journal of Mathematics, vol. 82 (1960), pp. 779–790.CrossRefGoogle Scholar
[L]Lascar, D., Ranks and types in superstable theories, Israel Journal of Mathematics, vol. 23 (1976), pp. 53–87.CrossRefGoogle Scholar
[M]Macintyre, A., ω1-categorical fields, Fundamenta Mathematicae, vol. 70 (1971), pp. 253–270.CrossRefGoogle Scholar
[MMvdD]Macintyre, A., McKenna, K. and van den Dries, L., Elimination of quantifiers in algebraic structures, Advances in Mathematics, vol. 47 (1983), pp. 74–87.CrossRefGoogle Scholar
[Mi]Michaux, C., Sur l'élimination des quantificateurs dans les anneaux différentials, Comptes Rendus des Séances de l'Académie des Sciences, Série I: Mathématique, vol. 302 (1986), pp. 287–290.Google Scholar
[P1]Poizat, B., Cours de théorie des modèles, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, 1985.Google Scholar
[P2]Poizat, B., Une théorie de Galois imaginaire, this Journal, vol. 48 (1983), pp. 1151–1169.Google Scholar
[P3]Poizat, B., Groupes stables, avec types génériques réguliers, this Journal, vol. 48 (1983), pp. 339–355.Google Scholar
[P4]Poizat, B., Groupes stables, Nur al-Mantiq wal-Ma'rifah, Villeurbanne, 1987.Google Scholar
[R]Rosenlicht, M., A note on derivations and differentials in algebraic groups, Portugaliae Mathematica, vol. 16 (1957), pp. 43–55.Google Scholar