Syntomification and crystalline local systems

기술적 요약: 시톰피케이션과 결정형 국소 계수

문제 및 맥락
본 논문은 $p$-adic 형식 스킴의 기하학과 $p$-adic 갈루아 군의 표현론 사이의 관계를 다룹니다. 구체적으로, 점 (즉, $\text{Spf } \mathcal{O}_K$) 에 대해 확립된 프리즘 $F$-결정체와 결정형 갈루아 표현 사이의 Bhatt-Scholze 동치를 매끄러운 $p$-adic 형식 스킴 $X$의 설정으로 일반화하려는 시도를 다룹니다. 연구의 핵심 대상은 Bhatt 와 Lurie 가 도입한 $X$에 연관된 시톰 스택 $X_{\text{Syn}}$입니다. 본 논문은 시톰 스택 위의 완전 복합체를 리지드 일반 섬유 $X_\eta$ 위의 국소 계수들의 유도 범주로 매핑하는 에탈 실현 함자 $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$를 조사합니다.

주요 해결 과제는 다음과 같습니다:

1. 결정형 국소 계수라는 관점에서 완전 복합체 (및 그 이소노피 카테고리) 의 범주에 대한 $\mathcal{T}_{\text{ét}}$의 본질적 이미지를 특징짓는 것.
2. 동치 $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$가 고차원 $X$로 일반화되는지 여부를 결정하는 것.
3. 약한 가환 필터링된 $F$-이소결정체를 통한 결정형 표현의 기술과 유사하게, 적절한 (proper) 경우의 카테고리 $\text{Perf}(X_{\text{Syn}})[1/p]$에 대한 명시적인 대수적 기술을 제공하는 것.

방법론
저자는 스택 기하학, 강하 이론, 그리고 $p$-adic 호지 이론 기법의 조합을 활용합니다:

• 스택 프레임워크: 본 논문은 형식 스택 $X_{\text{Syn}}$, $X_{\text{Nyg}}$ (Nygaard), 그리고 $X_\Delta$ (프리즘) 를 활용합니다. $X_{\text{Syn}}$의 구조는 이러한 스택들을 포함하는 푸시아웃과 코이퀄라이저를 통해 분석됩니다.
• 반사적 층: 주요 기술적 혁신은 시톰 스택 위의 반사적 층($\text{Refl}(X_{\text{Syn}})$) 의 도입입니다. 저자는 자연 사상 $E \to E^{\vee\vee}$가 동형사상이 되는 일관된 층 $E$로 이를 정의합니다. 이 부분 범주가 에탈 실현 함자가 동치를 유도하는 올바른 정의역임이 입증됩니다.
• 커널 분석: 본 논문은 에탈 실현 함자의 커널을 분석합니다. Bhatt-Lurie 의 방법을 적응시키고 Nygaard 연관 등급 객체 위의 등급 접속을 활용함으로써, 커널이 $(p, v_{1,X})$-멱수 비틀림을 갖는 일관된 $F$-게이지들로 구성됨이 보입니다.
• 강하와 덮개: 증명들은 $X$에 대한 전역적 문제를 Breuil-Kisin 모듈 및 $q$-접속을 이용한 명시적 계산이 가능한 아핀 스킴 위의 국소적 문제로 축소하기 위해 평탄 - 국소 전사 사상 (특히 Breuil-Kisin 프리즘과 연관된 Rees 스택 사용) 에 크게 의존합니다.
• Beilinson 섬유 사각형: 적절한 (proper) 경우, 본 논문은 $X$의 시톰 코호몰로지를 특수 섬유 위의 결정형 코호몰로지 및 일반 섬유 위의 de Rham 코호몰로지와 연관시키는 Beilinson 섬유 사각형을 구성합니다. 이 사각형은 허용 가능한 필터링된 $F$-이소결정체의 대상 범주를 정의하는 데 사용됩니다.

주요 기여 및 결과

1. 반사적 층에 대한 동치 (정리 A):
   본 논문은 매끄럽고 준콤팩트인 $p$-adic 형식 스킴 $X/\text{Spf } \mathcal{O}_K$에 대해 에탈 실현 함자가 범주의 동치를 유도함을 확립합니다:
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   여기서 $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$는 pro-에탈 결정형 $\mathbb{Z}_p$-국소 계수의 범주입니다. 이 결과는 Guo-Li 가 구성한 함자 $\Pi_X$의 본질적 이미지를 정확히 반사적 층으로 특징짓습니다.

