Integral Artin motives II: Perverse motives and Artin Vanishing Theorem

기술 요약: 적분 아틴 모티브 II: 퍼버스 모티브와 아틴 소멸 정리

문제 제기
본 논문은 스킴 $S$와 계수 환 $R$에 대하여 아틴 에탈레 모티브의 범주 $\text{DM}^A_{\text{ét}}(S, R)$에서 퍼버스 모티브 $t$-구조(perverse motivic $t$-structure)를 구성하는 문제를 다룬다. 일반적인 모티브 $t$-구조는 아틴 모티브나 1-모티브와 같은 부분 범주에서 잘 이해되어 있으나(예: [Org04, Ayo11, Vai19]), 퍼버스 모티브 $t$-구조의 존재 여부는 모티브 이론의 핵심적인 미해결 과제로 남아 있다. 목표는 그 심장(heart)이 "혼합 모티브 층(mixed motivic sheaves)"의 아벨 범주에 대응하고, 실현 함자(realization functors, 예: $\ell$-adic)가 $t$-정확(t-exact)하게 되는 $t$-구조를 정의하는 것이다. 이 이론의 결정적인 요소는 아핀 사상(affine morphism) $f$에 대해 $f_!$가 우 $t$-정확(right $t$-exact)하다는 아틴 소멸 정리(Artin's Vanishing Theorem)의 타당성이다.

구체적인 난제는 유리수 계수($R=\mathbb{Q}$)와 정수 계수($R=\mathbb{Z}$) 사이의 차이에 있다. 에탈레 층에서의 퍼버스 $t$-구조는 잘 확립되어 있는 반면, 모티브의 대응물은 아틴 절단 함자(Artin truncation functor) $\omega_0$의 거동과 고차원에서의 구성 가능성(constructibility)에 의해 방해를 받는다.

방법론
저자는 $\infty$-범주론적 형식주의, 글루잉(gluing) 기법, 그리고 아틴 절단 함자 $\omega_0$의 명시적 계산을 결합하여 연구를 진행한다.

1. 퍼버스 호모토피 $t$-구조의 정의:
   본 논문은 아틴 모티브의 범주에 대한 퍼버스 호모토피 $t$-구조($t_{hp}$)를 도입한다. 이 구조는 $X$가 $S$ 위에서 준유한(quasi-finite)이고 $\delta$가 차원 함수일 때, 보렐-무어 모티브 $M^{BM}_S(X)[\delta(X)]$에 의해 생성된다. 이 정의는 실현 함자를 통해 표준 퍼버스 $t$-구조를 회복하고자 하는 의도에서 비롯되었다.

2. 점별 기술(Pointwise Description):
   핵심적인 기술적 도구는 $t_{hp}$의 점별 특징화이다. 대상 $M$은 $t_{hp}$-비음수(non-negative)인 것과, $M$이 일반 호모토피 $t$-구조에서 하계가 존재하고, 모든 점 $x \in S$에 대하여 예외적 풀백(exceptional pullback)의 아틴 절단 $\omega_0 i^!_x M$이 $\delta(x)$에 대한 특정 차수 범위를 만족하는 것과 동치이다.

3. 아틴 절단 함자($\omega_0$)의 분석:
   본 논문은 코호몰로지 모티브로의 포함에 대한 우 부가(right adjoint)인 $\omega_0: \text{DM}^{\text{coh}}_{\text{ét}} \to \text{DM}^A_{\text{ét}}$를 엄밀히 조사한다.

• 유리수 계수의 경우: $R=\mathbb{Q}$일 때 $\omega_0$가 구성 가능한 대상들을 보존함을 보여준다([AZ12, Pep19b]의 결과 확장).
• 정수 계수의 경우: 본 논문은 사상이 준유한이 아닐 때 $\omega_0$가 구성 가능성을 보존하지 못함을 입증한다. 구체적으로, $X$가 정규(regular)인 적절한 사상 $f: X \to \text{Spec}(k)$에 대하여, $\omega_0 f_* \mathbf{1}_X$는 비구성 가능한 성분(예: $\mathbb{Q}/\mathbb{Z}$의 복사본)을 포함할 수 있으며, 이는 고차원에서 구성 가능한 모티브의 $t$-구조 존재를 방해한다.

4. 글루잉 및 층화(Stratification):
   구축 과정은 기저 스킴 $S$의 층화를 따라 $t$-구조를 글루잉하는 것에 의존한다. 저자는 구성 가능한 아틴 모티브가 층화 위에서 매끄러워진다(따라서 lisse 에탈레 층과 동일해진다)는 사실을 활용한다.

주요 기여 및 결과

1. 유리수 계수에서의 존재성:
   임의의 우수한(excellent) 스킴 $S$에 대하여, $\text{DM}^A_{\text{ét}, c}(S, \mathbb{Q})$ 상에 퍼버스 호모토피 $t$-구조가 존재한다. 또한, $\ell$-adic 실현 함수는 $t$-정확하다. 이는 $\mathbb{Q}$ 상의 견고한 퍼버스 아틴 모티브 이론을 확립한다.

2. 아틴 소멸 정리 (유리수 계수):
   본 논문은 유리수 계수를 가진 아틴 모티브에 대해 세 가지 형태의 아틴 소멸 정리 아날로그를 증명한다.

• 아핀 준유한: $f: X \to S$가 준유한 아핀 사상이고 $X$가 nil-regular이면, $f_!$는 $t_{hp}$-정확하다 (정리 2.2.1). 이는 $\dim(S) \leq 2$이거나 $S$가 유한체 위에서 유한 유형인 경우에 성립한다.
• 적절한 사상: $f: X \to S$가 적절한 사상이고 $S$가 변형(alterations)에 의한 특이점 해소를 허용하면, $\omega_0 f_*$는 우 $t_{hp}$-정확하다 (정리 2.3.1).
• 개집합 침투: $j: U \to S$가 nil-regular인 개집합 침투라면, $\omega_0 j_*$는 $t_{hp}$-정확하다 (정리 2.4.2).

3. 심장의 구조 (유리수 계수):
   퍼버스 호모토피 $t$-구조의 심장 $\mathcal{M}^A_{\text{perv}}(S, \mathbb{Q})$는 아르티니안(Artinian) 및 노테리안(Noetherian) 아벨 범주임을 보인다. 단순 대상들은 퍼버스 층의 구조를 모방하여, 단순 lisse 층(차원 함수에 의해 뒤틀린)의 중간 확장(intermediate extensions)으로 분류된다.

4. 정수 계수 및 차원 제약:

• 차원 $\leq 2$: 차원이 최대 2인 우수한 스킴에 대하여, 퍼버스 호모토피 $t$-구조는 구성 가능한 아틴 모티브의 부분 범주 $\text{DM}^A_{\text{ét}, c}(S, \mathbb{Z})$ 상에 $t$-구조를 유도한다. 이 설정에서 $\ell$-adic 실현은 $t$-정확하다 (정리 3.3.6, 정리 3.4.3).
• 차원 $\geq 4$: 본 논문은 $S = \mathbb{A}^4_k$ (아핀 4-공간)인 경우, 퍼버스 호모토피 $t$-구조가 정수 계수를 가진 구성 가능한 모티브 상에 $t$-구조를 유도하지 못한다는 반례를 제시한다. 이 장애물은 특이점 해소의 아틴 절단의 코호몰로지가 비구성 가능한 모듈(구체적으로 예외적 층의 $H^1$과 관련된 것)을 포함하기 때문에 발생한다.
• 차원 3: 3차원 스킴의 경우는 여전히 미해결 상태로 남아 있다.

의의 및 주장
본 논문은 낮은 차원과 유리수 계수에서 아틴 모티브에 대한 퍼버스 모티브 $t$-구조의 존재성을 해결한다고 주장하며, 정수 설정에서 $\dim(S) \leq 2$인 경우에 대한 최초의 무조건적인 구축을 제공한다.

주된 의의는 전통적인 철학적 접근의 역전(reversal)에 있다. 즉, $t$-구조의 존재를 가정하여 소멸 정리를 증명하는 대신, 저자는 $f_!$에 대한 소멸 정리를 $t$-구조의 존재를 증명하기 위한 도구로서 먼저 확립한다.

이 연구는 유리수 계수와 정수 계수 사이의 근본적인 분기를 강조한다. 유리수 계수는 $\omega_0$가 구성 가능성을 보존하는 "깔끔한" 이론을 허용하는 반면, 정수 계수는 (차원 4 이상에서 $t$-구조의 존재를 막는) 비구성 가능한 잉여(torsion)와 같은 병리적 거동을 도입한다. 본 논문은 퍼버스 호모토피 $t$-구조가 진정한 퍼버스 모티브 $t$-구조(실현 함수가 $t$-정확할 때 정의되는 구조)와 일치하는, "최선의 근사치"라고 결론짓는다.

결과들은 최적(optimal)으로 제시되었다: 차원 2에서의 존재성은 증명되었고, 차원 4에서의 부존재성은 입증되었으며, 3차원의 경우가 남은 개척지로 남아 있다.