Effective differential Lüroth's theorem

DOI10.1016/J.JALGEBRA.2014.02.022zbMATH Open1345.12006arXiv1202.6344OpenAlexW3043425721MaRDI QIDQ402415FDOQ402415

Authors: Lisi D'Alfonso, Gabriela Jeronimo, Pablo Solernó 

Publication date: 28 August 2014

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: This paper focuses on effectivity aspects of the L"uroth's theorem in differential fields. Let $mathcalF$ be an ordinary differential field of characteristic 0 and $mathcalF<u>$ be the field of differential rational functions generated by a single indeterminate $u$. Let be given non constant rational functions $v_1,\mathrm{...},v_{n}inmathcalF<u>$ generating a differential subfield $mathcalGsubseteqmathcalF<eu>$. The differential L"uroth's theorem proved by Ritt in 1932 states that there exists $vinmathcalG$ such that $mathcalG=mathcalF<v>$. Here we prove that the total order and degree of a generator $v$ are bounded by $mi{n}_{j}extrmord(v_j)$ and $(nd(e+1)+1{)}^{2e+1}$, respectively, where $e:=ma{x}_{j}extrmord(v_j)$ and $d:=ma{x}_{j}extrmdeg(v_j)$. As a byproduct, our techniques enable us to compute a L"uroth generator by dealing with a polynomial ideal in a polynomial ring in finitely many variables.

Full work available at URL: https://arxiv.org/abs/1202.6344

Recommendations

• On the partial differential Lüroth's theorem
• Effectivizing Lusin’s Theorem
• Quantitative aspects of the generalized differential Lüroth's theorem
• Effective Laguerre Asymptotics
• Lüroth's theorem in differential fields
• Liouville's theorem for homogeneous differential operators
• The Luzin theorem for higher-order derivatives
• scientific article; zbMATH DE number 4008811
• Effective descent for differential operators
• Liouville theorem for almost closed differential forms

zbMATH Keywords

differential algebradifferentiation indexLüroth's theorem

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Differential algebra (12H05)

Cites Work

• Improperly parametrized rational curves
• Title not available (Why is that?)
• Associative differential operations
• A Lie-Backlund approach to equivalence and flatness of nonlinear systems
• Straight-line programs in geometric elimination theory
• Definability and fast quantifier elimination in algebraically closed fields
• Title not available (Why is that?)
• A rational function decomposition algorithm by near-separated polynomials
• On the index and the order of quasi-regular implicit systems of differential equations
• Lower bounds for diophantine approximations
• Lüroth's theorem in differential fields
• A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications
• On the complexity of the resolvent representation of some prime differential ideals
• Extensions of differential fields. II
• Variations on the notion of controllability
• Unirational fields of transcendence degree one and functional decomposition
• A negative answer to the δ-Lüroth problem in two variables
• Extensions of differential fields. III
• On multivariate rational function decomposition
• A geometric index reduction method for implicit systems of differential algebraic equations
• Nearly optimal algorithms for the decomposition of multivariate rational functions and the extended Lüroth theorem

Cited In (5)

• On the partial differential Lüroth's theorem
• Lüroth's theorem in differential fields
• Quantitative aspects of the generalized differential Lüroth's theorem
• A remark on a theorem of Bavula on Lüroth extensions
• Effective Laguerre Asymptotics

This page was built for publication: Effective differential Lüroth's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q402415)