The differential Galois theory of strongly normal extensions

Kovacic, Jerald

doi:10.1090/S0002-9947-03-03306-3

The differential Galois theory of strongly normal extensions
HTML articles powered by AMS MathViewer

by Jerald J. Kovacic PDF

Trans. Amer. Math. Soc. 355 (2003), 4475-4522 Request permission

Abstract:

Differential Galois theory, the theory of strongly normal extensions, has unfortunately languished. This may be due to its reliance on Kolchin’s elegant, but not widely adopted, axiomatization of the theory of algebraic groups. This paper attempts to revive the theory using a differential scheme in place of those axioms. We also avoid using a universal differential field, instead relying on a certain tensor product. We identify automorphisms of a strongly normal extension with maximal differential ideals of this tensor product, thus identifying the Galois group with the closed points of an affine differential scheme. Moreover, the tensor product has a natural coring structure which translates into the Galois group operation: composition of automorphisms. This affine differential scheme splits, i.e. is obtained by base extension from a (not differential, not necessarily affine) group scheme. As a consequence, the Galois group is canonically isomorphic to the closed, or rational, points of a group scheme defined over constants. We obtain the fundamental theorem of differential Galois theory, giving a bijective correspondence between subgroup schemes and intermediate differential fields. On the way to this result we study certain aspects of differential algebraic geometry, e.g. closed immersions, products, local ringed space of constants, and split differential schemes.

References