2. 이소노피 카테고리 및 결정형 코호몰로지 (코롤러리 1.3):
   $p$를 가역원으로 만들면, 함자는 각각의 $t$-구조의 하트에서 동치를 유도합니다:
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   전체 유도 범주에 대한 $\mathcal{T}_{\text{ét}}[1/p]$의 본질적 이미지는 결정형 코호몰로지 층을 갖는 대상들의 부분 범주에 포함되지만, 논문은 포함 관계가 일반적으로 엄격함 (즉, 결정형 코호몰로지 층을 갖는 모든 복합체가 본질적 이미지에 있는 것은 아님) 을 지적합니다.

3. 단순 일반화의 실패 (예제 4.7):
   본 논문은 동치 $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$가 고차원 $X$ (예: $X = \mathbb{P}^1_{\mathbb{Z}_p}$) 에 대해서는 일반적으로 성립하지 않음을 보여줍니다. 이는 결정형 국소 계수 범주에서의 확장에 대응되지 않는 비소멸 시톰 코호몰로지 군 $H^2_{\text{Syn}}$에 의해 입증되는 완전 충실성의 실패 때문입니다.

4. 적절한 스킴에 대한 동치 (정리 B):
   $X$가 $\text{Spf } \mathcal{O}_K$ 위에서 매끄럽고 적절한 (proper) 경우, 본 논문은 다음 동치를 증명합니다:
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   여기서 $\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$는 허용 가능한 필터링된 $F$-이소결정체의 완전 복합체 범주입니다. 이 범주는 특수 섬유의 결정형 사이트와 일반 섬유의 de Rham 스택을 포함하는 Beilinson 섬유 사각형을 통해 정의됩니다. "허용 가능한" 조건은 코호몰로지 층이 결정형 국소 계수에 대응되도록 보장합니다.

5. 코호몰로지 계산:
   본 논문은 $X = \text{Spf } \mathcal{O}_K$에 대해 시톰 코호몰로지 $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$가 $i \geq 2$에 대해서는 소멸하고 $i=1$에 대해서는 Bloch-Kato Selmer 군 (또는 결정형 표현의 확장 군) 과 동형임을 보여주는 코호몰로지 계산을 제공합니다. 이 소멸은 점의 경우와 적절한 경우의 동치를 확립하는 데 결정적입니다.

의의 및 주장
본 논문은 Bhatt-Lurie 시톰 스택이 $p$-adic 형식 스킴에 대한 유도된 리만 - 힐베르트 대응을 제공하는지 여부를 해결한다고 주장합니다.

• 일반적인 $X$에 대해서는 단순한 유도 동치가 실패하지만, 반사적 층을 통해 정확한 특징화가 존재함을 확인합니다.
• 시톰 완전 복합체와 결정형 표현 사이의 동치를 매끄러운 적절한 스킴에 대한 이소노피 카테고리로 성공적으로 일반화하지만, 대상 범주를 결정형 국소 계수의 유도 범주가 아닌 허용 가능한 필터링된 $F$-이소결정체로 세밀화해야 함을 요구합니다.
• 이 작업은 프리즘/스택 접근법 (Bhatt-Scholze, Bhatt-Lurie) 과 필터링된 $F$-이소결정체의 고전적 이론 (Colmez-Fontaine) 사이의 간극을 메워 $p$-adic 형식 스킴 위의 결정형 국소 계수를 연구하는 통합된 프레임워크를 제공합니다.

저자는 명시적으로 결과가 $X$가 매끄럽고 준콤팩트 (또는 적절한) 일 때 의존하며, $X$가 준콤팩트가 아닐 때 이소노피 카테고리의 해석은 주의가 필요하다고 지적합니다. 본 논문은 비매끄러운 스킴에 대한 문제 해결이나 $p$를 가역원으로 만들지 않은 본질적 이미지에 대한 기술 (이는 향후 과제로 남음) 을 주장하지는 않습니다.