Coherent six-functor formalisms: Pro vs Solid

기술적 요약: 일관된 여섯 가지 함자 형식에 대한 노트: Pro 대 Solid

문제 제기
이 논문은 일관된 층 (coherent sheaves) 에 대한 그로텐디크 여섯 가지 함자 형식주의에서 기초적인 공백을 다룹니다. 이 형식주의는 에탈 코호몰로지에서 $\ell$-adic 구성 가능 층 (constructible sheaves) 에 대해서는 잘 정립되어 있지만, 일관된 층의 경우 여전히 불완전한 상태입니다. 구체적으로, 열린 포함 사상 $j: U \hookrightarrow X$에 대해, 예외적 푸시포워드 함자 $j_!$는 (준) 일관된 층의 표준 범주 사이의 함자로서 존재하지 않습니다.

역사적으로, 층의 범주를 확장함으로써 이를 해결하기 위해 두 가지 구별된 접근법이 제안되었습니다:

1. 델린의 접근법: $j_!$를 구성하기 위해 범주를 프로 - 일관된 층 (pro-coherent sheaves) (구체적으로 $\mathbb{N}^{op}$으로 인덱싱된 프로 - 시스템) 으로 확장합니다 [Har66, 부록].
2. 클라우젠 - 슐로제 접근법: 응축 수학 (condensed mathematics) 의 프레임워크 내에서 솔리드 모듈 (solid modules) 로 범주를 확장하여, 유도된 설정에서 $j_!$에 대한 견고한 처리를 제공합니다 [CS19a, Lecture VIII].

이 두 구성 사이의 관계는 불분명하게 남아 있었습니다. 이 논문은 델린의 프로 - 층 구성과 클라우젠 - 슐로제의 솔리드 모듈 구성 사이의 정밀한 비교를 확립함으로써 이러한 접근법들을 연결하는 것을 목표로 합니다.

방법론 및 기술적 프레임워크
저자는 응축 수학 및 위상 모듈의 맥락에서 자연스러운 비교 함자 $\Phi$를 구성하고 그 성질을 분석합니다.

1. 함자 구성:
   논문은 가환환 $A$에 대해 함자 $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$를 정의합니다. 이 함자는 프로 - 시스템 $\varprojlim_{\mathbb{N}} M_i$를 역극한 위상을 갖춘 위상 모듈의 역극한과 연관된 솔리드 모듈로 매핑합니다.

   • 이 구성은 두 단계로 진행됩니다:
     • $\Phi_1$: 프로 - 시스템을 위상 모듈 ($\text{TopMod}(A)_{cgwh}$) 로 매핑합니다.
     • $\Phi_2$: 이 위상 모듈들을 요네다 함자를 통해 응축 모듈로 매핑합니다 ($M \mapsto \text{Hom}_{\text{Top}}(-, M)$).
   • 합성 $\Phi = \Phi_2 \circ \Phi_1$은 솔리드 모듈의 범주 $\text{Solid}(A)$를 통해 인수분해됩니다.

2. 충분한 충실성 (Full Faithfulness) 분석:
   주요 기술적 결과는 $\Phi$를 미타그 - 레플러 (Mittag-Leffler) 프로 - 시스템의 부분 범주 ($\text{Pro}^{ML}_{\mathbb{N}}\text{Mod}(A)$) 로 제한하는 것과 관련이 있습니다.

   • 저자는 $\Phi$가 미타그 - 레플러 시스템으로 제한될 때 완전히 충실 (fully faithful) 함을 증명합니다.
   • 이 증명은 미타그 - 레플러 시스템의 경우, 호모모피즘의 극한에서 극한의 호모모피즘으로 가는 표준 사상이 전단사임을 보이는 데 기반합니다. 이는 역극한 위상에 대한 신중한 분석을 요구하며, 구체적으로 가산 인덱스 집합의 경우 미타그 - 레플러 조건이 투영 사상이 안정적 이미지 위에 안정화됨을 보장한다는 사실을 활용합니다.
   • 논문은 이 성질이 비가산 인덱스 집합이나 비미타그 - 레플러 시스템의 경우에는 성립하지 않는다고 명시적으로 지적하며, 시스템이 미타그 - 레플러임에도 불구하고 극한이 소멸하는 $\omega_1$-인덱싱된 시스템을 포함하는 반례를 제시합니다.

