[논문 리뷰] Harmonic Maass-Jacobi forms with singularities and a theta-like decomposition

Kathrin Bringmann, Martin Raum외 1명|arXiv (Cornell University)|2012. 07. 24.

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

한 줄 요약

이 논문은 특이점을 가진 조화 마스-자코비 형식의 새로운 공간을 제안하며, 제이크스의 실해석적 자코비 형식에 대한 연구를 확장한다. 캐시미어 연산자 $\mathcal{C}_{k,m}$와 하이젠베르크 라플라스 연산자 $\Delta^{\mathrm{H}}_m$에 의해 소멸되는 H-조화 마스-자코비 형식을 정의하고, 미분 연산자 $\xi^H$와 $\xi$를 활용함으로써, 해석적 부분과 비해석적 부분으로 분해되는 테타 유사 분해를 수립한다. 이는 특이점을 포함하는 완전한 구조 이론을 제공한다.

ABSTRACT

Real-analytic Jacobi forms play key roles in different areas of mathematics and physics, but a satisfactory theory of such Jacobi forms has been lacking. In this paper, we fill this gap by introducing a space of harmonic Maass-Jacobi forms with singularities which includes the real-analytic Jacobi forms from Zwegers's PhD thesis. We provide several structure results for the space of such Jacobi forms, and we employ Zwegers's $\widehatμ$-functions to establish a theta-like decomposition.

연구 동기 및 목표

• 실해석적 자코비 형식에 대한 종합적인 이론이 부족한 데, 특히 제이크스의 μ-함수와 같은 특이점을 가진 경우를 다루기 위해.
• 이전 연구에서 이러한 형식이 제외된 바가 있었기 때문에, 특이점을 포함하는 조화 마스-자코비 형식의 정의를 확장하여 한계를 극복하기 위해.
• 미분 연산자 $\xi^{\mathrm{H}}_{k,m}$와 $\xi_{k,m}$를 이용해 이러한 새로운 형식에 대한 구조 이론을 수립하고, 해석적 부분과 비해석적 부분으로 분해할 수 있도록 하기 위해.
• 완전한 H-준-마스-자코비 형식에 대해 테타 유사 분해를 수립하여, 약한 휘어진 해석적 형식과 조화 마스 형식에 대해 알려진 결과를 일반화하기 위해.

제안 방법

• 캐시미어 연산자 $\mathcal{C}_{k,m}$와 하이젠베르크 라플라스 연산자 $\Delta^{\mathrm{H}}_m$에 의해 소멸되는 H-조화 마스-자코비 형식의 공간 $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k,m}$를 도입한다.
• 브루이니에르와 푼케의 $\xi_k$에 대한 유사물인 미분 연산자 $\xi^{\mathrm{H}}_{k,m}$와 $\xi_{k,m}$를 정의하여, 비해석적 부분을 제거함으로써 형식의 구조를 단순화한다.
• 연산자 $Y_+$와 $Y_-$를 사용하여 깊이 $D$인 완전한 H-준-마스-자코비 형식의 필터링을 구성함으로써, 귀납적 분해를 가능하게 한다.
• 완전한 H-준-마스-자코비 형식이 깊이 $D$일 경우, $\phi = \sum_{d=0}^{D-1} Y_+^d(\phi_d)$로 분해되며, $\phi_d \in \mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k-d,m}$임을 증명함으로써, 테타 유사 분해를 확립한다.
• 역관계와 켤레 관계를 활용하여 $Y_+^{\mathrm{sk}}$, $Y_-^{\mathrm{sk}}$, 복소수 켤레를 통해 결과를 기울임-마스-자코비 형식으로 확장한다.
• $\xi^{\mathrm{H}}$-연산자를 적용하여 $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k,m}$에서 $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{h}}_{k,m}$로 형식을 끌어올림으로써, 일반 형식의 분해를 가능하게 한다.

실험 결과

연구 질문

• RQ1 특이점을 가진 실해석적 자코비 형식에 대해 일관된 이론을 어떻게 수립할 수 있는가, 특히 제이크스의 $\widehat{\mu}$-함수를 포함하기 위해?
• RQ2 캐시미어 연산자와 하이젠베르크 라플라스 연산자에 의해 동시에 소멸되는 조화 마스-자코비 형식일 경우 어떤 구조가 나타나는가?
• RQ3 완전한 H-준-마스-자코비 형식에 대해 테타 유사 분해를 수립할 수 있는가, 약한 휘어진 해석적 형식에 대한 것과 유사하게?
• RQ4 $\xi^{\mathrm{H}}_{k,m}$와 $\xi_{k,m}$의 미분 연산자가 H-조화 마스-자코비 형식의 구조를 어떻게 단순화하는가?
• RQ5 공간 $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k,m}$, $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{h}}_{k,m}$, $\mathcal{M}\mathrm{J}^{\delta,\mathrm{h}}_{k,m}$ 사이의 정확한 관계는 무엇이며, 어떻게 분해되는가?

주요 결과

• 공간 $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k,m}$는 제이크스의 $\widehat{\mu}$-함수를 포함하며, 하이젠베르크 라플라스 연산자와 캐시미어 연산자의 작용에 대해 닫혀 있다.
• 특이점이 없는 $\mathrm{H}$-조화 마스-자코비 형식은 $\xi^{\mathrm{H}}_{k,m}$에 의해 소멸될 경우, 자코비 변수 $z$에 대해 해석적일 뿐 아니라, 반반형식이 된다.
• 공간 $\mathcal{M}\mathrm{J}^{\Delta,\mathrm{h}}_{k,m}$는 $\mathrm{J}^{\Delta,\mathrm{h}}_{k,m} \oplus \mathcal{M}\mathrm{J}^{\delta,\mathrm{h}}_{k,m}$로 분해되며, 해석적 부분과 비해석적 부분으로의 직합 분해를 보여준다.
• 모든 깊이 $D$인 완전한 $\mathrm{H}$-준-마스-자코비 형식은 $\phi = \sum_{d=0}^{D-1} Y_+^d(\phi_d)$로 분해되며, $\phi_d \in \mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k-d,m}$임을 보여주어, 테타 유사 분해를 확립한다.
• 모든 완전한 $\mathrm{H}$-준-마스-자코비 형식의 공간은 $\bigoplus_{d=0}^{\infty} Y_+^d\big{(}\mathcal{M}\mathrm{J}^{\Delta,\mathrm{H}}_{k-d,m}\big{)}$와 동형이며, 고전적 테타 분해를 일반화한다.
• $m < 0$일 경우, 공간 $\mathrm{J}^{\Delta,\mathrm{h}}_{k,m}$와 $\mathrm{J}^{\delta,\mathrm{h}}_{k,m}$는 자명하며, 이는 음수 인덱스에서 비특이 H-조화 형식이 존재하는 데에 강력한 제약 조건이 있음을 시사한다.