[논문 리뷰] On the image of code polynomials under theta map

Manabu Oura, Riccardo Salvati Manni|ArXiv.org|2008. 03. 31.

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

한 줄 요약

이 논문은 $ g \geq 4 $ 일 때, 코드 다항식에서 짝수 스펙트럼 모듈라 형식으로의 씨앗 맵이 전성사가 아님을 증명한다. 이는 비가역 점에서의 탄성공간 차원 불일치로 인해 관련 프로젝티브 다양체가 프로젝티브 공간 $ \mathbb{P}^{2^g - 1} $ 에 임베딩될 수 없기 때문이다. 이 결과는 $ g = 4 $ 의 열린 케이스를 해결하며, $ g \geq 4 $ 에서 그레이드 맵의 전성사가 성립하지 않음을 입증하고, 4의 배수인 차수를 가진 형식의 부분환으로까지 확장된다.

ABSTRACT

The theta map sends code polynomials into the ring of Siegel modular forms of even weights. Explicit description of the image is known for $g\leq 3$ and the surjectivity of the theta map follows. Instead it is known that this map is not surjective for $g\geq 5$. In this paper we discuss the possibility of an embedding between the associated projective varieties. We prove that this is not possible for $g\geq 4$ and consequently we get the non surjectivity of the graded rings for the remaining case $g=4$.

연구 동기 및 목표

• 성별 $ g = 4 $ 에서 코드 다항식에서 시겔 모듈라 형식으로의 씨앗 맵이 전성사인지 여부를 규명하여, $ g \leq 5 $ 에 대한 분류를 완성한다.
• 씨앗 맵을 통한 모듈리 공간 $ \mathcal{H}_g / \Gamma_g(2,4) $ 이 프로젝티브 공간 $ \mathbb{P}^{2^g - 1} $ 에 임베딩될 수 있는 지 기하학적 가능성을 조사한다.
• $ g = 4 $ 의 열린 케이스인 전성사의 부재를 해결하며, 이전 결과에서 $ g \geq 5 $ 에서의 전성사 부재를 바탕으로 한다.
• 8의 배수인 차수를 가진 코드 다항식으로 제한된 씨앗 맵을 통한 시겔 모듈라 형식의 그레이드 링의 구조를 분석한다.

제안 방법

• 일반적인 완전 가역 점에서 $ \mathcal{H}_g / \Gamma_g(2,4) $ 의 탄성공간에 대한 군 $ K_g = \Gamma_g / \Gamma_g(2,4) $ 의 작용을 분석한다.
• 대칭 행렬의 다항식에서 대각 부분군 $ K $ 에 관해 불변인 항들을 사용하여 그러한 점에서 탄성공간의 차원 $ t_g $ 를 계산한다.
• 공식 $ t_g = g + \binom{g}{2} + \frac{1}{2} \sum_{h=3}^g \binom{g}{h} (h-1)! $ 를 사용하여, $ g \geq 4 $ 일 때 $ 2^g - 1 $ 을 초과함을 보이며, 이는 $ \mathbb{P}^{2^g - 1} $ 에의 임베딩에 탄성공간이 너무 크다는 것을 의미한다.
• 이에 따라 $ g \geq 4 $ 일 때 탄성공간 차원 불일치로 인해 $ \Theta_2: \overline{\mathcal{H}_g / \Gamma_g} \to \mathrm{Proj}(R_g) $ 가 임베딩이 될 수 없음을 증명한다.
• 만약 맵이 임베딩이 아니면, 그로 인한 그레이드 성분에 대한 맵은 전성사가 될 수 없으며, 이는 $ \mathrm{Th}_2: R_g^{(4k)} \to M(\Gamma_g)^{(2k)} $ 의 전성사 부재로 이어진다.
• 짝수 무게의 단순형 격자에 대한 씨앗 급수의 특수한 케이스를 고려하여, $ g \geq 4 $ 일 때 무한히 많은 차수에서 $ \mathrm{Th}_2: R_g^{(8)} \to \mathbb{C}[\vartheta_\Lambda] $ 가 전성사가 아님을 보인다.

실험 결과

연구 질문

• RQ1 성별 $ g = 4 $ 에서 코드 다항식에서 짝수 무게의 시겔 모듈라 형식으로의 씨앗 맵이 전성사인가요?
• RQ2 $ g \geq 4 $ 일 때, 씨앗 맵을 통한 모듈리 공간 $ \mathcal{H}_g / \Gamma_g(2,4) $ 가 $ \mathbb{P}^{2^g - 1} $ 에 임베딩될 수 있나요?
• RQ3 8의 배수인 차수를 가진 코드 다항식으로 제한된 씨앗 맵과 4의 배수인 차수를 가진 모듈라 형식으로 제한된 맵에서, 전성사 부재 현상이 유지되는가요?
• RQ4 일반적인 완전 가역 점에서 $ \mathcal{H}_g / \Gamma_g(2,4) $ 의 탄성공간 차원은 얼마이며, 이는 주변 프로젝티브 공간의 차원과 어떻게 비교되는가?

주요 결과

• $ g \geq 4 $ 일 때, $ \mathcal{H}_g / \Gamma_g(2,4) $ 의 일반적인 완전 가역 점에서 탄성공간의 차원 $ t_g $ 는 $ 2^g - 1 $ 을 초과하며, 이는 그 다양체가 $ \mathbb{P}^{2^g - 1} $ 에 임베딩될 수 없음을 의미한다.
• $ g \geq 4 $ 일 때, 탄성공간 차원 불일치로 인해 $ \Theta_2: \overline{\mathcal{H}_g / \Gamma_g} \to \mathrm{Proj}(R_g) $ 는 임베딩이 될 수 없다.
• 그 결과로, $ g \geq 4 $ 이고 $ k \geq 1 $ 일 때, 그레이드 맵 $ \mathrm{Th}_2: R_g^{(4k)} \to M(\Gamma_g)^{(2k)} $ 는 전성사가 아니다.
• $ g \geq 4 $ 일 때, 8의 배수인 차수를 가진 코드 다항식으로 제한된 씨앗 맵 $ \mathrm{Th}_2: R_g^{(8)} \to \mathbb{C}[\vartheta_\Lambda] $ 는 무한히 많은 차수에서 전성사가 아니다.
• 이 결과는 전성사 부재의 분류를 완성한다: 씨앗 맵은 $ g \geq 4 $ 에서 전성사가 아니며, $ g = 4 $ 의 열린 케이스를 해결한다.