[論文レビュー] Theory of Transformation Groups, by S. Lie and F. Engel (Vol. I, 1888). Modern Presentation and English Translation

Joël Merker|arXiv (Cornell University)|Mar 16, 2010

Mathematics and Applications被引用数 15

ひとこと要約

本論文は、ソフス・リエとフリードリッヒ・エンゲルの1888年の基礎的業績である連続変換群の理論を、現代的な英語訳と解説を加えて提示する。この理論は、有限のパラメータでパrameter化された局所的解析的微分同相群の理論を確立する。無限小生成子を偏微分方程式を通じて導入し、群公理が構造定数行列の存在を示すこと、および有限変換がこれらの生成子を統合することで得られることを証明する。具体例として、実直線上の射影群が示される。

ABSTRACT

The goal of this modern presentation, followed by an English translation from the German, is to make available some parts of Lie's very systematic mathematical thought which deserve to join the contemporary literature, and above all also, to be read.

研究の動機と目的

• 連続変換群に関するリエとエンゲルの1888年原典を、現代的で理解しやすい英語での解説を提供すること。
• 解析的微分同相の族が局所連続群を形成する条件を明確にすること、特に余分なパラメータを除去することに焦点を当てる。
• 群の構造を支配する基本的な偏微分方程式を確立し、群公理から無限小生成子を導出すること。
• 有限群変換が、無限小生成子を統合することでどのように再構成できるかを示すこと、具体例として実直線上の射影群を用いる。
• 逆元公理が合成公理から単独で導けないことを証明し、リエの初期仮定における誤解を是正すること。

提案手法

• 変換写像 $ f_i(x; a) $ の局所的テイラー展開を用いて、パラメータ依存性を係数写像 $ \textsf{U}_\text{infty} $ で分析する。
• 係数写像の一般ランク $ \rho_\text{infty} $ の概念を導入し、本質的パラメータの最小数を特定する。
• 合成と逆元の群公理から、変換写像を支配する基本的なPDE系 $ \frac{\partial f_i}{\partial a_k}(x; a) = -\sum_j \psi_{kj}(a) \frac{\partial f_i}{\partial a_j}(x; e) $ を導出する。
• 無限小生成子 $ X_k^a|_x = \sum_i \frac{\partial f_i}{\partial a_k}(x; a) \frac{\partial}{\partial x_i} $ を、パラメータ $ a $ における群作用の接ベクトルとして定義する。
• 無限小増分 $ a_k = a_k^0 + \delta t_k $ の手法を用いて、変換の線形化形を導出し、無限小生成子を抽出する。
• 常微分方程式 $ \frac{dx'}{\lambda_1 + \lambda_2 x' + \lambda_3 (x')^2} = dt $ の統合手法を適用し、無限小生成子から有限変換を再構成する。

実験結果

リサーチクエスチョン

• RQ1 解析的微分同相の族から余分なパラメータを除去し、最小パラメータ化を達成するための条件は何か？
• RQ2 合成と逆元の群公理が、変換写像を支配する偏微分方程式系にどのように導くか？
• RQ3 連続群の逆演算は、合成公理から単独で導けるか、それとも独立しているか？
• RQ4 連続変換群の無限小生成子の幾何学的・代数的構造は何か？
• RQ5 常微分方程式の統合によって、有限群変換はどのように無限小生成子から再構成できるか？

主な発見

• 変換群における本質的パラメータの数は、係数写像 $ \textsf{U}_\text{infty} $ の一般ランク $ \rho_\infty $ によって決定され、元のパラメータ数 $ r $ よりも小さいことがある。
• 群公理はPDE系 $ \frac{\partial f_i}{\partial a_k}(x; a) = -\sum_j \psi_{kj}(a) \frac{\partial f_i}{\partial a_j}(x; e) $ を導く。ここで行列 $ (\psi_{kj}) $ は群パラメータにのみ依存し、単位元近傍で局所的に可逆である。
• 無限小生成子 $ X_k^a|_x = \sum_i \frac{\partial f_i}{\partial a_k}(x; a) \frac{\partial}{\partial x_i} $ は、基本ベクトル場の線形結合であり、係数は $ -\psi_{kj}(a) $ である。これらは群のリー代数を張る。
• 実直線上の射影群の3つの無限小生成子は、$ X_1(f) = \frac{\partial f}{\partial x} $、$ X_2(f) = x \frac{\partial f}{\partial x} $、$ X_3(f) = x^2 \frac{\partial f}{\partial x} $ であり、それぞれパラメータ $ \delta t_1, \delta t_2, \delta t_3 $ に対応する。
• 射影群の一般有限変換は $ \frac{x' - \alpha}{x' - \beta} = \overline{\gamma} \frac{x - \alpha}{x - \beta} $ で与えられ、ここで $ \overline{\gamma} = e^{\gamma t} $ であり、$ \alpha, \beta $ を固定すれば群は1パラメータ族であることが示される。
• ODE $ \frac{dx'}{\lambda_1 + \lambda_2 x' + \lambda_3 (x')^2} = dt $ の解は $ \frac{x' - \alpha}{x' - \beta} = e^{\gamma t} \frac{x - \alpha}{x - \beta} $ となり、ここで $ \alpha, \beta $ は二次方程式 $ \lambda_3 z^2 + \lambda_2 z + \lambda_1 = 0 $ の根であり、$ \gamma = \sqrt{\lambda_2^2 - 4\lambda_1\lambda_3} $ である。