$\mathbb{G}_m$-cohomology of $p$-adic Stein spaces

기술적 요약: $p$-adic Stein 공간의 $G_m$-코호몰로지

문제 제기
본 논문은 특성 0 의 완비 대수적으로 닫힌 체 $C$( $\mathbb{Q}_p$ 를 포함함) 위의 매끄러운 Stein 공간 $X$ 에 대한 에탈 코호몰로지 군 $H^i_{\text{ét}}(X, \mathbb{G}_m)$ 의 계산을 다룹니다. 그로텐디크의 정리에 따라 대수적 스킴의 경우 $i \ge 2$ 에서 $\mathbb{G}_m$ 의 코호몰로지가 비틀림 (torsion) 임이 잘 알려져 있지만, 해석적 경우에는 상당한 어려움이 존재합니다. 해석적 설정에서는 코호몰로지 군이 반드시 비틀림을 가지지 않으며, $\mathbb{G}_m$ 을 점들로부터의 푸시포워드 (pushforward) 와 연관시키는 것과 같은 표준적인 대수적 전략들이 실패합니다. 저자들은 구조적 여과 (filtration) 를 확립하고 그 등급 조각 (graded pieces) 을 계산함으로써 고전적 강 해석 공간, 구체적으로 아핀 공간 $\mathbb{A}^d$, 토러스 $\mathbb{G}_m^d$, 그리고 드린펠트 대칭 공간 $\mathbb{H}^d$ 에 대한 이러한 군들을 기술하고자 합니다.

방법론
저자들은 $p$-adic 호지 이론, Stein 덮개에 대한 극한 논증, 그리고 브루하 - 티츠 빌딩 (Bruhat-Tits building) 에 대한 조합론적 방법을 결합한 다단계 전략을 사용합니다.

