[论文解读] Differential Chow Form for Projective Differential Variety

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

Polynomial and algebraic computation参考文献 13被引用 5

一句话总结

本文通过证明一个一般性交集定理，建立了不可约射影微分代数簇的微分Chow形式：对于维数 $d > 0$ 且阶数为 $h$ 的此类簇，其与一个一般射影微分超平面的交集，产生一个维数为 $d-1$ 且阶数为 $h$ 的不可约簇。随后定义了微分Chow形式，并证明该形式编码了Kolchin所描述的射影簇上的线性相关性条件，从而将经典Chow形式理论推广至微分射影几何设定。

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.

研究动机与目标

• 将微分Chow形式理论从仿射情形推广至射影微分代数几何。
• 在射影微分代数几何中建立基础结果，特别是关于一般超平面截面下的维数与阶数性质。
• 证明Ritt关于射影簇上线性相关性的评述中的微分多项式 $h$ 恰好是相应射影微分簇的微分Chow形式。
• 通过新的微分Chow形式，为Kolchin关于射影簇上线性相关性的结果提供微分几何解释。

提出的方法

• 证明一般性交集定理：不可约射影微分簇（维数 $d > 0$，阶数 $h$）与一般射影微分超平面的交集，产生维数为 $d-1$、阶数为 $h$ 的簇。
• 将不可约射影微分簇的微分Chow形式定义为在一般线性形式下，其定义微分理想之饱和。
• 应用Kolchin所发展的在射影微分空间中不同齐次微分理想及其零点集的理论。
• 在微分代数中应用类似Gröbner基的技术，分析定义理想结构及其模一般超平面的约化。
• 建立微分Chow形式的性质，类比经典代数Chow形式，包括在射影变换下的不变性与饱和行为。
• 利用不同齐次多项式的首项与可分式，分析定义方程及其导数的结构。

实验结果

研究问题

• RQ1 不可约射影微分簇与一般射影微分超平面的交集是否保持不可约性，维数减少1，且阶数保持不变？
• RQ2 经典Chow形式概念能否推广至射影微分代数几何设定？其保留了哪些性质？
• RQ3 Ritt关于射影簇上线性相关性的评述中的微分多项式 $h$ 是否等价于相应簇的微分Chow形式？
• RQ4 微分Chow形式的饱和是否如经典情形一样，为与微分超平面相交提供必要且充分条件？

主要发现

• 不可约射影微分簇（维数 $d > 0$，阶数 $h$）与一般射影微分超平面的交集，产生维数为 $d-1$、阶数为 $h$ 的不可约簇，从而确立了关键的一般性交集定理。
• 射影微分簇的微分Chow形式被定义为定义微分理想在一般线性形式下的饱和，其在微分设定下继承了经典Chow形式的大部分性质。
• Ritt关于射影簇上线性相关性的评述中的微分多项式 $h$ 被证明恰好是相应射影微分簇的微分Chow形式。
• 推论5.4表明：微分超平面 $\sum u_{0j}y_j = 0$ 与簇 $V^\delta$ 相交，当且仅当特殊化 $(v_{00}, \dots, v_{0n})$ 属于方程 $F = 0$ 的通解，其中 $F$ 为射影微分Chow形式。
• 本文猜想：对于一般射影微分簇，Chow形式的微分饱和理想为与微分超平面相交提供了必要且充分条件，从而将经典结果推广至微分射影设定。