[논문 리뷰] Deformations of Saito-Kurokawa type and the Paramodular Conjecture (with an appendix by Cris Poor, Jerry Shurman, and David S. Yuen)

Tobias Berger, Krzysztof Klosin|arXiv (Cornell University)|2017. 10. 27.

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

한 줄 요약

이 논문은 탈리스터-쿠로카와 유형의 변형 이론을 통해, 아벨 곡면에서 유래하는 특정 4차원 갈로아 표현의 모듈러성에 대해 증명하며, 블로흐-카토 세일머 그룹에 대한 조건과 특성 0의 변형이 존재할 경우, 유일한 변형 환은离散 valuation 환임을 보인다. 핵심 결과는 탈리스터-쿠로카와 유형의 변형에 대해 R^red = T 정리를 확립함으로써, 슈발레 모듈러성 추측이 새로운 사례, 특히 731의 도수에서 검증 가능하게 되었으며, 이는 시겔 모듈러 형식 간의 합동을 통해 이루어졌다.

ABSTRACT

We study short crystalline, minimal, essentially self-dual deformations of a mod $p$ non-semisimple Galois representation $\barσ$ with $\barσ^{ m ss}=χ^{k-2} \oplus ρ\oplus χ^{k-1}$, where $χ$ is the mod $p$ cyclotomic character and $ρ$ is an absolutely irreducible reduction of the Galois representation $ρ_f$ attached to a cusp form $f$ of weight $2k-2$. We show that if the Bloch-Kato Selmer groups $H^1_f(\mathbf{Q}, ρ_f(1-k)\otimes \mathbf{Q}_p/\mathbf{Z}_p)$ and $H^1_f(\mathbf{Q}, ρ(2-k))$ have order $p$, and there exists a characteristic zero absolutely irreducible deformation of $\barσ$ then the universal deformation ring is a dvr. When $k=2$ this allows us to establish the modularity part of the Paramodular Conjecture in cases when one can find a suitable congruence of Siegel modular forms. As an example we prove the modularity of the abelian surface of conductor 731. When $k>2$, we obtain an $R^{ m red}=T$ theorem showing modularity of all such deformations of $\barσ$.

연구 동기 및 목표

• Q에 정의된 유리수 토르션을 갖는 아벨 곡면에서 유래하는 4차원, 본질적으로 자기쌍대 갈로아 표현의 모듈러성을 증명하며, 잔여 표현의 모듈러성을 가정하지 않고도 가능하도록 한다.
• 세르 유형의 추측이 필요 없이, 탈리스터-쿠로카와 유형의 갈로아 표현을 위한 변형 이론적 프레임워크를 개발한다.
• 블로흐-카토 세일머 그룹 조건과 특성 0의 변형이 존재할 경우, 유일한 변형 환이 이산 평가환임을 증명한다.
• 시겔 모듈러 형식 간의 합동을 활용하여, 특히 도수 731인 복합 수준의 경우 슈발레 모듈러성 추측을 검증한다.
• 적절한 시겔 모듈러 형식과 파라모듈러 Saito-Kurokawa 상승 간의 합동이 존재할 경우, 아벨 곡면의 모듈러성을 검증하는 일반적인 방법을 제공한다.

제안 방법

• 특성 p의 비완전분해되지 않은 갈로아 표현의 짧은 크리스탈린, 최소, 본질적으로 자기쌍대 변형을 구성하며, 그 반복화는 χ^{k−2} ⊕ ρ ⊕ χ^{k−1}이며, 여기서 ρ는 무게 2k−2의 촉각형식 f에서 유래한다.
• 블로흐-카토 세일머 그룹 조건을 사용: dim H¹_f(Q, ρ(1−k)) = dim H¹_f(Q, ρ(2−k)) = 1이며, 유일한 변형 환 R^red 가 이산 평가환임을 가정한다.
• 카토의 제어 정리와 p-진 L-함수를 적용하여, 대수적 L-값 L^alg(k,f) 와 세일머 그룹의 크기를 연결한다: #H¹_f(Q, ρ_f(1−k)⊗E/O) ≤ #O/L^alg(k,f).
• 무게 k와 도수 1인 비상승 시겔 모듈러 형식의 공간에 작용하는 헤케 대수 T 를 구성하며, Saito-Kurokawa 상승과 수직인 성질을 가지며, Saito-Kurokawa 상승 SK(f) 의 영향자로 인해 T ≠ 0 임을 보인다.
• 사상 φ: R^red → ∏_{F∈Φ} O ⊃ T 를 확립하고, 가환대수 기준을 통해 φ 가 동형임을 증명함으로써 R^red ≅ T 를 도출한다.
• I^tot 가 주어진다 (정리 6.6) 를 이용하고, φ 의 동형성과 함께, [BK13] 의 정리 4.1 을 통해 R^red ≅ T 를 유도한다.

실험 결과

연구 질문

• RQ1 블로흐-카토 세일머 그룹 조건과 특성 0의 변형 존재 조건이 만족될 경우, 탈리스터-쿠로카와 유형 갈로아 표현의 유일한 변형 환이 이산 평가환임을 보장하는 조건은 무엇인가?
• RQ2 잔여 갈로아 표현의 모듈러성을 가정하지 않고도 도수 N 인 아벨 곡면의 모듈러성을 어떻게 확립할 수 있는가?
• RQ3 세르 유형의 추측이 존재하지 않을 경우, Saito-Kurokawa 상승과 안정된 시겔 모듈러 형식 간의 합동을 어떻게 활용하여 모듈러성을 증명할 수 있는가?
• RQ4 이 맥락에서 블로흐-카토 세일머 그룹의 크기와 모듈러 형식의 L-함수의 대수적 부분 사이의 정확한 관계는 무엇인가?
• RQ5 R^red = T 정리는 어떤 정도로 복합 도수에서의 슈발레 모듈러성 추측 검증에 적용될 수 있는가?

주요 결과

• 블로흐-카토 세일머 그룹 H¹_f(Q, ρ(1−k)) 와 H¹_f(Q, ρ(2−k)) 가 각각 차원 1을 가지며, 특성 0의 절대적으로 기약인 변형이 존재할 경우, 유일한 변형 환 R^red 는 이산 평가환이다.
• k=2 인 경우, Saito-Kurokawa 상승과 안정된 시겔 모듈러 형식 간의 합동이 존재할 경우, 이 방법은 슈발레 모듈러성 추측의 모듈러성 부분을 증명한다. 도수 731 에서의 사례가 포함된다.
• 도수 731 인 아벨 곡면은 모듈러성에 의해 증명되었으며, 이는 본질적으로 심플렉틱 갈로아 표현을 갖는 복합 도수에서 슈발레 모듈러성 추측의 첫 번째 검증 사례이다.
• k>2 인 경우, 이 논문은 R^red = T 정리를 증명하며, σ 의 모든 이러한 변형이 모듈러적임을 보이며, 즉 무게 k와 도수 1인 촉각형식 비상승 시겔 모듈러 특성형식에서 유래됨을 보여준다.
• 세일머 그룹의 비영성과 [Bro11] 의 추론 5.6 에 기반한 부등식 #T/J ≥ #O/L^alg(k,f) 를 통해, 비영인 헤케 대수 T 가 존재함을 증명한다.
• I^tot 가 주어진다 (정리 6.6) 를 이용하고, φ 가 동형임을 증명함으로써, 가환대수 기준을 통해 R^red ≅ T 를 도출한다.