Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form

Gao, Xiao-Shan; Li, Wei; Yuan, Chun-Ming

doi:10.1090/S0002-9947-2013-05633-4

Intersection theory in differential algebraic geometry: Generic intersections and the differential Chow form
HTML articles powered by AMS MathViewer

by Xiao-Shan Gao, Wei Li and Chun-Ming Yuan PDF

Trans. Amer. Math. Soc. 365 (2013), 4575-4632 Request permission

Abstract:

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 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 established for 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 Macaulay resultant for multivariate polynomials are proved.

References

François Boulier, François Lemaire, and Marc Moreno Maza, Computing differential characteristic sets by change of ordering, J. Symbolic Comput. 45 (2010), no. 1, 124–149. MR 2568902, DOI 10.1016/j.jsc.2009.09.004
J.-B. Bost, H. Gillet, and C. Soulé, Heights of projective varieties and positive Green forms, J. Amer. Math. Soc. 7 (1994), no. 4, 903–1027. MR 1260106, DOI 10.1090/S0894-0347-1994-1260106-X
W. Dale Brownawell, Bounds for the degrees in the Nullstellensatz, Ann. of Math. (2) 126 (1987), no. 3, 577–591. MR 916719, DOI 10.2307/1971361
Ellis Kolchin, Selected works of Ellis Kolchin with commentary, American Mathematical Society, Providence, RI, 1999. Commentaries by Armand Borel, Michael F. Singer, Bruno Poizat, Alexandru Buium and Phyllis J. Cassidy; Edited and with a preface by Hyman Bass, Buium and Cassidy. MR 1677530
Giuseppa Carra’-Ferro, A resultant theory for the systems of two ordinary algebraic differential equations, Appl. Algebra Engrg. Comm. Comput. 8 (1997), no. 6, 539–560. MR 1486378, DOI 10.1007/s002000050090
Giuseppa Carrà Ferro, A resultant theory for ordinary algebraic differential equations, Applied algebra, algebraic algorithms and error-correcting codes (Toulouse, 1997) Lecture Notes in Comput. Sci., vol. 1255, Springer, Berlin, 1997, pp. 55–65. MR 1634105, DOI 10.1007/3-540-63163-1_{5}
Shang-Ching Chou and Xiao Shan Gao, Automated reasoning in differential geometry and mechanics using the characteristic set method. I. An improved version of Ritt-Wu’s decomposition algorithm, J. Automat. Reason. 10 (1993), no. 2, 161–172. MR 1215347, DOI 10.1007/BF00881834
Richard M. Cohn, Order and dimension, Proc. Amer. Math. Soc. 87 (1983), no. 1, 1–6. MR 677218, DOI 10.1090/S0002-9939-1983-0677218-6
David Cox, John Little, and Donal O’Shea, Using algebraic geometry, Graduate Texts in Mathematics, vol. 185, Springer-Verlag, New York, 1998. MR 1639811, DOI 10.1007/978-1-4757-6911-1
Thomas Cluzeau and Evelyne Hubert, Resolvent representation for regular differential ideals, Appl. Algebra Engrg. Comm. Comput. 13 (2003), no. 5, 395–425. MR 1959171, DOI 10.1007/s00200-002-0110-4
David Eisenbud and Frank-Olaf Schreyer, Resultants and Chow forms via exterior syzygies, J. Amer. Math. Soc. 16 (2003), no. 3, 537–579. With an appendix by Jerzy Weyman. MR 1969204, DOI 10.1090/S0894-0347-03-00423-5
Xiao Shan Gao and Shang-Ching Chou, A zero structure theorem for differential parametric systems, J. Symbolic Comput. 16 (1993), no. 6, 585–595. MR 1279535, DOI 10.1006/jsco.1993.1065
I. M. Gel′fand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhäuser Boston, Inc., Boston, MA, 1994. MR 1264417, DOI 10.1007/978-0-8176-4771-1
Oleg Golubitsky, Marina Kondratieva, and Alexey Ovchinnikov, Algebraic transformation of differential characteristic decompositions from one ranking to another, J. Symbolic Comput. 44 (2009), no. 4, 333–357. MR 2494979, DOI 10.1016/j.jsc.2008.07.002
W.V.D. Hodge and D. Pedoe. Methods of Algebraic Geometry, Volume I. Cambridge University Press, 1968.
W.V.D. Hodge and D. Pedoe. Methods of Algebraic Geometry, Volume II. Cambridge University Press, 1968.
Gabriela Jeronimo, Teresa Krick, Juan Sabia, and Martín Sombra, The computational complexity of the Chow form, Found. Comput. Math. 4 (2004), no. 1, 41–117. MR 2035410, DOI 10.1007/s10208-002-0078-2
J.-P. Jouanolou, Le formalisme du résultant, Adv. Math. 90 (1991), no. 2, 117–263 (French). MR 1142904, DOI 10.1016/0001-8708(91)90031-2
E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
E. R. Kolchin, Extensions of differential fields. I, Ann. of Math. (2) 43 (1942), 724–729. MR 7011, DOI 10.2307/1968962
E. R. Kolchin, Extensions of differential fields. III, Bull. Amer. Math. Soc. 53 (1947), 397–401. MR 19590, DOI 10.1090/S0002-9904-1947-08812-1
E. R. Kolchin, The notion of dimension in the theory of algebraic differential equations, Bull. Amer. Math. Soc. 70 (1964), 570–573. MR 168555, DOI 10.1090/S0002-9904-1964-11203-9
E. R. Kolchin, A problem on differential polynomials, Proceedings of the International Conference on Algebra, Part 2 (Novosibirsk, 1989) Contemp. Math., vol. 131, Amer. Math. Soc., Providence, RI, 1992, pp. 449–462. MR 1175849
E. R. Kolchin, Differential equations in a projective space and linear dependence over a projective variety, Contributions to analysis (collection of papers dedicated to Lipman Bers), Academic Press, New York, 1974, pp. 195–214. MR 0352067
M. V. Kondratieva, A. B. Levin, A. V. Mikhalev, and E. V. Pankratiev, Differential and difference dimension polynomials, Mathematics and its Applications, vol. 461, Kluwer Academic Publishers, Dordrecht, 1999. MR 1676955, DOI 10.1007/978-94-017-1257-6
Wei Li, Xiao-Shan Gao, and Chun-Ming Yuan, Sparse differential resultant, ISSAC 2011—Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, ACM, New York, 2011, pp. 225–232. MR 2895216, DOI 10.1145/1993886.1993922
Ju. V. Nesterenko, Estimate of the orders of the zeroes of functions of a certain class, and their application in the theory of transcendental numbers, Izv. Akad. Nauk SSSR Ser. Mat. 41 (1977), no. 2, 253–284, 477 (Russian). MR 0491535
Paul Pedersen and Bernd Sturmfels, Product formulas for resultants and Chow forms, Math. Z. 214 (1993), no. 3, 377–396. MR 1245200, DOI 10.1007/BF02572411
Patrice Philippon, Critères pour l’indépendance algébrique, Inst. Hautes Études Sci. Publ. Math. 64 (1986), 5–52 (French). MR 876159, DOI 10.1007/BF02699191
Judith Plümer, Resultants and the algebraicity of the join pairing on Chow varieties, Trans. Amer. Math. Soc. 349 (1997), no. 6, 2187–2209. MR 1407499, DOI 10.1090/S0002-9947-97-01888-6
J. F. Ritt. Differential Equations from the Algebraic Standpoint. Amer. Math. Soc., New York, 1932.
Joseph Fels Ritt, Differential Algebra, American Mathematical Society Colloquium Publications, Vol. XXXIII, American Mathematical Society, New York, N. Y., 1950. MR 0035763, DOI 10.1090/coll/033
Fabrice Rouillier, Solving zero-dimensional systems through the rational univariate representation, Appl. Algebra Engrg. Comm. Comput. 9 (1999), no. 5, 433–461. MR 1697179, DOI 10.1007/s002000050114
Brahim Sadik, A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications, Appl. Algebra Engrg. Comm. Comput. 10 (2000), no. 3, 251–268. MR 1751434, DOI 10.1007/s002000050128
Azriel Rosenfeld, Specializations in differential algebra, Trans. Amer. Math. Soc. 90 (1959), 394–407. MR 107642, DOI 10.1090/S0002-9947-1959-0107642-2
Sonia L. Rueda and J. Rafael Sendra, Linear complete differential resultants and the implicitization of linear DPPEs, J. Symbolic Comput. 45 (2010), no. 3, 324–341. MR 2578342, DOI 10.1016/j.jsc.2009.09.003
A. Seidenberg, An elimination theory for differential algebra, Univ. California Publ. Math. (N.S.) 3 (1956), 31–65. MR 82487
A. Seidenberg, On the Chow form, Math. Ann. 212 (1974/75), 183–190. MR 376667, DOI 10.1007/BF01357139
William Y. Sit, The Ritt-Kolchin theory for differential polynomials, Differential algebra and related topics (Newark, NJ, 2000) World Sci. Publ., River Edge, NJ, 2002, pp. 1–70. MR 1921694, DOI 10.1142/9789812778437_{0}001
Bernd Sturmfels, Sparse elimination theory, Computational algebraic geometry and commutative algebra (Cortona, 1991) Sympos. Math., XXXIV, Cambridge Univ. Press, Cambridge, 1993, pp. 264–298. MR 1253995
B. L. van der Waerden. Einf$\ddot {u}$hrung in die Algebraische Geometrie. Teubner, Berlin, 1939.
Wen Jun Wu, Basic principles of mechanical theorem proving in elementary geometries, J. Systems Sci. Math. Sci. 4 (1984), no. 3, 207–235 (English, with Chinese summary). MR 795000
Wen-Tsun Wu, Mathematics mechanization, Mathematics and its Applications, vol. 489, Kluwer Academic Publishers Group, Dordrecht; Science Press Beijing, Beijing, 2000. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving. MR 1834540