[论文解读] Descent for differential Galois theory of difference equations. Confluence and q-dependency

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|Mar 25, 2011

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

一句话总结

本文建立了差分方程参数化微分伽罗瓦理论的下降结果，表明伽罗瓦 $Δ$-群可定义在代数闭域上，而非微分闭域上，从而简化了应用。此外，该框架被进一步应用于研究 $q$-依赖性以及 $q$-差分方程解之间的微分关系，证明了雅可比θ函数的伽罗瓦 $Δ$-群对应于热方程的伽罗瓦对应物。

ABSTRACT

The present paper essentially contains two results that generalize and improve some of the constructions of [arXiv:0801.1493]. First of all, in the case of one derivation, we prove that the parameterized Galois theory for difference equations constructed in [arXiv:0801.1493] can be descended from a differentially closed to an algebraically closed field. In the second part of the paper, we show that the theory can be applied to deformations of q-series, to study the differential dependency with respect to x\frac{d}{dx} and q\frac{d}{dq}. We show that the parameterized difference Galois group (with respect to a convenient derivation defined in the text) of the Jacobi Theta function can be considered as the Galoisian counterpart of the heat equation.

研究动机与目标

• 通过将伽罗瓦 $Δ$-群从微分闭域下降到代数闭域，推广差分方程的参数化微分伽罗瓦理论。
• 将该理论应用于 $q$-差分方程，研究关于 $x\frac{d}{dx}$ 和 $q\frac{d}{dq}$ 的微分依赖性。
• 通过其参数化伽罗瓦群，建立雅可比θ函数与热方程之间的伽罗瓦对应关系。
• 在 $q$-差分系统背景下，提供可积性与微分超越性的下降准则。
• 证明：秩为1的 $q$-差分方程的伽罗瓦 $Δ$-群是 $Δ$-常数，当且仅当代数系数为 $q$-单项式与 $q$-导数比的乘积。

提出的方法

• 使用理想微分延拓，受 M. Wibmer 启发，根植于 Cartan–Vessiot–Kolchin 理论，实现从微分闭域到代数闭域的下降。
• 在 $k(q,x)$ 上构造线性 $q$-差分系统对应的微分 Picard–Vessiot 环及其关联的伽罗瓦 $Δ$-群，其中导数为 $\delta = x\frac{d}{dx} + q\frac{d}{dq}$。
• 将该理论应用于雅可比θ函数 $\theta_q(x) = \sum_{n\in\mathbb{Z}} q^{n(n-1)/2}x^n$，其为方程 $y(qx) = qx y(x)$ 的解，以分析其微分依赖性。
• 使用导数 $\delta = \ell_q(x)x\frac{d}{dx} + q\frac{d}{dq}$，其中 $\ell_q(x) = x\frac{\theta_q'(x)}{\theta_q(x)}$，来定义参数化伽罗瓦群。
• 通过 $q$-差分与微分作用的相容性，推导 $\Delta$-系统可积性的条件，以矩阵方程 (2.7)–(2.9) 表达。
• 证明伽罗瓦 $\Delta$-群是 $\Delta$-常数，当且仅当系统容许一个相容的 $\Delta$-联络，利用满足可积性系统的矩阵 $B_1, B_2$ 的存在性。

实验结果

研究问题

• RQ1 在仅有一个导数的情况下，差分方程的参数化微分伽罗瓦理论能否从微分闭域下降到代数闭域？
• RQ2 在导数 $\delta = x\frac{d}{dx} + q\frac{d}{dq}$ 下，雅可比θ函数的伽罗瓦 $\Delta$-群是什么？它与热方程有何关系？
• RQ3 对于秩为1的 $q$-差分方程 $y(qx) = a(x)y(x)$，$a(x)$ 需满足何种条件，才能使伽罗瓦 $\Delta$-群为 $\Delta$-常数？
• RQ4 在何种条件下，$q$-差分方程的解会关于 $x\frac{d}{dx}$ 和 $q\frac{d}{dq}$ 具有微分关系？
• RQ5 何时 $q$-差分系统容许一个相容的 $\Delta$-联络？这与关联伽罗瓦 $\Delta$-群的可积性有何关系？

主要发现

• 在线性 $q$-差分方程中，伽罗瓦 $\Delta$-群可在代数闭域上定义，而不仅限于微分闭域，前提是仅有一个导数。
• 解域扩张的微分超越次数等于伽罗瓦 $\Delta$-群的微分维数，这是在下降过程中保持不变的关键不变量。
• 对于秩为1的方程 $y(qx) = a(x)y(x)$，伽罗瓦 $\Delta$-群是 $\Delta$-常数，当且仅当 $a(x) = \mu x^r \frac{g(qx)}{g(x)}$，其中 $\mu \in k(q)$，$r \in \mathbb{Z}$，$g \in k(q,x)$。
• 雅可比θ函数的伽罗瓦 $\delta$-群对应于热方程的伽罗瓦对应物，其中 $\delta = \ell_q(x)x\frac{d}{dx} + q\frac{d}{dq}$。
• $q$-差分系统的伽罗瓦 $\Delta$-群为 $\Delta$-常数，当且仅当存在满足可积性系统 (2.7)–(2.9) 的矩阵 $B_1, B_2$，从而保证 $q$-差分与微分作用的相容性。
• 该理论表明：当 $\mu \in q^\mathbb{Z}$ 时，$q$-差分系统具有 $\Delta$-常数伽罗瓦群；且 $\frac{\partial_2(\theta_q)}{\theta_q} = \frac{\ell_q(\ell_q+1)}{2} + e(x)$ 对某个 $e(x) \in \overline{C}_E$ 成立，从而确认了 $q$-依赖性结构。