Differential and difference dimension polynomials
algorithmsdifference algebradifference dimension polynomialdifferential algebradifferential dimension polynomialdifferential-difference algebradifferential-difference dimension polynomialsKolchin polynomial
Research exposition (monographs, survey articles) pertaining to field theory (12-02) Differential algebra (12H05) Difference algebra (12H10) Research exposition (monographs, survey articles) pertaining to commutative algebra (13-02) Modules of differentials (13N05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
The notion of dimension for a differential algebraic subset \(X\) of differential affine \(n\)-space over the differential field \(F\) was defined by Ellis Kolchin in terms of the degree of a certain numerical (integer valued) polynomial associated to \(X\), or more precisely associated to the ring \(S\) obtained from the ring of polynomials in \(n\) differential indeterminates \(F\{x_1, \dots, x_n\}\) modulo the prime differential ideal defining \(X\). \(F\{x_1, \dots, x_n\}\) is an ascending union of subrings generated by elements of order \(k\) or less, and \(S\) is a similar union of their images. The transcendence degrees of the quotient fields of these subalgebras of \(S\) form a sequence, and the differential dimension polynomial is the numerical polynomial whose value on each order is the corresponding transcendence degree. Such a polynomial exists, and its degree is the appropriate notion of differential dimension. If ``differential is replaced by ``difference (if the derivation(s) of \(F\) that make it a differential field are replaced by automorphism(s)), one obtains a concept of a difference dimension polynomial and of difference dimension. This book is a comprehensive account of a general theory of differential and difference dimension polynomials. While it presents a development of the differential dimension polynomial described above, which the authors term the Kolchin polynomial, it also develops the theory in the difference context and in the mixed differential-difference context. The authors make a serious and successful attempt to have the book be self contained. Of their 415 pages, they devote 221 to four chapters of preliminary matters: a chapter on algebraic preliminaries, a substantial chapter on (multivariate) numerical polynomials, a substantial chapter on basic differential and difference algebra, and a chapter on Gröbner bases. Their fifth chapter then introduces the Kolchin differential dimension polynomial and proves both the basic results noted above as well as additional refinements due to the authors. Chapter six, which is about a sixth of the book, then carries the theory forward to difference and differential-difference dimension polynomials. The seventh chapter provides applications of chapter six in differential-difference algebra, and chapter eight extends the dimension polynomial notions further to the case when in addition a commutative group \(G\) is acting. A brief chapter nine then ends the book with some computer implementable (and implemented) algorithms for computing dimension polynomials. The authors also include a 10 page bibliography of over 250 references. The authors are to be congratulated for making this important theory accessible to the general mathematical public in a single reference work. Even algebraists often have weak backgrounds in differential and difference algebra, and analysts and applied mathematicians who work with differential and difference equations usually do not have strong backgrounds in the algebraic aspects of the subject. This book should allow researchers, and graduate students, to both master the background material and to see the development of differential and difference dimension polynomial theory practically up to the research frontier.
- scientific article; zbMATH DE number 4189866
- Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials
- Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation
- COMPUTATION OF DIMENSION POLYNOMIALS
- Algebraic transformation of differential characteristic decompositions from one ranking to another
- Jacobi's bound for independent systems of algebraic partial differential equations
- Characteristic set method for differential-difference polynomial systems
- Differentiators and the geometry of polynomials.
- Reduced Gröbner bases, free difference-differential modules and difference-differential dimension polynomials
- Proof mining and effective bounds in differential polynomial rings
- Elimination theory in differential and difference algebra
- The differential counting polynomial
- Dimension polynomials in the generalized difference case
- Chow form for projective differential variety
- An upper bound for minimizing coefficients of the Kolchin dimension polynomial
- Ideals of differential operators and transformations of linear partial differential equations
- Computation of Hilbert polynomials in two variables
- The Schmidt-Kolchin conjecture
- Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE
- A new type of difference dimension polynomials
- Bivariate Kolchin-type dimension polynomials of non-reflexive prime difference-differential ideals. The case of one translation
- On the dimension of systems of algebraic difference equations
- A bound for a typical differential dimension of systems of linear differential equations
- Difference Chow form
- Indecomposability for differential algebraic groups
- A bound for orders in differential Nullstellensatz
- A primitive element theorem for fields with commuting derivations and automorphisms
- Difference dimension quasi-polynomials
- Loewy and primary decompositions of D-modules
- Weak Bézout inequality for D-modules
- Membership problem for differential ideals generated by a composition of polynomials
- On the generalized Ritt problem as a computational problem
- One-element differential standard bases with respect to inverse lexicographical orderings
- Jacobi's bound for systems of algebraic differential equations
- Dimension polynomials of intermediate differential fields and the strength of a system of differential equations with group action
- Gröbner bases with respect to several orderings and multivariable dimension polynomials
- Ideals, bifiltered modules and bivariate Hilbert polynomials
- Gröbner fan and universal characteristic sets of prime differential ideals
- Equivariant vector fields on non-trivial \(\text{SO}_n\)-torsors and differential Galois theory
- On Picard-Vessiot extensions with group \(\text{PGL}_3\)
- Inversive difference modules and solvability of systems of linear difference equations
- Universal characteristic decomposition of radical differential ideals
- Generalized typical dimension of a graded module
- Algorithmic problems for differential polynomial algebras
- Some properties of coefficients of the Kolchin dimension polynomial
- Gelfand-Kirillov dimension of differential difference algebras.
- Intersection theory in differential algebraic geometry: generic intersections and the differential Chow form
- Bivariate difference-differential dimension polynomials and their computation in Maple
- scientific article; zbMATH DE number 4189866 (Why is no real title available?)
- scientific article; zbMATH DE number 4025547 (Why is no real title available?)
- Some properties of the lattice points and their application to differential algebra*
- Parameterized Picard-Vessiot extensions and Atiyah extensions
- COMPUTATION OF DIMENSION POLYNOMIALS
- Difference polynomials and their generalizations
- The differential dimension polynomial for characterizable differential ideals
- A criterion for testing whether a difference ideal is prime
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
- Pure Picard-Vessiot extensions with generic properties
- Loewy decomposition of linear differential equations
- Hilbert-type dimension polynomials of intermediate difference-differential field extensions
- Partial differential Chow forms and a type of partial differential Chow varieties
- Elimination of unknowns for systems of algebraic differential-difference equations
- Effective definability of Kolchin polynomials
- Estimates for the coefficients of differential dimension polynomials
- Dimension polynomials of intermediate fields and Krull-type dimension of finitely generated differential field extensions
- On Generic differential $\operatorname{SO}_n$-extensions
- Ideal intersections in rings of partial differential operators
- Differential algebraic dependence and Novikov dependence
- Ideals Generated by Differential Equations
- Algorithms yield upper bounds in differential algebra
- The theory of ordinal length
- Representations via differential algebras and equationally Noetherian algebras
- Arbitrariness of the general solution of the partial differential equations and its applications
- The typical dimension of a system of first-order differential equations
- New difference Gröbner bases and bivariate difference dimension polynomials
- Hilbert polynomials for finitary matroids
- Advances in elimination theory for algebraic differential and difference equations
- Generalized Gröbner bases and new properties of multivariate difference dimension polynomials
- New dimension polynomials of inversive difference field extensions and inversive difference modules
- Hilbert polynomial of length functions
- On the conjecture of M. Janet for systems of partial differential equations
- Dimension polynomials for affine partial difference algebraic groups
- Some facts about the Ritt equation
- Partial differential equations with finite-dimensional solution manifolds
- Differential Krull dimension in differential polynomial extensions
- Tame and wild automorphisms of differential polynomial algebras of rank 2
- Computation of differential Chow forms for ordinary prime differential ideals
- Dimension polynomials of difference local algebras
- A bound for the Rosenfeld-Gröbner algorithm
- Differential standard bases under composition
This page was built for publication: Differential and difference dimension polynomials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229400)
