Topological Vector Spaces

기술적 요약: 응축 수학에서의 위상 벡터 공간 (Topological Vector Spaces in Condensed Mathematics)

문제 및 동기
본 논문은 리지드 해석적 다양체(rigid analytic varieties)에 대한 $p$-진 주기 사상(p-adic period morphisms)을 기하학화(geometrize)할 필요성을 다루며, 이는 특히 $p$-진 프로 에탈레 코호몰로지(pro-étale cohomology)의 쌍대성 정리(duality theorems)를 용이하게 하기 위함이다. 위상 벡터 공간(TVS)은 이전에 [13]에서 $\mathbb{Q}_p$ 상의 국소 볼록 벡터 공간 값을 갖는 "심패시틱(sympathetic)" 공간 위의 인리치드 프리셰프(enriched presheaves)로서 도입되었으나, 본 논문은 이 범주의 **응축된 버전(condensed version)**을 조사한다. 서론에서 명시된 주요 동기는 [11]의 쌍대성 결과에 적용하는 것이며, 여기서 관련되는 TVS의 예시들은 파르그스-폰토인 곡선(Fargues-Fontaine curve) 상의 준결합 층(quasi-coherent sheaves)의 코호몰로지로부터 발생하며, 이들은 자연스럽게 응축된 우주(condensed universe)에 거주하는 대상들이다.

저자들은 다음과 같은 엄밀한 프레임워크를 구축하는 것을 목표로 한다:

1. 국소 볼록 위상 벡터 공간을 응축된(또는 솔리드(solid)) $\mathbb{Q}_p$-모듈로 대체한다.
2. 심패시틱 공간을 엄격하게 완전히 분리된 공간(strictly totally disconnected spaces, 또는 w-contractible 공간)으로 대체한다.
3. 인리치먼트 조건(매핑 공간의 위상에 대한 민감성)을 응축 수학의 설정 내에서 인리치드 요네다 보조정리(enriched Yoneda Lemma)를 사용하여 정식화한다.

방법론
본 논문은 (완전한) 아핀 퍼펙토이드(perfectoid affinoids) 위의 프리셰프 카테고리($C$가 혼합 차수 체 $K$의 대수적 폐체의 $p$-진 완비화인 경우) 상의 세 가지 중첩된 카테고리를 구축하고 분석한다:

