[논문 리뷰] Moufang symmetry I. Generalized Lie and Maurer-Cartan equations

Eugen Paal|arXiv (Cornell University)|2008. 02. 25.

Mathematics and Applications참고 문헌 4인용 수 9

한 줄 요약

이 논문은 연속 무방그룹에서 결합법칙의 최소 편차를 제1차 편미분방정식으로 특성화함으로써 일반화된 리 및 머러-카르탕 방정식을 도입한다. 주요 기여는 고전적 리군에 대한 머러-카르탕 방정식을 일반화한, 왼쪽 및 오른쪽 불변 벡터장이 만족하는 새로운 교환관계를 갖는 탄성말체프 대수의 이중표현이다.

ABSTRACT

The continuous Moufang loops are characterized as the algebraic systems where the associativity law is perturbed minimally. The minimal perturbation of associativity is characterized by the first- order partial differential equations, which in a natural way generalize the Lie and Maurer-Cartan equations from the theory of Lie groups.

연구 동기 및 목표

• 비결합적 대수적 구조에서 연속 무방그룹을 결합법칙의 최소 편차로 특성화하기.
• 고전적 리 및 머러-카르탕 방정식을 리군에서 비결합적 무방그룹으로 일반화하기.
• 테일러 전개와 대칭 제약 조건을 사용하여 국소 해석적 무방그룹의 구조를 지배하는 미분방정식 유도하기.
• 왼쪽 및 오른쪽 불변 벡터장에 의한 탄성말체프 대수의 이중표현 수립하기.
• 무방그룹의 제3차 결합자들이 완전히 반대칭임을 보이고, 일반화된 아키비스 항등식을 도출하기.

제안 방법

• 항등원 근처에서 국소 해석적 무방그룹의 곱셈을 테일러 전개로 매개변수화하고, 보조 함수 $ u^i_j, v^i_j, u^i_{jk}, v^i_{jk} $ 를 도입한다.
• 두 번째 항에서 유도된 구조상수 $ c^i_{jk} = a^i_{jk} - a^i_{kj} $ 를 정의하여 비결합성을 캡처한다.
• 무방그룹 항등식을 미분하고 결합법칙의 편차에 대한 최소성 조건을 도입함으로써 제1차 미분 제약 조건을 유도한다.
• 일반화된 머러-카르탕 방정식 (6.2a,b) 을 제1차 함수 $ u^i_j $ 와 $ v^i_j $ 를 위한 미분방정식으로 도입하며, 도함수와 구조상수를 포함한다.
• 왼쪽 및 오른쪽 불변 벡터장 $ L_x, R_x $ 의 관점에서 일반화된 머러-카르탕 방정식을 표현함으로써 탄성말체프 대수의 이중표현을 이끌어낸다.
• 제3차 최소성 조건을 유도하고 제3차 결합자가 완전히 반대칭임을 보이며, 아키비스 항등식 $ J(x,y,z) = 6(x,y,z) $ 를 도출한다.

실험 결과

연구 질문

• RQ1 연속 무방그룹에서의 결합법칙 편차는 어떻게 제1차 편미분방정식으로 특성화될 수 있는가?
• RQ2 비결합적 무방그룹의 맥락에서 고전적 머러-카르탕 방정식은 어떻게 일반화되는가?
• RQ3 무방그룹 상의 왼쪽 및 오른쪽 불변 벡터장은 어떻게 일반화된 교환관계를 만족하는가?
• RQ4 탄성말체프 대수는 어떻게 무방그룹의 비결합적 구조를 코딩하는가?
• RQ5 제3차 결합자의 완전한 반대칭성은 탄성대수에서 일반화된 아키비스 항등식으로 이르는가?

주요 결과

• 일반화된 머러-카르탕 방정식 (6.2a,b) 는 혼합 도함수를 통해 비결합성을 포함하는 고전적 머러-카르탕 방정식의 최소 편차를 제공한다.
• 왼쪽 및 오른쪽 불변 벡터장 $ L_x $ 과 $ R_x $ 는 $ [L_x, L_y] = L_{[x,y]} - 2[L_x, R_y] $ 등과 같은 이중표현 관계를 만족하며, 이는 리대수의 교환관계를 일반화한다.
• 국소 해석적 무방그룹의 제3차 결합자는 그 하위 인덱스에 대해 완전히 반대칭이며, 이는 $ l^i_{jkl} = -l^i_{klj} = -l^i_{lkj} $ 등으로 표현된다.
• 탄성말체프 대수의 아키비스 항등식은 $ J(x,y,z) = 6(x,y,z) $ 로 주어지며, 여기서 $ J $ 는 자코비ator 이고 $ (x,y,z) $ 는 결합자이다.
• 구조상수 $ c^i_{jk} $ 는 말체프 대수를 정의하며, 이는 자코비 항등식을 만족하지는 않지만 말체프 항등식을 만족하는 비리대수이다.
• 결합적 극한(즉, 리군의 경우) 에서 일반화된 머러-카르탕 방정식은 $ [L_x, R_y] = 0 $ 인 표준 머러-카르탕 방정식으로 축소되며, 고전적 경우를 복원한다.