[논문 리뷰] Generators for a module of vector-valued Siegel modular forms of degree 2

van Dorp|arXiv (Cornell University)|2013. 01. 14.

Advanced Algebra and Geometry참고 문헌 10인용 수 4

한 줄 요약

이 논문은 일반화된 랭킨-코헨 미분 연산자와 벡터 값 모듈라 형식에 특화된 새로운 랭킨-코헨 브라켓을 사용하여, 차수 2의 벡터 값 시겔 모듈라 형식의 자유 가군을 구축한다. 이 가군은 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$의 무게를 가지며, $k$는 홀수이다. 이는 고전적 짝수 무게의 시겔 모듈라 형식의 환 위에서 명시적인 생성자를 확립한다.

ABSTRACT

In this paper we will describe all vector-valued Siegel modular forms of degree 2 and weight ${ m Sym}^6({ m St}) \otimes \det^{k}({ m St})$ with $k$ odd. These vector-valued forms constitute a module over the ring of classical Siegel modular forms of degree 2 and even weight and this module turns out to be free. In order to find generators, we generalize certain Rankin-Cohen differential operators on triples of classical Siegel modular forms that were first considered by Ibukiyama and we find a Rankin-Cohen bracket on vector-valued Siegel modular forms.

연구 동기 및 목표

• 차수 2의 벡터 값 시겔 모듈라 형식의 구조를 결정한다. 이 형식의 무게는 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$이며, $k$는 홀수이다.
• 이러한 형식의 가군을 짝수 무게의 고전적 시겔 모듈라 형식의 환 위에서 자유 가군으로 기술한다.
• 이부키야마가 시작한 바에 따라, 고전적 시겔 모듈라 형식의 삼중체에 대해 랭킨-코헨 미분 연산자를 일반화한다.
• 벡터 값 시겔 모듈라 형식에 특화된 새로운 랭킨-코헨 브라켓 연산을 도입한다.

제안 방법

• 고전적 시겔 모듈라 형식의 삼중체에 대해 랭킨-코헨 미분 연산자를 차수 2의 고전적 형식으로 일반화한다.
• 벡터 값 시겔 모듈라 형식에 대한 새로운 랭킨-코헨 브라켓 연산을 구성하여 기존의 형식으로부터 새로운 형식을 생성한다.
• 일반화된 연산자와 브라켓을 사용하여 가군의 후보 생성자를 도출한다.
• 결과로 얻어진 형식들이 짝수 무게의 고전적 시겔 모듈라 형식의 환 위에서 자유 가군을 생성함을 검증한다.
• 고전적 시겔 모듈라 형식의 환의 알려진 구조를 활용하여 가군의 자유성 분석을 수행한다.
• 연산자의 작용과 생성자 간의 대수적 독립성을 분석하여 가군이 자유임을 확인한다.

실험 결과

연구 질문

• RQ1 차수 2의 벡터 값 시겔 모듈라 형식의 가군은 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$의 무게를 가지며, $k$가 홀수일 경우 어떤 구조를 갖는가?
• RQ2 이 가군은 짝수 무게의 고전적 시겔 모듈라 형식의 환 위에서 자유 생성자가 존재하는가?
• RQ3 랭킨-코헨 미분 연산자는 어떻게 차수 2의 시겔 모듈라 형식의 맥락에서 고전적 형식의 삼중체로 일반화될 수 있는가?
• RQ4 벡터 값 시겔 모듈라 형식에 대해 일관된 브라켓 연산이 존재하는가? 이 연산은 모듈라성을 유지하면서 새로운 형식을 생성하는가?
• RQ5 이 가군의 최소 생성자 집합은 무엇이며, 이들은 고전적 모듈라 형식과 어떻게 관련이 있는가?

주요 결과

• 무게가 $\operatorname{Sym}^6(\mathrm{St}) \otimes \det^k(\mathrm{St})$이고 $k$가 홀수인 차수 2의 벡터 값 시겔 모듈라 형식의 가군은 짝수 무게의 고전적 시겔 모듈라 형식의 환 위에서 자유 가군이다.
• 일반화된 랭킨-코헨 미분 연산자를 사용하여 고전적 형식의 삼중체에 대해 가군의 생성자를 명시적으로 구성한다.
• 벡터 값 시겔 모듈라 형식에 대해 새로운 랭킨-코헨 브라켓을 정의하여 새로운 형식을 체계적으로 생성할 수 있다.
• 구성된 생성자들의 대수적 독립성과 생성 성질을 통해 가군의 자유성을 확립한다.
• 일반화된 랭킨-코헨 연산자는 이부키야마의 원래 구성에서 고차 대칭 거듭제곱과 벡터 값 설정으로 확장된다.
• 최종적으로 얻어진 가군 구조는 이러한 벡터 값 모듈라 형식의 공간을 완전히 기술한다.