Skip to main content

Simple Differential Field Extensions and Effective Bounds

  • Conference paper
  • First Online:
Mathematical Aspects of Computer and Information Sciences (MACIS 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9582))

Abstract

We establish several variations on Kolchin’s differential primitive element theorem, and conjecture a generalization of Pogudin’s primitive element theorem. These results are then applied to improve the bounds for the effective Differential Lüroth theorem.

J. Freitag—Thanks Dave Marker, Omar León Sanchez, and Gabriela Jeronimo for useful conversations related to this work. JF was partially supported by NSF MSPRF 1204510.

W. Li—Partially supported by a National Key Basic Research Project of China (2011CB302400) and by grants from NSFC (60821002, 11301519) and thanks the University of California, Berkeley for providing a good research environment during her appointment as a Visiting Scholar.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bouscaren, E.: Proof of the Geometric Mordell-Lang Conjecture. In: Hrushovski’s, E. (ed.) Model Theory and Algebraic Geometry. Lecture Notes in Mathematics, vol. 1696, pp. 177–196. Springer, Heidelberg (1998)

    Google Scholar 

  2. Brestovski, M.: Algebraic independence of solutions of differential equations of the second order. Pac. J. Math. 140(1), 1–19 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  3. D’Alfonso, L., Jeronimo, G., Solernó, P.: Effective differential lüroth’s theorem. J. Algebra 406, 1–19 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  4. Freitag, J., Scanlon, T.: Strong minimality and the j-function. J. Eur. Math. Soc. (2015). Accepted

    Google Scholar 

  5. Gao, X.-S., Li, W., Yuan, C.-M.: Intersection theory in differential algebraic geometry: generic intersections and the differential chow form. Trans. Am. Math. Soc. 365(9), 4575–4632 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gao, X.-S., Tao, X.: Lüroth theorem in differential fields. J. Syst. Sci. Complex. 15(4), 376–383 (2002)

    MathSciNet  MATH  Google Scholar 

  7. Kolchin, E.R.: Extensions of differential fields, I. Ann. Math. 43, 724–729 (1942)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kolchin, E.R.: Extensions of differential fields, II. Ann. Math. 45(2), 358–361 (1944)

    Article  MathSciNet  MATH  Google Scholar 

  9. Kolchin, E.R.: Extensions of differential fields, III. Bull. Am. Math. Soc. 53(4), 397–401 (1947)

    Article  MathSciNet  MATH  Google Scholar 

  10. Li, W., Li, Y.: Computation of differential chow forms for ordinary prime differential ideals. Adv. Appl. Math. 72, 77–112 (2015). doi:10.1016/j.aam.2015.09.004

    Article  MathSciNet  MATH  Google Scholar 

  11. Marker, D., Messmer, M., Pillay, A.: Model Theory of Fields. A.K. Peters/CRC Press (2005)

    Google Scholar 

  12. Gleb, A.: The primitive element theorem for differential fields with zero derivation on the ground field. J. Pure Appl. Algebra 219(9), 4035–4041 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  13. Pong, W.Y.: On a result of rosenlicht. Commun. Algebra 30(12), 5933–5939 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ritt, J.F.: Differential Equations from the Algebraic Standpoint, vol. 14. American Mathematical Soc., New York (1932)

    MATH  Google Scholar 

  15. Ritt, J.F.: Differential Algebra. Dover Publications, New York (1950)

    MATH  Google Scholar 

  16. Rosenlicht, M.: The nonminimality of the differential closure. Pac. J. Math. 52, 529–537 (1974)

    Article  MathSciNet  MATH  Google Scholar 

  17. Seidenberg, A.: Some basic theorems in differential algebra (characteristic \(p\), arbitrary). Trans. Amer. Math. Soc. 73, 174–190 (1952)

    MathSciNet  MATH  Google Scholar 

  18. Seidenberg, A.: Abstract differential algebra and the analytic case. Proc. Am. Math. Soc. 9(1), 159–164 (1958)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to James Freitag .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Freitag, J., Li, W. (2016). Simple Differential Field Extensions and Effective Bounds. In: Kotsireas, I., Rump, S., Yap, C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science(), vol 9582. Springer, Cham. https://doi.org/10.1007/978-3-319-32859-1_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-32859-1_29

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-32858-4

  • Online ISBN: 978-3-319-32859-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics