正特征值域中差分闭场的分支独立性

我们对特征闭场 DCF$_{p,m}$ 中分支独立性进行差分代数描述，其中特征值 $p>0$，且存在 $m$ 个互为交换的导数。在此描述的副产品中，我们证明了特征值域上代数闭域子集上的类型是 stationary 的。此外，我们证明了伯努利微分方程 $x'=x^{p^k+1}$（其中 $k>0$）的非零解集合是 strongly minimal 的，其几何严格解脱，这意味着该集合在 $\mathbb{F}_p$ 上是代数独立的。