An integral analogue of Fontaine's crystalline functor

기술 요약: Fontaine의 결정적 함자(Crystalline Functor)에 대한 적분적 아날로그

문제 제상
$p$-아데닉 호지 이론(p-adic Hodge theory)에서 핵심적인 질문은 완전한 체 $k$ 위의 윌슨 벡터(Witt vectors) $W(k)$ 상의 매끄러운 형식 스킴 $X$ 위에서 $\mathbb{Q}_p$-로컬 시스템 $V$의 "좋은 감소(good reduction)"에 관한 것이다. Fontaine은 결정적 로컬 시스템이 필터링된 $F$-이소크리스탈(filtered $F$-isocrystal) $D_{\text{crys}}(V)$로서 모델링될 수 있음을 확립하였으나, 산술적 응용(예: 시무라 다양체)을 위해서는 적분적 아날로그가 필요하다. 구체적으로, $V$의 $\mathbb{Z}_p$-격자(lattice) $L \subseteq V$가 주어졌을 때, $L$의 감소 성질을 포착할 수 있는 정밀한 대상(object)을 찾는 것이 과제이다.

현재 이러한 격자를 모델링하기 위해 세 가지 서로 다른 접근 방식이 존재한다:

1. 결정적 접근법 (Crystalline Approach): $[0, p-2]$ 범위 내의 강하게 분할 가능한 필터링된 $F$-크리스탈(strongly divisible filtered $F$-crystals, Fontaine–Laffaille 모듈)을 활용한다.
2. 프리즘적 접근법 (Prismatic Approach): $X$ 상의 프리즘적 $F$-크리스탈을 사용한다.
3. 신토믹 접근법 (Syntomic Approach): 프리즘적 $F$-게이지(prismatic $F$-gauges)를 사용한다.

프리즘적 접근법과 신토믹 접근법 사이의 관계는 망각 함자(forgetful functor)를 통해 이해되어 왔으나, 결정적 접근법과 프리즘적/신토믹 접근법 사이의 엄밀한 적분적 비교는 결여되어 있었다. 본 논문은 결정적 실현 함자(crystalline realization functor) $D_{\text{crys}}$의 적분적 아날로그를 구성하고, 이 함자가 특정 가중치 범위에서 동치(equivalence)를 유도하는 성질을 조사함으로써 이를 해결한다.

방법론
저자들은 정전적 결정적-드 람(crystalline-de Rham) 비교 동형 사상을 활용하여 $D_{\text{crys}}$를 구성한다.

