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
Additional Information
- Jerald J. Kovacic
- Affiliation: Department of Mathematics, The City College of The City University of New York, New York, New York 10031
- Email: jkovacic@member.ams.org
- Received by editor(s): June 1, 2002
- Published electronically: July 2, 2003
- © Copyright 2003 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 355 (2003), 4475-4522
- MSC (2000): Primary 12H05, 12F10; Secondary 14A15, 14L15
- DOI: https://doi.org/10.1090/S0002-9947-03-03306-3
- MathSciNet review: 1990759