Birational and $\mathbf{A}^1$-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

기술적 요약: 비아르키메데스 체 위의 구조 층 코호몰로지에 있는 쌍유리적 및 $\mathbb{A}^1$-불변 격자

문제 제기
본 논문은 산술 기하학의 고전적 질문을 다룹니다: 완전한 비아르키메데스 체 $K$ 위의 스킴 범주에서 정의되고 유한 차원 $K$-벡터 공간에 값을 갖는 코호몰로지 이론 $X \mapsto H(X)$가 정수환 $R = \mathcal{O}_K$ 위의 함자적 격자를 허용하는지 여부입니다. 긍정적 해결은 임의의 자기사상 $f: X \to X$에 대해 유도된 선형 사상 $f^*$의 특성 다항식의 계수가 $R$에 속함을 의미합니다.

구체적으로, 저자들은 매끄럽고 propre한 스킴에 대한 구조 층의 코호몰로지 $H^i(X, \mathcal{O}_X)$에 초점을 맞춥니다. 이 코호몰로지가 콤팩트화를 통해 매끄럽고 분리된 스킴 위의 함자로 확장되며 $\mathbb{A}^1$-불변임은 알려져 있으나, 대수적으로 정의된 정수 구조 (격자) 가 **온전 강하 (tame descent)**를 만족하고 쌍유리 불변성과 호환되는지의 존재는, 특히 양의 표수에서 그리고 propre하지 않은 스킴의 경우, 열린 과제로 남아 있었습니다.

방법론
저자들은 Hübner 와 Schmidt [HS20] 가 도입한 **온전 코호몰로지 (tame cohomology)**의 변형을 [MRS26] 대로 수정하여 원하는 격자를 구성합니다. 그들의 접근법의 핵심은 다음과 같습니다:

1. 온전 사이트 (The Tame Site): 그들은 $U \hookrightarrow \tilde{U}$가 $\bar{S} = \text{Spec}(R)$ 위의 열린 포함사상이며 $U$가 $S = \text{Spec}(K)$를 통해 인수분해되는 쌍 $(U, \tilde{U})$의 범주 $\text{Sch}(S, \bar{S})$에서 작업합니다. 이 범주에 **온전 위상 (tame topology)**을 부여하는데, 여기서 덮개는valuation 위에서 온전한 (tame) 사상들의 가족으로 정의됩니다.
2. 층 $\mathcal{G}_a(0)$: 표준 온전 구조 층 $\mathcal{O}_t$(그 강고화는 정수 리지드 구조 층 $\mathcal{O}^\circ$임) 을 사용하는 대신, 그들은 꼬임 층 (twisted sheaf) $\mathcal{G}_a(0)$를 정의합니다. 쌍 $(U, \tilde{U})$에 대해, 이 층은 다음과 같이 정의됩니다:
   $$\mathcal{G}_a(0)(U, \tilde{U}) = \left\{ a \in \mathcal{O}(U) \mid a \in \sqrt[m]{\pi \mathcal{O}(\tilde{U}_{\text{int}})} \right\}$$
   여기서 $\pi$는 $R$의 의사균일화자 (pseudo-uniformizer) 이고 $\tilde{U}_{\text{int}}$는 $U$ 내의 $\tilde{U}$의 정수적 폐포입니다.
   중요한 차이점: $\mathcal{G}_a(0)$의 강고화는 $\mathcal{O}(1)$(최대 절댓값이 1 보다 엄격히 작은 함수) 에 해당하지만, $\mathcal{O}_t$의 강고화는 $\mathcal{O}^\circ$(최대 절댓값이 1 이하인 함수) 에 해당합니다. 저자들은 $\mathcal{O}(1)$이 **초수렴 (overconvergent)**이라고 주장하는데, 이는 리지드 기하학에서 기저 변경 정리를 적용하는 데 필수적인 성질이며 $\mathcal{O}^\circ$에서는 성립하지 않습니다.
3. 리지드 기하학과의 비교: 증명은 $\mathcal{G}_a(0)$의 온전 코호몰로지와 $\mathcal{O}(1)$의 리지드 해석적 코호몰로지 사이의 비교 정리에 의존합니다. 이 비교는 "정수 GAGA" 정리입니다.
4. 해석적 소멸: $\mathbb{A}^1$-불변성과 쌍유리 불변성은 리지드 해석 기하학의 소멸 결과로부터 추론됩니다. 구체적으로, 그들은 Bartenwerfer [Bar79] 와 van der Put [Put82] 의 결과를 활용하여 일반화된 다원판 (polydiscs) $D$에서 $i > 0$일 때 $H^i(D, \mathcal{O}(s)) = 0$임을 보이고, 코호몰로지 군이 작은 노름을 가진 원소에 의해 소멸됨을 보여줍니다 (정리 3.2).

