On Galois categories and condensed contractible schemes

기술 요약: 갈루아 범주와 응축 가축적 스킴

문제 제기
본 논문은 "응축 호모토피 유형"이 가축적인 (contractible) 스킴들의 분류를 다룬다. 스킴의 갈루아 범주에 관한 Barwick, Glasman, Haine [BGH20] 의 연구와 그 이후의 응축 호모토피 유형에 대한 연구 [HHL+25] 를 바탕으로, 저자는 qcqs (준-콤팩트이고 준-분리된) 스킴 $X$가 $\Pi^{\text{cond}}_{\infty}(X) \simeq *$를 만족하는 조건을 조사한다.

스킴의 에탈 호모토피 유형은 종종 예상대로 행동한다 (예: 아핀 직선 $\mathbb{A}^1_{\mathbb{C}}$는 에탈 가축적이다). 그러나 응축 호모토피 유형은 추가적인 정보를 포착한다. 구체적으로 [HHL+25] 는 $\mathbb{A}^1_{\mathbb{C}}$가 응축 가축적이지 않으며, 비자명한 응축 기본군을 가진다는 것을 보였다. 본 논문은 응축 가축적인 스킴의 클래스를 체계적으로 특징짓고, 일반적인 데데킨트 정역에 대한 응축 기본군을 계산하여, 에탈 가축적이지만 응축 가축적이지 않은 스킴의 새로운 예 (예: $\text{Spec}(\mathbb{Z})$) 를 제공하는 것을 목표로 한다.

방법론
본 논문은 응축 호모토피 유형 $\Pi^{\text{cond}}_{\infty}(X) = B^{\text{cond}}\text{Gal}(X)$의 성질을 추론하기 위해 응축 갈루아 범주 $\text{Gal}(X) \in \text{Cond}(\text{Cat})$를 분석하는 전략을 채택한다. 방법론은 다음과 같은 세 가지 주요 기술적 기둥을 통해 진행된다:

1. $w$-가축적 환을 통한 대체적 기술:
   저자는 아핀 스킴 $X$와 극단적으로 비연결 (extremally disconnected) 프로유한 집합 $S$에 대해 응축 갈루아 범주 $\text{Gal}(X)(S)$에 대한 구체적인 기술을 제공한다. Bhatt 와 Scholze [BS15] 가 도입한 $w$-가축적 환의 이론과 Lurie 의 초범주 (ultracategories) 이론 [Lur18] 을 활용하여, $\text{Gal}(X)(S)$와 $X$ 위의 $S$-연결 $w$-가축적 환들의 범주 사이의 동치를 확립한다. 이는 추상적인 응축 범주를 구체적인 대수적 대상 (환) 과 그들의 엄밀한 헨젤화 (strict henselizations) 와 연결한다.

2. 층화 호모토피 이론:
   응축 기본군을 계산하기 위해, 본 논문은 [BGH20] 에서 개발된 층화 공간 (stratified spaces) 과 공간적 탈라주 (spatial décollages) 의 프레임워크를 활용한다. 데데킨트 정역 $A$에 대해, 갈루아 범주는 $\text{Spec}(A)$의 자리스키 부분순서집합 위에 층화된다. 응축 호모토피 유형은 이 층화의 신경 (nerve) 에 대한 여극한으로 계산되며, 이를 통해 위상 데이터가 절대 갈루아 군과 관성 군을 포함하는 군론적 몫으로 변환된다.

3. 범주적 성질을 통한 분류:
   본 논문은 $\text{Gal}(X)$가 초기 대상이나 최종 대상을 갖는 조건을 조사한다. 응축 범주에서 그러한 대상의 존재는 기저 스킴의 특정 기하학적 성질 (기약성, 국소성, 엄밀한 헨셀성) 과 동치임을 확립한다. 이는 점들의 기저 범주 $\text{Pt}(X_{\text{ét}})$와 자리스키 부분순서집합 $X^{\leq}_{\text{zar}}$ 사이의 관계를 분석하는 데 기반한다.

