A differential analog of the Noether normalization lemma

DOI10.1093/IMRN/RNW275MaRDI QIDQ4619329zbMATH OpenOpenAlexWikidataFDO

Authors Gleb Pogudin

Publication date 6 February 2019

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Differential algebra (12H05) Integral dependence in commutative rings; going up, going down (13B21)

Abstract: In this paper, we prove the following differential analog of the Noether normalization lemma: for every $d$-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map onto the $d$-dimensional affine space. Equivalently, for every integral differential algebra $A$ over differential field of zero characteristic there exist differentially independent $b_1,ldots,b_d$ such that $A$ is differentially algebraic over subalgebra $B$ differentially generated by $b_1,ldots,b_d$, and whenever $mathfrakpsubsetB$ is a prime differential ideal, there exists a prime differential ideal $mathfrakqsubsetA$ such that $mathfrakp=Bcapmathfrakq$. We also prove the analogous theorem for differential algebraic varieties over the ring of formal power series over an algebraically closed differential field and present some applications to differential equations.

Recommendations

• A differential analog of a theorem of Chevalley
• Differential Chow varieties exist
• A ``polynomial shifting trick in differential algebra
• scientific article; zbMATH DE number 3415973
• scientific article; zbMATH DE number 124345

Cited in

(7)

• The gravity first (on reincarnation of third Kepler's law)
• Primary differential nil-algebras do exist
• A differential analog of a theorem of Chevalley
• A ``polynomial shifting trick in differential algebra
• scientific article; zbMATH DE number 3901334 (Why is no real title available?)
• Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability
• Wronskians form the inverse system of the arcs of a double point

This page was built for publication: A differential analog of the Noether normalization lemma

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