A Tannakian framework for prismatic $F$-crystals

기술 요약: 프리즘적 $F$-결정체(Prismatic $F$-crystals)를 위한 타나카적 프레임워크

문제 및 배경
적분 $p$-아델릭 호지 이론(Integral $p$-adic Hodge theory)은 특히 이산 가치 체인의 정수 환 $\mathcal{O}_K$ 위의 매끄러운 형식 스킴(smooth formal scheme) $X$ 상의 결정적(crystalline) $\mathbb{Z}_p$-로컬 시스템의 관점을 통해, $p$-아델릭 기하학적 대상들의 패밀리 내 변형을 이해하고자 한다. Bhatt와 Scholze의 최근 연구는 프리즘적 $F$-결정체의 범주 $\text{Vect}^\varphi(X^\Delta)$를 이러한 로컬 시스템의 견고한 모델로 확립하였다. 그러나 적분 (로컬) 시무라 다양체에 대한 응용에는 타나카적 형식론(Tannakian formalism), 즉 이러한 범주 내에서의 $G$-대상($G$는 $\mathbb{Z}_p$ 위의 매끄러운 아핀 군 스킴)에 대한 이론이 필요하다.

주요한 어려움은 에탈레 실현 함자(étale realization functor) $T_{\acute{e}t}$가 프리즘적 $F$-결정체와 결정적 로컬 시스템 사이의 범주 동치이지만, 그 준역함자(quasi-inverse)가 일반적으로 정확하지 않다는 점이다. 구체적으로, $T_{\acute{e}t}$는 프리즘적 $F$-결정체의 범주를 "프리즘적으로 좋은 환원(prismatically good reduction)"을 갖는 로컬 시스템의 부분 범주로 사상하지만, 그 역과정은 개집합에서 그 폐포로 벡터 번들을 확장하는 과정을 포함하며, 이 과정은 일반적으로 정확성을 보존하지 않는다. 이러한 비정확성은 $G$-대상들의 타나카적 동치를 구축하는 데 위협이 되는데, 왜냐나 $G$-대상들의 범주는 기저 텐서 범주의 정확성에 의존하기 때문이다.

방법론
저자들은 $G$-대상들의 구조를 프리즘적 $F$-결정체의 범주 $G\text{-}\text{Vect}^\varphi(X^\Delta)$ 내에서 분석하고, 이를 결정적 로컬 시스템의 $G$-대상인 $G\text{-}\text{Loc}^{\text{crys}}_{\mathbb{Z}_p}(X)$와 비교함으로써 타나카적 프레임워크를 개발한다.

1. 프리즘적 대상에 대한 타나카적 형식론: 논문은 프리즘적 $F$-결정체(및 그 해석적 대응물)의 범주가 필요한 타나카적 성질을 갖추고 있음을 확립한다. 프로베니우스 구조(Frobenius structure, $F$-structure)를 가진 토르소(torsor) 이론을 활용하여, 저자들은 이 범주들에서의 $G$-대상들이 프로베니우스 동형 사상을 갖춘 $G$-토르소와 대응함을 보여준다.
2. 비정확성 처리: 핵심적인 기술적 과제는 $T_{\acute{e}t}$의 준역함수가 갖는 비정확성이다. 저자들은 $G$가 환원적(reductive) 군 스킴인 경우로 주의를 제한함으로써 이 문제를 해결한다. 저자들은 Colliot-Thélène과 Sansuc의 결과를 활용하는데, 이는 환원적 군 $G$에 대하여, (컴플리먼트의 깊이가 최소 2인) 개집합 $U$ 상의 $G$-토르소가 전체 스킴으로 확장되기 위해서는 연관된 벡터 번들이 확장되어야 한다는 정리이다. 이를 통해 저자들은 환원적 군의 특정한 기하학적 성질과 기저 환(구체적으로 Breuil–Kisin 프리즘)의 깊이 성질을 이용하여, 일반적인 군에서 발생하는 정확성 실패를 우회한다.
3. 슈투카 실현(Shtuka Realization): 논문은 해석적 프리즘적 $F$-결정체를 $G$-슈투카로 사상하는 "슈투카 실현 함자" $T_{\text{sht}}$를 구축한다. 이 구성은 프리즘적 코호몰리와 Scholze 등이 개발한 $v$-셰이프(v-sheaves) 및 다이아몬드(diamonds) 이론 사이의 관계에 기초한다.

주요 기여 및 결과

