[論文レビュー] The q-analogue of the wild fundamental group (II)

Jean-Pierre Ramis, Jacques Sauloy|ArXiv.org|Nov 26, 2007

Advanced Differential Equations and Dynamical Systems参考文献 24被引用数 17

ひとこと要約

本稿は、$q$-差分加群の文脈において、$q$-異常微分作用素の密度定理および自由性定理を確立し、これらの微分作用素が野生的基本群内にザリスキ密なリー部分代数を生成することを証明する。タンナキアン形式および行列に基づく計算を用いて、著者らは、$q$-微分の場合のフレームワークを、明示的な代数的構造を伴って $q$-差分設定へと拡張する。

ABSTRACT

In [RS1], we defined q-analogues of alien derivations and stated their basic properties. In this paper, we prove the density theorem and the freeness theorem announced in loc. cit. [RS1] Ramis J.-P. and Sauloy J., 2007. The q-analogue of the wild fundamental group (I)

研究の動機と目的

• [6] で発表された多段階設定における $q$-異常微分作用素の密度定理および自由性定理を証明すること。
• 行列表現およびタンナキアン構造を用いて、$q$-異常基本群の明示的で計算可能な定式化を提供すること。
• $q$-異常微分作用素によって生成されるリー代数が、タンナキアンギャロア群においてザリスキ密であり、かつリー代数として自由であることを確立すること。
• [7] の最終的定式化に必要な基礎的な代数的構造を整備すること。これには表現論的および畳み込みに基づく記述が含まれる。

提案手法

• 整数的勾配を持つ局所的メラモーフィック $q$-差分加群の圏のガロア群 $G^{(0)}_1$ を記述するためにタンナキアン形式を用いる。
• $q$-トーラス $\mathbf{E}_q$ 上の対数的局所化と明示的な行列計算を用いて、ストークス部分群 $\mathfrak{st}$ のリー代数の要素として $q$-異常微分作用素を構成する。
• $q$-スパイラル $[c;q]$ における局所化を可能にするために、$\sigma_q f(z) = f(qz)$ による $q$-拡大作用素とヤコビのシータ関数 $\theta$ を用いて、$\mathbf{E}_q$ 上のメラモーフィック不変量および零点を定義する。
• $\dot{\Delta}^{(\delta)}_{\overline{c}}(A') - \dot{\Delta}^{(\delta)}_{\overline{c}}(A) \in \mathfrak{g}^{(\delta,\overline{c})}_{A_0}(\mathbf{C})$ の関係を用いて、接続行列の過剰対角成分を $q$-異常微分作用素の差分による再帰的手続きで計算する。
• $\theta$-トーラス $H = \mathbf{C}^* \times \mathrm{Hom}(\mathbf{C}^*/q^\mathbf{Z}, \mathbf{C}^*)$ の作用を用いて、異なる段階における $q$-異常微分作用素の随伴作用を分析する。
• 任意の段階における関手的密度定理および自由性定理を導入し、高段階の微分作用素が $H$ の随伴作用によって低段階の $q$-異常微分作用素のみに依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 $q$-差分加群に整数的勾配を持つタンナキアンギャロア群において、$q$-異常微分作用素によって生成されるリー代数は、ザリスキ的に密であるか。
• RQ2 $q$-異常基本群の $q$-アナロジーが、すべての段階において $q$-異常微分作用素によって自由に生成可能であるか。
• RQ3 $\theta$-トーラス $H$ のリー代数のストークス微分作用素への随伴作用は、異なる段階における $q$-異常微分作用素の構造とどのように関係するか。
• RQ4 異なる段階における $q$-異常微分作用素の正確な代数的関係は何か。また、これは自由リー代数との半直積として記述可能か。
• RQ5 [7] の表現論的枠組みにおいて、$\dot{\Delta}^{(\delta)}_{\overline{c}}(A)$ の非線形部は畳み込みによって表現可能か。

主な発見

• $q$-異常微分作用素は、タンナキアンギャロア群においてザリスキ密なリー部分代数を生成する。これは、多段階設定における密度定理の証明である。
• $q$-異常微分作用素は、自由性定理により、すべての段階 $\delta \geq 1$ で自由リー代数をなす。
• $\theta$-トーラス $H$ のリー代数の随伴作用は、$\Phi^{(\delta,\overline{c})}_\nu(D) = \nu(D) - (t^{-1}\gamma(\overline{c}))^\delta D$ を満たし、スケーリングとモノドロミーが微分作用素にどのように作用するかを示す。
• 同じ $B \in \mathcal{C}^{\delta-1}$ を上に持つ任意の $A, A'$ に対して、変換された $q$-異常微分作用素は $\Phi^{(\delta,\overline{c})}_\nu(\dot{\Delta}^{(\delta)}_{\overline{c}}(A)) \cdot \Phi^{(\delta,\overline{c})}_\nu(\dot{\Delta}^{(\delta)}_{\overline{c}}(A')) = 0$ を満たし、これは低段階のデータにのみ依存することを示唆する。
• 段階 $\delta$ における $q$-異常微分作用素 $\dot{\Delta}^{(\delta)}_{\overline{c}}(A)$ は、段階 $\delta' < \delta$ の $q$-異常微分作用素によって生成されるリー代数に属する。これは、普遍的な半直積構造の予想を支持する。
• $q$-異常基本群の構造は、$\mathbf{E}_q$ 上の幾何的局所化と対数的 $q$-スパイラル特異点との間の複雑な相互作用に深く関連しており、広範なキャンベル＝ハウスドルフ型の公式を必要としている。