Effective uniform bounding in partial differential fields

DOI10.1016/J.AIM.2015.10.013zbMATH Open1401.12002arXiv1411.0029OpenAlexW2963252317MaRDI QIDQ900852FDOQ900852

James Freitag, Omar León Sánchez

Publication date: 23 December 2015

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: Motivated by the effective bounds of ordinary differential equations, we prove an effective version of uniform bounding for partial differential fields with commuting derivations. More precisely, we provide an upper bound for the size of finite solution sets of partial differential polynomial equations in terms of data explicitly given in the equations and independent of parameters. Our methods also produce an upper bound for the degree of the Zariski closure of solution sets, whether they are finite or not.

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

zbMATH Keywords

differential fieldsprolongation spacesuniform bounding

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Differential algebra (12H05) Abstract differential equations (12H20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Associative differential operations
• Geometry of Differential Polynomial Functions, I: Algebraic Groups
• Singularities of pairs via jet schemes
• \(o\)-minimality and the André-Oort conjecture for \(\mathbb{C}^{n}\)
• The rational points of a definable set
• Definability and fast quantifier elimination in algebraically closed fields
• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• A bound for orders in differential Nullstellensatz
• Jet and prolongation spaces
• Fields with several commuting derivations
• A note on the axioms for differentially closed fields of characteristic zero
• Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties
• Petri nets and large finite sets
• Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients
• An algorithm for the computation of the radical of an ideal
• Prolongation of integral domains
• Length of Polynomial Ascending Chains and Primitive Recursiveness.
• Complexity of quantifier elimination in the theory of ordinary differential equations
• Prolongations in differential algebra

Cited In (15)

• Model theory of differential fields with finite group actions
• Partial differential Chow forms and a type of partial differential Chow varieties
• Effective bounds for the consistency of differential equations
• Title not available (Why is that?)
• New order bounds in differential elimination algorithms
• Title not available (Why is that?)
• Uniform bounds and symbolic powers on smooth varieties
• Effective definability of Kolchin polynomials
• Uniform boundedness of level structures on abelian varieties over complex function fields
• New effective differential Nullstellensatz
• Strong minimality and the \(j\)-function
• Ax-Lindemann-Weierstrass with derivatives and the genus 0 Fuchsian groups
• Uniform bound for the effective Bogomolov conjecture
• Proof mining and effective bounds in differential polynomial rings
• Low \(c\)-differential uniformity for functions modified on subfields

Recommendations

• On the differential uniformities of functions over finite fields 👍 👎
• Uniform boundedness of level structures on abelian varieties over complex function fields 👍 👎
• Uniformly effective boundedness of Shafarevich Conjecture-type 👍 👎
• Uniform bound for the effective Bogomolov conjecture 👍 👎
• Uniform bounds in algebraic geometry and commutative algebra 👍 👎
• Simple Differential Field Extensions and Effective Bounds 👍 👎
• Remarks about uniform boundedness of rational points over function fields 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Effective uniform bounding in partial differential fields

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