Néron--Severi groups of proper schemes over finite fields

기술 요약: 유한체 위 적절한 스킴의 네론-세베리 군(Néron–Severi Groups of Proper Schemes over Finite Fields)

문제 정의
본 논문은 유한체 $k = \mathbb{F}_q$ 위의 적절한 축약된(proper reduced) 스킴 $X$에 대한 네론-세베리 군 $NS(X)$의 특징화를 다룬다. 매끄러운 사영 복소 다양체의 경우, 레프셰츠$(1,1)$정리는$NS(X)$를$H^2(X, \mathbb{Z})$내의 정수$(1,1)$-클래스와 동일시한다. 특이한 복소 다양체의 경우 이 동일식은 성립하지 않지만, 적절한 준정규(seminormal) 다양체에 대해서는 호지 여과(Hodge filtration) 레벨 $F^1$과 자리스키 국소적으로 자명한(Zariski-locally trivial) 클래스들의 부분군 사이의 교집합이 $NS(X)$를 정확하게 회복한다(Barbieri-Viale, Rosenschon, Srinivas의 결과).

유한체의 경우, 이와 유사한 문제는 $\ell \neq \text{char}(k)$인 $\ell$-아딕 코호몰로지 $H^2_{\text{ét}}(X, \mathbb{Z}_\ell(1))$와 관련된 문제를 포함한다. 저자들은 스킴이 준정규이거나 기약(irreducible)이라는 가정을 하지 않고도, 자리스키 국소적으로 자명한 클래스들의 부분군 내에서 가중치(weight)에 대한 단일 조건만으로 $NS(X) \otimes \mathbb{Z}_\ell$를 특징화할 수 있는지 조사한다.

방법론 및 전략
증명 전략은 유한체의 산술적 환경에 맞게 조정된, 매끄러운 적절한 하이퍼커버(smooth proper hypercovers)를 통한 하강(descent) 논증에 의존한다.

1. 자리스키 코호몰로지를 통한 유리 계수 동형 사상: 저자들은 유리 계수 불변량 $H^1_{\text{Zar}}(X, H^1)$을 정의한다. 여기서 $H^1$은 프리프리셰(presheaf) $U \mapsto H^1_{\text{ét}}(U, \mathbb{Q}_\ell(1))$에 대응하는 자리스키 층(sheaf)이다. 저자들은 다음의 동형 사상을 증명하고자 한다:
   $$NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
   여기서 상첨자 $w=0$은 기하학적 프로베니우스(geometric Frobenius)가 절대값이 1인 고윳값을 갖는 부분공간을 의미한다.

2. 하이퍼커버를 통한 하강: 증명은 먼저 매끄러운 적절한 스킴에 대해 결과를 확립한 후(Bloch–Ogus 이론에 의해 성립), 적절한 매끄러운 하이퍼커버 $\pi_\bullet: X_\bullet \to X$를 통해 임의의 적절한 축약된 스킴으로 확장하는 방식으로 진행된다.

   • 심플리셜 사이클 클래스: 심플리셜 사이클 클래스 맵을 구성하고 하이퍼커버와 관련된 스켈레탈 스펙트럴 시퀀스(skeletal spectral sequence)를 분석한다.
   • 가중치 분해: 가중치 성분을 분리하는 것이 핵심 단계이다. 저자들은 관련 사상의 커널(kernel)과 코커널(cokernel)이 순수 가중치 $-2$또는$-1$임을 보여줌으로써, 가중치 0 부분이 하강 하에서 잘 작동함을 보장한다.

3. 위상적 도구:

   • sdh-위상: 임의의 스킴에서 준정규 스킴으로의 전환을 다루기 위해, 저자들은 sdh-위상(étale 커버와 분리 가능한 잔여 체 확장(separable residue field extensions)을 가진 적절한 모핑에 의해 생성됨)을 활용한다. 저자들은 Huber–Kelly의 결과를 사용하여, 준정규 스킴 위에서 단위(units)의 $sdh$-층화(sheafification)가 준정규화의 단위를 회복함을 보여준다.
   • v-descent: 표수 $p$에서의 라인 번들(line bundles, Picard groups)의 하강을 위해, 저자들은 벡터 번들에 대한 Bhatt–Scholze의 $v$-descent를 사용한다. 이를 통해 $\mathbb{Q}_\ell$로 텐서 곱을 취한 후, 스킴의 피카르 군이 매끄러운 적절한 하이퍼커버의 피카르 군들의 등식자(equalizer)와 동형임을 확립할 수 있다.
   • 준정규화(Seminormalization): 저자들은 준정규화 맵 $\rho: X^{sn} \to X$에 따른 풀백(pullback)이 $NS(X) \otimes \mathbb{Q}_\ell$ 상에서 동형을 유도함을 보임으로써 일반적인 경우를 준정규 경우로 환원한다. 이는 단위 층 맵의 코커널이 $p$의 거듭제곱에 의해 소멸된다는 사실에 기초하며, $\ell \neq p$인 경우 $\mathbb{Q}_\ell$로 텐서 곱을 취하면 이 부분이 사라진다는 점을 이용한다.

