[논문 리뷰] Faithful representations of Lie algebras and Homogeneous Spaces

Petros A. Terzis|arXiv (Cornell University)|2013. 04. 30.

Nonlinear Waves and Solitons참고 문헌 30인용 수 4

한 줄 요약

이 논문은 실수 리 대수의 차원 ≤4에 대한 충실한 표현을 계산하기 위한 알고리즘적이고 순수 대수적 방법을 제시한다. 이는 이상의 유니버설 커버링 대수의 쌍대 공간 위에서 작용한다. 구조 상수를 사용하여, 매트릭스 지수를 통해 왼쪽 불변 벡터장(킬링 장), 오른쪽 불변 벡터장, 왼쪽 불변 1형식, 그리고 군의 조합 함수를 계산함으로써 미분방정식을 풀지 않고도 동차 다양체를 완전히 특성화할 수 있다.

ABSTRACT

The faithful representations of real Lie algebras g with dimensions $n\leq 4$ acting on the dual space of the universal covering algebra of an ideal s of g, are calculated. With the help of left and right translations of the Lie group, we define the homogeneous manifolds of dimension n and we calculate the Killing fields (generators of left translations), the invariant fields (generators of right translations) and the left invariant 1-forms.

연구 동기 및 목표

• 이상의 유니버설 커버링 대수의 쌍대 공간 위에서 작용하는 실수 리 대수의 차원 ≤4에 대한 체계적인 충실한 표현을 계산하기 위해.
• 이와 관련된 동차 다양체에 대해 왼쪽 불변 벡터장(킬링 장), 오른쪽 불변 벡터장 및 왼쪽 불변 1형식을 유도하기 위해.
• 구조 상수를 기반으로 한 매트릭스 지수를 사용하여 편미분 방정식을 풀 필요 없이 군의 조합 함수를 계산하기 위해.
• 컴퓨터 대수 시스템에서 실행 가능한 알고리즘적이고 순수 대수적 프레임워크를 제공하여 리 군 위의 기하학적 구조를 명시적으로 계산하기 위해.
• 구조 상수와 대수적 연산만을 사용하여 저차원 리 군의 동차 공간을 체계적으로 특성화할 수 있는 자가 포함된 구조적 방법을 제공하기 위해.

제안 방법

• 이상의 유니버설 커버링 대수의 쌍대 공간 위에서 리 대수의 충실한 표현을 구성한다.
• 리 대수의 구조 상수를 사용하여 표현 행렬을 정의하고, 이를 지수화하여 유한한 군 원소를 생성한다.
• 항등원 근처에서 군의 조합 함수의 테일러 전개를 적용하여 왼쪽 및 오른쪽 이동 생성자를 유도한다.
• 조합 함수의 미분을 통해 왼쪽 이동의 생성자인 킬링 장과 오른쪽 이동의 생성자인 불변 벡터장을 유도한다.
• 왼쪽 이동 사상의 야코비안 행렬의 역행렬을 사용하여 왼쪽 불변 1형식을 계산한다.
• 매트릭스 지수를 계산하기 위해 라그랑주–실베스터 보간법을 활용하여 군의 조합 함수를 명시적으로 계산할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 실수 리 대수의 차원 ≤4에 대해 그 구조 상수만을 사용하여 충실한 표현을 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ2 편미분 방정식을 풀지 않고도 동차 다양체 위에서 킬링 장과 불변 벡터장을 명시적으로 대수적으로 유도할 수 있는 방법은 무엇인가?
• RQ3 리 군의 군 조합 함수는 그 리 대수의 구조 상수로부터 어떻게 대수적으로 계산할 수 있는가?
• RQ4 이상의 유니버설 커버링 대수의 쌍대 공간과 리 대수의 충실한 표현 사이의 관계는 무엇인가?
• RQ5 왼쪽 불변 1형식과 동차 다양체의 불변 기저는 오직 대수적 연산과 매트릭스 지수화를 통해 체계적으로 유도될 수 있는가?

주요 결과

• 이 방법은 이상의 유니버설 커버링 대수의 쌍대 공간 위에서 작용함으로써 모든 실수 리 대수의 차원 ≤4에 대해 충실한 표현을 성공적으로 계산한다.
• 킬링 장과 불변 벡터장은 조합 함수의 미분을 통해 대수적으로 유도되어 편미분 방정식을 풀 필요가 없다.
• 왼쪽 불변 1형식은 왼쪽 불변 벡터장의 쌍대 기저로서 왼쪽 이동 사상의 야코비안의 역행렬을 사용하여 계산된다.
• 군의 조합 함수는 라그랑주–실베스터 보간법을 기반으로 한 매트릭스 지수화를 통해 명시적으로 계산된다.
• 대수 $A_{4,10}$의 경우, 행렬 지수 $\exp(\theta^\mu \Omega_\mu)$의 고유값은 $\lambda_1=0$ (중복도 2), $\lambda_{2,3}=\pm i\theta^4$ (중복도 1), $\lambda_{4,5}=\pm 2i\theta^4$ (중복도 1)이며, 이를 통해 보간 다항식의 계수 $c_k$를 명시적으로 도출할 수 있다.
• 최종 군 원소는 원래 군 매개변수 $\alpha^1, \alpha^2, \alpha^3, \alpha^4$ 에 대해 재정의된 좌표 $\theta^1, \theta^2, \theta^3$ 를 통해 표현되며, 이는 동차 다양체의 명시적 매개변수화를 가능하게 한다.