Explicit constructions for Ramanujan-type congruences

기술 요약: 라마누잔 유형 합동식에 대한 명시적 구성

문제 정의
본 논문은 정수값 수열 $\{a(n)\}_{n \ge 0}$에 대한 라마누잔 유형의 합동식(Ramanujan-type congruences)을 확립하는 문제를 다룬다. 구체적으로, 소수 $\ell$과 특정 이동(shift) $\delta_\ell$에 대하여 $a(\ell n - \delta_\ell) \equiv 0 \pmod \ell$ 형태의 관계식을 찾는 것을 목적으로 한다. 이러한 합동식은 분할 함수 $p(n)$(예: 5, 7, 11에 대한 라마누잔의 합동식)에 대해 잘 알려져 있으나, 더 넓은 범위의 생성 함수에 대해 이를 증명하려는 기존의 접근 방식들은 종종 존재성 논증(existence arguments)에 의존해 왔다. Serre의 여과(filtration) 또는 트레이스 연산자(trace operators)를 활용한 기법들은 해당 $q$-급수들이 특정 가중치를 가진 모듈러 형식(modular forms)과 합동임을 보여주었으나, 이러한 모듈러 형식을 명시적으로 구성하는 데는 실패했다. 결과적으로, 이러한 방법론들은 해당 합동식이 자명한 것인지(즉, 급수가 $\ell$에 대해 항등적으로 0인지)를 쉽게 판단하지 못하거나, 관련된 비제로(non-zero) 모듈러 형식의 명시적인 표현을 제공하지 못했다.

방법론
저자 Wei Wang은 존재 증명을 명시적 공식으로 대체하는 구성적 접근 방식을 제안한다. 핵심 방법론은 두 모듈러 형식의 쌍에 작용하는 미분 연산자인 **랭킨-코언 브래킷(Rankin-Cohen bracket)**에 기초한다.

1. 랭킨-코언 브래킷: 가중치 $a$와 $b$를 갖는 함수 $f$와 $g$에 대하여, 브래킷 $[f, g]_v$는 미분 $D^j f D^{v-j} g$의 특정한 선형 결합으로 정의된다. 본 논문은 $f$와 $g$가 모듈러 형식일 때, 그들의 랭킨-코언 브래킷 또한 가중치 $a+b+2v$를 갖는 모듈러 형식이 된다는 성질을 활용한다.
2. 명시적 구성: 본 논문은 생성 함수의 곱에 $U_\ell$ 연산자를 적용하는 것과, 생성 함수와 보조 테타 급수(또는 에타-몫, eta-quotient)의 랭킨-코언 브래킷을 포함하는 선형 결합 사이의 합동 관계식을 유도한다.
   • 핵히 핵심 보조정리(Lemma 8)는 소수 $\ell \ge 3$에 대하여, 곱 $fg$와 브래킷$[f, g]{(\ell-1)/2}$의 조합에$U\ell$을 작용시키면 관심 있는 계수들을 고립시키는$\ell$에 대한 합동식을 얻음을 확립한다.
3. 홀로모픽 투영(Holomorphic Projection): Type III 결과(mock modular forms 관련)를 위해, 이 방법론은 조화로운 약 마스 형식(harmonic weak Maass forms)으로 확장된다. 저자는 랭킨-코언 브래킷이 Maass 형식과 모듈러 형식의 곱을 다시 홀로모픽 모듈러 형식의 공간으로 사상하도록 홀로모픽 투영을 사용하며, 이를 통해 (mock modular form의) 홀로모픽 부분에 대한 명시적인 합동식을 추출한다.
4. 비-합동 증명(Non-Congruence Proofs): 특정 급수가 0에 합동이 아님을(non-congruence) 증명하기 위해, 본 논문은 명시적 구성을 사용하여 생성된 모듈러 형식들을 다양한 첨점(cusp)에서 계산한다. $q$-전개 원리(q-expansion principle)를 사용하여 특정 첨점들에서의 값이 $\ell$에 대해 0이 아님을 보임으로써, 저자는 해당 급수가 항등적으로 0이 될 수 없음을 입증한다.

