Proof of a conjecture of Andrews and Bachraoui on a Hecke sum

"Andrews 와 Bachraoui 의 Hecke 합에 대한 추측의 증명"에 대한 기술적 요약

문제 제기
본 논문은 이색 분할 (two-color partitions) 의 특정 클래스에 대한 생성 함수인 $C(k, n)$과 관련하여 Andrews 와 Bachraoui 가 제안한 추측을 다룬다. 이러한 분할은 가장 작은 부분 (홀수이면서 파란색이어야 함) 에 대한 제한과 짝수 부분 (서로 다름 및 가장 작은 부분에 대한 하한) 에 대한 제약을 포함한다. $k \to \infty$일 때, 생성 함수 $C_k(q)$는 $C(q) = qD(q)S(q)$라는 극한 함수로 수렴하며, 여기서$S(q)$는 특정$q$-급수이다.

Andrews 와 Bachraoui 는 $(q^4; q^4)_\infty S(q)$에 체질 연산자 $S_{2,0}$을 적용하여 얻은 생성 함수의 짝수 부분이 특정 Hecke 형식의 이중 합과 같다고 추측하였다. 구체적으로, 추측 1.1 은 다음 항등식을 주장한다:
$$\left( (q^4; q^4)_\infty S(q) \right) \big|_{S_{2,0}} = \sum_{n \ge 0} (-1)^n q^{6n^2+4n} (1 + q^{4n+2}) \sum_{|j| \le n} (-1)^j q^{-2j^2}$$
본 연구의 주요 목적은 이 항등식에 대한 엄밀한 증명을 제공하는 것이다.

방법론
증명 전략은 Zwegers 가 개발한 프레임워크를 특히 활용하여, 부정적 theta 함수 (indefinite theta functions) 와 모듈러 형식 이론에 의존한다. 저자들은 다음과 같은 방법론적 단계를 사용한다:

1. 실해석적 모듈러 형식으로의 완결: 추측된 항등식의 양쪽 모두 비정칙 (non-holomorphic) 항을 추가하여 실해석적 모듈러 형식을 형성하도록 "완결"된다.

   • 오른쪽 항 (Hecke 합) 은 Zwegers 가 구성한 부정적 theta 함수 $\vartheta_{a,b}(\tau)$의 정칙 부분으로 실현된다. 함수 $\hat{H}(\tau)$를 완결하기 위해 명시적으로 비정칙 보정항 $H^-(\tau)$가 정의된다.
   • 왼쪽 항은 $S(q)$와 Ramanujan 의 모의 theta 함수 (mock theta functions) $\omega(q)$ 및 $B(q)$ 사이의 알려진 관계를 사용하여 다시 쓰인다. 체질 연산자와 Dedekind eta 함수 및 theta 함수의 변환 성질을 활용하여, 왼쪽 항은 모의 theta 함수와 그들의 Zwegers 완결 ($\hat{F}_j$) 로 표현된다. 이에 상응하는 비정칙 항 $A^-(\tau)$가 구성되어 완결된 함수 $\hat{A}(\tau)$를 형성한다.

2. 모듈러 변환 분석: 저자들은 완결된 함수 $\hat{H}(\tau)$와 $\hat{A}(\tau)$의 모듈러 변환 성질을 분석한다.

   • 두 함수 모두 합동 부분군 $\Gamma_0(2)$의 작용 하, 특히 생성자 $\tau \mapsto \tau + 1$과 $\tau \mapsto \frac{\tau}{2\tau+1}$ 하에서 특정 변환 법칙을 만족함을 보인다.
   • 부정적 theta 함수 $\hat{H}$의 변환 성질은 Zwegers 의 부정적 theta 함수에 대한 일반 정리 (타원 및 모듈러 변환 포함) 를 사용하여 유도된다.
   • $\hat{A}$에 대한 변환은 모의 theta 함수와 관련된 벡터 값 모듈러 형식 $\hat{F}$, eta 함수, 그리고 theta 함수 $\Theta$의 알려진 모듈러 성질을 결합하여 유도된다.

3. Sturm 정리의 적용: 두 완결된 함수의 차이인 $\hat{M}(\tau) = \hat{H}(\tau) - \hat{A}(\tau)$는 (적절한 스케일링 후) $\Gamma_0(2)$ 위에서 가중치 $1/2$의 정칙 모듈러 형식임이 보인다.

   • 저자들은 $\hat{M}(\tau)$가 $\Gamma_0(2)$의 첨점 (specifically $i\infty$와 $0$) 에서 다항식 성장 이하임을 확인한다.
   • Sturm 정리에 따르면, 모듈러 형식이 항등적으로 0 임을 증명하기 위해서는 유한 개수의 푸리에 계수가 소멸함을 보이면 충분하다. 필요한 계수의 수는 가중치와 합동 부분군의 지수에 의해 결정된다.
   • 직접적인 계산을 통해 $\hat{M}(\tau)$의 필요한 초기 푸리에 계수가 0 임이 확인된다.

주요 기여 및 결과

• 추측 1.1 의 증명: 본 논문은 Andrews-Bachraoui 추측의 유효성을 확립하여, 이색 분할의 체질된 생성 함수와 Hecke 형식의 이중 합 사이의 등식을 확인한다.
• 명시적 완결: 저자들은 Hecke 합과 체질된 분할 생성 함수 모두에 대한 비정칙 완결의 명시적 구성을 제공하며, 이들이 동일한 벡터 값 모듈러 프레임워크에 부합함을 보인다.
• 모듈러 성질: 이 작업은 $\Gamma_0(2)$ 하에서 이러한 완결된 함수의 구체적인 모듈러 변환 성질을 상세히 기술하며, 조합론적 $q$-급수를 조화 Maass 형식 및 부정적 theta 함수 이론과 연결한다.

의의
본 논문은 주로 분할 및 $q$-급수 이론의 특정 미해결 문제를 해결함으로써 의의를 가진다. 추측을 증명함으로써 저자들은 특정 제약 조건을 가진 이색 분할이라는 조합론적 객체를, 종종 모의 모듈러 형식과 관련된 구조인 Hecke 형식의 이중 합과 연결한다. 방법론은 모의 theta 함수 및 체질된 급수와 관련된 항등식을 증명하는 데 Zwegers 의 부정적 theta 함수 이론의 유용성을 강조한다. 저자들은 자신의 함수들이 벡터 값 조화 Maass 형식의 구성 요소임을 지적하며, 이러한 조합론적 생성 함수와 모듈러 형식의 더 넓은 이론 사이의 더 깊은 구조적 관계를 시사한다.

향후 방향
본 논문은 향후 연구를 위한 몇 가지 미해결 문제를 제시하며 다음과 같이 마무리한다:

• 연관된 벡터 값 조화 Maass 형식의 다른 구성 요소들의 정칙 부분이 조합론적 해석을 갖는지 조사하기.
• 체질된 생성 함수에 대한 연구를 홀수 잉여류 (odd residue classes) 로 확장하기.
• 이러한 결과들을 다른 모의 theta 함수로 확장하기.
• 여기서 사용된 모듈러 완결 접근법 대신 Bailey 쌍을 활용하여 추측에 대한 직접적인 증명을 모색하기.