1. 주요 단위 (Principal Units) 를 통한 여과: 핵심 전략은 주요 단위 부분군 $U = 1 + \mathfrak{m}\mathcal{O}^+$ 를 사용하여 $\mathbb{G}_m$ 을 분해하는 것입니다. 이는 $1 \to U \to \mathbb{G}_m \to \mathcal{O}^\times \to 1$ 의 완전열을 유도하며, 여기서 $\mathcal{O}^\times = \mathbb{G}_m/U$ 입니다. 이는 $U$ 와 $\mathcal{O}^\times$ 의 코호몰로지와 관련된 등급 조각을 가진 $H^i_{\text{ét}}(X, \mathbb{G}_m)$ 위의 여과를 유도합니다.
2. 비틀림 부분의 분리: 저자들은 코호몰로지의 $p$-부분과 $p$-서로소 ($p'$) 부분을 구분합니다.
   • $p$-부분은 로그와 지수 사상을 통해 분석되며, $U$ 를 구조 층 $\mathcal{O}$ 와 연관시킵니다. 이는 문제를 일관성 코호몰로지 (coherent cohomology) 와 호지 - 테이트 로그 사상으로 연결합니다.
   • $p'$-부분은 쿠머 (Kummer) 완전열을 통해 분석되며, $\mathcal{O}^\times$ 를 $p$ 가 아닌 소수 $\ell$ 에 대한 $\ell$-adic 코호몰로지와 연관시킵니다.
3. Pro-étale 사이트와 호지 - 테이트 동형: $p$-부분을 처리하기 위해 저자들은 pro-étale 사이트 $X_{\text{proét}}$ 와 표준 사영 $\nu: X_{\text{proét}} \to X_{\text{ét}}$ 을 활용합니다. 그들은 호지 - 테이트 동형 (Scholze) 과 Bloch-Kato 지수 사상 (Colmez-Dospinescu-Nizioł) 을 사용하여 pro-étale 코호몰로지를 미분형식 $\Omega^i_X$ 와 연관시킵니다.
4. 극한 논증과 평탄성: Stein 공간은 아피노이드 공간 $X_n$ 들의 극한이므로, 저자들은 유도된 극한 형식주의 ($R\lim$) 를 사용하여 아피노이드의 코호몰로지로부터 Stein 공간으로 넘어갑니다. 중요한 기술적 요구 사항은 Stein 덮개에 대한 $\ell$-adic 코호몰로지 군의 사영계에서 전이 사상의 평탄성입니다.
5. 조합론적 기하학: 드린펠트 대칭 공간의 경우, 저자들은 de Shalit 과 Schneider-Stuhler 의 논증을 적용합니다. 그들은 특정 부분복합체 (조합론적 거리에서의 공) 의 볼록성과 같은 브루하 - 티츠 빌딩의 기하학을 활용하여 계수 시스템에 필요한 평탄성과 비순환성 (acyclicity) 성질을 증명합니다.

주요 기여 및 결과

• 여과의 구성: 본 논문은 임의의 매끄러운 Stein 공간 $X$ 의 코호몰로지에 대한 여과 $F^{(i)}_{\text{ét}, \mathbb{G}_m}(X)$ 를 구성합니다. 등급 조각은 다음과 같이 식별됩니다:

  • $gr_0$: 호지 - 테이트 로그의 여핵과 관련되며, $\Omega^{i-1}(X)(1-i)/\text{Ker}(d)$ 로 식별됩니다.
  • $gr_1$: 호지 - 테이트 로그의 핵과 관련되며, Hyodo-Kato 코호몰로지 $HK^i(X)$ 와 pro-étale 코호몰로지를 포함하는 몫으로 식별됩니다.
  • $gr_2$: $p'$-비틀림과 관련되며, $p \neq \ell$ 인 $\ell$-adic 코호몰로지 군들의 완비된 직합으로 식별됩니다.

• 고전적 공간에 대한 명시적 계산: 특정 기술적 가정 (아피노이드에서의 $\mathcal{O}^\times$-코호몰로지의 비틀림, $\ell$-adic 코호몰로지의 평탄성, 그리고 Hyodo-Kato 코호몰로지로의 사상의 단사성) 하에, 저자들은 등급 조각을 계산합니다:

  • 아핀 공간 $\mathbb{A}^d$: 코호몰로지는 미분형식 관점에서 기술됩니다.
  • 토러스 $\mathbb{G}_m^d$: 등급 조각은 $\mathbb{Q}_p$ 와 $\mathbb{Q}_\ell$ 의 외적 (exterior powers) 을 포함합니다.
  • 드린펠트 대칭 공간 $\mathbb{H}^d$: 등급 조각은 일반화된 스타인베르크 표현 $Sp_i(\cdot)^*$ 와 그 쌍대 표현으로 표현됩니다. 구체적으로, $gr_1$ 은 $Sp_i(\mathbb{Q}_p)^*/Sp_i(\mathbb{Z}_p)^*$ 를 포함하고, $gr_2$ 는 $p \neq \ell$ 에 대한 유사한 구조들의 합을 포함합니다.

• 비틀림 및 평탄성 결과:

  • 저자들은 닫힌 공, 닫힌 고리, 그리고 드린펠트 공간의 표준 Stein 덮개 열린 집합 $U_n$ 에 대해 $i \ge 2$ 일 때 $H^i_{\text{ét}}(X, \mathcal{O}^\times)$ 군들이 비틀림임을 증명합니다.
  • 그들은 $p \neq \ell$ 인 $\ell$ 에 대해 $\mathbb{Z}/\ell^n\mathbb{Z}$ 위에서의 $H^i_{\text{ét}}(U_n, \mathbb{Z}/\ell^n\mathbb{Z})$ 의 평탄성을 확립하는데, 이는 브루하 - 티츠 빌딩 위의 계수 시스템의 비순환성에 의존하는 드린펠트 공간에 대한 비자명한 결과입니다.

의의 및 주장
본 논문은 대수적 경우에서 해석적 설정으로 알려진 결과를 확장하여, 중요한 클래스의 $p$-adic Stein 공간에 대한 $\mathbb{G}_m$-코호몰로지의 완전한 기술을 제공한다고 주장합니다. 저자들은 그들의 전략이 $p$-adic 호지 이론을 통한 $p$-비틀림과 $\ell$-adic 코호몰로지를 통한 $p$-서로소 비틀림의 처리를 통합한다고 강조합니다.

이 연구는 아핀 공간에 대한 이전 계산 (Ertl, Gilles, Nizioł) 을 토러스와 드린펠트 대칭 공간으로 일반화합니다. 주요 주장은 드린펠트 대칭 공간이 그 복잡성에도 불구하고 명시적 여과를 가능하게 하는 필요한 기술적 조건 ($\mathcal{O}^\times$ 의 비틀림과 $\ell$-adic 코호몰로지의 평탄성) 을 만족한다는 것입니다. 저자들은 그 결과들이 브루하 - 티츠 빌딩의 깊은 성질과 특정 계수 시스템의 비순환성에 의존하며, 강 해석 기하학과 표현론을 연결한다고 지적합니다.

본 논문은 모든 매끄러운 Stein 공간에 대한 문제를 해결한다고 주장하지는 않지만, 코호몰로지가 비틀림이고 여과가 명시적인 "충분히 큰 클래스"(주요 관심 사례 포함) 를 식별합니다. 저자들은 일반적인 경우 극한 논증에서의 병리적 현상을 피하기 위해 추가 조건이 필요함을 인정하며, 이는 그들의 구체적인 사례들에 대해 검증되었습니다.