Pro-étale motives and solid rigidity

1. 문제 제기 (Problem)

이 연구는 다음과 같은 기존 이론들의 한계를 해결하고자 합니다:

• $\ell$-adic 코호몰로지의 계수 시스템 (Coefficient Systems) 문제:
  • 기존 Ekedahl 의 구성 ($D((-\text{\'et}), \mathbb{Z})^\wedge_\ell$) 은 유리화 (rationalization, $\otimes \mathbb{Q}$) 와 호환되지 않습니다. 실제로 $D((-\text{\'et}), \mathbb{Z})^\wedge_\ell \otimes \mathbb{Q} \simeq 0$이 되어 $\mathbb{Q}_\ell$-코호몰로지를 자연스럽게 얻을 수 없습니다.
  • 반면, 프로-에탈 사이트 (pro-étale site) 를 사용한 Bhatt-Scholze 의 접근은 위상수학적 구조를 보존하지만, 이 시스템은 **적절한 기저 변화 (proper base change)**와 같은 필수적인 함자성 (functoriality) 을 만족하지 못합니다.
• 모티브와 $\ell$-adic 실현 (Realization) 의 괴리:
  • Voevodsky 의 에탈 모티브 ($DM_{\text{\'et}}$) 는 강력한 함자성을 가지지만, 이를 $\ell$-adic 코호몰로지로 연결하는 실현 사상은 $\ell$-완성 (completion) 을 통해 정의되며, 이는 위상수학적 성질 (예: 기저 변화 안정성) 과 충돌합니다.
• 고체 (Solid) 이론의 적용 범위:
  • Fargues-Scholze 가 개발한 고체 층 (solid sheaves) 이론은 리만 - 힐베르트 문제와 비아르키메데스 해석기하학에서 매우 성공적이었으나, 스키마 (schemes) 위에서는 6 연산 (six operations) 공식이 성립하지 않았습니다 (특히 적절한 사영 공식이 실패함).

핵심 질문: 스킴 위에서 $\ell$-adic 코호몰로지를 자연스럽게 다루면서도, 6 연산 공식이 성립하고 유리화와 호환되는 계수 시스템을 어떻게 구성할 수 있는가?

---

2. 방법론 (Methodology)

저자들은 프로-에탈 모티브와 고체 층을 결합한 새로운 프레임워크를 구축하기 위해 다음과 같은 단계를 밟았습니다:

1. 프로-에탈 모티브의 구성 ($SH_{\text{pro\'et}}$):

   • 에탈 위상 대신 프로-에탈 위상을 사용하여 모티브 스펙트럼을 정의했습니다.
   • 약하게 매끄러운 (weakly smooth) 스킴의 범위를 도입하여, 에탈 모티브보다 더 넓은 범주에서 6 연산 공식 (특히 $f_!, f^!$) 을 정의했습니다.
   • 이 범주는 6 연산 공식 (pullback, pushforward, tensor product, internal Hom 등) 을 만족하며, 에탈 모티브가 특정 조건 하에 완전히 충실하게 (fully faithfully) 포함됨을 보였습니다.

2. 고체 층의 스킴 위 적응 (Solid Sheaves on Schemes):

   • Fargues-Scholze 의 고체 층 이론을 스킴으로 확장했습니다.
   • 고체화 (Solidification) 과정을 정의하여, 프로-에탈 층의 특정 부분 범주 (고체 객체들) 를 추출했습니다. 이는 $\mathbb{Z}_P$-선형 조건 하에서 정의되며, 유한한 생성과 콜리미트 (colimits) 를 보존합니다.
   • **Condensed Category Theory (응집 범주 이론)**를 활용하여, 고체화를 범주론적 텐서 곱 ($-\otimes_{\text{cond}} \text{Solid}_\Lambda$) 으로 정의하고, 이를 통해 고체 모티브를 구성했습니다.

3. 강성 정리 (Rigidity Theorem) 의 증명:

   • 고체 층과 고체 모티브 사이의 관계를 규명하기 위해 강성 정리를 증명했습니다.
   • 이는 고체 층 범주 ($D(X, \Lambda)^\blacksquare$) 와 고체 모티브 범주 ($DM(X, \Lambda)^\blacksquare$) 가 동치임을 보이는 것으로, 모티브 이론의 강력한 함자성이 고체 층으로 이식됨을 의미합니다.
   • 증명 과정에서 $\mathbb{A}^1$-불변성과 Tate 안정성을 보장하기 위해 추가적인 국소화 (localization) 를 수행했습니다.

---

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

A. 프로-에탈 모티브의 6 연산 공식 (Theorem B)

• 스킴 $X$ 위의 프로-에탈 모티브 스펙트럼 ($SH_{\text{pro\'et}}(X)$) 을 정의했습니다.
• 이 범주는 6 연산 공식을 지원합니다. 특히, 유한하게 제시된 (finitely presented) 사상에 대해 $f_!, f^!$가 잘 정의되며, 기저 변화와 호환됩니다.
• 포함 정리: 국소적으로 에탈 유계 (locally étale bounded) 인 스킴 위에서, 기존의 에탈 모티브 ($SH_{\text{\'et}}$) 는 프로-에탈 모티브 ($SH_{\text{pro\'et}}$) 에 완전히 충실하게 포함됩니다.

B. 스킴 위 고체 층의 6 연산 공식 (Theorem A & E)

• Theorem A: 스킴 위의 고체 층 ($D(X, \Lambda)^\blacksquare$) 이 아벨 범주이며, 유한한 생성, 콜리미트, 기저 변화를 보존함을 보였습니다.
• Theorem E (강성 결과): $\Lambda$가 $\mathbb{Z}_P$-대수이고 $X$ 위의 소수 $P$가 가역일 때, 고체 층 범주와 고체 모티브 범주는 동치입니다.
  • 의의: 이는 리만 - 힐베르트 문제의 해석기하학적 설정 (rigid-analytic setting) 과 달리, 스키마 설정에서도 고체 층이 6 연산 공식을 완전히 만족함을 의미합니다. 이는 기존 해석기하학 설정에서는 불가능했던 결과입니다.

C. 고체 실현 함자 (Solid Realization Functor) (Proposition F)

• 모티브 ($DM_{\text{\'et}}$) 에서 고체 층 ($D(X, \Lambda)^\blacksquare$) 로 가는 고체 실현 함자 $\rho^\blacksquare$를 구성했습니다.
• 이 함자는 계수 변경 (change of coefficients) 과 호환되며, 기존의 $\ell$-adic 실현 함자 ($\rho_\ell$) 와 $\mathbb{Q}_\ell$-실현 함자를 자연스럽게 확장합니다.
• 특히, $\mathbb{Q}_\ell$-코호몰로지를 얻기 위해 유리화를 수행하더라도 **가환 범주 (presentable categories)**의 구조가 유지되어 계산이 용이합니다.

D. Nori 모티브와의 연결

• 특성 0 의 스킴 위에서, 이 구성은 유한 아델 (finite adeles) $\mathbb{A}_{\mathbb{Q}, f}$를 사용하여 Nori 모티브의 새로운 대수적 정의를 가능하게 합니다.

---

4. 의의 (Significance)

1. 이론적 통합: Voevodsky 의 모티브 이론, Bhatt-Scholze 의 프로-에탈 위상, Fargues-Scholze 의 고체 (solid) 이론을 하나의 통일된 프레임워크로 통합했습니다.
2. 6 연산 공식의 확장: 스킴 위에서의 고체 층이 6 연산 공식을 만족한다는 것은 대수기하학의 코호몰로지 이론에 있어 획기적인 진전입니다. 이전에는 해석기하학 (rigid-analytic) 에서만 가능했던 성질이 대수기하학 (schemes) 으로 확장되었습니다.
3. $\ell$-adic 코호몰로지의 안정성: 기존의 $\ell$-adic 실현은 기저 변화에 불안정했으나, 새로운 고체 실현 함자는 기저 변화 하에서 안정적이며 유리화와 호환됩니다. 이는 $\ell$-adic 코호몰로지의 성질을 모티브 이론의 강력한 도구로 더 효과적으로 활용할 수 있게 합니다.
4. 응용 가능성: 이 프레임워크는 **스펙트럴 Nori 모티브 (spectral Nori motives)**와 같은 향후 연구의 기초를 제공하며, 대수기하학과 수론의 깊은 연결을 탐구하는 데 필수적인 도구가 될 것입니다.

요약

이 논문은 프로-에탈 모티브를 통해 고체 층에 6 연산 공식을 부여하고, 이를 통해 $\ell$-adic 코호몰로지를 보다 강력하고 유연하게 다루는 새로운 고체 실현 함자를 제시합니다. 이는 대수기하학의 코호몰로지 이론에서 오랫동안 풀리지 않았던 문제들을 해결하고, 모티브 이론과 고체 이론을 성공적으로 결합한 중요한 성과입니다.