[논문 리뷰] Some Bounds for ramification of $p^n$-torsion semi-stable representations

Xavier Caruso, Tong Liu|ArXiv.org|2008. 05. 27.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 6

한 줄 요약

이 논문은 $p$-진 필드 위의 $p^n$- torsion 준정적 갈루아 표현에 대한 상부 분해 필터링에 대해 효과적인 경계를 확립한다. Kisin 모듈과 토퍼션 $(\varphi,\hat{G})$-모듈을 이용하여, $\mu > \frac{ernp^n}{p-1}$이면 $G_K^{(\mu)}$가 이러한 표현 위에 자명하게 작용함을 증명한다. 이 경계는 $n$, $e$, 그리고 허지-테이트 무게 $r$에 대해 명시적인 의존성을 가진다. 본 결과는 Fontaine-Laffaille 및 Breuil의 경계를 토퍼션 계수를 가진 준정적 설정으로 일반화한다.

ABSTRACT

Let p be an odd prime, K a finite extension of Q_p, G=Gal(\bar K/K) the Galois group and e=e(K/Q_p) the ramification index. Suppose T is a p^n torsion representation such that T is isomorphic to a quotient of two G-stable Z_p-lattices in a semi-stable representation with Hodge-Tate weights in {0,...,r}. We prove that there exists a constant μexplicitly depending on n, e and r such that the upper numbering ramification group G^{(μ)} acts on T trivially.

연구 동기 및 목표

• Hodge-Tate 무게가 $\{0,\dots,r\}$에 속하는 $p^n$- torsion 준정적 표현으로 Fontaine-Laffaille 및 Breuil의 분해 경계를 확장한다.
• 해당 표현에 대한 상부 번호 분해 필터링에 대한 명시적 상한을 제공한다.
• 결정적 케이스의 경계를 토퍼션 계수를 가진 준정적 케이스로 일반화한다.
• 분해 경계가 $n$, $e$, 그리고 $r$에 어떻게 의존하는지 분석하며, 특히 $r$에 대한 상대적 로그 의존성을 조사한다.
• 분해 경계의 개선 가능성을 $r/(p-1)$의 $p$-진 값에 기반하여 추측한다.

제안 방법

• Kisin 모듈을 이용하여 $p^n$- torsion 표현이 $G_{\infty} = \operatorname{Gal}(\bar{K}/K_\infty)$ 갈루아 군으로 제한될 때의 구조를 기술한다.
• $\hat{T}$-구성과 $\hat{J}_{n,c}$-모듈을 통해 토퍼션 Kisin 모듈에서 $G_s$-표현으로의 함자를 구성한다.
• $(\varphi,\hat{G})$-모듈 이론을 적용하여 표현 $T$ 위의 갈루아 작용과 Kisin 모듈 $\mathfrak{M}$의 구조를 연결한다.
• $\hat{J}_{n,c}(\hat{\mathfrak{M}})$와 $J_{n,c}(\mathfrak{M})$ 사이의 비교 등식을 이용하여 분해를 제어한다.
• 필터링된 $(\varphi,N)$-모듈의 필터링과 모노드로미 연산자를 사용하여 관련 갈루아 표현의 분해를 분석한다.
• 합리적인 필터링된 $(\varphi,N)$-모듈 이론을 적용하여 분해 경계의 유한성과 호환성을 도출한다.

실험 결과

연구 질문

• RQ1 Hodge-Tate 무게가 $\{0,\dots,r\}$에 속하는 $p^n$- torsion 준정적 표현에 대해 상부 분해 필터링의 정확한 상한은 무엇인가?
• RQ2 분해 경계는 분해 지수 $e$, 토퍼션 수준 $n$, 그리고 Hodge-Tate 무게 $r$에 어떻게 의존하는가?
• RQ3 Fontaine-Laffaille 및 Breuil의 경계는 $p^n$- torsion 계수를 가진 준정적 케이스로 확장될 수 있는가?
• RQ4 $r$에 대한 경계의 의존성이 선형이 아니라 로그적임을 추측하는가?
• RQ5 $r/(p-1)$의 $p$-진 값에 대한 정밀화를 통해 $v_K(\mathcal{D}_{L/K})$에 대한 경계를 개선할 수 있는가?

주요 결과

• 모든 $\mu > \frac{ernp^n}{p-1}$에 대해 $s > n + \log_p(nr/(p-1))$이면 상부 분해군 $G_s^{(\mu)}$는 $T$ 위에 자명하게 작용한다.
• $\mu > \frac{ernp^n}{p-1}$의 경계는 효과적이며 $n$, $e$, $r$에 대해 명시적인 의존성을 가진다.
• 다른에 대한 경계는 $v_K(\mathcal{D}_{L/K}) < 1 + e(n + \alpha + \beta) - \frac{1}{p^{n+\alpha}}$이며, 여기서 $\frac{nr}{p-1} = p^\alpha \beta$ 이고 $\frac{1}{p} < \beta \leq 1$이다.
• $r$에 대한 경계의 의존성이 로그적임을 확인하였으며, 이는 이전 경계가 $r$에 대해 선형이었던 것과는 놀랍게 대조된다.
• 논문은 지수에서 $\frac{nr}{p-1}$ 대신 $\frac{r}{p-1}$을 사용함으로써 경계를 개선할 수 있음을 추측한다. 이는 $r$에 대한 더 타이트한 의존성을 시사한다.
• 결과적으로 이전의 결정적 케이스 경계를 $p^n$- torsion 표현을 가진 준정적 케이스로 확장한다.