[논문 리뷰] The weight reduction of mod $p$ Siegel modular forms for $GSp_4$

Takuya Yamauchi|arXiv (Cornell University)|2014. 10. 29.

Advanced Algebra and Geometry참고 문헌 50인용 수 9

한 줄 요약

이 논문은 $GSp_4$에 대한 차수 2의 mod $p$ 시겔 모듈라 형식에 대해 가중치 감소 정리를 확립하며, 에케다-오르트 분해에 대해 토탈 연산자와 부분 해세 불변량을 구성하여, 임의의 mod $p$ 갈루아 표현이 수준을 증가시키지 않고 유계 가중치를 갖는 형식에서 유래됨을 보여준다—구체적으로, $k_1 - k_2 + 3 < p$ 및 $k_2 ≤ p^4 + p^2 + 2p + 1$를 만족한다.

ABSTRACT

In this paper we investigate the (classical) weights of mod $p$ Siegel modular forms of degree 2 toward studying Serre's conjecture for $GSp_4$. We first construct various theta operators on the space of such forms a la Katz and define the theta cycles for the specific theta operators. Secondly we study the partial Hasse invariants on each Ekedahl-Oort strata and their local behaviors. This enable us to obtain a kind of weight reduction theorem for mod $p$ Siegel modular forms of degree 2 without increasing level.

연구 동기 및 목표

• 수준을 증가시키지 않고 mod $p$ 시겔 모듈라 형식의 고전적 가중치를 감소시킴으로써 $GSp_4/\mathbb{Q}$에 대한 세르의 가중치 추측을 해결한다.
• 카츠의 방식으로 mod $p$ 시겔 모듈라 형식에 대한 토탈 연산자를 구성하여 가중치 및 비영행동을 제어할 수 있도록 한다.
• 에케다-오르트 분해에서 부분 해세 불변량을 분석하여 국소적 행동과 형식의 비영성에 대한 이해를 도모한다.
• 가중치 제약 조건과 $p$-진 성질을 바탕으로 토탈 연산자의 비영성에 대한 기준을 설정한다.
• 임의의 mod $p$ 갈루아 표현 $\overline\rho$가 유계 가중치를 갖는 시겔 측두형식에서 유래됨을 증명하며, 이는 순환적 타원형 $\overline\chi_p^\alpha$와 호환된다.

제안 방법

• 차수 2의 mod $p$ 시겔 모듈라 형식 공간에 대해 작은 $\theta$-연산자와 큰 $\Theta$-연산자를 구성한다.
• $\theta$-사이클을 $\theta$-연산자가 영이 되지 않는 영역으로 정의하며, 비반순환 및 반순환 케이스에 집중한다.
• 각 에케다-오르트 분해에 대해 부분 해세 불변량을 도입하고, 가우스-미누 연산자를 통해 그 국소적 행동을 분석한다.
• 아델릭 및 기하학적 시겔 모듈라 형식 이론을 활용하여 $S_{N,p}$ 상의 자동형층을 갈루아 표현과 연결한다.
• 피에리의 분해와 명시적 $GL_2$-모듈의 동형을 활용하여 대칭 텐서 상에서 $\theta$-연산자의 작용을 계산한다.
• $p$-진 순환적 특성 $\overline\chi_p$를 사용하여 표현을 트위스트하고, $\overline\chi_p^\alpha \otimes \overline\rho_{F,p}$를 통해 가중치를 감소시킨다.

실험 결과

연구 질문

• RQ1 수준을 증가시키지 않고 차수 2의 mod $p$ 시겔 측두형식의 고전적 가중치를 감소시킬 수 있는가?
• RQ2 mod $p$ 갈루아 표현 $\overline\rho: G_\mathbb{Q} \to GSp_4(\overline{\mathbb{F}}_p)$이 시겔 측두형식에서 유래할 수 있는 정확한 가중치 범위는 무엇인가?
• RQ3 토탈 연산자와 그 사이클은 mod $p$ 시겔 모듈라 형식의 비영성 및 가중치 감소 성질을 어떻게 제어하는가?
• RQ4 에케다-오르트 분해에서 부분 해세 불변량의 국소적 행동은 무엇이며, 시겔 3차원 다양체의 기하학과 어떻게 관련되는가?
• RQ5 $\theta$-사이클의 구조는 완전히 기술될 수 있는가, 특히 비반순환 케이스에서 어떻게 되며, 이는 어떤 가중치 제약 조건을 드러내는가?

주요 결과

• 논문은 가중치 감소 정리를 증명한다: 임의의 mod $p$ 갈루아 표현 $\overline\rho$는 $k_1 - k_2 + 3 < p$ 및 $k_2 \leq p^4 + p^2 + 2p + 1$를 만족하는 가중치 $(k_1,k_2)$를 갖는 시겔 측두형식에서 유래된다.
• 토탈 연산자 $\theta_1^{(k_1,k_2)}$는 초특수 다양체에서 비영이 될 조건이 $k_1 = k_2$일 때에만 성립하며, 이는 $\theta$-사이클이 가중치의 일치를 감지함을 나타낸다.
• 부분 해세 불변량이 구성되었고, 각 에케다-오르트 분해에서 비영임이 입증되어 국소적 분석이 가능해졌다.
• $\theta$-사이클 분해는 비자명한 점프가 오직 $k_1 = k_2$일 때에만 발생함을 드러내며, 사이클 구조와 가중치의 열화를 연결한다.
• $n = p-1$ 또는 $p-2$일 때, $V(n-2,2) \cong W_2(n)$은 $\overline{\mathbb{F}}_p$ 상에서 잘 정의되어 있으며, 텐서 곱 $V(n) \otimes V(2)$의 분해를 가능하게 한다.
• 명시적 기저 변환 공식 (7.1)–(7.4)는 $V(n) \otimes V(2)$를 기약 $GL_2$-모듈로 분해하는 계산 방법을 제공하며, $p$- torsion을 고려해 계수를 조정한다.