Effective definability of Kolchin polynomials

DOI10.1090/PROC/14869zbMATH Open1466.12003arXiv1806.02060OpenAlexW2987592775WikidataQ126822935 ScholiaQ126822935MaRDI QIDQ5218192FDOQ5218192

Authors: James Freitag, Omar León Sánchez, Wei Li 

Publication date: 2 March 2020

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Abstract: While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families of differential varieties; in this note we show that the differential-algebraic rank given by the Kolchin polynomial is in fact definable. As a byproduct, we are able to prove that the property of being weakly irreducible for a differential variety is also definable in families. The question of full irreducibility remains open, it is known to be equivalent to the generalized Ritt problem.

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

Recommendations

• Bounds and definability in polynomial rings
• Definable Subsets of Polynomial-Time Algebraic Structures
• Polynomial approximation of Berkovich spaces and definable types
• scientific article; zbMATH DE number 3937298
• On the number of sets definable by polynomials
• A Kleene Theorem for Polynomial Coalgebras
• Definability via Kalimullin pairs in the structure of the enumeration degrees
• scientific article; zbMATH DE number 1342210
• Definable Kőnig theorems
• Definable versions of theorems by Kirszbraun and Helly

zbMATH Keywords

differential fieldsKolchin polynomialeffective definability in families

Mathematics Subject Classification ID

Differential algebra (12H05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Definability and fast quantifier elimination in algebraically closed fields
• Strongly minimal expansions of algebraically closed fields
• Title not available (Why is that?)
• On the index and the order of quasi-regular implicit systems of differential equations
• On algebraic relations between solutions of a generic Painlevé equation
• Effective uniform bounding in partial differential fields
• Well-Ordering of Certain Numerical Polynomials
• On the generalized Ritt problem as a computational problem
• Effective bounds for the consistency of differential equations
• Differential Chow varieties exist
• Estimates for the coefficients of differential dimension polynomials

Cited In (6)

• A note on uniform definability and minimal fields of definition
• Kolchin's irreducibility theorem.
• Definability of derivations in the reducts of differentially closed fields
• Multivariate difference-differential dimension polynomials
• Computation of Hilbert polynomials in two variables
• Homogeneous \(p\)-differential polynomials.

This page was built for publication: Effective definability of Kolchin polynomials

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