[論文レビュー] 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$-差分方程式のガロア $Δ$-群が $Δ$-定数であるための必要十分条件を証明すること。

提案手法

• M. Wibmer にインspired された微分的延長を用い、Cartan–Vessiot–Kolchin 理論に基づいて、微分閉体から代数閉体への降下を達成する。
• $\delta = x\frac{d}{dx} + q\frac{d}{dq}$ を備えた $k(q,x)$ 上の線形 $q$-差分系に対して、微分的ピカード・ヴェッセイオ環および関連するガロア $Δ$-群を構成する。
• ヤコビのシータ関数 $\theta_q(x) = \sum_{n\in\mathbb{Z}} q^{n(n-1)/2}x^n$（$y(qx) = qx y(x)$ の解）を用いて、その微分的依存性を分析する。
• $\ell_q(x) = x\frac{\theta_q'(x)}{\theta_q(x)}$ を用いた導分 $\delta = \ell_q(x)x\frac{d}{dx} + q\frac{d}{dq}$ を用いて、パラメータ付きガロア群を定義する。
• $q$-差分作用と微分作用の整合性を用いて、$\Delta$-系の可積分性条件を行列方程式 (2.7)–(2.9) で表現する。
• ガロア $\Delta$-群が $\Delta$-定数であるための必要十分条件を、行列 $B_1, B_2$ が可積分性系を満たすという事実を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 1 個の導分を持つ場合に、差分方程式のパラメータ付き微分ガロア理論を微分閉体から代数閉体へ降下させることは可能か？
• 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$-群は、熱方程式のガロア的類似に対応する。
• $q$-差分系のガロア $\Delta$-群が $\Delta$-定数であるための必要十分条件は、行列 $B_1, B_2$ が可積分性系 (2.7)–(2.9) を満たすことである。これにより、$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$-依存構造が確認される。