[论文解读] Real and p-adic Picard-Vessiot fields

Teresa Crespo, Zbigniew Hajto+1 more|arXiv (Cornell University)|Jul 9, 2013

Algebraic Geometry and Number Theory参考文献 1被引用 4

一句话总结

本文利用Tannakian范畴与Galois上同调，建立了实闭与p-adic闭微分域上微分模的实与p-adic Picard–Vessiot域的存在性与唯一性。在自然的序与赋值条件下，提供了此类域存在性与唯一性的纯代数证明，并通过微分Galois理论解决了半单代数群实形式的逆问题。

ABSTRACT

We consider differential modules over real and p-adic differential fields such that their field of constants is real closed (respectively p-adically closed). Using Deligne's work on Tannakian categories and a result of Serre on Galois cohomology, a purely algebraic proof of the existence and unicity of real (respectively p-adic) Picard-Vessiot fields is obtained.

研究动机与目标

• 建立实与p-adic Picard–Vessiot域在实与p-adic闭微分域上微分模的存在性与唯一性。
• 利用Tannakian范畴与Deligne–Serre上同调结果，提供存在性与唯一性的纯代数证明。
• 通过微分Galois理论，解决半单代数群实形式的逆问题。
• 阐明序与赋值在区分非同构Picard–Vessiot扩张中的作用。

提出的方法

• 利用Tannakian范畴理论，对微分域上模的微分Galois群进行建模。
• 应用P. Deligne对Tannakian范畴的工作与J.-P. Serre的Galois上同调结果，建立基域与扩张域之间上同调类的双射。
• 从微分模的Tannakian范畴到常数域上向量空间构造纤维函子。
• 利用纤维函子的存在性，通过Tannakian形式化构造的微分环的分式域，构造Picard–Vessiot域。
• 通过对基域上的全序或p-adic赋值施加实或p-adic结构，对Picard–Vessiot域施加实或p-adic结构。
• 将理论应用于实现每个实闭域上半单群的实形式，作为某个微分模的微分Galois群。

实验结果

研究问题

• RQ1 每个实闭常数的实微分域上的微分模是否都存在实Picard–Vessiot域？
• RQ2 在何种条件下，同一模的两个实Picard–Vessiot域作为微分域同构？
• RQ3 每个实闭域上半单代数群的实形式是否都能作为实闭域上某微分模的微分Galois群出现？
• RQ4 p-adic赋值与闭包如何影响p-adic Picard–Vessiot域的分类？
• RQ5 常数域在决定模的微分Galois群中的作用是什么？

主要发现

• 每个实闭常数的实微分域上的微分模都存在实Picard–Vessiot域。
• 若两个实Picard–Vessiot域对基域诱导相同的全序，则它们作为微分域同构。
• 每个p-adic闭常数的p-adic闭微分域上的微分模都存在p-adic Picard–Vessiot域。
• 若两个p-adic Picard–Vessiot域的p-adic闭包在基域上诱导相同的赋值，并且对所有n ≥ 2的n次幂一致，则它们作为微分域同构。
• 每个实闭域上半单代数群的实形式都可作为实微分域上某微分模的微分Galois群出现。
• 实闭域上模的微分Galois群同构于代数闭包上该群的实形式，其由解空间上对称双线性型的符号决定。