[논문 리뷰] Weights of the mod $p$ kernel of the theta operators

Siegfried Boecherer, Toshiyuki Kikuta외 1명|arXiv (Cornell University)|2016. 06. 21.

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

한 줄 요약

이 논문은 일반화된 테타 연산자 $\Theta^{[j]}$ 의 mod $p$ 핵에서 시겔 모듈라 형식의 차수를 조사하며, $p$ 에 비해 작은 차수에 대해 조건을 만족할 경우 차수는 반드시 $p$ 에 의해 나누어져야 한다고 규명한다. 새로운 연산자 $A^{(j)}(M)$ 를 도입하여 임의의 모듈라 형식으로부터 핵에 속하는 원소를 구성하고, 다양한 차수와 소수에 대해 구체적인 예와 필터링을 제시한다.

ABSTRACT

We give some relations between the weights and the prime $p$ of elements of the mod $p$ kernel of the generalized theta operator $Θ^{[j]}$. In order to construct examples of the mod $p$ kernel of $Θ^{[j]}$ from any modular form, we introduce new operators $A^{(j)}(M)$ and show the modularity of $F|A^{(j)}(M)$ when $F$ is a modular form. Finally, we give some examples of the mod $p$ kernel of $Θ^{[j]}$ and the filtrations of some of them.

연구 동기 및 목표

• 시겔 모듈라 형식에서 일반화된 테타 연산자 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하기 위한 차수와 소수 $p$ 에 대한 필수 조건을 규명하는 것.
• 클래식한 라만두잔의 $\theta$-연산자 이론을 고차원 시겔 모듈라 형식과 그들의 mod $p$ 핵으로 확장하는 것.
• 새로운 연산자 $A^{(j)}(M)$ 를 사용하여 임의의 모듈라 형식으로부터 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 새로운 원소를 구성하는 것.
• 다양한 차수와 소수에 대해 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 특정 원소의 필터링을 계산하고 표로 정리하는 것.
• 시겔 모듈라 형식 모odulo $p$ 의 합동과 필터링에 관한 이전 결과를 일반화하는 것.

제안 방법

• 모듈라 형식에 작용하여 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 원소를 생성하는 새로운 연산자 $A^{(j)}(M)$ 를 도입하며, 출력물의 모듈라성을 보장한다.
• 일반화된 테타 연산자 $\Theta^{[j]}$ 는 $F = \sum_T a_F(T) q^T$ 에 대해 $\sum_T T a_F(T) q^T$ 로 정의되며, 이를 통해 mod $p$ 에서의 핵을 분석한다.
• 시겔 모듈라 형식의 푸리에 전개 이론과 $p$-진 성질을 활용하여 핵의 구조를 연구한다.
• 기존의 킬링겐-아이젠스타인 급수와 컷스 형식에 대한 결과를 활용하여 핵 내의 명시적 예를 구성한다.
• 특정 원소의 필터링을 $p$-진 필터링 이론을 사용하여 계산하며, 차수 100 이하, 소수 80 이하에 대해 상세한 표를 제공한다.
• 심플렉틱 군의 작용과 슬래시 연산자를 활용하여 모듈라 불변성을 정의하고, $F|A^{(j)}(M)$ 의 모듈라성을 보장한다.

실험 결과

연구 질문

• RQ1 시겔 모듈라 형식이 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하기 위해 필요한 차수 $k$ 와 소수 $p$ 의 조건은 무엇인가?
• RQ2 임의의 모듈라 형식에서 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 새로운 원소를 체계적으로 구성할 수 있는가?
• RQ3 작은 차수와 다양한 소수에 대해 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 원소의 명시적 필터링은 무엇인가?
• RQ4 차수와 소수가 변화함에 따라 핵 원소의 필터링은 어떻게 변화하는가, 특히 $p$-나누어떨어짐과의 관계에서 어떻게 되는가?
• RQ5 클래식한 $\theta$-연산자의 성질이 시겔 모듈라 설정에서 고차원 $\Theta^{[j]}$ 연산자로 어떻게 일반화되는가?

주요 결과

• 소수 $p$ 에 비해 작은 차수에 대해, $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 임의의 원소의 차수 $k$ 는 반드시 $p$ 로 나누어져야 하며, 이는 세르와 케이츠의 결과를 고차원 시겔 모듈라 형식으로 일반화한 것이다.
• $A^{(j)}(M)$ 연산자는 임의의 모듈라 형식 $F$ 로부터 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 원소를 성공적으로 생성하며, $F|A^{(j)}(M)$ 는 여전히 모듈라 형식이다.
• 다양한 차수와 소수에 대해 $\Theta^{[j]}$ 의 mod $p$ 핵에 속하는 원소의 명시적 예가 제공되며, 예를 들어 $k = 12, 16, 24, 30, 48, 54, 58, 60$ 과 $p = 23, 31, 47, 59, 73$ 등이 포함된다.
• 핵 원소의 필터링을 계산하고 표로 정리하였으며, 예를 들어 $p=23$ 인 $k=24$ 형식에 대해 $\omega_1(F) = 1$ 이고, $p=59$ 인 $k=54$ 형식에 대해서도 $\omega_1(F) = 1$ 이다.
• $\Theta^{[2]}$ 의 핵은 $p < 80$ 에 대해 차수 $k = 18, 24, 28, 30, 38, 42, 48, 50, 54, 58, 60, 66, 68, 72, 74, 78, 80, 83, 84, 88, 90, 92, 93, 96, 98$ 에 대해 비영인 형식을 포함한다.
• $\Theta^{[1]}$ 에 대해, 논문은 $p=23$ 인 $k=24$ 형식에 대해 필터링 $\omega_1(F)$ 가 1임을 확인하였으며, $p=59$ 인 $k=54$ 형식에 대해서도 $\omega_1(F) = 1$ 이며, 이는 최소한의 $p$-진 값매김을 의미한다.