3. 유도 함자 및 호환성:
   논문은 오른쪽 유도 함자 $R\Phi: D(\text{Pro}_{\mathbb{N}}\text{Mod}(A)) \to D(\text{Solid}(A))$를 고려합니다. 주요 정리는 $R\Phi$가 델린에 의해 정의된 $j^{De}_!$와 클라우젠 - 슐로제에 의해 정의된 $j^{CS}_!$와 호환됨을 확립합니다.

주요 결과
주요 결과는 정리 1.1(명제 2.14 와 3.3 에서 상세히 다룸)입니다:

• $\Phi$의 존재 및 성질: 자연스러운 함자 $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$가 존재합니다. 이 함자는 왼쪽 완전 (left exact) 합니다. 미타그 - 레플러 프로 - 시스템의 부분 범주로 제한된 $\Phi_{ML}$은 완전 (exact) 하고 완전히 충실합니다.

• $j_!$의 호환성: 유한형 $\mathbb{Z}$-대수 $A$와 영인자가 아닌 $f \in A$에 대해, $j: \text{Spec}(A[1/f]) \hookrightarrow \text{Spec}(A)$를 열린 포함 사상이라 합시다. 유도 함자를 포함하는 다이어그램은 가환합니다:
  $$\begin{array}{ccc} \text{Mod}^{fp}(A[1/f]) & \xrightarrow{j^{De}_!} & D(\text{Solid}(A[1/f])) \\ \downarrow & & \downarrow \\ \text{Pro}_{\mathbb{N}}\text{Mod}^{fp}(A) & \xrightarrow{R\Phi} & D(\text{Solid}(A)) \end{array}$$
  구체적으로, 유한 제시된 모듈에 대해 $R\Phi \circ j^{De}_! \cong j^{CS}_! \circ R\Phi$가 성립합니다.

• 호환성 증명 메커니즘: 증명은 가환 다이어그램의 양쪽 변에 대한 명시적 계산을 포함합니다.

  • 델린의 $j^{De}_!$는 유한 제시된 모듈 $M'$에서 그 $f$-adic 완비 (completion) 로 가는 사상의 콘 (cone) 을 통해 실현됩니다.
  • 클라우젠 - 슐로제의 $j^{CS}_!$는 솔리드 모듈 범주에서 $(A[T], A)$에 대한 $A[1/f]$의 분해와 솔리드 텐서 곱을 사용하여 계산됩니다.
  • 저자는 $A \to \widehat{A}$ 사상에 대한 평탄성 (flatness) 결과와 $A \to A[1/f]$ 국소화를 활용하여 $f$-adic 완비 $\widehat{M'}$과 그 국소화를 분석함으로써, 두 구성이 모두 솔리드 모듈의 유도 범주에서 동형인 객체를 산출함을 보여줍니다.

의의 및 주장
이 논문은 결여된 $j_!$함자에 대한 두 가지 접근법의 "개념적 및 구조적 통합"을 제공한다고 주장합니다. 고전적인 프로 - 층을 통한 델린의 구성이 솔리드 모듈을 통한 현대적인 클라우젠 - 슐로제 구성과 일치함을 증명함으로써, 이 작업은 고전적 기법과 응축 수학 도구 간의 호환성을 강화합니다.

저자는 현재 정리가 유한형 대수 내의 영인자가 아닌 원소에 의해 정의된 특정 유형의 열린 포함 사상에 대해 서술되어 있지만, 이 결과가 일반적인 경우에 대한 "흥미로운 아이디어"를 제공한다고 지적합니다. 논문은 임의의 열린 포함 사상에 대한 일반적인 경우를 해결했다고 주장하지는 않지만, 정리가 더 일반적으로 성립할 것이라는 기대를 표명하며, 향후 작업에서 "함자 $R\Phi$를 붙이는 (glue)" 계획을 밝히고 있습니다.

이 작업은 범위는 소극적이어서, 이 두 형식주의의 비교를 넘어 새로운 실험적 응용을 제안하거나 완전히 새로운 기하학적 맥락으로 이론을 확장하는 대신, 두 특정 프레임워크 사이의 연결고리를 확립하는 데 초점을 맞추고 있습니다.