[논문 리뷰] Dualité de Cartier et modules de Breuil

Xavier Caruso|arXiv (Cornell University)|2005. 11. 16.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 브루아일이 유한 평탄한 $\mathcal{O}_K$-군 스킴들(해당하는 $p$-멱으로 죽는)과 이러한 선형대수적 대상들 사이에 수립한 반동치를 통해, 브루아일 모듈의 범주 $(\text{Mod}/S)$ 위에서 카르티에 쌍대성을 명시적으로 기술한다. 이는 브루아일의 동치 아래에서 카르티에 쌍대성과 정확히 대응하는 $(\text{Mod}/S)$ 위의 쌍대화 함자(duaizing functor)를 구성하며, $p$-나누어떨어지는 군 스킴 $\mathcal{G}$에 대해 자연스러운 동형사상 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$를 증명한다. 이 동형사상은 필터링과 프로베니우스 구조와 호환된다.

ABSTRACT

Let O\_K be a complete discrete valuation ring. Denote by K its fractions field and by k its residue field. Assume that k is of characteristic p>0 and perfect. Breuil gives an anti-equivalence between the category of finite flat O\_K-group schemes killed by a power of p and a category of linear algebra objects which is called (Mod/S). The aim of this article is to make explicit the Cartier duality on the category (Mod/S).

연구 동기 및 목표

• 단지 선형대수학을 사용하여, 브루아일 모듈의 범주 $(\text{Mod}/S)$ 위에서 카르티에 쌍대성 함자를 명시적으로 기술하는 것.
• 이 쌍대화 함자가 브루아일의 반동치 아래에서 유한 평탄한 $\mathcal{O}_K$-군 스킴 위의 고전적 카르티에 쌍대성과 정확히 대응됨을 확립하는 것.
• 이 범주 $(\text{Mod}/S)$ 위의 쌍대화 함자가 필터링 $\text{Fil}^1$과 프로베니우스 사상 $\phi_1$의 핵심 구조를 유지함으로써, 선형대수적 프레임워크와의 호환성을 보장하는 것.
• 강력히 나누어떨어지는 모듈의 범주로의 쌍대화를 확장하여, $p$-나누어떨어지는 군 스킴 $\mathcal{G}$에 대해 동형사상 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$를 보여주는 것.

제안 방법

• 범주 $(\text{Mod}/S)$를 $S$-모듈 $\mathcal{M}$로 정의하며, 이는 필터링 $\text{Fil}^1\mathcal{M}$과 프로베니우스 작용과 특정한 호환 조건을 만족하는 $\phi_1$-선형 사상 $\phi_1: \text{Fil}^1\mathcal{M} \to \mathcal{M}$를 갖는다.
• 쌍대 $S$-모듈 $\mathcal{M}^\vee$를 통해 $(\text{Mod}/S)$ 내의 쌍대 객체 $\mathcal{M}^\vee$를 구성하며, $\text{Fil}^1\mathcal{M}^\vee$는 $\text{Fil}^1\mathcal{M}$의 영수로 정의하고, $\phi_1^\vee$는 쌍대성에 의해 정의한다.
• 쌍대 함자 $\mathcal{M} \mapsto \mathcal{M}^\vee$가 $(\text{Mod}/S)$ 위에서 잘 정의되어 있으며, 정확한 수열과 필요한 호환 조건을 유지함을 증명한다.
• 브루아일의 연구에서 얻은 범주 간 반동치를 활용하여, 고전적 군 스킴 위의 카르티에 쌍대성을 선형대수적 구조로 이행함으로써, $(\text{Mod}/S)$ 위의 쌍대성으로 이끌어내며, $\text{Mod}(\mathcal{G})$의 쌍대가 $\text{Mod}(\mathcal{G}^\vee)$와 동형임을 보인다.
• 필터링 $\text{Fil}^1$과 프로베니우스 사상 $\phi_1$과의 호환성을 확인하기 위해, 교차하는 도형을 구성하고, 관련 사상들의 단사성과 전사성을 이용하여 증명한다.
• 일반적인 경우를 $p$- torsion 군들로의 축소를 위해, 디비산스(데비산스) 추론을 적용하며, 이 경우에서 쌍대 사상의 전사성이 자동으로 성립함을 이용한다.

실험 결과

연구 질문

• RQ1 카르티에 쌍대성은 어떻게 브루아일 모듈의 범주 $(\text{Mod}/S)$에서 선형대수학적 수단으로 명시적으로 실현될 수 있는가?
• RQ2 브루아일의 반동치 아래에서, $p$-나누어떨어지는 군 스킴 $\mathcal{G}$에 대해 브루아일 모듈 $\text{Mod}(\mathcal{G})$의 쌍대가 $\text{Mod}(\mathcal{G}^\vee)$와 대응되는가?
• RQ3 $(\text{Mod}/S)$ 위의 쌍대화 함자는 필터링 $\text{Fil}^1$과 프로베니우스 사상 $\phi_1$과 호환되는가?
• RQ4 $(\text{Mod}/S)$ 위의 쌍대화는 강력히 나누어떨어지는 모듈의 범주로 확장될 수 있으며, 갈루아 표현 함자들과의 호환성은 어떻게 보장되는가?

주요 결과

• 논문은 브루아일의 범주 반동치 아래에서 카르티에 쌍대성과 정확히 대응하는, 범주 $(\text{Mod}/S)$ 위에 자연스러운 쌍대화 함자를 구성한다.
• 브루아일 모듈 $\mathcal{M}$의 쌍대는 명시적으로 $\mathcal{M}^\vee = \text{Hom}_S(\mathcal{M}, S)$로 주어지며, $\text{Fil}^1\mathcal{M}^\vee$는 $\text{Fil}^1\mathcal{M}$의 영수로 정의되고, $\phi_1^\vee$는 쌍대성에 의해 정의된다.
• 쌍대화 함자는 $(\text{Mod}/S)$의 구조를 유지한다: 정확한 수열, 필터링, 프로베니우스 사상 $\phi_1$을 모두 존중하며, 선형대수적 프레임워크와의 호환성을 보장한다.
• 모든 $p$-나누어떨어지는 군 스킴 $\mathcal{G}$에 대해, 강력히 나누어떨어지는 모듈의 범주 내에서 자연스러운 동형사상 $\text{Mod}(\mathcal{G})^\vee \simeq \text{Mod}(\mathcal{G}^\vee)$가 존재한다.
• 필터링 $\text{Fil}^1$과 $\phi_1$과의 호환성은, 단사성과 전사성의 성질을 이용한 교차하는 도형의 추론을 통해 증명된다.
• 일반적인 $p$-나누어떨어지는 군 스킴의 경우는, $p$- torsion 경우로의 축소를 위해 디비산스 추론을 적용함으로써 결과를 일반화한다. 이 경우에서 쌍대 사상의 전사성은 자동으로 성립한다.