[논문 리뷰] Hasse invariant and group cohomology

Bas Edixhoven, Chandrashekhar Khare|ArXiv.org|2002. 10. 25.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 10

한 줄 요약

이 논문은 군 코hom로그리의 프레임워크를 구축하여, 기하학적 하세 불변량이 존재하지 않는 상황—예를 들어 허수 정수환과 전체 실수체 위의 힐버트 모듈러 형식에서—에서 모듈러 형식의 무게 2와 무게 $p+1$ 사이의 합동을 생성하는 역할을 하는 하세 불변량의 유사체를 제시한다. 이는 열림 맵과 히케 고유값의 상승을 통해 이루어지며, 핵심 기여는 에이처러-시무어 동형에 존재하는 퍼즐을 해결하는 코호몰로지 메커니즘을 제공하는 것이다. 이 메커니즘은 무게 2 히케 고유형식이 대칭거듭제곱을 통해 고차원 무게 형식으로 상승함을 보여주며, 기하학적 하세 불변량이 없는 허수 정수환과 전체 실수체로의 일반화를 가능하게 한다.

ABSTRACT

Let p be a prime number. The Hasse invariant is a modular form modulo p that is often used to produce congruences between modular forms of different weights. We show how to produce such congruences between forms of weights 2 and p+1, in terms of group cohomology. We also show how our method works in the contexts of quadratic imaginary fields (where there is no Hasse invariant available) and Hilbert modular forms over totally real fields of even degree.

연구 동기 및 목표

• 코호몰로지 퍼즐을 해결하기: 대칭거듭제곱 표현의 기약성에도 불구하고 $H^1(\Gamma_1(N), \mathbb{F}_p)$의 히케 고유값이 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$로부터도 유도됨을 설명한다.
• 기하학적 하세 불변량이 존재하지 않는 상황—예를 들어 허수 정수환 위에서나 전체 실수체 위의 힐버트 모듈러 형식에서—에서 하세 불변량의 군 코호몰로지 대체체를 개발한다.
• 기본 모듈러 형식에서의 무게 상승 합동 방법을 고차원 설정, 특히 비동일 무게 힐버트 모듈러 형식으로 확장한다.
• 특히 $2 < k \leq p+1$ 및 $k > p+1$인 경우에 대해 다양한 무게에서 $p$-신형식의 수준 상승 기준을 코호몰로지적 해석으로 제공한다.

제안 방법

• 열림 맵 $\alpha: H^1(\Gamma_1(N), \mathbb{F}_p)^2 \to H^1(\Gamma_1(N) \cap \Gamma_0(p), \mathbb{F}_p)$를 사용하여 서로 다른 수준의 코호몰로지 군을 연결한다. 이 맵은 행렬 $\begin{pmatrix} p & 0 \\ 0 & 1 \end{pmatrix}$에 의한 코너지션을 통한 제약과 왜곡된 제약의 합으로 정의된다.
• 에이처러-시무어 동형을 적용하여 $H^1(\Gamma_1(N), \mathbb{F}_p)$ 및 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$의 코호몰로지 클래스를 모듈러 형식과 식별함으로써 히케 고유값을 비교할 수 있도록 한다.
• 전체 실수 케이스에서 강력한 근사법을 활용하여 핵을 제어하고 고유값 상승을 보장하기 위해 열림 맵의 단사성(보조정리 1)을 활용한다.
• 힐버트 모듈러 형식 설정에서 자크에-랑즈 대응을 적용하여 자동형 표현과 양성수 대수에서의 형식 간에 코호몰로지 데이터를 이전한다.
• 보렐 부분군에서 유도된 표현의 직접 합성분으로 나타나는 표현 $\mathrm{Sym}^{p-1}(\mathbb{F}_\wp^2) \otimes \mathrm{Sym}^{p-1}(\mathbb{F}_\wp^2)^\sigma \otimes \cdots$를 구성함으로써 고유값 이전을 가능하게 한다.
• 문헌 [K]의 결과를 적용하여 $p$-신형식의 수준 상승 기준을 유도하며, 무게 $k$가 $p+1$과의 상대적 위치에 따라 경우를 구분한다.

실험 결과

연구 질문

• RQ1 대칭거듭제곱 표현의 기약성에도 불구하고 $H^1(\Gamma_1(N), \mathbb{F}_p)$의 히케 고유값이 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$로부터도 나타나는 이유는 무엇인가?
• RQ2 기하학적 하세 불변량이 존재하지 않는 상황—예를 들어 허수 정수환에서—에서 하세 불변량의 코호몰로지 대체체를 구성할 수 있는가?
• RQ3 무게 2와 $p+1$의 모듈러 형식 사이의 무게 상승 합동을 군 코호몰로지로 체계적으로 기술할 수 있는가?
• RQ4 다양한 무게 범위에서 수준 $N$에서 수준 $Np$로의 $p$-신형식의 상승을 뒷받침하는 코호몰로지 메커니즘은 무엇인가?
• RQ5 열림 맵이 히케 연산자와 어떻게 상호작용하여 서로 다른 코호몰로지 군 간의 고유값 체계를 유지하는가?

주요 결과

• 열림 맵 $\alpha: H^1(\Gamma_1(N), \mathbb{F}_p)^2 \to H^1(\Gamma_1(N) \cap \Gamma_0(p), \mathbb{F}_p)$는 단사적이며, 코호몰로지 클래스와 고유값의 상승을 위한 핵심 기술적 도구를 제공한다.
• 고유값이 $\overline{\mathbb{F}_p}$에 있는 무게 2 히케 고유형식이 $H^1(\Gamma_1(N), \mathrm{Sym}^{p-1}(\mathbb{F}_p^2))$에서 유도됨을 보여주며, 이는 코호몰로지 퍼즐을 해결한다.
• 무게 $k=2$일 때, 새로운 형식 $f$는 $\wp$를 모듈로로 하여 $p$-신형식과 합동이 되는 것과 동치이며, 이는 $a_p(f)^2 \equiv \varepsilon_f(p) \pmod{\wp}$를 만족한다. 여기서 $\varepsilon_f$는 네베닛타이푸스 특성이다.
• 무게 $2 < k \leq p+1$일 때, $f$는 $\wp$를 모듈로로 하여 $p$-신형식과 합동이 되는 것과 동치이며, 이는 $a_p(f) \equiv 0 \pmod{\wp}$를 만족한다.
• 무게 $k > p+1$일 때, $S_k(\Gamma_1(N))$에 속한 모든 새로운 형식 $f$는 $S_k(\Gamma_1(N) \cap \Gamma_0(p))$에 속한 $p$-신형식과 합동이 되며, 이는 고차 무게에서 수준 상승이 항상 가능함을 시사한다.
• 전체 실수체 $F$의 짝수 차수인 경우, 무게 $(2,\dots,2)$에서 유도된 불가약한 갈루아 표현 $\rho: G_F \to \mathrm{GL}_2(\overline{\mathbb{F}_p})$는 자크에-랑즈 대응과 코호몰로지 상승을 통해 무게 $(p+1,\dots,p+1)$에서도 유도된다.