On the Integral Part of A-Motivic Cohomology

기술적 요약: A-모티브 코호몰로지의 정수 부분에 관하여

문제 제기
본 논문은 양의 표수를 가진 전역 함수체(global function fields)의 맥락에서 모티브 코호몰로지의 "정수 부분(integral part)"을 정의하고 그 성질을 다룬다. 고전적인 수체(number fields)의 설정에서, 모티브 코호몰로지의 정수 부분은 두 가지 동등한 접근 방식—즉, 다양체의 정규 적분 모델(regular integral models)의 K-이론을 통한 방식과, 좋은 환원(good reduction)을 갖는 확장들의 $\ell$-진 실현( $\ell$-adic realization)을 통한 방식—을 통해 개념적으로 포착된다. 이 두 정의가 일치할 것이라는 점(Conjecture C4)과 그 결과로 얻어지는 공간이 $\mathbb{Q}$ 위에서 유한 차원일 것이라는 점(Conjecture C5)이 기대된다.

저자는 클래식한 혼합 모티브(mixed motives)의 함수체 대응물인 안데르손 $A$-모티브(Anderson $A$-motives)를 위한 유사한 이론을 구축하고자 한다. 핵심 문제는 최대 적분 모델(maximal integral models, 정규 모델과 유사함)을 사용하여 $A$-모티브의 정수 부분을 정의하고, "좋은" $\ell$-진 부분(좋은 환원을 갖는 확장들)과 비교하여 이 두 정의가 일치하는지, 그리고 결과로서의 모듈이 유한 생성되는지를 조사하는 것이다.

방법론
본 논문은 전역 및 국소 함수체 상의 안데르손 $A$-모티브 프레임워크를 채택한다. 방법론은 다음과 같은 몇 가지 주요 단계로 진행된다:

1. $A$-모티브의 기초: 저자는 안데르손 $A$-모티브의 범주($\mathcal{M}_R$)를 검토하며, 이를 (아벨 범주는 아니지만) 정확한 범주(exact category)로 확립한다. 확장 모듈 $\text{Ext}^i_{\mathcal{M}_R}(1, M)$은 $j$가 $a \otimes 1 - 1 \otimes \kappa(a)$에 의해 생성된 아이디얼일 때, 복합체 $M \xrightarrow{\text{id} - \tau_M} M[j^{-1}]$를 사용하여 명시적으로 계산된다.
2. 혼합성(Mixedness) 및 가중치(Weights): 무한 지점 $\infty$에서의 연관된 아이소크리스탈(isocrystal)의 슬로프 여과(slope filtration)를 사용하여 혼합 안데르손 $A$-모티브의 개념을 전개한다. 저자는 가중치를 정의하고, $i > 1$인 경우 확장이 소멸한다는 점에서 혼합 모티브의 범주가 수체 사례와 유사하게 작동함을 확립한다. 단, 순수 모티브(pure motives)의 부분 범주는 반단순(semi-simple)하지 않다.
3. 최대 적분 모델: $\tau$-층(sheaves)에 관한 Gardeyn의 연구에서 영감을 받아, 본 논문은 국소 및 전역 함수체 상의 $A$-모티브에 대한 최대 적분 모델의 개념을 도입한다. 기존의 접근 방식들과 달리, 저자는 이러한 모델들이 사전에 국소 자유(locally free)라고 가정하지 않으며, 최대성을 결과로서 증명함으로써 이 성질을 입증한다.
   • 국소체의 경우, 최대 모델이 존재하며 유일함이 밝혀진다.
   • 전역체의 경우, 최대 적분 모델은 국소 최대 모델들의 교집합으로 구성된다.
4. 확장의 비교: 저자는 코호몰로지의 "정수 부분"($\text{Ext}^1_{\mathcal{O}_p}(1, M)$)을 최대 적분 모델이 확장 사상 $\iota$에 의해 전달되는 상(image)으로 정의한다. 이는 "좋은 $\ell$-진 부분"($\text{Ext}^1_{\text{good}}(1, M)_\ell$, 즉 $\ell$-진 실현 사상을 인슐리아 부분군으로 제한했을 때의 커널)과 비교된다.
5. 조절된 확장(Regulated Extensions): 정수 부분과 좋은 부분 사이의 불일치를 해결하기 위해, 호지 다각형(Hodge polygons)의 가법성(additivity)에 의해 정의되는 "조절된 확장"을 도입한다(Pink의 이론에서의 호지 가법성과 유사함).

