[논문 리뷰] E7 groups from octonionic magic square

Sergio L. Cacciatori, Francesco Dalla Piazza외 1명|arXiv (Cornell University)|2010. 07. 27.

Advanced Topics in Algebra참고 문헌 11인용 수 5

한 줄 요약

이 논문은 오ктوني온 마법의 정사각형 구성법을 사용하여 컴act 예외적 리군 $E_7$의 명시적 행렬 실현을 제시하며, 그 최대 컴팩트 부분군—$U=(E_6\times U(1))/\mathbb{Z}_3$, $SU(8)/\mathbb{Z}_2$, 및 $(Σ\mathrm{pin}(12)\times SU(2))/\mathbb{Z}_2^2$—기반의 일반화된 오일러 각도 매개변수화를 제공한다. 주요 기여는 고도(133) 및 기본(56) 표현에서 $E_7$의 완전하고 계산에 용이한 매개변수화를 제공함으로써 명시적 하르 측도 계산과 블랙홀 물리학 및 격자 양성치 이론에의 응용을 가능하게 한다.

ABSTRACT

In this paper we continue our program, started in [2], of building up explicit generalized Euler angle parameterizations for all exceptional compact Lie groups. Here we solve the problem for E7, by first providing explicit matrix realizations of the Tits construction of a Magic Square product between the exceptional octonionic algebra J and the quaternionic algebra H, both in the adjoint and the 56 dimensional representations. Then, we provide the Euler parametrization of E7 starting from its maximal subgroup U=(E6 x U(1))/Z3. Next, we give the constructions for all the other maximal compact subgroups.

연구 동기 및 목표

• 티츠 구성법과 오ктوني온 마법의 정사각형을 사용하여 컴팩트 예외적 리군 $E_7$의 명시적 행렬 실현을 제공하기 위해.
• 특히 $U=(E_6\times U(1))/\mathbb{Z}_3$에 기반한 $E_7$의 일반화된 오일러 각도 매개변수화를 개발하기 위해.
• 비임계적 격자 양성치 이론과 블랙홀 어트랙터 역학에 있어 핵심적인 하르 측도 및 $E_7$의 매개변수 범위를 명시적으로 계산할 수 있도록 하기 위해.
• 이전 연구에서 시작된 프로그램을 모든 예외적 컴팩트 리군으로 확장하여 $E_7$의 경우를 완성하기 위해.
• 133 및 56 표현을 위한 수학 소프트웨어를 통해 계산 도구를 제공하여 물리학 및 수학 분야의 후속 응용을 지원하기 위해.

제안 방법

• 오ктوني온 대수 $\mathfrak{J}$와 헤밀티언 대수 $\mathbb{H}$를 사용한 티츠 구성법을 통해 리 대수 $\mathfrak{e}_7$를 구성하여, 고도(133) 및 기본(56) 표현에서 명시적 행렬 형태를 도출하기 위해.
• 최대 부분군 $U=(E_6\times U(1))/\mathbb{Z}_3$에서 출발하여 루트 체계 분해 및 카르탕-웨일 기저 기법을 사용해 $E_7$의 일반화된 오일러 매개변수화를 유도하기 위해.
• 유니타리 웨일 기법을 적용하여 $E_7$의 실수 형태, 즉 $E_{7(7)}$ 및 $E_{7(-5)}$와 그에 관련된 대칭 공간을 구성하기 위해.
• 카르탕 부분대수 및 루트 공간 분해를 위한 정규직교 기저를 사용하여 고도 표현의 야코비안 행렬식을 계산하고, 이를 통해 매개변수 공간에서의 하르 측도를 도출하기 위해.
• 양의 루트와 루트 벡터 $J_\beta^\pm$의 구조를 활용하여 매개변수에 의존하는 야코비안을 매개변수 벡터 $\vec{y}$에 대한 루트 평가의 사인 곱으로 표현하기 위해.
• 수학 소프트웨어를 통해 구성 과정을 구현하였으며, 133 및 56 표현에 대한 공개된 코드를 제공하여 재현 가능성과 후속 계산을 지원하기 위해.

실험 결과

연구 질문

• RQ1 오ктوني온 마법의 정사각형 구성법을 사용하여 컴팩트 예외적 리군 $E_7$를 행렬 군으로 명시적으로 실현할 수 있는가?
• RQ2 최대 부분군 $(E_6\times U(1))/\mathbb{Z}_3$에 기반한 $E_7$의 일반화된 오일러 각도 매개변수화는 무엇인가?
• RQ3 매개변수화로부터 하르 측도를 명시적으로 계산할 수 있으며, 매개변수의 범위는 무엇인가?
• RQ4 133 및 56 표현에서의 $E_7$의 행렬 실현은 무엇이며, 티츠 구성법과 어떻게 관련이 있는가?
• RQ5 같은 프레임워크를 사용하여 $E_{7(7)}$ 및 $E_{7(-5)}$와 같은 다양한 실수 형태의 $E_7$를 어떻게 구성할 수 있는가?

주요 결과

• 논문은 오ктوني온 및 헤밀티언 대수에 적용된 티츠 구성법을 통해 고도(133) 표현에서 $E_7$의 완전한 행렬 실현을 제공한다.
• 최대 부분군 $(E_6\times U(1))/\mathbb{Z}_3$에서 출발한 $E_7$의 일반화된 오일러 매개변수화가 구성되었으며, 루트 체계 분석을 통해 명시적인 매개변수 범위가 유도되었다.
• 하르 측도는 매개변수에 대한 선형 형식의 사인 곱으로 표현되며, $|f(\vec{y})| = \prod_{\beta \in \mathrm{Rad}^+} \sin\left|\sum_a y^a \beta(D_a)\right|$ 로 기술되어 명시적 적분이 가능해졌다.
• 56차원 기본 표현의 $E_7$가 명시적으로 실현되었으며, 양의 루트에 대응하는 루트 벡터 $J_\beta^\pm$의 기저가 제공되었고, 루트 체계의 구조가 완전히 기술되었다.
• 유니타리 웨일 기법을 통해 비콤팩트 실수 형태인 $E_{7(7)}$ 및 $E_{7(-5)}$로의 확장이 이루어졌으며, $E_{7(-5)}$의 최대 컴팩트 부분군 $K = \mathrm{SO}(4)\times\mathrm{SU}(2)\times\mathbb{Z}_2^4$ 가 확인되었다.
• 133 및 56 표현을 위한 수학 소프트웨어 코드가 www.dfm.uninsubria.it/E7/ 에 공개되어 있으며, 계산 응용을 지원한다.