Intersection Theory for Generic Differential Polynomials and Differential Chow Form

In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension d and order h with a generic differential hypersurface of order s is shown to be an irreducible variety of dimension d − 1 and order h + s. As a consequence, the dimension conjecture for generic differential polynomials is proved. Based on the intersection theory, the Chow form for an irreducible differential variety is defined and most of the properties of the Chow form in the algebraic case are extended to its differential counterpart. Furthermore, the generalized differential Chow form is defined and its properties are proved. As an application of the generalized differential Chow form, the differential resultant of n+1 generic differential polynomials in n variables is defined and properties similar to that of the Sylvester resultant of two univariate polynomials are proved.

[1]  David Eisenbud,et al.  Resultants and Chow forms via exterior syzygies , 2001, math/0111040.

[2]  Hyman Bass,et al.  Selected works of Ellis Kolchin with commentary , 1999 .

[3]  Hlawka.  Einführung in die algebraische Geometrie , 1941 .

[4]  Patrice Philippon,et al.  Critères Pour L’indépendance Algébrique , 1986 .

[5]  Ju V Nesterenko.  Estimates for the Orders of Zeros of Functions of a Certain Class and Applications in the Theory of Transcendental Numbers , 1977 .

[6]  Evelyne Hubert,et al.  Resolvent Representation for Regular Differential Ideals , 2003, Applicable Algebra in Engineering, Communication and Computing.

[7]  Marc Moreno Maza,et al.  Computing differential characteristic sets by change of ordering , 2010, J. Symb. Comput..

[8]  J. Ritt,et al.  Differential Equations from the Algebraic Standpoint , 1933, Nature.

[9]  Giuseppa Carrà Ferro.  A Resultant Theory for Ordinary Algebraic Differential Equations , 1997, AAECC.

[10]  Bernd Sturmfels,et al.  Product formulas for resultants and Chow forms , 1993 .

[11]  A. Seidenberg.  On the Chow form , 1975 .

[12]  R. Cohn.  Order and dimension , 1983 .

[13]  Resultants and the algebraicity of the join pairing on Chow varieties , 1997 .

[14]  J. Rafael Sendra,et al.  Linear complete differential resultants and the implicitization of linear DPPEs , 2010, J. Symb. Comput..

[15]  W. Brownawell.  Bounds for the degrees in the Nullstellensatz , 1987 .

[16]  A. V. Mikhalev,et al.  Differential and Difference Dimension Polynomials , 1998 .

[17]  A. Rosenfeld.  Specializations in differential algebra , 1959 .

[18]  Xiao-Shan Gao,et al.  A Zero Structure Theorem for Differential Parametric Systems , 1993, J. Symb. Comput..

[19]  J. Todd.  Methods of Algebraic Geometry , 1948, Nature.

[20]  E. Kolchin.  Differential Algebra and Algebraic Groups , 2012 .

[21]  Teresa Krick,et al.  The Computational Complexity of the Chow Form , 2002, Found. Comput. Math..

[22]  Leandro Caniglia,et al.  How to compute the Chow form of an unmixed polynomial ideal in single exponential time , 1990, Applicable Algebra in Engineering, Communication and Computing.

[23]  I. M. Gelʹfand,et al.  Discriminants, Resultants, and Multidimensional Determinants , 1994 .

[24]  William Y. Sit.  THE RITT–KOLCHIN THEORY FOR DIFFERENTIAL POLYNOMIALS , 2002 .

[25]  Brahim Sadik,et al.  A Bound for the Order of Characteristic Set Elements of an Ordinary Prime Differential Ideal and some Applications , 2000, Applicable Algebra in Engineering, Communication and Computing.

[26]  A. Seidenberg.  An elimination theory for differential algebra , 1959 .

[27]  Giuseppa Carrà Ferro,et al.  A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations , 1997, Appl. Algebra Eng. Commun. Comput..

[28]  Oleg Golubitsky,et al.  Algebraic transformation of differential characteristic decompositions from one ranking to another , 2009, J. Symb. Comput..

[29]  E. R. Kolchin,et al.  The notion of dimension in the theory of algebraic differential equations , 1964 .

[30]  Jean-Benoît Bost,et al.  Heights of projective varieties and positive Green forms , 1994 .