[논문 리뷰] Magic squares and matrix models of Lie algebras

Christine H Barton, Anthony Sudbery|ArXiv.org|2002. 03. 01.

Advanced Topics in Algebra참고 문헌 13인용 수 4

한 줄 요약

이 논문은 옥토니언과 대체 대수를 사용하여 예외적 리 대수군의 행렬 모델을 구성하며, su(3), sl(3), sp(6)와 같은 고전적 리 대수군을 실수 형태의 E6, E7, F4로 일반화한다. 분할 조합 대수를 통해 티츠의 마법의 정사각형 구성법을 확장하여 이러한 대수군에 대해 대칭적이고 행렬 기반의 기술을 도출하며, 옥토니언의 유사체를 통해 예외적 대수군과 고전적 리 대수군을 통합한다.

ABSTRACT

This paper is concerned with the description of exceptional simple Lie algebras as octonionic analogues of the classical matrix Lie algebras. We review the Tits-Freudenthal construction of the magic square, which includes the exceptional Lie algebras as the octonionic case of a construction in terms of a Jordan algebra of hermitian 3x3 matrices (Tits) or various plane and other geometries (Freudenthal). We present alternative constructions of the magic square which explain its symmetry, and show explicitly how the use of split composition algebras leads to analogues of the matrix Lie algebras su(3), sl(3) and sp(6). We adapt the magic square construction to include analogues of su(2), sl(2) and sp(4) for all real division algebras.

연구 동기 및 목표

• 예외적 리 대수군을 고전적 행렬 리 대수군과 유사하게 행렬 기반으로 기술하는 것.
• 분할 조합 대수를 사용하여 티츠-프리젠탈의 마법의 정사각형 구성법을 비콤팩트 실수 형태로 확장하는 것.
• 대체 대수 K에 대해 Lie 대수 sa(3,K), sl(3,K), sp(6,K)를 정의하여 K=C일 때 고전적 대수군을 회복하고 K=O일 때 예외적 실수 형태를 얻는 것.
• 2×2 행렬으로의 일반화를 통해 모든 실수 분할 대수군에 대해 su(2), sl(2,C), sp(4,C)의 유사체를 도출하는 것.
• 빈버그의 텐서곱 방법과 라몽의 삼중성 대수를 사용하여 마법의 정사각형에 대해 명백히 대칭적인 구성법을 수립하는 것.

제안 방법

• 대체 대수 K에 대해 Lie 대수 sa(3,K), sl(3,K), sp(6,K)를 행렬 대수군으로 구성하며, K=O일 때 F4, E6, E7의 실수 형태를 얻는다.
• 티츠의 마법의 정사각형 T(K,J)를 분할 형태의 K를 사용하도록 수정하여, 행렬 리 대수군에 대응하는 행을 가진 비대칭 마법의 정사각형을 생성한다.
• 빈버그의 구성법을 사용하여 대수군의 텐서곱을 적용하여 마법의 정사각형에 대해 명백한 대칭성을 확보한다.
• 라몽의 삼중성 대수를 사용하여 마법의 정사각형에 대해 대안적인 대칭적 구성법을 제공한다.
• 대체 대수군에서의 일반화된 행렬 항등식과 결합자 관계를 활용하여 폐쇄성과 자코비 항등식을 검증한다.
• H3(K)와 A3(K)에서의 추적 및 조르당 곱 성질을 사용하여 구조 상수와 교환자 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 예외적 리 대수군은 어떻게 고전적 행렬 리 대수군의 옥토니언 유사체로 기술될 수 있는가?
• RQ2 분할 조합 대수군은 티츠의 마법의 정사각형을 비콤팩트 실수 형태로 확장하는 데 어떤 역할을 하는가?
• RQ3 행렬 리 대수군 sa(3,K), sl(3,K), sp(6,K)는 K=C일 때 고전적 대수군을 어떻게 일반화하고 K=O일 때 E6, E7, F4의 실수 형태를 어떻게 도출하는가?
• RQ4 텐서곱 또는 삼중성과 같은 대안적 대수적 프레임워크를 사용하여 마법의 정사각형 구성법을 명백히 대칭적으로 만들 수 있는가?
• RQ5 대체 대수군과 그에 관련된 리 대수군의 맥락에서 2×2와 3×3 행렬 구성법 사이의 관계는 무엇인가?

주요 결과

• Lie 대수 sa(3,O)는 F4의 컴팩트 실수 형태와 동형이며, su(3)을 옥토니언 경우로 확장한다.
• Lie 대수 sl(3,O)는 E6의 비콤팩트 실수 형태이며, sl(3,C)을 옥토니언 설정으로 일반화한다.
• Lie 대수 sp(6,O)는 E7의 비콤팩트 실수 형태이며, 복소수 경우의 sp(6,C)와 유사하다.
• 분할 대수군에 대해 L3(K,R) = sa(3,K), L3(K,C~) = sl(3,K), L3(K,H~) = sp(6,K)이며, 이는 비대칭 마법의 정사각형을 이룬다.
• 2×2 행렬 구성법은 sa(2,K), sl(2,K), sp(4,K)를 도출하며, K=C일 때 su(2), sl(2,C), sp(4,C)로 축소되며, 허수 정규화 대수군과 동형이다.
• 논문은 대체 대수군 위의 행렬 대수군에 대한 교환자 항등식이 결합자 항등식과 추적 조건을 통해 자코비 항등식을 만족함을 증명하여, 리 대수군의 구조가 확인됨을 보였다.