주요 기여 및 결과

1. 함자 $F$의 구성
저자들은 $F: \text{Sm}_K \to D^{\ge 0}(R)_f$(여기서 $D^{\ge 0}(R)_f$는 유한형 $R$-가군 범주 내 코호몰로지를 갖는, 유한 토션까지의 복합체의 유도 범주) 를 다음과 같이 정의합니다:
$$F(X) := R\Gamma_t(X/R, \mathcal{G}_a(0))$$
그들은 이 함자가 다음 성질들을 만족함을 증명합니다 (정리 1):

• 호환성: $X$의 임의의 매끄러운 콤팩트화에 대해 $F(X) \otimes_R K \simeq R\Gamma(X, \mathcal{O})$.
• $\mathbb{A}^1$-불변성: $F(X) \simeq F(X \times \mathbb{A}^1)$.
• 쌍유리 불변성: 조밀한 열린 부분집합 위에서 동형사상인 임의의 사상 $Y \to X$에 대해 $F(X) \simeq F(Y)$.
• 온전 강하: $F$는 $R$-온전 덮개에 대해 강하를 만족합니다.

2. 차원 및 표수 제약

• 표수 0: 결과는 $K$ 위의 임의 차원의 모든 매끄러운 분리된 스킴에 대해 성립합니다.
• 양의 표수: 결과는 차원 $\le 3$인 매끄러운 분리된 스킴에 대해 성립합니다. 이 제한은 양의 표수에서 매끄러운 콤팩트화와 특이점 해소의 존재에 의존하기 때문에 발생하며 ([CP19] 와 [CR15] 사용), 현재는 차원 3 까지만 확립되어 있습니다.

3. 자동사상 군에 대한 적용
직접적인 적용으로서, 저자들은 양의 표수 체 $k$ 위의 차원 $\le 3$인 매끄러운 propre 다양체 $X$에 대해, 쌍유리 자동사상 군 $\text{Aut}_k(k(X))$이 코호몰로지 군 $H^i(X, \mathcal{O}_X)$ 위에서 **준단일 (quasi-unipotently)**하게 작용함을 증명합니다.

• 메커니즘: 유한 생성 체로 축소함으로써 작용의 고유값이 유한체의 곱셈군에 속함을 보여, 이들이 단위근임을 유도합니다.

4. 특이 스킴으로의 확장
본 논문은 매끄러움 가정이 주로 매끄러운 아핀오이드에 대한 Bartenwerfer 의 소멸 정리를 적용하기 위해 필요하다고 지적합니다. 저자들은 $\mathcal{O}(1)$에 대한 소멸 결과가 특정 특이점 (예: 유리적, 로그 표준적, Du Bois) 을 가진 아핀오이드로 일반화될 수 있다면, 주요 정리들이 그러한 특이점을 가진 정규 스킴으로 확장될 것이라고 제안합니다 (정리 4.19).

의의 및 주장
본 논문은 $\mathbb{A}^1$-불변성이자 온전 강하를 만족하는 구조 층 코호몰로지 위의 첫 번째 대수적으로 정의된 정수 구조를 제공한다고 주장합니다.

• 해석적 vs 대수적: 정수 구조는 GAGA 와 리지드 공간에 대한 Bartenwerfer 의 결과를 통해 해석적으로 정의될 수 있지만, 본 논문은 온전 사이트를 통해 이를 대수적으로 구성합니다.
• 특이점 극복: 꼬임 층 $\mathcal{G}_a(0)$(강고화 시 $\mathcal{O}(1)$) 의 사용은 표준 온전 구조 층 대신 사용되어, $\mathbb{A}^1$-불변성 증명에서 $R$ 위의 특이점 해소가 필요하지 않도록 하는 기술적 열쇠입니다. 대신 리지드 측의 해석적 계산에 의존합니다.
• 겸손함: 저자들은 양의 표수에서 차원 3 으로 제한된 것은 그들의 방법이 아닌 현재 특이점 해소 결과의 한계라고 명시적으로 밝힙니다. 또한 드람 또는 크리스탈린 코호몰로지로의 확장은 온전 사이트 위에 적합한 층을 구성하는 데 달려 있어 향후 과제로 남아 있다고 지적합니다.

요약하자면, 본 논문은 온전 대수 기하학과 리지드 해석 기하학을 연결하여 쌍유리 불변량과 자동사상 작용에 관한 강력한 구조적 결과를 도출하는, 비아르키메데스 코호몰로지에서의 정수 구조 연구를 위한 견고한 프레임워크를 확립합니다.