• 환원적 군에 대한 타나카적 동치: 핵심 결과(정리 2.29)는 범주 동치를 확립한다:
  $$T_{\acute{e}t}: G\text{-}\text{Vect}^\varphi(X^\Delta) \xrightarrow{\sim} G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$$
  여기서 $G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$는 "프리즘적으로 좋은 환원"을 갖는 $G$-로컬 시스템의 범주이다. 결정적으로, 저자들은 $T_{\acute{e}t}$의 준역함수가 벡터 번들 수준에서는 정확하지 않음에도 불구하고, $G$가 환원적일 때 유도된 $G$-대상 상의 함자가 동치임을 증명한다. 이는 벡터 번들의 확장 성질 덕분에 환원적 군에 대해 정확성의 장애가 사라짐을 보임으로써 달성된다.

• 해석적 프리즘적 $F$-결정체: 논문은 모든 결정적 $\mathbb{Z}_p$-로컬 시스템을 포착하기 위해 필요한 해석적(analytic) 프리즘적 $F$-결정체($\text{Vect}^{\text{an},\varphi}(X^\Delta)$)를 다룸으로써 이론을 정교화한다. 해석적 프리즘적 $F$-결정체와 결정적 로컬 시스템 사이에 쌍정확한(bi-exact) 동치가 존재함이 입증된다(명제 2.23).

• 슈투카 실현 및 호환성: 저자들은 해석적 프리즘적 $F$-결정체를 $G$-슈투카로 사상하는 슈투카 실현 함자 $T_{\text{sht}}: G\text{-}\text{Vect}^{\text{an},\varphi}(X^\Delta) \to G\text{-}\text{Sht}(X)$를 정의한다(정리 3.21). 저자들은 이 함자가 에탈레 실현 함자 $T_{\acute{e}t}$ 및 드 람(de Rham) 로컬 시스템으로부터 슈투카로 가는 기존의 함자 $U_{\text{sht}}$([PR24]에 정의됨)와 교차하는 비교 동형 사상 $\varrho$를 보여주는 것을 증명한다:
  $$\varrho: (T_{\text{sht}})_\eta \xrightarrow{\sim} U_{\text{sht}} \circ T_{\acute{e}t}$$
  이 결과는 슈투카 실현 함자를 (단순한 형식 스킴뿐만 아니라) 매끄러운 $\mathcal{O}_K$-스킴으로 확장할 수 있게 한다(제너릭 파이버와 형식 완성을 통한 데이터의 글루잉을 통해).

• 좋은 환원의 특징짓기: 논문은 $G$-로컬 시스템이 프리즘적으로 좋은 환원을 갖기 위한 기준을 제공한다. 즉, $G$의 단일 충실 표현(faithful representation)과 연관된 시스템이 프리즘적으로 좋은 환원을 갖는다면, 그 시스템은 그러하다고 충분하다(따름정리 2.31).

의의
본 논문은 적분 시무라 다양체에 프리즘 코호몰리지를 엄밀하게 적용하기 위해 필요한 기초적인 타나카 이론을 제공한다. $G$-대상인 프리즘적 $F$-결정체와 $G$-로컬 시스템(프리즘적으로 좋은 환원을 갖는) 사이의 동치를 확립함으로써, 저자들은 프리즘적 방법론을 사용하여 적분 모델 상의 모티브적 대상들을 매개화할 수 있게 하였다.

이 연구는 [IKY23] 및 [IKY25]의 기초이자 동반 연구로서 명시적으로 위치한다. 해당 연구들에서 본 논문의 결과는 하이퍼스페셜 레벨(hyperspecial level)에서의 적분 시무라 다양체 상의 프리즘적 실현 함자를 구축하는 데 사용되며, 이는 세르-테이트(Serre–Tate) 정리의 유사물과 같은 결과로 이어진다. 또한, 슈투카 이론과의 호환성(정리 3)은 프리즘적 실현을 아벨형(abelian type) 시무라 다양체의 슈투카 실현에 관한 파파스-라포포트(Pappas–Rapoport) 추측과 연결하는 데 핵심적이다.

저자들은 주요 정리들이 $G$가 환원적일 것을 요구하지만, 본 프레임워크가 시무라 다양성에 대해 중요한 관심사인 파라호릭(parahoric) 군 스킴을 수용할 수 있을 만큼 유연하다는 점을 언급하며, 이는 현재의 결과 범위를 넘어서는 추가 조사가 필요함을 밝히고 있다.