주요 기여 및 결과
본 논문은 생성 함수 $f(\tau)$의 성격에 따라 결과를 세 가지 유형으로 분류한다:

• Type I (가중치 $-1/2$인 에타-몫):

  • 정리 1: $1/f$가 가중치 $1/2$인 홀로모픽 모듈러 형식인 에타-몫 $f(\tau)$에 대한 명시적 구성을 제공한다. 이 합동식은 랭킨-코언 브래킷 $[f, g]_{(\ell-1)/2}$를 통해 표현된다.
  • 응용: 이 프레임워크는 $p(n)$에 대한 라마누잔의 합동식을 회복하며, $\ell \ge 13$에 대해 $p(\ell n - \delta_\ell) \not\equiv 0 \pmod \ell$이라는 Ahlgren과 Boylan의 정리에 대한 새로운 증명을 제공한다.
  • 비-합동: 본 논문은 Mersmann의 가중치 $1/2$ 분류 중 대부분의 에타-몫( $1/\eta$ 및 $\eta\eta(4)/\eta(2)^3$ 제외)에 대해, $\ell \ge 5$인 $\ell$에 대한 라마누잔 유형의 합동식이 존재하지 않음을 증명한다.

• Type II (가중치 $3/2$인 약 홀로모픽 모듈러 형식):

  • 정리 2: $fg$가 가중치$2$인 홀로모픽 모듈러 형식인 가중치$3/2$의 약 홀로모픽 모듈러 형식$f$로 구성을 확장한다.
  • 결과: $U_\ell$ 연산자와 랭킨-코언 브래킷을 포함하는 명시적 합동식을 확립한다. $X_0(N)$의 속(genus)이 0인 특정 조건 하에서, 본 논문은 $U_\ell^2 \equiv \text{Id} \pmod \ell$임을 증명하여 계수에 대한 재귀적 합동 관계를 이끌어낸다.

• Type III (가중치 $3/2$인 mock modular forms):

  • 정리 3: 섀도우(shadow)가 가중치 $1/2$인 홀로모픽 모듈러 형식인 mock modular form $f$(조화로운 약 마스 형식의 홀로모픽 부분)를 다룬다.
  • 결과: 홀로모픽 투영을 활용하여, mock modular form의 생성 함수와 합동인 명시적인 모듈러 형식을 구성한다. 이를 통해 $spt(n)$ 및 Hurwitz class number $H(N)$과 같은 mock modular form의 계수에 대한 합동식을 도출할 수 있다.

의의 및 주장
본 논문은 주요한 의의가 구성의 **명시성(explicitness)**에 있다고 주장한다. 기존의 방법들이 생성 함수와 합동인 모듈러 형식의 존재만을 보장했던 것과 달리, 이 접근 방식은 다음과 같다:

1. 명시적 표현 제공: 랭킨-코언 브래킷을 통해 생성 함수가 합동인 모듈러 형식을 위한 구체적인 공식을 제공한다.
2. 비-합동 증명 가능: 구성된 모듈러 형식들이 명시적이므로, 이들의 첨점에서의 값을 계산할 수 있다. 이를 통해 저자는 특정 생성 함수가 $\ell$에 대해 0에 합동이 아님을 엄밀하게 증명할 수 있으며, 이는 비-구성적 존재성 증명으로는 어려운 작업이다.
3. 통합된 프레임워크: 랭킨-코언 브래킷과 홀로모픽 투영을 사용하여 에타-몫, 약 홀로모픽 형식, 그리고 mock modular form의 처리를 하나의 통일된 이론적 틀 아래 통합한다.
4. 회복 및 확장: 기존 문헌에서 다루지 않았던 다양한 조합론적 함수들에 대한 새로운 비-합동 결과와 명시적 합동식을 확립하는 동시에, 알려진 합동식들(예: $p(n), spt(n)$, class numbers)을 회복한다.

본 논문은 Type III의 결과가 언뜻 보기에는 존재성 논증처럼 보일 수 있으나, 실제 증명 메커니즘이 계산 가능한 전개(expansions)와 명시적인 아이젠슈타인 부분(Eisenstein parts)을 산출하며, 이는 산술 조합론에서 강력한 도구가 된다고 결론짓는다.