Bianchi Modular Forms over Imaginary Quadratic Fields with arbitrary class group

기술 요약: 임의의 클래스 그룹을 가진 허수 이차체 상의 비안키 모듈러 형식(Bianchi Modular Forms)

문제 정의
본 논문은 임의의 허수 이차체 $K = \mathbb{Q}(\sqrt{-d})$에 대한 레벨 $\Gamma_0(\mathfrak{n})$의 비안키 모듈러 형식 공간을 결정하는 계산적 과제를 다룬다. 제1 저자와 그의 학생들에 의해 수행된 이전 연구들은 클래스 넘버가 1, 2, 3인 경우와 높은 클래스 넘버를 가진 특정 사례들에 대해 이 공간들을 성공적으로 계산했으나, 임의의 클래스 그룹(특히 비자명한 2-rank 및 짝수 클래스 넘버를 가진 경우)을 처리할 수 있는 일반적인 알고리즘은 부족한 상태였다. 주요 어려움은 클래스 넘버가 짝수인 경우, 모듈러 형식 공간이 서로 다른 이데알 클래스들과 연관된 성분들로 분해되며, 주 호몰로지(principal homology, 계산적으로 접근 가능한) 상에서 전체 헤케 대수(Hecke algebra)의 작용이 "셀프 트위스트(self-twists)" 및 비주요 연산자의 존재로 인해 즉각적으로 전체 고유계(eigensystems)를 산출하지 못한다는 점에 있다.

방법론
저자들은 비안키 모듈러 형식을 헤케 모듈로서 계산하기 위해 두 가지 독립적인 알고리즘을 개발하고 구현한다. 두 방법 모두 비안키 모듈러 형식의 큐스피달(cuspidal) 공간과 쌍곡 공간 $H_3$의 몫의 호몰로지 $H_1(H_3/\Gamma_0(\mathfrak{n}), \mathbb{Q})$ 사이의 동형 관계에 의존한다.

1. 쌍곡 공간의 테셀레이션(Tessellation):

   • 방법 A (Swan의 알고리즘): Swan의 연구에서 유도된 "의사 유클리드 알고리즘(pseudo-Euclidean algorithm)"을 활용하여 이상 다면체(ideal polyhedra)에 의한 $H_3$의 테셀레이션을 생성한다. 이 접근법은 유클리드 체(Euclidean fields)에서 사용되는 연속 분수 알고리즘을 일반화한 것이다.
   • 방법 B (완전 헤르미션 형식): 완벽한 헤르미션 형식(perfect Hermitian forms)의 환원 이론(Ash와 Koecher를 따름)을 활용하여 테셀레이션을 구성한다.
   • 두 방법 모두 특정 체 $K$에 대한 테셀레이션 데이터를 생성하기 위한 사전 계산 단계를 필요로 하며, 이 데이터는 호몰로지를 계산하는 데 사용된다.

2. 헤케 작용 및 고유계 복구:

   • 알고리즘은 주 호몰로지 성분 $H_1(X_0(\mathfrak{n}), \mathbb{Q})$ 상에서의 주 헤케 연산자(주 이데알 또는 이데알의 제곱에 대응하는 연산자)의 작용을 계산한다.
   • 핵심적인 방법론적 요소는 주 호몰로지 고유계로부터 전체 헤케 고유계(비주요 연산자 및 캐릭터 정보를 포함하는)를 복구하는 절차이다.
   • 홀수 클래스 넘버 케이스: 클래스 넘버 $h_K$가 홀수이면 모든 이데알 클래스는 제곱이 되며, 따라서 전체 고유계는 주 고유값들에 의해 (트위스트를 제외하고) 유일하게 결정된다.
   • 짝수 클래스 넘버 케이스: 클래스 넘버가 even일 때, 비분기 이차 캐릭터(unramified quadratic characters)의 존재로 인한 모호함이 발생한다. 저자들은 비제곱 클래스의 고유값 부호를 결정하고, "셀프 트위스트"(이차 캐릭터에 의한 트위스트에 불변인 형태)를 탐지하는 알고리즘을 상세히 기술한다. 이는 더 높은 레벨에서의 올드폼(oldforms)의 다중도를 분석하고 특정 이데알 클래스에서의 고유값 소멸을 확인하는 과정을 포함한다.
   • 아킨-레너(Atkin-Lehner) 연산자: 구현에는 $\mathfrak{q} \parallel \mathfrak{n}$인 정확한 약수 $\mathfrak{q}$에 대한 아킨-레너 고유값 $W_{\mathfrak{q}}$를 계산하기 위한 코드가 포함되어 있으며, $\mathfrak{q}$가 주 이데알이 아닌 경우 $T_{\mathfrak{a},\mathfrak{a}}W_{\mathfrak{q}}$를 활용한다.

