Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 
 

 

Estimates for the coefficients of differential dimension polynomials


Author: Omar León Sánchez
Journal: Math. Comp. 88 (2019), 2959-2985
MSC (2010): Primary 12H05, 14Q20
DOI: https://doi.org/10.1090/mcom/3429
Published electronically: March 28, 2019
Full-text PDF
View in AMS MathViewer New

Abstract | References | Similar Articles | Additional Information

Abstract: We answer the following longstanding question of Kolchin: given a system of algebraic-differential equations $ \Sigma (x_1,\dots ,x_n)=0$ in $ m$ derivatives over a differential field of characteristic zero, is there a computable bound that only depends on the order of the system (and on the fixed data $ m$ and $ n$) for the typical differential dimension of any prime component of $ \Sigma $? We give a positive answer in a strong form; that is, we compute a (lower and upper) bound for all the coefficients of the Kolchin polynomial of every such prime component. We then show that, if we look at those components of a specified differential type, we can compute a significantly better bound for the typical differential dimension. This latter improvement comes from new combinatorial results on characteristic sets, in combination with the classical theorems of Macaulay and Gotzmann on the growth of Hilbert-Samuel functions.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Mathematics of Computation with MSC (2010): 12H05, 14Q20

Retrieve articles in all journals with MSC (2010): 12H05, 14Q20


Additional Information

Omar León Sánchez
Affiliation: School of Mathematics, University of Manchester, Oxford Road, Manchester, M13 9PL, United Kingdom
Email: omar.sanchez@manchester.ac.uk

DOI: https://doi.org/10.1090/mcom/3429
Keywords: Kolchin polynomial, typical differential dimension, Hilbert-Samuel functions
Received by editor(s): March 1, 2017
Received by editor(s) in revised form: August 10, 2017, April 27, 2018, and January 24, 2019
Published electronically: March 28, 2019
Article copyright: © Copyright 2019 American Mathematical Society