주요 기여 및 결과

• 최대 모델의 존재성과 유일성: 본 논문은 $A$-모티브에 대한 최대 적분 모델이 국소 및 전역 함수체 모두에서 존재하며 유일함을 증명한다. 나아가, 이러한 최대 모델들은 관련 텐서 링 위에서 자동으로 투영적(projective, 즉 locally free)임이 밝혀졌으며, 이는 $\tau$-층에 관한 Gardeyn의 초기 작업에서 발견된 기술적 요구사항들을 단순화한다.
• 정수의 좋은 부분 포함 관계: 주요 결과(Theorem D)는 $A$-모티브 코호몰로지의 정수 부분이 좋은 $\ell$-진 부분에 포함됨을 확립한다:
  $$\text{Ext}^1_{\mathcal{O}_p}(1, M) \subseteq \text{Ext}^1_{\text{good}}(1, M)_\ell$$
• 평등의 실패: 수체에서의 기대치(Conjecture C4)와 달리, 본 논문은 위의 포함 관계가 일반적으로 엄격한 포함(strict inclusion)임을 보여준다. 섹션 5.1에서 중립 모티브 $\mathbf{1}$에 대한 명시적인 반례가 구성되는데, 이는 최대 아이디얼 $\ell$에 대해 좋은 환원을 갖지만 최대 적분 모델로부터 발생하지 않는 확장을 보여준다.
• 유한 생성 문제: 저자는 정수 확장 모듈 $\text{Ext}^1_{\mathcal{O}_F}(1, M)$이 일반적으로 $A$ 위에서 유한 생성되지 않음을 지적하며, 이는 Conjecture C5의 대응물을 위반한다. 이는 모든 $A$-모티브의 범주가 추가적인 제한 없이는 잘 정의된 모티브 코호몰로지 이론을 지원하기에 너무 크다는 것을 시사한다.
• 조절된 확장: 저자는 구성 요소들의 호지 다형의 합과 호지 다형이 일치하는 조건인 "조절된 확장"을 정교한 하위 범주로 제안한다.
  • 저자는 특정 몫(quotient)의 모티브와 조절된 확장의 모듈 사이에 동형 사상이 존재함을 증명한다(Corollary 5.5).
  • 저자는 조절된 확장에 대해 정수 부분과 좋은 부분이 일치할 것이라고 추측한다(Conjecture 5.8).
  • 이 추측은 특정 사례들에서 검증되었다: 모티브가 좋은 환원을 갖는 프로베니우스 공간(Frobenius space)으로부터 유도되는 경우(Theorem 5.9)와 양의 칼리츠 트위스트(positive Carlitz twists) $A(n)$의 경우(Theorem 5.13).

의의 및 주장
본 논문은 전역 함수체를 위한 $A$-모티브 코호몰로지의 체계적인 연구를 개시한다고 주장한다. 그 의의는 다음과 같다:

1. 프레임워크 확립: 정규 적분 모델의 함수체 대응물로서 최대 모델을 사용하여 $A$-모티브 코호몰로지의 정수 부분에 대한 엄밀한 정의를 제공한다.
2. 차이점 강조: 함수체의 그림이 수체의 그림과 근본적으로 다르다는 점, 즉 정수 정의와 좋은 $\ell$-진 정의가 일반적으로 일치하지 않는다는 점을 입증한다. 이는 수체로부터의 직접적인 추측 전이를 경계하게 한다.
3. 교정 제안: 정수 부분과 좋은 부분을 다시 일치시키고 유한 생성 성질을 회복하기 위한 필요조건으로서 "조절된 확장"의 개념을 도입한다.

저자는 일반적인 조절된 확장에 대한 평등(equality) 문제가 여전히 미해결 상태이지만, 본 연구가 구체적인 구조적 장애물(호지 가법성의 결여)을 식별하고 중요한 모티브 클래스들에 대해 문제를 해결함으로써 향-방향의 구체적인 경로를 제공한다고 겸허히 결론짓는다. 결과는 정확한 범주 형식론과 $A$-모티브, 아이소크리스탈, $\ell$-진 표현 사이의 상호작용에 크게 의존한다.