M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR 0242802
Arnaud Denjoy, Sur certaines séries de Taylor admettant leur cercle de convergence comme coupure essentielle, C. R. Acad. Sci. Paris 209 (1939), 373–374 (French). MR 50
Alexandru Buium, Differential function fields and moduli of algebraic varieties, Lecture Notes in Mathematics, vol. 1226, Springer-Verlag, Berlin, 1986. MR 874111, DOI 10.1007/BFb0101622
Paul Moritz Cohn, Skew field constructions, London Mathematical Society Lecture Note Series, No. 27, Cambridge University Press, Cambridge-New York-Melbourne, 1977. MR 0463237
A. Grothendieck, Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. 4 (1960), 228 (French). MR 217083
Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0
Irving Kaplansky, An introduction to differential algebra, 2nd ed., Publications de l’Institut de Mathématique de l’Université de Nancago, No. V, Hermann, Paris, 1976. MR 0460303
William F. Keigher, Adjunctions and comonads in differential algebra, Pacific J. Math. 59 (1975), no. 1, 99–112. MR 392957, DOI 10.2140/pjm.1975.59.99
William F. Keigher, Prime differential ideals in differential rings, Contributions to algebra (collection of papers dedicated to Ellis Kolchin), Academic, Press, New York, 1977, pp. 239–249. MR 0485806
Garrett Birkhoff and Morgan Ward, A characterization of Boolean algebras, Ann. of Math. (2) 40 (1939), 609–610. MR 9, DOI 10.2307/1968945
Sam Perlis, Maximal orders in rational cyclic algebras of composite degree, Trans. Amer. Math. Soc. 46 (1939), 82–96. MR 15, DOI 10.1090/S0002-9947-1939-0000015-X
E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
E. R. Kolchin, Constrained extensions of differential fields, Advances in Math. 12 (1974), 141–170. MR 340227, DOI 10.1016/S0001-8708(74)80001-0
Ellis Kolchin, Selected works of Ellis Kolchin with commentary, American Mathematical Society, Providence, RI, 1999. Commentaries by Armand Borel, Michael F. Singer, Bruno Poizat, Alexandru Buium and Phyllis J. Cassidy; Edited and with a preface by Hyman Bass, Buium and Cassidy. MR 1677530
Ellis Kolchin and Serge Lang, Algebraic groups and the Galois theory of differential fields, Amer. J. Math. 80 (1958), 103–110. MR 94596, DOI 10.2307/2372823
Kovacic, Jerald J. Differential schemes. In [39], pp. 71–94.
Jerald J. Kovacic, Global sections of diffspec, J. Pure Appl. Algebra 171 (2002), no. 2-3, 265–288. MR 1904483, DOI 10.1016/S0022-4049(01)00118-9
A. H. M. Levelt, Differential Galois theory and tensor products, Indag. Math. (N.S.) 1 (1990), no. 4, 439–449. MR 1106091, DOI 10.1016/0019-3577(90)90012-C
Saunders Mac Lane, Categories for the working mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR 1712872
Andy R. Magid, Lectures on differential Galois theory, University Lecture Series, vol. 7, American Mathematical Society, Providence, RI, 1994. MR 1301076, DOI 10.1090/ulect/007
David Marker and Anand Pillay, Differential Galois theory. III. Some inverse problems, Illinois J. Math. 41 (1997), no. 3, 453–461. MR 1458184
David Mumford, Abelian varieties, Tata Institute of Fundamental Research Studies in Mathematics, vol. 5, Published for the Tata Institute of Fundamental Research, Bombay by Oxford University Press, London, 1970. MR 0282985
Kôtaro Okugawa, Differential algebra of nonzero characteristic, Lectures in Mathematics, vol. 16, Kinokuniya Company Ltd., Tokyo, 1987. MR 1014683
Anand Pillay, Differential Galois theory. I, Illinois J. Math. 42 (1998), no. 4, 678–699. MR 1649893
Anand Pillay, Differential Galois theory. II, Ann. Pure Appl. Logic 88 (1997), no. 2-3, 181–191. Joint AILA-KGS Model Theory Meeting (Florence, 1995). MR 1600903, DOI 10.1016/S0168-0072(97)00021-3
Bruno Poizat, Une théorie de Galois imaginaire, J. Symbolic Logic 48 (1983), no. 4, 1151–1170 (1984) (French). MR 727805, DOI 10.2307/2273680
Bruno Poizat, Stable groups, Mathematical Surveys and Monographs, vol. 87, American Mathematical Society, Providence, RI, 2001. Translated from the 1987 French original by Moses Gabriel Klein. MR 1827833, DOI 10.1090/surv/087
Thomas Scanlon, Model theory and differential algebra, Differential algebra and related topics (Newark, NJ, 2000) World Sci. Publ., River Edge, NJ, 2002, pp. 125–150. MR 1921697, DOI 10.1142/9789812778437_{0}004
Rodney Y. Sharp, The dimension of the tensor product of two field extensions, Bull. London Math. Soc. 9 (1977), no. 1, 42–48. MR 437510, DOI 10.1112/blms/9.1.42
Joseph H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1986. MR 817210, DOI 10.1007/978-1-4757-1920-8
Moss Sweedler, The predual theorem to the Jacobson-Bourbaki theorem, Trans. Amer. Math. Soc. 213 (1975), 391–406. MR 387345, DOI 10.1090/S0002-9947-1975-0387345-9
Mitsuhiro Takeuchi, A Hopf algebraic approach to the Picard-Vessiot theory, J. Algebra 122 (1989), no. 2, 481–509. MR 999088, DOI 10.1016/0021-8693(89)90231-7
Hiroshi Umemura, Galois theory of algebraic and differential equations, Nagoya Math. J. 144 (1996), 1–58. MR 1425591, DOI 10.1017/S0027763000006012
Hiroshi Umemura, Differential Galois theory of infinite dimension, Nagoya Math. J. 144 (1996), 59–135. MR 1425592, DOI 10.1017/S0027763000006024
P. Vámos, On the minimal prime ideal of a tensor product of two fields, Math. Proc. Cambridge Philos. Soc. 84 (1978), no. 1, 25–35. MR 489566, DOI 10.1017/S0305004100054840
van der Put, Marius. Differential Galois theory, universal rings and universal groups. In [39], pp. 171–189.
André Weil, Foundations of algebraic geometry, American Mathematical Society, Providence, R.I., 1962. MR 0144898
Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. 1, Graduate Texts in Mathematics, No. 28, Springer-Verlag, New York-Heidelberg-Berlin, 1975. With the cooperation of I. S. Cohen; Corrected reprinting of the 1958 edition. MR 0384768
Li Guo, Phyllis J. Cassidy, William F. Keigher, and William Y. Sit (eds.), Differential algebra and related topics, World Scientific Publishing Co., Inc., River Edge, NJ, 2002. MR 1921693, DOI 10.1142/4768