[논문 리뷰] $W(E_8)$-invariant Jacobi forms

Haowu Wang|arXiv (Cornell University)|2018. 01. 25.

Advanced Algebra and Geometry참고 문헌 20인용 수 3

한 줄 요약

이 논문은 $W(E_8)$-불변 잭비 형식이 사카이가 도입한 아홉 개인 복소해석적 잭비 형식에 대한 다항식으로 유일하게 표현 가능하다는 것을 증명한다. 이 다항식의 계수는 유리형 모듈라 형식이다. 또한 고정된 인덱스를 가진 $W(E_8)$-불변 약한 잭비 형식의 공간이 모듈라 형식의 링 위의 자유 모듈러라고 증명하며, 인덱스가 5 미만일 경우 명시적인 생성자를 구성함으로써 모듈러 구조를 완전히 규명한다.

ABSTRACT

We investigate Jacobi forms invariant under the action of the Weyl group of root lattice $E_8$. Such Jacobi forms are called $W(E_8)$-invariant Jacobi forms. We prove that every $W(E_8)$-invariant Jacobi form can be expressed uniquely as a polynomial in nine algebraically independent holomorphic Jacobi forms introduced by Sakai with coefficients which are meromorphic modular forms. The space of $W(E_8)$-invariant weak Jacobi forms of fixed index is a free module over the ring of modular forms. When index is less than $5$, we determine the structure of the corresponding module and construct all generators.

연구 동기 및 목표

• $E_8$ 루트 격자에 대한 와일 군 $W(E_8)$ 에 대해 불변인 잭비 형식의 대수적 구조를 이해하기 위해.
• 이러한 $W(E_8)$-불변 잭비 형식이 유한한 기본 형식들의 집합으로 표현될 수 있는지 확인하기 위해.
• $W(E_8)$-불변 약한 잭비 형식의 고정된 인덱스를 가진 공간이 모듈라 형식의 링 위의 자유 모듈러인지 확립하기 위해.
• 인덱스가 5 미만일 경우 $W(E_8)$-불변 약한 잭비 형식의 모듈러에 대해 명시적인 생성자를 구성하기 위해.

제안 방법

• 저자들은 $E_8$ 루트 격자 위의 잭비 형식의 대칭성 특성을 분석하기 위해 와일 군 $W(E_8)$ 의 작용을 사용한다.
• 그들은 $W(E_8)$-불변 잭비 형식의 링을 생성하기 위해 사카이의 아홉 개인 복소해석적 잭비 형식을 사용한다.
• 증명은 임의의 $W(E_8)$-불변 잭비 형식이 이 아홉 형식에 대한 다항식으로 유일하게 표현 가능하며, 계수는 유리형 모듈라 형식임을 보이는 데 기반한다.
• 약한 잭비 형식의 모듈러 구조는 모듈라 형식 이론과 잭비 형식의 군집 링 구조 이론을 통해 분석된다.
• 인덱스가 5 미만일 경우, 저자들은 공간의 차원과 대칭성 제약 조건을 분석함으로써 생성자를 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 모든 $W(E_8)$-불변 잭비 형식이 유리형 모듈라 계수를 가진 유한한 기본 잭비 형식들의 다항식으로 표현될 수 있는가?
• RQ2 $W(E_8)$-불변 약한 잭비 형식의 고정된 인덱스를 가진 공간이 모듈라 형식의 링 위의 자유 모듈러인가?
• RQ3 인덱스가 5 미만일 경우 $W(E_8)$-불변 약한 잭비 형식의 모듈러의 명시적 구조는 무엇인가?
• RQ4 인덱스가 5 미만일 경우 $W(E_8)$-불변 약한 잭비 형식의 공간을 생성하기 위해 필요한 생성자의 수는 몇 개인가, 그리고 그들의 명시적 형태는 무엇인가?

주요 결과

• 모든 $W(E_8)$-불변 잭비 형식은 사카이가 도입한 아홉 개인 복소해석적 잭비 형식에 대한 다항식으로 유일하게 표현 가능하다.
• 이 다항식 표현의 계수는 유리형 모듈라 형식이다.
• $W(E_8)$-불변 약한 잭비 형식의 고정된 인덱스를 가진 공간은 모듈라 형식의 링 위의 자유 모듈러를 이룬다.
• 인덱스가 5 미만일 경우 모듈러 구조는 완전히 규명되었으며, 모든 생성자가 명시적으로 구성되었다.
• 낮은 인덱스 범위에서 생성자의 수와 그 차수는 완전히 특성화되었으며, 이러한 공간들의 완전한 기저를 제공한다.