Torsion graded pieces of Nyggard filtration for crystalline representation

1. 연구 문제 (Problem Statement)

• 배경: $K$를 $p$-진 비분기 체 (unramified p-adic field) 라 하고, $G_K$를 그 절대 갈루아 군이라 합시다. $T$는 $G_K$의 크리스탈린 $\mathbb{Z}_p$-표현이며, 이에 대응하는 Breuil-Kisin 모듈 $M$과 $M^* := S \otimes_{\phi, S} M$이 존재합니다. 여기서 $S = W(\kappa)[[u]]$입니다.
• 핵심 객체: $M^*$에는 Nygaard 필터레이션 $F^i M^*$이 정의되어 있으며, 이는 $p$-진 데카르트 (de Rham) 표현 $D_{dR}(T)$의 필터레이션과 밀접하게 연관되어 있습니다. 구체적으로, $M^*/EM^*$ (여기서 $E(u)=u^p$) 는 $D_{dR}(T)$와 동형이며, $F^i M^*$의 상 (image) 은 $D_{dR}(T)$의 $i$-번째 필터 $F^i D_{dR}(T)$에 대응됩니다.
• 문제: $D_{dR}(T)$의 경우, 그라디드 조각 (graded piece) $gr^i D_{dR}(T)$는 호지 - 타트 가중치 (Hodge-Tate weights) $r_j$일 때만 0 이 아닙니다. 그러나 정수 계수 (integral) 버전인 $M$의 그라디드 조각 $gr^i M := F^i M / F^{i+1} M$에서는 $i$가 호지 - 타트 가중치가 아닐 때에도 **비자명한 $p$-꼬임 (nontrivial p-torsion)**이 발생할 수 있습니다.
• 목표: $gr^i M$에 비자명한 $p$-꼬임이 존재하는 인덱스 $i$의 범위를 정확히 규명하는 것입니다.

2. 방법론 (Methodology)

이 논문은 Sen 연산자 (Sen operator) 나 stack 이론 (stacky approach) 과 같은 최근의 고차원 기하학적 도구를 사용하지 않고, **Griffith 횡단성 (Griffith transversality)**을 기반으로 한 **구체적인 기저 구성 (explicit basis construction)**을 통해 문제를 해결합니다.

• Nygaard 필터레이션의 구조 분석:
  • $M^*$의 필터레이션 $F^i M^*$을 $S$-모듈로서 구체적으로 기술하기 위해, $M$의 기저 $\{e_1, \dots, e_d\}$를 선택하고 이를 $F^i M^*$로 확장하는 과정을 수행합니다.
  • Lemma 2.3 (Integral Griffith Transversality): $\nabla(F^i M^*) \subset S_p \otimes_S F^{i-1} M^*$임을 증명합니다. 여기서 $\nabla$는 모노드러미 (monodromy) 연산자이며, 이는 필터레이션의 구조를 제어하는 핵심 도구입니다.
• 귀납적 기저 구성 (Inductive Basis Construction):
  • 인덱스 $i$에 대해 귀납법을 사용하여 $F^i M^*$의 $S$-기저를 구성합니다.
  • Case 1 ($i \notin \mathcal{J}$): $i$가 특정 집합 $\mathcal{J}$ (호지 - 타트 가중치와 $p$의 배수 합으로 정의됨) 에 속하지 않는 경우. 이 경우 $F^{i+1} M^*$가 $F^i M^*$의 특정 부분으로 생성됨을 보이며, 결과적으로 $gr^i M = 0$임을 증명합니다.
  • Case 2 ($i \in \mathcal{J}$): $i$가 집합 $\mathcal{J}$에 속하는 경우. 이 경우 $gr^i M$의 꼬임 구조를 분석하기 위해 $R_{tor}$, $R_f$, $R_0$와 같은 부분 집합으로 나누어 기저를 재구성합니다. 특히 꼬임이 발생하는 경우 ($R_{tor}$), 기저를 적절히 조정하여 $p^n$배한 항을 필터레이션의 다음 단계로 이동시킵니다.
• Sen 연산자 대체: Gee-Kisin 정리 (Theorem 1.4) 와의 관계를 언급하지만, 본 논문은 Sen 연산자 $\Theta$를 직접 사용하지 않고, $\nabla$의 성질과 필터레이션의 생성자를 계산하여 더 명시적인 (explicit) 결과를 도출합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

