Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

기술 요약: 유리수 가중치를 갖는 모듈러 형식 공간의 차원 공식, 에타-몫(Eta-quotient) 캐릭터의 분류, 그리고 마틴의 정리(Martin's Theorem)의 확장

문제 제i문
본 논문은 유리수 가중치, 특히 분수 지수를 가진 에타-몫에 의해 유도된 승수 체계(multiplier systems)를 갖는 모듈러 형식에 대한 체계적인 관심과 명시적인 계산 도구의 부재를 다룬다. 정수 가중치 및 반정수 가중치에 대한 차원 공식은 존재하지만(종종 디리클레 캐릭터나 세타 급수 승수 체계에 의존함), 에타-몫 승수 체계를 갖는 일반적인 유리수 가중치 $k \in \mathbb{Q}$에 대한 명시적인 공식은 드물거나 불완전했다. 또한, $\Gamma_0(N)$의 이중 피복(double cover) 상에서 에타-몫에 의해 유도되는 캐릭터의 분류와, 이러한 유리수 가중치 설정으로의 곱셈적 성질(헤케 고유형식 거동)의 확장은 미해결 과제로 남아 있다.

방법론
저자는 Petersson [Pet38]이 확립한 방법을 따라, 고전적인 리만-로흐 정리(Riemann-Roch theorem)와 리만-허위츠 공식(Riemann-Hurwitz formula)에 기반한 디비저-이론적(divisor-theoretic) 접근법을 사용한다. 핵심적인 기술적 프레임워크는 다음과 같다:

1. D-피복 형식주의(D-Cover Formalism): 자동 형식 인자(automorphic factor) $(c\tau+d)^k$의 다가 함수(multi-valued) 특성을 처리하기 위해 $GL_2^+(\mathbb{R})$의 $D$-피복을 활용한다. 이를 통해 승수 체계를 피복 상의 군 캐릭터로 취급할 수 있다.
2. 디비저 구성: 유한한 복소수 값을 갖는 유리수 가중치의 메로모르픽 모듈러 형식을 컴팩트 모듈러 곡선 $X_{\Gamma_0(N)}$ 상의 $\mathbb{Q}$-값 디비저와 연관시킨다. 유리수 가중치에 대한 발렌스 공식(valence formula)을 확립하여, 디비저의 차수와 가중치 $k$ 및 군의 지수 사이의 관계를 규명한다.
3. 명시적 평가: 에타-몫 승수 체계에 대한 디비저-이론적 공식의 명시적 평가를 수행한다. 이는 데데킨트 합(Dedekind sums)과 변환 공식을 사용하여 첨단(cusp)에서의 에타-몫의 차수를 계산하는 과정을 포함한다.
4. 선형 대수 및 역전: 에타-몫의 지수와 첨단에서의 차수를 연관시키기 위해, Bhattacharya의 연구를 기반으로 한 가역 행렬 변환을 사용하여 주어진 차수에 대한 지수를 구하거나 그 반대의 과정을 해결한다.
5. 헤케 연산자 확장: 곱셈성에 관한 적용을 위해, Wohlfahrt의 이중 코셋 연산자(double coset operators) 이론을 임의의 승수 체계를 갖는 유리수 가중치 및 에타-몫으로 확장하여, 이 연산자들이 푸리에 계수에 작용하는 방식에 대한 명시적인 공식을 유도한다.

주요 기여 및 결과

1. 명시적 차원 공식 (주 정리):
   본 논문은 $k \in \mathbb{Q}$이고 $\chi$가 분수 지수 $r_n \in \mathbb{Q}$를 가진 에타-몫 $f = \prod_{n|N} \eta(n\tau)^{r_n}$에 의해 유도되는 승수 체계일 때, $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$에 대한 명시적인 공식을 제공한다.

• 이 공식은 가중치 $k$와 레벨 $N$ 및 첨단에서의 차수 사이의 특정 조건(특히 $k > 2 - \dots$ 이거나 차원이 충분히 큰 경우) 하에서 유효하다.
• 이 공식은 디리클레 캐릭터나 세타 급수에 의해 유도되지 않는 승수 체계를 포함하는 경우까지 포괄함으로써 Ibukiyama 등의 기존 결과를 일반화한다.
• 가중치 $1/2, 1, 3/2$ 및 작은 레벨들에 대한 완전한 차원 목록이 표로 생성되어 제시된다.

2. 에타-몫 캐릭터의 분류:
   본 논문은 $\Gamma_0(N)$의 이중 피복 상에서 정수 지수를 가진 에타-몫에 의해 유도되는 선형 캐릭터를 완전히 분류한다.

• 이들은 이러한 캐릭터와 $Z(N)$의 부분군에 대한 특정 지수 벡터들 사이에 전단사 관계가 있음을 확립한다.
• 다양한 레벨에 대한 구체적인 개수가 제공된다. 예를 들어, 고정된 가중치 $k \in \frac{1}{2}\mathbb{Z}$에 대해 $\Gamma_0(4)$의 이중 피복 상에는 정확히 384개의 그러한 캐릭터가 존재한다.

3. 마틴의 정리의 확장:
   본 논문은 곱셈적 홀로모르픽 에타-몫(정수 가중치, 디리클레 캐릭터 승수)에 대한 Yves Martin의 1996년 분류를 더 넓은 영역으로 확장한다.

• 일반화된 곱셈성: 곱셈성의 정의를 임의의 승수 체계를 갖는 에타-몫으로 확장한다.
• 허용 가능한 에타-몫(Admissible Eta-Quotients): "허용 가능한" 에타-몫(일차원 공간에 속하거나 특정 큐프 조건(cusp condition)을 만족하는 것)을 식별하고, 이들이 일반화된 헤케 연산자 집합(Wohlfahrt의 확장)의 고유형식임을 증명한다.
• 결과 표: 레벨 $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$에 대해 2,277개의 허용 가능한 에타-몫(Type I)을 포함하는 표를 제시한다.
• 항등식: 이 에타-몫들의 푸리에 계수에 관한 새로운 항등식을 유도하여, 특정 조건 하에서 $c_f(n_1)c_f(n_2) = c_f(n_1 n_2)$임을 보여준다.

4. 무한 곱에 대한 응용:
   차원 공식의 직접적인 응용으로서, 본 논문은 특정 $q$-곱의 $n$제곱근의 푸리에 계수에 대한 급수 표현을 유도한다. 에타-몫이 아이젠슈타인 급수(Eisenstein series)에 비례하는 일차원 공간임을 식별함으로써, 계수에 대한 명시적인 공식을 얻는다.

의의 및 주장
본 논문은 에타-몫 승수 체계를 갖는 유리수 가중치 모듈러 형식 공간을 위한 최초의 완전하고 명시적인 차원 공식을 제공함으로써 모듈러 형식 이론의 공백을 메운다고 주장한다. 저자는 이러한 공식들이 단순히 이론적인 것에 그치지 않고, 광범위한 표 생성과 SageMath 프로그램을 통해 입증되었듯 계산적으로 효과적이라고 단언한다.

마틴의 정리에 관한 확장과 관련하여, 본 논문은 알려진 곱셈적 에타-몫의 범위를 크게 넓혔다고 주장한다. 디리클레 캐릭터 승수 요구 사항을 완화하고 ($D$-피복을 통해) 유리수 가중치를 통합함으로써, 저자는 2,000개 이상의 새로운 헤케 고유형식을 식별해 냈다. 본 논문은 이러한 결과들이 일차원 공간을 식별하는 기술에 의존하고 있음을 강조하며, 이 기술을 통해 일반적인 유리수 가중치에 대한 완전한 헤케 이론(저자가 아직 충분히 발전하지 않았다고 언급한)을 요구하지 않고도 푸리에 계수들 사이의 비자명한 관계를 도출할 수 있었다고 밝힌다.

이 연구는 분수 지수를 갖는 에타-몫 및 비-합동(non-congruence) 모듈러 형식을 더욱 탐구하는 데 필요한 도구(차원 공식, 캐릭터 분류, 연산자 작용)를 제공하는 기초적인 단계로 제시된다.