Eichler-Selberg relations for the third-order mock theta functions

기술 요약: 3차 모크 세타 함수에 대한 아이클러-셀베그 관계식 (Eichler-Selberg Relations)

문제 제기
본 논문은 라마누잔의 3차 모크 세타 함수, 구체적으로 $f(q)$와 $\omega(q)$의 구조적 성질을 다룬다. 이 함수들의 모듈성(modularity)은 제거스(Zwegers)의 조화 마아스 형식(harmonic Maass forms) 이론을 통해 확립되었으나, 본 논문은 $f(q)$에 관한 왓슨(Watson)의 알려진 항등식(이 함수와 아펠-레르(Appell-Lerch) 급수를 연결하는 식)을 더 넓은 프레임워크인 "아이클러-셀베르그 유형"의 관계로 일반화하고자 한다. 이러한 관계식은 일반적으로 체비쇼프 다항식(Chebyshev polynomials)을 포함한 다항식으로 가중치를 둔 계수의 합을, 아이클러-셀베르그의 클래스 넘버 공식(class number formula)과 유사하게 모듈러 형식에 연결한다.

방법론
저자는 이러한 관계식을 유도하기 위해 조화 마아스 형식과 홀로모픽 투영(holomorphic projection) 이론을 사용한다. 방법론적 프레임워크는 다음 세 단계로 진행된다:

1. 모듈러 성분의 식별: 논문은 $f(q)$에 대한 제거스의 완성을 활용한다. $f(q)$의 경우, 이 함수는 무게 $1/2$인 벡터 값 실수 해석적 모듈러 형식 $H(\tau)$로 완성된다. 첫 번째 성분인 $H_1(\tau)$는 $q^{-1/24}f(q)$와 세타 급수를 포함하는 비홀로모픽 적분항의 합으로 나타낼 수 있다.
2. 랭킨-코언 브래킷 (Rankin-Cohen Brackets): 핵심 기법은 랭킨-코언 브래ケット $[H_1, \eta]_v$ (그리고 $\omega(q)$의 경우 $[H_2, \eta]_v$)를 구성하는 것이다. 여기서 $\eta(\tau)$는 데데킨트 에타 함수이다. 이 브래킷은 조화 마아스 형식과 모듈러 형식을 결합하여 무게 $2v+1$인 실수 해석적 모듈러 형식을 생성한다.
3. 홀로모픽 투영: 저자는 이러한 랭킨-코언 브래킷에 홀로모픽 투영 연산자 $\pi_{hol}$을 적용한다. 이 연산자는 실수 해석적 모듈러 형식을 공간 $M_{2v+1}(\Gamma_0(8), \chi)$에 속하는 홀로모릭 모듈러 형식으로 사상한다. 결과물인 홀로모릭 형식의 푸리에 계수는 원래 함수의 비홀로모픽 부분을 포함하는 적분 공식을 통해 명시적으로 계산된다.
4. 아이젠슈타인 급수 결정: 결과물인 모듈러 형식을 식별하기 위해, 저자는 $\Gamma_0(8)$의 첨점(cusp)들($i\infty, 0, 1/2, 1/4$)에서의 값을 분석하여 아이젠슈타인 성분을 결정한다. 첨점에서의 값을 기반으로 선형 방정식계를 해결함으로써, 아이젠슈타인 부분은 표준 아이젠슈타인 급수들로 표현되며, 이는 다시 람베르트 급수(Lambert series)로 변환된다.

주요 기여 및 결과

• 왓슨 항등식의 일반화 (정리 1): 본 논문은 $f(q)$에 대한 왓슨의 항등식을 자연스럽게 일반화한다. 임의의 정수 $v \geq 1$에 대하여, $f(q)$의 계수 $c_f(n)$에 체비쇼프 다항식 $T_{2v}$를 가중치로 준 특정 $q$-급수는 $\text{S}_{2v+1}(\Gamma_0(8), (\frac{-1}{\cdot}))$의 셉트 폼(cusp form)임을 입증한다.

  • 이 항등식은 $c_f(n)$과 $T_{2v}$를 포함하는 이중 합을 아이젠슈타인 급수를 나타내는 아펠-레르 유형의 급수와 람베르트 급수의 조합과 동일하게 만든다.
  • 소멸 결과 (Vanishing Results): $v=1$과 $v=2$의 경우, 결과물인 셉트 폼은 항등적으로 0이 된다. 이는 왓슨의 원래 식을 포함하여 알려진 항등식들을 특수한 경우로서 회복한다.
  • 비소멸 사례 (Non-Vanishing Case): $v=3$의 경우, 셉트 폼은 0이 아니며, 에타 몫(eta quotient) $\eta^4(z)\eta^{10}(2z)$의 배수로 명시적으로 식별된다.

• $\omega(q)$에 대한 유사 결과 (정리 2): 3차 모크 세타 함수 $\omega(q)$에 대해서도 평행한 정리가 증명된다. 논문은 계수 $c_\omega(n)$와 체비쇼프 다항식을 포함하는 $q$-급수가 $\text{S}_{2v+1}(\Gamma_0(8), \chi_{-4})$의 셉트 폼을 산출하는 아이클러-셀베르그 유형의 관계식을 확립한다.

  • 정리 1과 마찬가지로, 이 셉트 폼은 $v=1$과 $v=2$에서 소멸하여 $\omega(q)$에 대한 고전적 항등식을 회복하지만, 더 높은 무게에서는 소멸하지 않는다.

• 기술적 보조정리 (Technical Lemmas): 논문은 Hecke 유형의 부정 정수 세타 급수(indefinite theta series)와 일반화된 아펠-레르 급수 사이의 변환, 그리고 아이젠슈타인 급수를 람베르트 급수로 변환하는 과정을 용이하게 하는 여러 $q$-급수 항등식(보조정리 7–11)에 대한 엄밀한 증명을 제공한다.

의의 및 주장
본 논문은 3차 모크 세타 함수에 대한 고전적 항등식의 "자연스러운 일반화"를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 범위의 확장: 이는 $v=0$(또는 무게 1)의 특정 사례를 넘어 임의의 무게 $2v+1$로 확장하며, $v$에 의해 매개되는 일련의 항등식들을 드러낸다.
2. 방법론적 확장: 저자는 조화 마아스 형식의 랭킨-코언 브래킷과 홀로모픽 투영을 사용하는 제시된 방법론이 3차 이상의 다른 모크 세타 함수 클래스를 연구하는 데에도 확장될 수 있다고 주장한다.
3. 독창성: 논문은 $v=1$과 $v=2$에서 도출된 특정 항등식(결과가 소멸하는 셉트 폼인 경우)과 $v=3$에서 도출된 비소멸 셉트 폼의 명시적 형태가 기존 문헌에 등장하지 않았음을 명시한다.

이 연구는 조화 마아스 형식을 통해 모크 세타 함수의 계수를 모듈러 형식 및 클래스 넘버 이론과 연결함으로써, 모크 세타 함수의 산술 이론에 기여하는 것으로 구성되어 있다.