[논문 리뷰] Exotic arithmetic structure on the first Hurwitz triplet

Lei Yang|arXiv (Cornell University)|2012. 09. 09.

Nonlinear Waves and Solitons참고 문헌 18인용 수 6

한 줄 요약

이 논문은 첫 번째 허르츠 방정정류—84(14−1)=1176의 순서를 가진 최대의 자기동형군을 지닌 종 수 14인 리만 곡면 세 개—가 ℚ(cos(2π/7)) 위에서 수준 13인 합동 조건을 만족하는 슈미라 곡선과 동일한 필드 위에서 수준 7인 비합동 모듈라 곡선으로서 두 가지 다른 산술적 구조를 가짐을 증명한다. 핵심 발견은 세 번째 곡선 Y₃에서 비합동 모듈라 형식과 ℚ(e²πi/13) 위의 힐베르트 모듈라 형식 사이의 '기이한 이중성'으로, 몬스터 군, G₂, 그리고 차수 14의 모듈라 방정식과 깊은 연결을 드러낸다.

ABSTRACT

We find that the first Hurwitz triplet possesses two distinct arithmetic structures. As Shimura curves $X_1$, $X_2$, $X_3$, whose levels are with norm 13. As non-congruence modular curves $Y_1$, $Y_2$, $Y_3$, whose levels are 7. Both of them are defined over ${\Bbb Q}(\cos \frac{2 π}{7})$. However, for the third non-congruence modular curve $Y_3$, there exist an "exotic" duality between the associated non-congruence modular forms and the Hilbert modular forms, both of them are related to ${\Bbb Q}(e^{\frac{2 πi}{13}})$! Our results have relations and applications to modular equations of degree fourteen (including Jacobian modular equation and "exotic" modular equation), "triality" of the representation of $PSL(2, 13)$, Haagerup subfactor, geometry of the exceptional Lie group $G_2$, and even the Monster finite simple group ${\Bbb M}$!

연구 동기 및 목표

• 첫 번째 허르츠 방정정류의 존재에 대한 대체 산술적 설명을 밝혀내는 것—기존에 ℚ(cos(2π/7))의 정수환 내에서 수준 13의 합동 부분군으로부터 유도되는 것으로 알려져 있다.
• 동일한 방정정류가 동일한 필드 ℚ(cos(2π/7)) 위에서 수준 7인 비합동 모듈라 곡선으로서 실현될 수 있음을 보여주는 것.
• 세 번째 곡선 Y₃에서의 비합동 모듈라 형식과 ℚ(e²πi/13) 위의 힐베르트 모듈라 형식 사이의 '기이한 이중성'을 확립하는 것.
• 이 기이한 산술적 구조가 차수 14의 모듈라 방정식, PSL(2,13)의 표현 이론, 그리고 예외적 리 군 및 몬스터 군과의 연결성에 미치는 영향을 탐구하는 것.

제안 방법

• ℚ(cos(2π/7))의 정수환 내에서 수준 13의 주어진 합동 부분군을 통해 X₁, X₂, X₃로 첫 번째 허르츠 방정정류를 슈미라 곡선으로 구성하는 것.
• 같은 필드 ℚ(cos(2π/7)) 위에서 수준 7인 비합동 모듈라 곡선 Y₁, Y₂, Y₃로 방정정류를 실현하는 것—이를 위해 곡선을 균일화하는 푸크시안 군을 사용하는 것.
• 변수 δ∞, δν (ν=0,…,12)를 포함하는 14변수 대수적 체계를 정의하고, 모듈라 불변량을 코딩하기 위해 대칭 다항식 𝔾₀부터 𝔾₁₂까지 구성하는 것.
• 대칭 다항식 𝔾₀가 PSL(2,13)의 순서 78인 최대 부분군의 작용에 대해 불변임을 증명하고, ∑δν + δ∞ = 0임을 보이는 것.
• 관계식 ∑δν² + δ∞² = 26(7·13²𝔾₀² + ∑𝔾ᵢ𝔾₁₂₋ᵢ)로부터 '기이한 차수 14의 모듈라 방정식'을 유도하는 것—이는 자코비안 모듈라 방정식이 아니다.
• M = 7·13²𝔾₀² + ∑𝔾ᵢ𝔾₁₂₋ᵢ = 0으로 정의된 다양체(ℙ¹³ 내의 12차원 4차 다양체)와 몬스터 군의 최대 13-지역 부분군 N(13B²) 사이의 연결 고리를 확립하는 것.

실험 결과

연구 질문

• RQ1 첫 번째 허르츠 방정정류는 수준 13의 합동 슈미라 곡선 외에도, 다른 수준 구조를 가진 비합동 모듈라 곡선으로서 실현될 수 있는가?
• RQ2 Y₃에서의 비합동 모듈라 형식과 ℚ(e²πi/13) 위의 힐베르트 모듈라 형식 사이의 이중성의 성격은 무엇인가?
• RQ3 δν에 대한 대칭 다항식으로부터 도출된 기이한 차수 14의 모듈라 방정식은 고전적 자코비안 모듈라 방정식과 어떻게 다를까?
• RQ4 M = 0으로 정의된 12차원 다양체와 몬스터 군의 최대 13-지역 부분군 N(13B²) 사이의 연결 고리는 무엇인가?
• RQ5 PSL(2,13)의 6차원 및 7차원 표현들은 자코비안 모듈라 방정식과 기이한 이중성과 어떻게 관련되어 있는가?

주요 결과

• 첫 번째 허르츠 방정정류는 두 가지 다른 산술적 구조를 가진다: 수준 13인 슈미라 곡선 X₁, X₂, X₃와 수준 7인 비합동 모듈라 곡선 Y₁, Y₂, Y₃로, 모두 ℚ(cos(2π/7)) 위에서 정의된다.
• 세 번째 비합동 곡선 Y₃에 대해선, 그 비합동 모듈라 형식과 ℚ(e²πi/13) 위의 힐베르트 모듈라 형식 사이의 '기이한 이중성'이 존재한다.
• 대칭 다항식 관계식 ∑δν² + δ∞² = 26(7·13²𝔾₀² + ∑_{i=0}^{6} 𝔾ᵢ𝔾₁₂₋ᵢ)로부터 기이한 차수 14의 모듈라 방정식이 구성되었으며, 이는 자코비안 방정식이 아니다.
• M = 7·13²𝔾₀² + ∑_{i=0}^{12} 𝔾ᵢ𝔾₁₂₋ᵢ = 0으로 정의된 다양체는 ℙ¹³ 내의 12차원 4차 대수적 다양체이며, PSL(2,13)에 대해 불변이며, 몬스터 군의 최대 13-지역 부분군 N(13B²)과 연결되어 있다.
• 다항식 𝔾₀부터 𝔾₁₂까지는 변수 δ₀, δ₁, ..., δ₁₂, δ∞에 대한 이차형식으로 명시적으로 계산되었으며, 𝔾₀는 PSL(2,13)의 순서 78인 최대 부분군의 작용에 대해 불변이다.
• 관계식 ∑_{ν=0}^{12} δν + δ∞ = 0이 성립함을 보여, 14변수 체계는 자코비안 모듈라 방정식을 유도하지 못하며, 이는 방정식의 '기이한' 성격을 확인한다.