주요 정리 (Theorem 1.1)

$T$의 호지 - 타트 가중치를 $r_1, \dots, r_d$ ($0=r_1 \le \dots \le r_d = h$) 라고 할 때, $gr^i M$의 꼬임 부분 $(gr^i M)_{tor}$가 0 이 아닌 인덱스 $i$는 다음 집합에 속합니다:
$$\{ i \mid (gr^i M)_{tor} \neq 0 \} \subset \{ r_j + mp \mid j=1,\dots,d, m > 0, r_j + mp \le h \}$$
즉, $gr^i M$에 꼬임이 생기려면 $i$는 어떤 호지 - 타트 가중치 $r_j$에 $p$의 양의 정수 배 ($mp$) 를 더한 값이어야 합니다.

적응된 기저 (Adapted Basis) 와 Corollary 1.3

• Proposition 1.2: 만약 $i \le h-1$에 대해 $(gr^i M)_{tor} = 0$이면, $M^*$는 "적응된 기저 (adapted basis)"를 가집니다.
• Corollary 1.3: 만약 $h \le p$라면, $M^*$는 항상 적응된 기저를 가집니다. 이는 $h \le p$인 경우 $gr^i M$에 꼬임이 전혀 발생하지 않음을 의미하며, 이전의 [GLS14] 결과 (Cor. 4.19) 를 재확인하고 일반화합니다.
• 반례: $h > p$인 경우 (예: 가중치 $\{0, p+1\}$), 적응된 기저가 존재하지 않을 수 있으며, 이는 $gr^{p+1} M$에 꼬임이 존재함을 의미합니다.

Gee-Kisin 정리와의 관계

• Gee-Kisin 정리 (Theorem 1.4) 는 Breuil-Kisin 모듈의 Frobenius 행렬의 대각선 성분의 $p$-나머지가 호지 - 타트 가중치의 $p$-나머지와 일치함을 말합니다.
• 본 논문은 Theorem 1.1 과 Theorem 1.4 가 모두 $M_{HT}$ 위의 Sen 연산자 $\Theta$의 성질에서 비롯됨을 지적하며, 두 정리가 서로 깊은 관련이 있음을 밝혔습니다. 하지만 본 논문은 Sen 연산자 없이 순수하게 필터레이션의 기하학적/대수적 구조를 분석하여 Theorem 1.1 을 증명했습니다.

4. 의의 및 중요성 (Significance)

1. 정수론적 표현론의 정밀화: 크리스탈린 표현의 정수 구조 (integral structure) 에서 꼬임이 발생하는 정확한 조건을 규명함으로써, $p$-진 갈루아 표현의 정수 모델에 대한 이해를 심화시켰습니다.
2. 구체적 계산 가능성: Sen 연산자나 복잡한 스택 이론에 의존하지 않고, Griffith 횡단성과 직접적인 기저 계산을 통해 결과를 도출했습니다. 이는 **크리스탈린 변형 환 (crystalline deformation ring)**과 같은 향후 연구에서 구체적인 계산과 구조 분석에 필수적인 도구를 제공합니다.
3. 경계 조건 명확화: $h \le p$인 경우와 $h > p$인 경우의 거동을 명확히 구분하여, 왜 특정 조건에서 꼬임이 발생하는지 (즉, $r_j + mp$ 형태) 에 대한 직관적이고 엄밀한 설명을 제공했습니다.
4. 이론적 연결: Gee-Kisin 정리와 같은 중요한 결과들과의 연결고리를 제시하며, 다양한 접근법 (Sen 연산자 vs. 필터레이션 기저) 이 동일한 현상을 설명할 수 있음을 보여주었습니다.

요약

이 논문은 $p$-진 크리스탈린 표현에 대응하는 Breuil-Kisin 모듈의 Nygaard 필터레이션에서 발생하는 **꼬임 (torsion)**의 발생 조건을 호지 - 타트 가중치와 $p$의 배수라는 명확한 규칙으로 규명했습니다. 이를 통해 정수 계수 필터레이션의 구조를 더 깊이 이해할 수 있게 되었으며, 향후 $p$-진 표현론 및 변형 이론 연구에 중요한 기초를 마련했습니다.