AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Valuations and differential Galois groups
About this Title
Guillaume Duval, 1 Chemin du Chateau, 76430 Les Trois Pierres, France
Publication: Memoirs of the American Mathematical Society
Publication Year:
2011; Volume 212, Number 998
ISBNs: 978-0-8218-4906-4 (print); 978-1-4704-0615-8 (online)
DOI: https://doi.org/10.1090/S0065-9266-2010-00606-9
Published electronically: December 3, 2010
Keywords: Differential Galois theory,
valuations,
Hardy fields
MSC: Primary 34M15; Secondary 12J20
Table of Contents
Chapters
- 1. Introduction
- 2. Invariant valuations and solutions of l.d.e.
- 3. Examples and use of invariant valuations
- 4. Continuity of derivations, geometry and examples
- 5. Continuity and field extensions
- 6. Invariant valuations and singularities of l.d.e.
- 7. Existence and geometry of invariant valuations
Abstract
In this paper, valuation theory is used to analyse infinitesimal behaviour of solutions of linear differential equations. For any Picard-Vessiot extension $(F / K, \partial )$ with differential Galois group $G$, we look at the valuations of $F$ which are left invariant by $G$. The main reason for this is the following: if a given invariant valuation $\nu$ measures infinitesimal behaviour of functions belonging to $F$, then two conjugate elements of $F$ will share the same infinitesimal behaviour with respect to $\nu$. The article is divided into seven sections as follows. In section 1, we give a brief account on Picard-Vessiot theory and valuation theory. In section 2, we explore the links between invariant valuations and solutions of linear differential equations. To this respect, Corollary 2 is a kind of Riemann-Roch property which states that some solutions of linear differential equations must have poles at invariant valuations. In section 3, we give examples of invariant valuations. We also use the above theory to give a new proof of a result due to Drach and Kolchin about elliptic functions (Theorem 26). In section 4, we analyse the properties of valuations which are describing the analytic shape of functions. The notion of continuity of a derivation w.r.t. a valuation, plays a central role. This is justified geometrically thanks to the theory of vector fields in Corollary 38. In section 5, the permanence of the continuity by field extensions is proved for algebraic extensions (Theorem 3), and for invariant valuations of Liouvillian extensions (Theorem 4). In Theorem 5 of section 6, we show that in general, invariant analytic valuations are related to singularities of linear differential equations. In section 7, we prove the existence of invariant valuations (Theorem 6) for Picard-Vessiot extensions with connected differential Galois group.- 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
- J. W. S. Cassels, Local fields, London Mathematical Society Student Texts, vol. 3, Cambridge University Press, Cambridge, 1986. MR 861410, DOI 10.1017/CBO9781139171885
- Guillaume Duval, De l’application des méthodes valuatives en algèbre différentielle, Ann. Fac. Sci. Toulouse Math. (6) 17 (2008), no. 4, 673–717 (French, with English and French summaries). MR 2499775
- Lawrence Ein, Robert Lazarsfeld, and Karen E. Smith, Uniform approximation of Abhyankar valuation ideals in smooth function fields, Amer. J. Math. 125 (2003), no. 2, 409–440. MR 1963690
- David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
- Santiago Encinas and Orlando Villamayor, A course on constructive desingularization and equivariance, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 147–227. MR 1748620
- P. Fortuny, De l’Hôpital valuations and complex planar foliations, Rev. Semin. Iberoam. Mat. Singul. Tordesillas 2 (1998), no. 2, 3–19 (Spanish). MR 1972150
- A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. 32 (1967), 361 (French). MR 238860
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157
- James E. Humphreys, Linear algebraic groups, Graduate Texts in Mathematics, No. 21, Springer-Verlag, New York-Heidelberg, 1975. MR 0396773
- E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
- Serge Lang, Algebra, 3rd ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, New York, 2002. MR 1878556, DOI 10.1007/978-1-4613-0041-0
- 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
- Michihiko Matsuda, First-order algebraic differential equations, Lecture Notes in Mathematics, vol. 804, Springer, Berlin, 1980. A differential algebraic approach. MR 576060
- Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989. Translated from the Japanese by M. Reid. MR 1011461
- Masayoshi Nagata, Local rings, Robert E. Krieger Publishing Co., Huntington, N.Y., 1975. Corrected reprint. MR 0460307
- Daniel Perrin, Géométrie algébrique, Savoirs Actuels. [Current Scholarship], InterEditions, Paris; CNRS Éditions, Paris, 1995 (French, with French summary). Une introduction. [An introduction]. MR 1747437
- Michel Raynaud, Anneaux locaux henséliens, Lecture Notes in Mathematics, Vol. 169, Springer-Verlag, Berlin-New York, 1970 (French). MR 0277519
- Maxwell Rosenlicht, On the explicit solvability of certain transcendental equations, Inst. Hautes Études Sci. Publ. Math. 36 (1969), 15–22. MR 258808
- Maxwell Rosenlicht, An analogue of l’Hospital’s rule, Proc. Amer. Math. Soc. 37 (1973), 369–373. MR 318117, DOI 10.1090/S0002-9939-1973-0318117-2
- Maxwell Rosenlicht, Differential valuations, Pacific J. Math. 86 (1980), no. 1, 301–319. MR 586879
- Maxwell Rosenlicht, Hardy fields, J. Math. Anal. Appl. 93 (1983), no. 2, 297–311. MR 700146, DOI 10.1016/0022-247X(83)90175-0
- Maxwell Rosenlicht, The rank of a Hardy field, Trans. Amer. Math. Soc. 280 (1983), no. 2, 659–671. MR 716843, DOI 10.1090/S0002-9947-1983-0716843-5
- A. Seidenberg, Derivations and valuation rings, Contributions to algebra (collection of papers dedicated to Ellis Kolchin), Academic Press, New York, 1977, pp. 343–347. MR 0485814
- Jean-Pierre Serre, Représentations linéaires des groupes finis, Hermann, Paris, 1967 (French). MR 0232867
- Jean-Pierre Serre, Topics in Galois theory, Research Notes in Mathematics, vol. 1, Jones and Bartlett Publishers, Boston, MA, 1992. Lecture notes prepared by Henri Damon [Henri Darmon]; With a foreword by Darmon and the author. MR 1162313
- Marius van der Put and Michael F. Singer, Galois theory of linear differential equations, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 328, Springer-Verlag, Berlin, 2003. MR 1960772, DOI 10.1007/978-3-642-55750-7
- Michael F. Singer, Solutions of linear differential equations in function fields of one variable, Proc. Amer. Math. Soc. 54 (1976), 69–72. MR 387260, DOI 10.1090/S0002-9939-1976-0387260-7
- Michael F. Singer, Algebraic relations among solutions of linear differential equations, Trans. Amer. Math. Soc. 295 (1986), no. 2, 753–763. MR 833707, DOI 10.1090/S0002-9947-1986-0833707-X
- Michael F. Singer, An outline of differential Galois theory, Computer algebra and differential equations, Comput. Math. Appl., Academic Press, London, 1990, pp. 3–57. MR 1038057
- Mark Spivakovsky, Valuations in function fields of surfaces, Amer. J. Math. 112 (1990), no. 1, 107–156. MR 1037606, DOI 10.2307/2374856
- T. A. Springer, Linear algebraic groups, 2nd ed., Progress in Mathematics, vol. 9, Birkhäuser Boston, Inc., Boston, MA, 1998. MR 1642713, DOI 10.1007/978-0-8176-4840-4
- Michel Vaquié, Valuations, Resolution of singularities (Obergurgl, 1997) Progr. Math., vol. 181, Birkhäuser, Basel, 2000, pp. 539–590 (French). MR 1748635
- Oscar Zariski and Pierre Samuel, Commutative algebra. Vol. II, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0120249