Picard-Vessiot扩展，线性微分代数群和它们的纤维丛
摘要：对于具有代数闭的常数域的微分域K，令K^diff为K的微分闭包, L为K在K^diff内的（迭代的）Picard-Vessiot闭包。设G为K上的线性微分代数群， X为K上G的微分代数扭主。我们证明X(L)在X中是Kolchin稠密的。当G是有限维时，我们证明X(L) = X(K^diff)。我们给出了K的Picard-Vessiot扩张与适当的有限维线性微分代数群的扭主之间的紧密联系。我们建议一些关于微分域的有界性概念（Serre的性质F）的类比。
作者：David Meretzky, Anand Pillay
论文ID：2307.14948
分类：Algebraic Geometry
分类简称：math.AG
提交时间：2023-07-28