3. 구현:

   • bianchi-progs: 방법 A(의사 유클리드 알고리즘)를 구현한 C++ 패키지.
   • Magma: 방법 B(완전 형식)를 구현한 Magma 구현체(제3 저자에 의해 확장됨).
   • 저자들은 일관성을 위해 이 두 구현체 간의 결과를 교차 검증하였다.

주요 기여

• 일반화: 본 논문은 클래스 넘버 1, 2, 3의 제한을 넘어 임의의 클래스 그룹을 가진 허수 이차대로 비안키 모듈러 형식의 계산을 확장한다.
• 셀프 트위스트의 알고리즘적 해결: 비분기 이차 캐릭터에 의해 셀프 트위스트를 허용하는 형태들을 처리하기 위한 엄밀한 방법을 제공한다. 저자들은 올드스페이스(oldspaces)의 차원과 고유값의 소멸을 분석함으로써 이러한 형태들을 식별하는 방법을 입증하며, 이는 호몰로지와 전체 고의계 사이의 관계를 복잡하게 만드는 현상이다.
• 고유계의 명시적 복구: 주 호몰로지 데이터만을 사용하여 (비제곱 이데알 클래스의 부호 모호성을 해결하며) 전체 헤케 고유계(비주요 고유값 및 캐릭터 정보 포함)를 재구성하는 알고리즘적 단계를 상세히 설명한다.
• 모듈러성 증명: 저자들은 이 계산적 프레임워크를 적용하여 $K = \mathbb{Q}(\sqrt{-17})$ 위의 특정 타원 곡선(LMFDB 라벨 2.0.68.1-7.2-a.2)의 모듈러성을 증명한다. 그들은 타원 곡선의 갈루아 표현과 계산된 비안키 뉴폼(newform)의 갈루아 표현이 동형임을 확인하기 위해 [DGP10]에 구현된 Serre-Faltings-Livné 방법을 활용한다.

결과

• 체 $K = \mathbb{Q}(\sqrt{-17})$: 저자들은 순환 클래스 그룹(cyclic class group)의 차수가 4인 이 체에 대해 광범위한 데이터를 제공한다.
  • 노름(norm) 200까지(및 유리수 뉴폼의 경우 1000까지)의 레벨에 대한 차원과 헤케 고유계를 계산하였다.
  • 비분기 캐릭터를 가진 1100개의 뉴 헤케 고유계를 식별하였으며, 이 중 8개가 셀프 트위스트를 가진다.
  • 자명한 캐릭터($\chi_0$)와 기타 캐릭터($\chi_1, \chi_2, \chi_3$)를 구분하여 헤케 대수 하에서의 뉴스페이스(newspace)의 기약 부분 공간 분해를 표로 정리하였다.
  • 헤케 필드의 구조를 분석하여, 전체 헤케 필드가 주 헤케 필드의 이차 확장인 경우(예: $k_F = k_f(\sqrt{r})$)를 보여주었다.
• 광범위한 범위: 절대 판별식이 2500 이하인 763개의 허수 이차체에 대해 계산이 수행되었다. 유리수 뉴폼(헤케 필드가 $\mathbb{Q}$인 것)에 대한 데이터는 L-함수 및 모듈러 형식 데이터베이스(LMFDB)에서 이용 가능하다.
• 일관성: 두 독립적인 구현체(C++ 및 Magma)는 테스트된 범위 내에서 호몰로지 차원과 헤케 고유값에 대해 일치하는 결과를 생성하였다.

의의
본 논문은 기존 이론의 계산적 확장으로서의 의의를 주장한다. 저자들은 클래스 그룹 구조가 이전 연구에서 사용된 단순화(예: 짝수 클래스 넘버를 가진 체)를 방해하는 경우에도 비안키 모듈러 형식을 연구할 수 있도록 필요한 알고리즘과 구현을 제공한다. $K = \mathbb{Q}(\sqrt{-17})$ 상의 타원 곡선의 모듈러성을 증명함으로써, 저자들은 이 계산적 프레임워크가 임의의 클래스 그룹이 가진 복잡성을 처리할 만큼 견고함을 입증한다. 생성된 데이터는 높은 클래스 넘버를 가진 체들에 대한 LMFDB의 공백을 채우며, 베이스 체인지(base change) 연구나 해당 체 위의 타원 곡선의 모듈러성 연구와 같은 추가적인 산술적 조사를 위한 토대를 제공한다. 이 작업은 명시적인 계산적 증거와 데이터를 제공함으로써 최근의 이론적 발전(Newton 및 Caraiani의 연구 등)을 보완한다.