주요 기여 및 결과

• 갈루아 범주의 기술:
  정리 3.38 은 아핀 스킴 $X$에 대해, 범주 $\text{Gal}(X)(S)$가 $S$-연결 사상을 갖는 $X$ 위의 $S$-연결 $w$-가축적 환들의 범주와 동치임을 확립한다. 이는 응축 갈루아 범주에 대한 구체적인 대수적 핸들을 제공한다.

• 데데킨트 정역에 대한 응축 기본군 공식:
  정리 4.25 는 분수체 $K$를 갖는 데데킨트 정역 $A$의 응축 기본군의 기저 군에 대한 명시적 공식을 제공한다. 이는 다음과 같다:
  $$\pi^{\text{cond}}_1(\text{Spec}(A), \bar{\eta})(*) \cong G_K / N$$
  여기서 $G_K$는 $K$의 절대 갈루아 군이며, $N$은 $A$의 유한 소수 $p$에서의 모든 관성 군 $I_p$에 의해 생성된 부분군의 정규폐포 (normal closure) 이다.

• $\text{Spec}(\mathbb{Z})$의 비가축성:
  위의 공식을 적용하여, 예제 4.29 는 $A = \mathbb{Z}$인 경우 몫 $G_{\mathbb{Q}}/N$이 비자명 (구체적으로 그 아벨화가 비자명) 함을 보인다. 이는 에탈 호모토피 군과 프로에탈 기본군이 모두 자명함에도 불구하고 $\text{Spec}(\mathbb{Z})$가 응축 가축적이지 않음을 증명한다. 이는 $\mathbb{A}^1_{\mathbb{C}}$에 이어 응축 호모토피 이론을 그 에탈 선구자와 구별하는 두 번째 주요 예시이다.

• 응축 가축적 스킴의 분류:
  본 논문은 갈루아 범주가 초기 대상이나 최종 대상을 갖는 스킴들의 완전한 분류를 제공한다. 이는 응축 가축성을 함의한다:

  • 최종 대상: $\text{Gal}(X)$가 최종 대상을 갖는 것은 $X$가 기약이고 모든 곳에서 엄밀하게 국소적일 때 (정리 5.16) 에 한한다.
  • 초기 대상: $\text{Gal}(X)$가 초기 대상을 갖는 것은 $X$가 엄밀한 헨셀 국소환의 스펙트럼일 때 (정리 5.30) 에 한한다.
    두 경우 모두 해당 스킴들이 응축 가축적임이 보인다.

• 초범주와의 관계:
  본 논문은 갈루아 범주와 Lurie 의 초범주 사이의 관계를 명확히 하여, 점들의 응축 범주 $\text{Pt}(X)$ (비일관성 함자를 포함함) 가 초범주임을 보이고, 포함 사상 $\text{Gal}(X) \hookrightarrow \text{Pt}(X)$가 분류 응축 애니마 (anima) 에 동치를 유도함을 보인다.

의의
본 논문은 에탈 호모토피 유형과 구별되는 불변량으로서 응축 호모토피 유형에 대한 이해를 정제한다는 점에서 의의가 있다. 스킴이 언제 응축 가축적인지를 정확히 특징짓음으로써, 응축 수학이 고전적인 에탈 또는 프로에탈 방법으로는 보이지 않는 "숨겨진" 위상적 복잡성 (예: $\text{Spec}(\mathbb{Z})$ 위의 비자명한 국소계) 을 탐지하는 경계를 규정한다. 데데킨트 정역에 대한 응축 기본군의 명시적 계산은 고전적으로 유사하지만 응축적으로 구별되는 스킴들을 구별하기 위한 새로운 도구를 제공한다. 또한, 분류 결과는 스킴의 호모토피적 자명성을 그 대수적 구조 (엄밀한 헨셀성과 기약성) 와 직접 연결하여, 응축 가축성에 대한 구조적 기준을 제공한다.