임의의 클래스 군을 갖는 허수 이차체 위의 비앙키 모듈러 형식

초록

본 논문은 클래스 군이 어떠한 형태를 띠든지 간에 허수 이차체 K 위의 비앙키 모듈러 형식 공간을 Hecke 모듈로서 계산하는 알고리즘을 제시한다. 두 가지 독립적인 구현(C++와 Magma)을 통해 K=ℚ(√−17) (클래스 군 4) 사례를 상세히 다루고, 해당 형식과 타원곡선의 모듈러성을 증명한다. 또한 LMFDB에 수록된 광범위한 데이터와 계산 검증 결과를 제공한다.

상세 분석

논문은 먼저 비앙키 군 GL₂(𝒪_K)의 작용을 이용해 3차원 쌍곡공간 ℍ³을 이상적인 다면체로 타일링하는 두 가지 방법을 소개한다. 첫 번째는 Swan의 알고리즘을 기반으로 한 ‘pseudo‑Euclidean’ 절차로, 모든 허수 이차체에 적용 가능하며, 기존의 연속분수 알고리즘을 일반화한다. 두 번째는 Ash‑Koecher의 완전 에르미트 형식 이론을 이용해 이상적인 폴리헤드론을 구성하고, Gunnells의 축소 이론을 통해 Hecke 연산을 계산한다. 두 방법 모두 사전 계산 단계에서 한 번씩만 타일링 데이터를 생성하면 되며, 이후에는 H₁(ℍ³/Γ₀(𝔫),ℚ) 를 구하고 Hecke 연산을 적용해 고유값을 얻는다.

Hecke 연산은 두 종류가 있다. 기본 연산 T_𝔞는 임의의 이상 𝔞에 대해 정의되고, T_{𝔞,𝔞}는 𝔞와 서로소인 경우에만 정의된다. 이 연산들은 클래스 군 Cl_K 로 색인되며, T_c·T_{c’}⊂T_{cc’} 형태의 그레이딩을 가진다. 논문은 특히 비주변 문자(비ramified character)와의 상호작용을 상세히 다루며, 클래스 군이 짝수 차수일 때만 존재하는 자기‑twist 현상을 설명한다. 자기‑twist가 존재하면 해당 Hecke 연산이 영이 되는 이상들에 대한 계산상의 어려움을 어떻게 회피했는지 구체적인 구현 전략을 제시한다.

알고리즘 구현은 C++ 패키지 ‘bianchi‑progs’와 Magma 라이브러리 ‘BCP97’ 두 갈래로 진행된다. 전자는 Swan 기반 타일링과 pseudo‑Euclidean 절차를, 후자는 Ash‑Koecher 기반 타일링과 Gunnells의 축소 이론을 사용한다. 두 구현 모두 동일한 입력(필드 K, 레벨 𝔫)에 대해 동등한 결과를 산출하도록 교차 검증했으며, 특히 K=ℚ(√−17) 에서 N(𝔫)≤200 인 경우와 |disc(K)|≤2100 인 모든 필드에 대해 동형 차원을 일치시켰다.

K=ℚ(√−17) 사례에서는 클래스 군이 순환군 C₄이므로, 4개의 복소수 평면 복사본을 고려해야 한다. 논문은 이 경우의 차원표와 구체적인 새로운 형태(newform)들을 제시하고, 그 중 하나가 LMFDB 라벨 2.0.68.1.7.2‑a.2 인 타원곡선과 동일한 L‑함수를 갖는 것을 증명한다. 이는 기존에 클래스 군 3인 경우에만 알려졌던 결과를 클래스 군 4로 확장한 최초 사례이다. 또한 Newton‑Caraiani의 일반적인 모듈러성 정리와 비교해, X₀(15) 의 Mordell‑Weil 랭크가 2인 경우에도 구체적인 예시를 제공함으로써 이론적 한계를 보완한다.

마지막으로, 논문은 현재까지 LMFDB에 기록된 데이터베이스를 소개하고, 클래스 군이 1,2,3,4인 경우를 포함한 광범위한 허수 이차체에 대해 계산된 차원, Hecke 고유값, 새로운 형태들의 목록을 제공한다. 이러한 데이터는 향후 비앙키 형식과 타원곡선, 그리고 더 일반적인 자동형식 사이의 관계를 탐구하는 데 중요한 기초 자료가 될 것이다.