[논문 리뷰] Almost harmonic Maass forms and Kac-Wakimoto characters

Kathrin Bringmann, Amanda Folsom|arXiv (Cornell University)|2011. 12. 20.

Advanced Algebra and Geometry참고 문헌 18인용 수 5

한 줄 요약

이 논문은 카크가 제기한 질문을 해결하며, $\mathfrak{\widehat{\mathfrak{sl}}}(m|n)$ 최고원소 모듈러스의 카크-바키모토 특성은 깊이 $n$의 '거의 조화 마스 폼'이라 불리는 새로운 자동형 객체의 본질적인 해석적 부분임을 증명한다. 저자들은 이러한 특성의 자동형 성질을 확립하고, 이전의 $n=1$ 결과를 임의의 $n \geq 1$ 으로 일반화한 명시적 점근 전개를 유도한다. 주요 기여는 임의의 차수의 극을 가진 유리형 자코비 형식의 모듈라 행동을 묘사하기 위해 '거의 조화 마스 폼'을 도입한 것이다.

ABSTRACT

We resolve a question of Kac, and explain the automorphic properties of characters due to Kac-Wakimoto pertaining to sl(m|n)^ highest weight modules, for n \geq 1. We prove that the Kac-Wakimoto characters are essentially holomorphic parts of certain generalizations of harmonic weak Maass forms which we call "almost harmonic Maass forms". Using a new approach, this generalizes prior work of the first author and Ono, and the authors, both of which treat only the case n = 1. We also provide an explicit asymptotic expansion for the characters.

연구 동기 및 목표

• Kac가 제기한 오랜 숙제를 해결한다. 즉, $\mathfrak{\widehat{\mathfrak{sl}}}(m|n)$ 최고원소 모듈러스에 대한 카크-바키모토 특성의 자동형 성격에 관하여.
• 이전의 $n=1$ 결과를 임의의 $n \geq 1$ 으로 일반화한다. 여기서 특성들은 모듈라 형식이 아니며, 대신 새로운 자동형 객체의 해석적 부분이다.
• 임의의 차수 $n \geq 1$ 의 극을 가진 유리형 자코비 형식을 위한 프레임워크를 개발한다. 이는 문헌에서 아직 완전한 이론이 없는 분야이다.
• 적분 변환과 특수 함수를 기반으로 한 새로운 접근법을 사용하여, Kac-Wakimoto 특성 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0}$ 에 대한 명시적 점근 전개를 유도한다.

제안 방법

• 저자들은 깊이 $r$ 의 '거의 조화 마스 폼'을 정의하여, 극의 차수가 $n \geq 1$ 인 유리형 자코비 형식을 수용할 수 있도록 조화 약한 마스 폼을 일반화한다.
• 카크-바키모토의 생성함수 $\operatorname{ch}F = \sum_{\ell \in \mathbb{Z}} \operatorname{ch}F_\ell \zeta^\ell$ 을 분석한다. 이는 극의 차수가 $n$ 인 유리형 자코비 형식이다.
• 모든 $w_s = 1$ 과 $e^{\Lambda_0} = 1$ 으로 설정함으로써 생성함수를 분석에 적합한 형태로 단순화한다. 이 과정에서 수렴성과 자동형 구조를 유지한다.
• 적분 표현식 $I_\ell(t) = \int_{\mathbb{R}} \frac{e^{\frac{\pi(n-m)u^2}{t} - 2\pi i \ell u}}{\cosh(\frac{\pi u}{t})^n} du$ 을 사용하여 특성의 점근 행동을 연구한다.
• 적분 $I_\ell(t)$ 를 $t=0$ 근처에서 타일러 전개함으로써 점근 전개를 도출한다. 이는 모멘트 $\widetilde{\mathcal{E}}_{k,n} = \int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)^n} dx$ 에 대한 재귀 관계를 사용한다.
• 증명은 잔류 적분과 부분 적분을 활용하여 $\widetilde{\mathcal{E}}_{k,n}$ 에 대한 재귀 관계를 유도하며, 이는 서로 다른 $n$ 에 대한 모멘트를 연결한다.

실험 결과

연구 질문

• RQ1 임의의 $n \geq 1$ 에 대해 $\mathfrak{\widehat{\mathfrak{sl}}}(m|n)$ 모듈러스에 대한 카크-바키모토 특성의 자동형 성격은 어떻게 특징지을 수 있는가?
• RQ2 극의 차수가 임의의 $n \geq 1$ 인 유리형 자코비 형식을 묘사하기 위해 조화 약한 마스 폼을 일반화하는 새로운 자동형 객체의 클래스는 무엇인가?
• RQ3 카크-바키모토 특성 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0}$ 에 대해 $n=1$ 의 경우를 초월하여 명시적 점근 전개를 도출할 수 있는가?
• RQ4 특성은 상반평면에서 $\tau \to 0^+$ 일 때 어떻게 점점 더 행동하는가? 그리고 주요 항은 무엇에 의해 결정되는가?

주요 결과

• 카크-바키모토 특성 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0}$ 는 이 논문에서 도입된 새로운 자동형 객체인 깊이 $n$ 의 '거의 조화 마스 폼'의 본질적인 해석적 부분임을 보여준다.
• 특성의 점근 전개는 $\operatorname{tr}_{L_{m,n}(\Lambda_{(\ell)})}q^{L_0} = e^{\frac{\pi t}{12}(n-m+1)+\frac{\pi}{12t}(m+2n-1)} \frac{\sqrt{t}}{2^n} \left( \sum_{r=0}^{N} a_r(m,n,\ell) \frac{t^r}{r!} + O(t^{N+1}) \right)$ 로 주어지며, $t \to 0^+$ 일 때 성립한다.
• 전개에 등장하는 계수 $a_r(m,n,\ell)$ 는 모멘트 $\widetilde{\mathcal{E}}_{k,n} = \int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)^n} dx$ 에 의해 결정되며, 이는 부분 적분을 통해 유도된 재귀 관계를 만족한다.
• $n=1$ 과 $n=2$ 에서 모멘트 $\widetilde{\mathcal{E}}_{k,n}$ 는 각각 오일러 수와 베르누이 다항식을 통해 명시적으로 관련된다: $\int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)} dx = (-2i)^{-k} E_k$ 와 $\int_{\mathbb{R}} \frac{x^k}{\cosh(\pi x)^2} dx = \frac{2i^{-k}}{\pi} B_k(\frac{1}{2})$.
• 점근 전개의 오차 항은 적분 $\int_0^{1/2t} e^{\pi(n-m)t u^2 + \pi u} du$ 를 유계화함으로써 제어되며, 이는 $\exp(-\pi/t)$ 인자 이후 오차 항에만 기여한다.