주요 기여 및 결과

• 주요 정리 (정리 3.4): 유한체 $k$ 위의 적절한 축약된 스킴 $X$에 대하여, $\ell$-아딕 사이클 클래스 맵은 다음의 $G_k$-동변 동형 사상을 유도한다:
  $$c_1: NS(X) \otimes \mathbb{Q}_\ell \xrightarrow{\sim} H^1_{\text{Zar}}(X, H^1)^{w=0}$$
  여기서 $H^1_{\text{Zar}}(X, H^1)^{w=0}$은 $H^1$의 자리스키 코호몰로지의 가중치 0 부분공간이다.

• 정수적 특징화 (따름정리 3.6): 주요 정리는 정수 성분으로 정교화된다. 제1 천클래스(first Chern class)는 $NS(X) \otimes \mathbb{Z}_\ell$를 $H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))$에서의 이미지가 가중치 0을 갖는 자리스키 국소적으로 자명한 클래스들의 부분군과 동일시한다:
  $$NS(X) \otimes \mathbb{Z}_\ell \xrightarrow{\sim} \left\{ \alpha \in H^2_{\text{ZL}}(X, \mathbb{Z}_\ell(1)) : \alpha \otimes \mathbb{Q}_\ell \in H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))^{w=0} \right\}$$

• 테이트 추측(Tate Conjecture)과의 관계: 본 논문은 만약 매끄러운 적절한 다양체에 대해 디바이저(divisor)에 대한 테이트 추측(즉, $NS(Y) \otimes \mathbb{Q}_\ell$를 에탈 코호몰로지의 유한 차수 부분과 동일시하는 것)이 성립한다면, 주요 정리가 이 동일식을 모든 적절한 축약된 스킴으로 확장함을 언급한다:
  $$NS(X) \otimes \mathbb{Q}_\ell \cong H^2_{\text{ét}}(X, \mathbb{Q}_\ell(1))_{\text{fo}}$$

• 조건의 필요성: 저자들은 두 가지 조건—자리스키 국소적 자명성과 가중치 0—이 모두 필요함을 보여주는 예시를 제공한다.

  • 자리스키 국소적 자명성 조건이 없다면, $H^2_{\text{ét}}$의 가중치 0 부분공간은 $NS(X) \otimes \mathbb{Q}_\ell$보다 엄격히 더 클 수 있다 (예: 비-초특이(non-supersingular) 아벨 곡면 또는 K3 곡면).
  • 가중치 0 조건이 없다면, $H^1_{\text{Zar}}(X, H^1)$은 정규 사영 곡면(normal projective surfaces)에 대해서도 0이 아닌 가중치 $(-1)$ 합항을 포함할 수 있다 (예시 8.11).

의의
본 논문은 복소 다양체에 대한 Barbieri-Viale, Rosenschon, และ Srinivas의 정리에 대한 유한체 버전의 대응물을 확립한다. 이 연구의 주요 의의는 제한적인 가설을 제거했다는 점에 있다. 준정규성이 요구되는 복소수의 경우와 달리, 이 결과는 모든 적절한 축약된 스킴에 대해 성립한다. 저자들은 $v$-descent 및 $sdh$-위상과 같은 표수$p$ 특유의 도구들을 활용하여 준정규성을 우회함으로써 이를 달성하였다. 이 작업은 대수적 사이클의 묘사를 가중치 여과 및 국소적 자명성 측면에서 정밀하게 특징화함으로써, 서로 다른 기하학적 맥락 전반에 걸쳐 대수적 사이클의 기술을 통합한다.