1. 벡터 공간 (VS): 퍼펙토이드 아핀로이드의 프로 에탈레 사이트($S_{\text{pro\'et}}$) 상의 $\mathbb{Q}_p$-벡터 공간의 층(sheaves). 이들은 고유한 위상을 갖지 않는 대수적 대상들이나, 사이트 자체가 위상을 인코딩한다.
2. 나이브 위상 벡터 공간 (NTVS): 동일한 사이트 상의 위상적 $\mathbb{Q}_p$-벡터 공간(클라우젠-숄즈의 의미에서)의 층. 이들은 응축된 또는 솔리드 아벨 군 값을 갖는 층들이다. 저자들은 이들이 그로텐디크 아벨 범주를 형성함을 증명하고, 이들의 유도 범주(derived categories), 솔리디피케이션 함자(solidification functors), 그리고 모노이달 구조를 연구한다.
3. 위상 벡터 공간 (TVS): 본 연구의 주요 대상. 이는 **위상적으로 인리치된 프리셰프(topologically enriched presheaves)**의 카테고리이다.
   • 인리치먼트는 NTVS 상의 Hom-공간에 자연스러운 응축 구조를 부여함으로써 달성된다.
   • 저자들은 인리치먼트 조건이 성립하도록 하고 인리치드 요네다 보조정리를 활용하기 위해, 일반적인 퍼펙토이드 아핀로이드로부터의 프리셰프 함자를 엄격하게 완전히 분리된 공간으로 제한한다.
   • "리지드(rigid)" 프리셰프(구조 사상 $F(Y \times T) \to [T, F(Y)]$가 동형인 경우)와 일반적인 인리치드 프리셰프 사이의 구분이 핵심적인 기술적 도구이다. 저자들은 프로 에탈레 사이트로부터 발생하는 층들이 정준적으로 리지드함을 입증한다.

방법론은 응축 수학(Claus clausen-scholze) 이론, 특히 솔리드 모듈의 성질, 응축된 카테고리와 솔리드 카테고리 사이의 관계, 그리고 유도 함수(derived functors) 및 인리치드 구조를 다루기 위한 $\infty$-카테고리의 사용에 크게 의존한다.

주요 기여 및 결과

1. 범주적 프레임워크: 본 논문은 TVS를 인리치드 프리셰프의 완전 부분 범주로 정의한다. 저자들은 이 카테고리와 VS 및 NTVS 카테고리가 컴팩트하고 투영적인 생성원(특히, 솔리드 모듈과 텐서 곱된 요네다 대상들)을 갖는 그로텐디크 아벨 범주를 형성함을 증명한다.

2. 인리치드 완전 충실성 (정리 1.1, 파트 1):
   저자들은 특정 유한성 조건이 충족될 때, 벡터 공간(VS)에서 위상 벡터 공간(TVS)으로의 정준 함자가 **인리치드 의미에서 완전 충실(fully faithful)**함을 증명한다.

   • 구체적으로, $F \in D^b(S_{\text{pro\'et}}, \mathbb{Q}_p)$와 $G \in D^+(S_{\text{pro\'et}}, \mathbb{Q}_p)$에 대하여, 정준 사상
     $$R\pi_* R\text{Hom}_{S, \mathbb{Q}_p}(F, G) \to R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(R\pi_* F, R\pi_* G)$$
     는 준동형(quasi-isomorphism)이다.
   • 이 결과는 대수적 요네다 층이 위상적 층으로 매핑되며, 인리치드 요네다 보조정리가 양쪽 설정 모두에서 성립한다는 사실에 기초한다.

3. 파르그스-폰토인 완전 충실성 (정리 1.1, 파트 2):
   본 논문은 파르그스-폰토인 곡선($X_{FF}$) 상의 준결합 층에서 TVS로의 함자가 완전 콤플렉스(perfect complexes)로 제한될 때 완전 충실함을 확립한다.

   • 완전 콤플렉스 $F, G \in \text{Perf}(X_{FF, S^\flat})$에 대하여, 자연스러운 사상
     $$R\tau_* R\text{Hom}_{\text{QCoh}}(F, G) \to R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(R\tau_* F, R\tau_* G)$$
     는 준동형이다.
   • 이는 정리의 첫 번째 주장으로부터 환원된, Anschütz-Le Bras [3]의 결과에 대한 위상적 아날로그이다.

4. 투영의 호환성 (정리 1.1, 파트 3):
   저자들은 **핵 층(nuclear sheaves)**으로 제한될 때, 대수적 투영(파르그스-폰토인 층에서 VS로의 투영)과 위상적 투영(TVS로의 투영) 사이의 호환성을 보여준다. 이는 파르그스-폰토인 곡선, VS, 그리고 TVS를 연결하는 다이어그램이 핵 대상들에 대해 가환(commute)함을 보장한다.

5. 계산적 결과 (따름정리 1.2 및 예시 4.27):
   저자들은 TVS 카테고리에서의 확장군(extension groups)에 대한 명시적인 계산을 제공하여, 이들이 VS 및 파르그스-폰토인 곡선에서의 것과 일치함을 보여준다. 예를 들어:

   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{Q}_p, \mathbb{Q}_p) \simeq \mathbb{Q}_p$
   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{Q}_p, \mathbb{G}_a) \simeq \mathbb{G}_a$
   • $R\text{Hom}_{S_{\text{top}}, \mathbb{Q}_p}(\mathbb{G}_a, \mathbb{G}_a) \simeq \mathbb{G}_a \oplus \mathbb{G}_a[-1]$
     이러한 결과들은 바나흐-콜메즈 공간(Banach-Colmez spaces) 또는 파르그스-폰토인 곡선 상의 층들의 확장이 대수적, 프로 에탈레, 또는 위상적 설정에서 상호 교환 가능하게 계산될 수 있음을 확인시켜 준다.

의의 및 주장
본 논문은 자신의 주요 의의가 위상 벡터 공간에 대한 강력한 응축된 프레임워크를 제공하는 데 있다고 주장한다. 국소 볼록 공간을 응축된/솔리드 모듈로, 심패시틱 공간을 엄격하게 완전히 분리된 공간으로 대체함으로써, 저자들은 응축 수학(예: 인리치드 요네다 보조정리 및 솔리드 텐서 곱)의 강력한 도구들을 사용하여 $p$-진 코호몰로지를 연구할 수 있게 한다.

저자들은 TVS의 "솔리드 버전"이 솔리드 $\mathbb{Q}_p$-벡터 공간 카테고리 내에서의 대상별 계산을 가능하게 하여, 코호몰로지 쌍대성 분석을 단순화한다고 명시적으로 밝힌다. 이 논문은 쌍대성 정리 자체를 해결한다고 주장하는 것이 아니라, 그러한 계산을 응축된 우주 내에서 엄밀하고 다루기 쉽게 만들기 위한 필요한 범주적 인프라(즉, "위상 벡터 공간" 카테고리)를 제공하는 것이다. 결과들은 TVS를 통한 주기 사상의 "기하학화"가 기저의 대수적 및 기하학적 대상들의 필수적인 호몰로지 정보를 보존함을 확인해 준다.