[논문 리뷰] Modular forms of orthogonal type and Jacobi theta-series

Fabien Cléry, Valery Gritsenko|arXiv (Cornell University)|2011. 06. 23.

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

한 줄 요약

이 논문은 임의의 정부호 람다에 대해 반정수 지수를 가진 자코비 형식 이론을 개발하며, 고전적 자코비 형식을 일반화한다. 이는 반정수 지수 자코비 형식에 대한 자코비 리프팅 구조를 도입하여, 테타곱과 당김을 통해 심플리시티 및 임계 무게를 가진 반사 모듈라 형식을 명시적으로 구성할 수 있게 한다. 이로써 자명하거나 비자명한 특성을 가진 새로운 모듈라 형식의 예가 포함된다.

ABSTRACT

In this paper we consider Jacobi forms of half-integral index for any positive definite lattice L (classical Jacobi forms from the book of Eichler and Zagier correspond to the lattice A_1=<2>). We give a lot of examples of Jacobi forms of singular and critical weights for root systems using Jacobi theta-series. We describe the Jacobi lifting for Jacobi forms of half-integral indices. In some case it gives additive lifting construction of new reflective modular forms.

연구 동기 및 목표

• 고전적 자코비 형식($A_1 = \langle 2 \rangle$에 대해)을 임의의 정부호 람다에 대해 반정수 지수를 가진 자코비 형식으로 일반화한다.
• 가능한 특성을 가진 반정수 지수 자코비 형식에 대해 자코비 리프팅 맵을 개발하여 새로운 반사 모듈라 형식을 구성할 수 있도록 한다.
• 테타곱과 당김을 사용하여 임계 무게와 심플리시티 무게를 가진 자코비 형식의 명시적 예를 제공한다.
• Borcherds-Enriques 형식 $\Phi_4$를 8개의 고전적 테타급수의 리프팅으로서 새로운 방식으로 구성한다.
• 심플리시티 무게를 가진 고차원 자코비 형식의 당김을 통해 테타쿼크와 정수형 테타블록을 설명한다.

제안 방법

• 모든 정부호 람다 $L$에 대해 반정수 지수 자코비 형식을 정의하여 Eichler-Zagier 프레임워크를 일반화한다.
• 근 람다에 관련된 자코비 테타급수를 사용하여 심플리시티 및 임계 무게를 가진 자코비 형식의 예를 구성한다.
• 반정수 지수 자코비 형식에서 오р토고날 모듈라 형식을 생성하는 리프팅 맵 $\mathrm{Lift}$를 도입한다.
• 지수 2의 여부를 가진 부분 람다에 대한 자코비 형식의 당김을 분석하여 임계 무게의 새로운 촘프 형식을 생성한다.
• 테타곱과 그 당김을 적용하여 자명하거나 비자명한 특성을 가진 자코비 촘프 형식을 구성한다.
• Weil 표현과 $\eta$-함수 및 $\vartheta$-함수의 모듈라 성질을 사용하여 변환 행동과 특성 구조를 제어한다.

실험 결과

연구 질문

• RQ1 임의의 정부호 람다에 대해 반정수 지수 자코비 형식을 체계적으로 어떻게 구성할 수 있는가?
• RQ2 반정수 지수 자코비 형식에 대한 자코비 리프팅 맵의 구조는 어떠한가? 이는 어떤 모듈라 군을 유지하는가?
• RQ3 어떤 람다들이 자명하거나 비자명한 특성을 가진 임계 무게 $\frac{n+1}{2}$의 비영 자코비 촘프 형식을 허용하는가?
• RQ4 Borcherds-Enriques 형식 $\Phi_4$는 고전적 테타급수의 곱의 리프팅으로 재구성될 수 있는가?
• RQ5 테타곱과 당김은 테타쿼크와 같은 정수형 테타블록 생성에 어떤 역할을 하는가?

주요 결과

• 반정수 지수 자코비 리프팅은 오르토고날 군의 서명 $(2,n)$에서 반사 모듈라 형식을 직접 구성한다.
• $D_3$에서 심플리시티 무게 1을 가진 형식 $\sigma_{A_2}$는 당김을 통해 임계 무게 1의 촘프 형식을 유도하며, 이로부터 특성 $v_{\eta}^8$을 가진 테타쿼크 $\theta_{a,b}$를 얻는다.
• $n \geq 7$ 홀수 또는 $n \geq 8$ 짝수이며 $d \equiv n+1 \pmod{2}$인 경우, 람다의 랭크 $n$을 가진 람다 $L$는 특성 $v_{\eta}^d$를 가진 비영 임계 무게 $\frac{n+1}{2}$의 자코비 촘프 형식을 포함한다.
• 형태 $\eta(\tau)\vartheta_{3/2}(\tau,2z)$와 $\eta(\tau)\vartheta(\tau,2z)$의 테타곱은 각각 특성 $v_{\eta}^2$ 및 $v_{\eta}^4$를 가진 심플리시티 무게 1의 자코비 형식을 유도한다.
• $\sigma_{A_2}$의 당김 $u = 2(b, -a, 0)$는 무게 1, 지수 $a^2 + ab + b^2$를 가진 테타쿼크 $\theta_{a,b} = \frac{\vartheta(\tau,az)\vartheta(\tau,bz)\vartheta(\tau,(a+b)z)}{\eta(\tau)}$를 유도한다.
• 모든 홀수 랭크 $\geq 5$에 대해 자명한 특성을 가진 임계 무게의 자코비 촘프 형식이 존재하며, 이는 $\vartheta_{A_m(3)}$를 통한 고랭크 심플리시티 무게 형식의 당김으로 구성된다.