[논문 리뷰] Arithmetic groups and the affine E8 Dynkin diagram

John F. R. Duncan|ArXiv.org|2008. 10. 08.

Algebraic structures and combinatorial models참고 문헌 4인용 수 7

한 줄 요약

이 논문은 $ \mathrm{PSL}_2(\mathbb{R})$의 산술 부분군과 아핀 $E_8$ 딜린 지도의 노드 사이의 대응을, 격자와 모듈라 군의 성질에 기반한 원시적인 군론적 설명으로 제공한다. 또한 프레임 형상과 주요 모듈러스를 통해 콘웨이 군 $ \mathrm{Co}_0$의 공共役류를 동일한 지도에 연결함으로써 McKay의 몬스터 $E_8$ 관찰에 대한 수퍼-아날로그를 수립한다.

ABSTRACT

Several decades ago, John McKay suggested a correspondence between nodes of the affine E8 Dynkin diagram and certain conjugacy classes in the Monster group. Thanks to Monstrous Moonshine, this correspondence can be recast as an assignment of discrete subgroups of PSL2 to nodes of the affine E8 Dynkin diagram. The purpose of this article is to give an explanation for this latter correspondence using elementary properties of the group PSL2. We also obtain a super analogue of McKay's observation, in which conjugacy classes of the Monster are replaced by conjugacy classes of Conway's group -- the automorphism group of the Leech lattice.

연구 동기 및 목표

• 산술 부분군과 아핀 $E_8$ 딜린 지도의 노드 사이의 대응을, 오직 $ \mathrm{PSL}_2(\mathbb{R})$의 성질에 기반한 원시적인 설명을 제공함으로써.
• 이러한 부분군의 산술 불변량을 사용하여 아핀 $E_8$ 지도의 간선을 재구성함으로써.
• 몬스터 군을 콘웨이 군 $ \mathrm{Co}_0$로 대체함으로써 McKay의 몬스터 $E_8$ 관찰을 '수퍼-아날로그'로 일반화함으로써.
• 콘웨이 군 $ \mathrm{Co}_0$의 프레임 형상이 몬스터 군의 공역류와 동일한 지도 구조를 인코딩함을 보임으로써.
• 산술 군 $^s\Gamma$의 주요 모듈러스가 정점 연산자 수퍼대수를 통해 $ \mathrm{Co}_0$의 McKay–Thompson 급수와 연결됨을 보임으로써.

제안 방법

• $\mathrm{PSL}_2(\mathbb{R})$의 산술 부분군을 강한 의미에서 $\mathrm{PSL}_2(\mathbb{Z})$와 공통체를 가지는 군으로 정의함.
• 콘웨이의 격자 이론적 접근을 사용하여, $ \mathbb{R}^2$ 내의 격자 위에서의 작용을 통해 산술 군을 분석함.
• 아틴-레너 인버전의 '스케일링' 개념을 도입하여, $\Gamma_0$에서 새로운 군 $^s\Gamma$를 구성함.
• $^s\Gamma$를 $\Gamma_0$의 스케일드 코스레트 $^sX$들의 합집합으로 정의함. 스케일링 규칙은 2로의 나누어떨어짐 여부에 따라 결정됨.
• $^s\Gamma$가 산술 부분군임을 증명하고, 그에 대응하는 모듈라 군이 에타 곱의 형태로 주요 모듈러스를 가지며, 이는 산술 군의 성질을 반영함을 보임.
• $\mathrm{Co}_0$-원소의 프레임 형상을 사용하여 $E_8$ 지도의 노드를 표기함. 이때 최고 루트와 차수는 형상에서 유도됨.

실험 결과

연구 질문

• RQ1 아핀 $E_8$ 딜린 지도의 노드와 $ \mathrm{PSL}_2(\mathbb{R})$의 산술 부분군 사이의 대응을, 오직 $ \mathrm{PSL}_2(\mathbb{R})$의 원시적 성질만을 사용하여 어떻게 설명할 수 있는가?
• RQ2 대응관계 (1.2)에 속하는 부분군의 산술 불변량은 무엇이며, 이는 지도의 간선을 유일하게 특징짓고 재구성하는 데 어떻게 기여하는가?
• RQ3 McKay의 몬스터 $E_8$ 관찰은 몬스터 군 대신 콘웨이 군 $ \mathrm{Co}_0$를 사용하는 '수퍼-아날로그'로 일반화될 수 있는가?
• RQ4 $\mathrm{Co}_0$-공역류의 프레임 형상은 $E_8$ 지도의 구조와 주요 모듈러스를 어떻게 인코딩하는가?
• RQ5 $\mathrm{Co}_0$의 McKay–Thompson 급수와 산술 군 $^s\Gamma$의 주요 모듈러스 사이의 정확한 연결 고리는 무엇인가?

주요 결과

• 논문은 각 산술 부분군 $\Gamma_0 = G_{(a,N/a)}^{(a)}$로부터 아틴-레너 코스레트를 스케일링하여 새로운 산술 부분군 $^s\Gamma$를 구성한다. 이는 $ \mathrm{PSL}_2(\mathbb{R})$의 새로운 산술 부분군을 제공한다.
• 결과로 얻어진 다이어그램 (4.5)는 아핀 $E_8$ 딜린 지도를 군 $^s\Gamma$로 표기하며, 각 군은 몬스터 군의 유일한 공역류와 몬스터 문명을 통해 대응된다.
• $\mathrm{Co}_0$-공역류의 프레임 형상, 예를 들어 $1^{24}$, $2^{24}/1^{24}$, $3^8$ 등은 (4.7)에서 직접적으로 $E_8$ 지도의 노드를 표기한다.
• 지오메트릭 $E_8$ 지도의 최고 루트는 프레임 형상 $A_1^{\alpha_1}A_2^{\alpha_2}\cdots$에서 가장 큰 $A_i$에 해당하며, 이는 해당 $ \mathrm{Co}_0$-원소의 차수와 일치한다.
• 형상 $A_1^{\alpha_1}A_2^{\alpha_2}\cdots$로 표기된 정점의 차수는 음수인 $\alpha_i$의 개수에 1을 더한 값과 같다.
• 에타 곱 $ \frac{\eta(A_1\tau)^{\alpha_1}\eta(A_2\tau)^{\alpha_2}\cdots}{\eta(2A_1\tau)^{\alpha_1}\eta(2A_2\tau)^{\alpha_2}\cdots}$는 군 $^s\Gamma$에 대해 주요 모듈러스를 제공하며, 이는 $ \mathrm{Co}_0$의 McKay–Thompson 급수와 정점 연산자 수퍼대수를 통해 연결된다.