1. 결정적 및 드 람 실현 (Crystalline and de Rham Realizations):

   • 프리즘적 $F$-크리스탈 $(E, \phi_E)$에 대하여, 결정적 실현 $D_{\text{crys}}(E, \phi_E)$는 $E$의 결정적 사이트로의 제한(restriction)에 연관된 $F$-크리스탈로 정의된다.
   • 드 람 실현 $D_{\text{dR}}(E, \phi_E)$는 프리즘적 드 람 점 $\rho^{\Delta}_{\text{dR}, X}$를 따른 풀백(pullback)을 통해 정의된다.
   • 핵심적인 기술적 단계인 정리 1.19는 벡터 번들 $D_{\text{dR}}(E, \phi_E)$와 $D_{\text{crys}}(E, \phi_E)|_{X_{\text{Zar}}}$ 사이의 정준 동형 사상 \iota_X: D_{\text{crys}}(E, \phi_E)|_{X_{\text{Zar}} \xrightarrow{\sim} D_{\text{dR}}(E, \phi_E)를 확립한다. 이 동형 사상은 Breuil 및 Breuil–Kisin 프리즘을 사용하여 구체적이고 좌표 불변적인 방식으로 구축된다.

2. 적분적 함자의 정의:

   • $D_{\text{crys}}$는 결정적 실현의 기저 $F$-크리스탈을 취하고, 비교 동형 사상 $\iota_X$의 역함수를 드 람 실현의 Nygaard 필터레이션에 적용하여 유도된 필터레이션을 부여함으로써 정의된다.
   • 저자들은 이 함자를 다양한 범주, 특히 국소적으로 필터링된 자유(locally filtered free, lff) 프리즘적 $F$-크риста 및 강하게 분할 가능한(strongly divisible) 대상들에 초점을 맞추어 분석한다.

3. 기존 이론과의 비교:

   • 본 논문은 에탈 실현 함자(étale realization functors) 및 디외네 이론(Dieudonné theories)과 $D_{\text{crys}}$를 연결하기 위해 Tsuji, Faltings, Anschütz–Le Bras의 연구를 활용한다.
   • 필터레이션의 호환성과 함자의 기저 변환(base change) 하에서의 거동을 확립하기 위해 스택 이론적 논증(Nygaard 드 람 점 및 Rees 스택 사용)을 채택한다.

주요 기여 및 결과

1. $D_{\text{c-rys}}$의 구성:
   본 논문은 $\mathbb{Z}_p$-선형 텐서 함자 $D_{\text{crys}}: \text{Vect}_{\phi}(X^{\Delta}) \to \text{Vect}_{W}^{F\phi}(X_{\text{crys}})$ (및 유사한 프리즘적 $F$-게이지)를 정의한다. 이 함자는 유리 결정적 함수(rational crystalline functor)의 적분 격자 역할을 한다.

2. Fontaine–Laffaille 범위에서의 동치:
   주요 결과(정리 A / 정리 3.1)는 $X$가 매끄러운 형식 $W$-스킴이고 $p > 2$일 때, $D_{\text{crys}}$가 다음 사이의 범주 동치를 유도함을 명시한다:

   • $X$ 상의 Hodge–Tate 가중치가 $[0, p-2]$인 프리즘적 $F$-게이지들의 범주.
   • $X$ 상의 가중치가 $[0, p-2]$인 Fontaine–Laffaille 모듈(강하게 분할 가능한 필터링된 $F$-크리스탈)들의 범주.

   이 동치는 에탈 실현 함자들과 교환 가능하며, 이를 통해 특정 가중치 범위 내에서 결정적, 프리즘적, 신토믹 접근법을 통합한다.

3. $D_{\text{crys}}$의 성질:

   • 격자 성질 (Lattice Property): 정리 C는 $D_{\text{crys}}[1/p]$가 결정적 실현과 에탈 실현의 합성과 정준적으로 동일함을 확립하여, $D_{\text{crys}}$가 함자적 격자임을 확인한다.
   • 완전성 (Exactness): 이 함수는 강하게 분할 가능한, 국소적으로 필터링된 자유 프리즘적 $F$-크리스탈의 부범주로 제한될 때 완전(exact)하며(망각 함자에 대해 쌍완전(bi-exact)), 이는 명제 2.26 및 2.27에 의해 입증된다.
   • lff 판별: $D_{\text{crys}}$는 프리즘적 $F$-크리스탈이 국소적으로 필터링된 자유(lff)인지 여부를 판별한다(명제 2.22).

4. $p$-분할 군(p-divisible groups)에 대한 응용:
   저자들은 $p > 2$인 $p$-분할 군에 대한 서로 다른 디외네 이론 간의 관계를 명확히 하기 위해 $D_{\text{crys}}$를 적용한다:

   • $D_{\text{crys}}$를 통한 프리즘적 디외네 함자 $M_{\Delta}$(Anschütz–Le Bras)의 합성이 고전적인 필터링된 결정적 디외네 함자 $D$(Grothendieck–Messing)를 회복함을 증명한다(정리 4.8).
   • 프리즘적 디외네 함자와 Breuil–Kisin–Kim 디외네 함자 $M$ 사이의 정준적 동일성을 확립하여, 이 현대적 분류와 역사적 분류 사이의 관계를 해결한다(명제 4.16).
   • 이는 Ito의 결과를 강화하여, $p$-분할 군, 프리즘적 게이지, 그리고 연결을 가진 Kisin 모듈 사이의 범주적 동치를 확립한다(따름정리 4.18).

의의
본 논문은 $D_{\text{crys}}$를 명시적으로 구성함으로써 적분적 $p$-아데닉 호지 이론의 세 가지 주요 접근 방식(결정적, 프리즘적, 신토믹)의 비교를 완성한다고 주장한다. 그 의의는 다음과 같다:

• 통합: 프리즘적/신토믹 대상과 고전적인 필터링된 결정적 대상을 번역할 수 있는 가교를 제공하며, 특히 동치가 성립하는 Fontaine–Laffaille 범위 내에서 이를 입증한다.
• 디외네 이론의 명료화: Anschütz–Le Bras의 프리즘적 디외네 이론과 Breuil–Kisin–Kim 이론 사이의 구조적 관계를 $D_{\text{crys}}$를 통해 규명한다.
• 적분적 정교화: 알려진 유리적 비교(Kisin 및 Gao의 연구 등)에 대한 적분적 정교화를 제공하며, $p$-분할 군 및 좋은 감소를 갖는 로컬 시스템을 통일된 범주적 환경에서 연구하기 위한 틀을 제공한다.

저자들은 비록 Fontaine–Laffaille 범위에서의 동치가 가장 긴밀한 연결이지만, $D_{\text{crys}}$가 더 일반적으로 정의되며, $[0, p-2]$ 범위를 벗어난 곳에서의 거동은 더 복잡하며 결정적 범주와 완전히 동등하지는 않다는 점을 언급한다.