[論文レビュー] Quantization of Galois theory, Examples and Observations

Katsunori Saito, Hiroshi Umemura|arXiv (Cornell University)|Dec 14, 2012

Polynomial and algebraic computation参考文献 2被引用数 5

ひとこと要約

本稿では、非線形差分微分方程式におけるガロア理論の量子化を提案し、$q$-deformedな設定において、量子群が自然にガロア群として現れることが示されている。形式的変形と非可換代数的構造を用いて、$q$-差分微分拡大の量子ガロア群を量子形式群 $\widehat{QG}_{III\,q}$ として同定した。$q$ が単位根でない場合の無限小変形と、同型の予想的同型から証拠を得ている。

ABSTRACT

If we consider a q-analogue of linear differential equation, Galoois group of the q-analogue difference equation is still a linear algebraic group. Namely, by a quantization of linear differential equation, Galois group is not quantized. We show by Examples that if we consider non-linear equations Galois group is quantized. The results depend on general differential Galois theory for non-linear differential equations developed by the second author.

研究の動機と目的

• 線形方程式を超えたガロア理論の拡張を、$q$-変形の文脈における非線形差分微分方程式の観点から行う。
• 特に $q$-Painlevé型方程式において、量子群が $q$-変形系におけるガロア群として出現するかどうかを調査する。
• 非可換代数的構造と変形函手を用いて、$q$-差分微分体拡大のガロア群を形式化する。
• 非可換変形函手 $\mathcal{NCF}_{L/k}$ と量子形式群 $\widehat{QG}_{III\,q}$ の間の予想的同型を確立する。

提案手法

• 微分体拡大に対してガロア包 $\mathcal{L}/\mathcal{K}$ を定義するため、普遍的テイラー準同型 $\iota: L \to L^{\sharp}[[X]]$ を構成する。
• 可換 $L^{\natural}$-代数の圏に形式的変形理論を適用し、冪零パラメータを用いて無限小変形を分析する。
• 函手 $\mathcal{F}_{L/k}(A)$ を導入し、その像を $\hat{G}_{III} = \{(e, b(W_1)) \mid e-1, \text{coeffs of } b(W_1) \text{ nilpotent}\}$ に同定する。
• 行列成分が $ef = qfe$ を満たす量子形式群として $\widehat{QG}_{III\,q}(A)$ を非可換代数に拡張して定義する。
• $\widehat{QG}_{III\,q}$ 上の群構造を、積則 $ (G, \varphi) \star (H, \psi) = (GH, \varphi(gW_1 + (g-1)t + h) + \psi(W_2)) $ を用いて定義する。
• 函手的単射 $\mathcal{NCF}_{L/k}(A) \to \widehat{QG}_{III\,q}(A)$ を提案し、$q$ が単位根でない場合に同型になるという予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 非線形差分微分方程式、特に $q$-変形設定において、ガロア理論を量子化できるか？
• RQ2 量子群は、$q$-差分微分体拡大において自然にガロア群として出現するか？
• RQ3 非可換変形函手 $\mathcal{NCF}_{L/k}$ は、量子形式群 $\widehat{QG}_{III\,q}$ と同型であるか？
• RQ4 $q$-変形された $\sigma$-微分拡大における無限小ガロア群の代数的構造は何か？
• RQ5 函手の単射 $\mathcal{NCF}_{L/k} \to \widehat{QG}_{III\,q}$ が同型になる条件は何か？

主な発見

• $q$ が単位根でない場合、$q$-差分微分拡大のガロア群は、量子形式群 $\widehat{QG}_{III\,q}$ と同型であると予想される。
• 標準的準同型 $\iota: \mathcal{L} \to F(\mathbb{N}, A[[W_1,W_2]])[[X]]$ の無限小変形は、冪零変形の群函手 $\hat{G}_{III}$ によってパrameter化される。
• 非可換変形函手 $\mathcal{NCF}_{L/k}$ は $\widehat{QG}_{III\,q}$ に単射であり、その像は行列成分 $ef = qfe$ と冪零係数を満たす。
• 量子形式群 $\widehat{QG}_{III\,q}$ は結合的積と逆元演算を備えており、群的構造が確認される。
• 予想6.5では $\mathcal{NCF}_{L/k} \simeq \widehat{QG}_{III\,q}$ を提示し、量子ガロア群がまさにこの量子形式群であると示唆する。
• この予想は、非分解型完全列 $0 \to A[[W_1]]_+ \to \mathrm{Inf\text{-}gal}(L/k)(A) \to \hat{\mathbb{G}}_{m,L^{\natural}}(A) \to 1$ を意味し、古典的および量子ガロア構造を結びつける。