[논문 리뷰] Theory of Transformation Groups, by S. Lie and F. Engel (Vol. I, 1888). Modern Presentation and English Translation

Joël Merker|arXiv (Cornell University)|2010. 03. 16.

Mathematics and Applications인용 수 15

한 줄 요약

이 논문은 1888년 소프스 히에와 프리드리히 엔겔의 연속 변환군 이론에 대한 기초적인 저작을 현대적 영어로 번역하고 해설한다. 이는 유한한 매개변수로 매개변수화된 국소 해석적 미분동형사상군 이론을 수립한다. 미분형상 생성자 개념을 편미분방정식을 통해 도입하고, 군 공리가 구조 상수 행렬의 존재를 암시함을 증명하며, 유한 변환들이 이러한 생성자를 적분하여 유도됨을 보여주며, 실수 직선 위의 사영군을 사례로 제시한다.

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} $ 를 도입한다.
• 조합과 역원 공리를 기반으로 한 군 공리에서 기초 편미분방정식계 $ \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 $ 보다 작을 수 있다.
• 군 공리로부터 기초 편미분방정식계 $ \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) $ 를 가진 기본 벡터장들의 선형결합이며, 군의 리 대수를 생성한다.
• 실수 직선 위의 사영군의 세 개의 미분형상 생성자는 $ 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 $ 에 대해 군이 일파라미터 가중치임을 보여준다.
• 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} $ 이다.