모듈러 형식에서의 히케 연산자 영성 지수와 파티션 합동 연구

초록

본 논문은 소수 p = 3, 5, 7 및 레벨 N = 1, 4에 대해 정수 계수를 갖는 가중 k 모듈러 형식들을 ℱₚ 위에서 고려한다. 수정된 히케 연산자 T₁,ℓ 가 이러한 공간에서 국소적으로 영(즉, 어느 정도 반복하면 0이 됨)임을 보이고, 그 영성 지수 N_{ℓ}^{p}(f) 에 대한 새로운 상한을 제시한다. 이를 이용해 p‑core 분할 함수와 r‑색 분할 함수에 대한 무한한 합동족을 얻으며, Δ 함수의 차수 감소와 관련된 함수 D_{ℓ}^{p}(k) 및 그 영성 지수에 대한 여러 실험적 관측과 추측을 제시한다.

상세 분석

논문은 먼저 ℚₚ 위의 가중 k 모듈러 형식 공간 M_k(Γ₀(N)) 을 정의하고, 계수를 ℱₚ 로 환원한 알제브라 (\widetilde M_p(Γ₀(N))) 을 도입한다. 핵심은 수정된 히케 연산자 (T_{1,\ell}) (ℓ≡1 (mod p)이면 (T_\ell), ℓ≡−1 (mod p)이면 (T_\ell^2))가 특정 부분공간에 대해 국소적으로 영임을 보이는 것이다. 기존 연구(Nicolas‑Serre, Medvedovsky 등)에서는 p=2 에 대한 결과가 주를 이뤘으나, 저자들은 p=3, 5, 7에 대해 새로운 영성 지수 상한을 얻는다.

정리 1.3은 세 가지 경우에 대해 구체적인 상한을 제시한다. (1) p=3 일 때 (N_{\ell}^{3}(\Delta^k) \le 1+\lfloor k/3\rfloor) 또는 (1+\lfloor 2k/3\rfloor) (ℓ≡±1 (mod 3))가 된다. (2) p=5, 7 에 대해서는 (N_{\ell}^{p}(\Delta^k)) 가 (1+\lfloor 2k/5\rfloor) 또는 (1+\lfloor 3k/7\rfloor) 등의 형태로 제한된다. (3) (D_2(z)=\eta(2z)^{12}) 에 대해 ℓ=2, 3 인 경우에도 비슷한 선형 상한을 얻는다.

이러한 상한은 “필터링” 개념과 연결된다. 히케 연산자에 의해 생성되는 시퀀스 (t\mapsto \Delta^k|T_{1,\ell}^t) 가 i‑filtered (i=1,2…)이면 (N_{\ell}^{p}(\Delta^k)) 는 (k) 에 대해 (O(k^{1/i})) 정도 성장한다는 기대가 있다. 저자들은 실험을 통해 p=5, ℓ=11에 대해 4‑filtered 현상이 나타나며, 실제 상한이 (1+\lfloor k/4\rfloor) 까지 개선될 수 있음을 제시한다.

응용으로는 (p_t)‑core 분할 함수 (a_t(n)) 와 (r)‑색 분할 함수 (p_r(n)) 에 대한 새로운 합동족을 도출한다. 정리 1.5는 (p=3,5,7) 에 대해 (a_t(p^{r}n - k_{p,t})) 와 (a_t(p^{r+2}n - k_{p,t})) 가 mod p 에서 동일함을 보이며, 이는 기존의 (p=2) 결과를 일반화한다. 정리 1.6은 (r) 이 6과 서로소인 경우 (p_{12r}(n)) 에 대한 mod 3 합동을 제공한다.

마지막으로 저자들은 (D_{\ell}^{p}(k)=\deg_{\Delta}(\Delta^k|T_{1,\ell})) 와 그 영성 지수 (S_{\ell}^{p}(k)) 에 대한 구체적인 실험 결과와 추측을 제시한다. 특히 p=5, ℓ=19 에 대해 (D_{19}^{5}(k)) 가 (k) 의 5‑진법 전개와 연관된 복잡한 규칙을 따르며, 영성 지수 (S_{19}^{5}(k)) 는 (O(k^{\alpha})) (α≈0.7892) 정도로 성장한다는 추정이 있다. p=7, ℓ=29 에 대해서도 유사한 로그‑형 성장과 2‑차 방정식의 근을 이용한 지수 α≈0.864 를 제시한다. 이러한 추측은 기존의 Nicolas‑Serre 이론을 확장하는 방향을 제시한다.