[Paper Review] Differential Chow Form for Projective Differential Variety

Wei Li, Xiao-Shan Gao|arXiv (Cornell University)|Jul 16, 2011

Polynomial and algebraic computation13 references5 citations

TL;DR

This paper establishes the differential Chow form for irreducible projective differential varieties by proving a generic intersection theorem: the intersection of such a variety of dimension $d > 0$ and order $h$ with a generic projective differential hyperplane yields an irreducible variety of dimension $d-1$ and order $h$. The differential Chow form is then defined, and it is shown that this form encodes the linear dependence condition over projective varieties as described by Kolchin, thereby generalizing classical Chow form theory to the differential projective setting.

ABSTRACT

In this paper, a generic intersection theorem in projective differential algebraic geometry is presented. Precisely, the intersection of an irreducible projective differential variety of dimension d>0 and order h with a generic projective differential hyperplane is shown to be an irreducible projective differential variety of dimension d-1 and order h. Based on the generic intersection theorem, the Chow form for an irreducible projective differential variety is defined and most of the properties of the differential Chow form in affine differential case are established for its projective differential counterpart. Finally, we apply the differential Chow form to a result of linear dependence over projective varieties given by Kolchin.

Motivation & Objective

• To extend the theory of differential Chow forms from affine to projective differential algebraic geometry.
• To establish foundational results in projective differential algebraic geometry, particularly concerning dimension and order under generic hyperplane sections.
• To prove that the differential polynomial $h$ in Ritt's remark on linear dependence over projective varieties is precisely the differential Chow form of the corresponding projective differential variety.
• To provide a differential-geometric interpretation of Kolchin's result on linear dependence over projective varieties using the new differential Chow form.

Proposed method

• Prove a generic intersection theorem: the intersection of an irreducible projective differential variety of dimension $d > 0$ and order $h$ with a generic projective differential hyperplane results in a variety of dimension $d-1$ and order $h$.
• Define the differential Chow form for an irreducible projective differential variety as the saturation of the defining differential ideal under a generic linear form.
• Use the theory of differentially homogeneous differential ideals and their zero sets in projective differential spaces, as developed by Kolchin.
• Apply Gröbner basis-like techniques in differential algebra to analyze the structure of the defining ideals and their reductions modulo generic hyperplanes.
• Establish properties of the differential Chow form analogous to classical algebraic Chow forms, including invariance under projective transformations and saturation behavior.
• Use the initial and separant of differentially homogeneous polynomials to analyze the structure of the defining equations and their derivatives.

Experimental results

Research questions

• RQ1 Does the intersection of an irreducible projective differential variety with a generic projective differential hyperplane preserve irreducibility and reduce dimension by one while keeping the order unchanged?
• RQ2 Can the classical concept of the Chow form be generalized to the setting of projective differential algebraic geometry, and what properties does it retain?
• RQ3 Is the differential polynomial $h$ in Ritt’s remark on linear dependence over projective varieties equivalent to the differential Chow form of the corresponding variety?
• RQ4 Does the differential saturation of the Chow form provide a necessary and sufficient condition for intersection with a differential hyperplane, as in the classical case?

Key findings

• The intersection of an irreducible projective differential variety of dimension $d > 0$ and order $h$ with a generic projective differential hyperplane results in an irreducible variety of dimension $d-1$ and order $h$, establishing a key generic intersection theorem.
• The differential Chow form for a projective differential variety is defined as the saturation of the defining differential ideal with respect to a generic linear form, and it inherits most properties of the classical Chow form in the differential setting.
• The differential polynomial $h$ in Ritt’s remark on linear dependence over projective varieties is shown to be precisely the differential Chow form of the corresponding projective differential variety.
• Corollary 5.4 establishes that a differential hyperplane $\sum u_{0j}y_j = 0$ intersects the variety $V^\delta$ if and only if the specialization $(v_{00}, \dots, v_{0n})$ lies in the general solution of $F = 0$, where $F$ is the projective differential Chow form.
• The paper conjectures that for general projective differential varieties, the differential saturation ideal of the Chow form gives a necessary and sufficient condition for intersection with a differential hyperplane, extending the classical result to the differential projective setting.