[論文レビュー] Differential Galois Theory of Algebraic Lie-Vessiot Systems

David Blázquez-Sanz, Juan José Morales-Ruiz|ArXiv.org|Jan 28, 2009

Algebraic Geometry and Number Theory参考文献 23被引用数 12

ひとこと要約

本稿は、代数的同次空間上の代数的 Lie-Vessiot 系に対する微分ガロア理論を発展させ、古典的 Picard-Vessiot 理論を拡張する。Lie-Kolchin 減少法を導入し、このような系が Kolchin の強正規拡大を用いて解けることを示し、幾何学的にはガロア群上の主同次空間上の有理関数体として解釈される。

ABSTRACT

In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of fundamental vector fields of an algebraic Lie group action. Those systems are the building blocks for differential equations that admit superposition of solutions. Lie-Vessiot systems in algebraic homogeneous spaces include the case of linear differential equations. Therefore, the differential Galois theory for Lie-Vessiot systems is an extension of the classical Picard-Vessiot theory. In particular, algebraic Lie-Vessiot systems are solvable in terms of Kolchin's strongly normal extensions. Therefore, strongly normal extensions are geometrically interpreted as the fields of functions on principal homogeneous spaces over the Galois group. Finally we consider the problem of integrability and solvability of automorphic differential equations. Our main tool is a classical method of reduction, somewhere cited as Lie reduction. We develop and algebraic version of this method, that we call Lie-Kolchin reduction. Obstructions to the application are related to Galois cohomology.

研究の動機と目的

• 古典的微分ガロア理論を代数的同次空間上の代数的 Lie-Vessiot 系へ拡張すること。
• Kolchin の強正規拡大の幾何的解釈をガロア群上の主同次空間の観点から与えること。
• 自動同型微分方程式の可積分性を分析するための、Lie の還元法の代数的版、すなわち Lie-Kolchin 減少法を構築すること。
• ガロアコhomologyを用いて可積分性の障害を同定すること。
• 線形および非線形微分方程式にスーパー位置則を備える枠組みを統一的かつ一般化した Picard-Vessiot フレームワークを構築すること。

提案手法

• 微分体 $Τ$ 上の標準的微分作用素と整合する $Ω_{M_{\mathcal{K}}}$ 上の微分作用素として Lie-Vessiot 系を形式化する。
• 代数幾何と微分代数を用いて、定数体が $Τ$ である微分体上の代数的多様体上の微分作用素を研究する。
• Lie の古典的還元法の代数的版として Lie-Kolchin 減少法を導入し、系の体系的単純化を可能にする。
• 代数群の構造およびその同次空間への作用を用いて、系を可解な形に還元する。
• 微分ガロア理論における強正規拡大の理論に依拠し、可解性を特徴付ける。
• 特に torsor と降下の文脈において、ガロアコhomologyを用いて還元の障害を分析する。

実験結果

リサーチクエスチョン

• RQ1 微分ガロア理論は、代数的同次空間上の代数的 Lie-Vessiot 系へどのように一般化可能か？
• RQ2 Lie-Vessiot 系の文脈において、Kolchin の強正規拡大の代数的幾何的解釈は何か？
• RQ3 Lie-Kolchin 減少法は、古典的 Lie 還元を代数的設定へどのように拡張するか？
• RQ4 ガロアコhomologyは、自動同型微分方程式の可積分性を妨げる要因として果たす役割は何か？
• RQ5 同次空間上の Lie-Vessiot 系は、線形微分方程式およびスーパー位置則とどのように関係するか？

主な発見

• 代数的 Lie-Vessiot 系は、Kolchin の強正規拡大を用いて可解であり、Picard-Vessiot 理論を一般化する。
• 強正規拡大は、ガロア群上の主同次空間上の有理関数体として幾何学的に実現される。
• Lie-Kolchin 減少法は、同次空間上の Lie-Vessiot 系を還元する体系的な代数的枠組みを提供する。
• Lie-Kolchin 減少法への応用の障害は、ガロア群のコホモロジーに符号化されており、特にガロア群のコホモロジーにおいて顕在する。
• この理論は、スーパー位置則を備える線形および非線形微分方程式の可積分性の研究を統一的に扱う。
• この枠組みは、線形微分方程式が特殊な場合として含まれる代数的同次空間上の系に適用可能である。