[논문 리뷰] Duality via cycle complexes

Thomas Geisser|ArXiv.org|2006. 08. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 희박한 필드, 유한체, 혼성 특성의 국소체, 그리고 수체의 정수환 위의 분리된 유한형 스킴 위의 토피컬 에탈 층에 대해 블로크의 상대 0-사이클 복합체를 쌍대화 복합체로 사용하여 이중성 정리를 수립한다. 핵심 결과는 $ R\text{Hom}_X(\text{F}, \bbZ^c_X) \to R\text{Hom}_Y(Rf_!F, \bbZ^c_Y) $ 형태의 준동형 복합체이며, 이는 $p$-진 및 $\bar{\bbQ}_l$-진 이중성 이론을 통합하고 정규적, 프로젝티브 스킴으로에 대해 로이트만의 정리를 일반화한다.

ABSTRACT

We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over algebraically closed fields, finite fields, local fields of mixed characteristic, and rings of integers in number rings, generalizing results which so far have only been known for smooth schemes or in low dimensions, and unify the p-adic and l-adic theory. As an application, we generalize Rojtman's theorem to normal, projective schemes.

연구 동기 및 목표

• 부드러운 스킴과 낮은 차원을 넘어서 토피컬 에탈 층에 대한 이중성 정리를 확장하기 위해.
• 단일 쌍대화 복합체를 사용하여 $p$-진 및 $\bar{\bbQ}_l$-진 이중성 이론을 통합하기 위해.
• 0-사이클에 대한 알바네제 사상에 관한 로이트만의 정리를 정규적, 프로젝티브 스킴으로 일반화하기 위해.
• 수체의 정수환과 혼성 특성의 국소체 위에서 이중성 수립하기 위해.
• 알바네제 다양체를 0-사이클의 차우 군을 통해 호모로지적 프레임워크로 제공하기 위해.

제안 방법

• 희박한 필드와 특성 0의 딜라인 링크 위에서 블로크의 상대 0-사이클 복합체 $ \bbZ^c_X $ 를 쌍대화 복합체로 사용한다.
• 준동형 복합체를 통해 $ R\text{Hom}_X(\text{F}, \bbZ^c_X) \to R\text{Hom}_Y(Rf_!F, \bbZ^c_Y) $ 를 유도함으로써 이중성을 도출한다.
• 닫힌 포함에 대한 순수성 성질과 호모토피 불변성 $ p_*\bbZ^c_{X\times\bbA^r}(n) \to \bbZ^c_X(n-r)[2r] $ 을 활용한다.
• 자라이지 및 에탈 코hom로지의 $ \bbZ^c_X/m(n) $ 를 연결하기 위해 베일리노프-라이히텐바움 추측에 의존한다.
• 코호몰로지 계산을 위해 스펙트럴 시퀀스 $ E^{1}_{s,t} = \bigoplus_{x\to X^{(s)}} H^{s-t}(k(x), \bbZ(s-n)) \to H_{s+t}(X, \bbZ^c(n)) $ 를 적용한다.
• 아르틴-버드리어 이중성과 컴act하게 지지된 코호몰로지 이론을 사용하여 수 링크와 국소체 위에서 완전한 쌍을 유도한다.

실험 결과

연구 질문

• RQ1 블로크의 0-사이클 복합체는 비부드러운 스킴 위에서 이중성 정리의 쌍대화 복합체로 기능할 수 있는가?
• RQ2 토피컬 층에 대해 $p$-진 및 $\bar{\bbQ}_l$-진 이중성 이론을 단일 프레임워크 안에서 어떻게 통합할 수 있는가?
• RQ3 알고리즘적으로 닫힌 필드 위의 정규적, 프로젝티브 스킴으로에 대해 로이트만의 정리가 알바네제 사상에 대해 확장되는가?
• RQ4 수체의 정수환 위의 스킴에 대해 $ \bbZ^c_X $ 는 어떤 역할을 하는가?
• RQ5 혼성 특성에서 기저 변경과 컴팩트하게 지지된 코호몰로지에 대해 쌍대화 복합체 $ \bbZ^c_X $ 는 어떻게 행동하는가?

주요 결과

• 희박한 필드 $ k $ 위의 분리된 유한형 스킴 $ f:X\to Y $ 에 대해, $ R\text{Hom}_X(\text{F}, \bbZ^c_X) \to R\text{Hom}_Y(Rf_!F, \bbZ^c_Y) $ 형태의 준동형 복합체가 존재하여 이중성을 수립한다.
• 대수적으로 닫힌 필드 위에서는, 구성 가능한 $ \text{F} $ 에 대해 $ \text{Ext}^{1-i}_X(\text{F}, \bbZ^c_X) \times H^i_c(X_{\text{et}}, \text{F}) \to \bbQ/\bbZ $ 형태의 완전한 쌍이 성립하며, $ CH_0(X,i,\bbZ/m) \to H^i_c(X_{\text{et}}, \bbZ/m)^* $ 는 동형이다.
• 구성된 기본군은 $ \bar{\bbpi}_1^{ab}(X)^0 \to CH_0(\bar{X},1)^{\text{hat}}_G $ 를 만족하며, 짧은 정확한 수열 $ 0 \to CH_0(\bar{X},1)^{\text{hat}}_G \to \bar{\bbpi}_1^{ab}(X)^0 \to CH_0(\bar{X})^G \to 0 $ 이 존재한다.
• 유한체 위에서는 $ \text{Ext}^{2-i}_X(\text{F}, \bbZ^c_X) \times H^i_c(X_{\text{et}}, \text{F}) \to \bbQ/\bbZ $ 형태의 완전한 쌍이 성립하며, 덴저링, 스피에스, 모저의 결과를 일반화한다.
• 완전한 잔여 필드를 가진 특성 0의 딜라인 링크 위에서, 베일리노프-라이히텐바움 추측을 가정하면 동일한 이중성이 성립한다: $ R\text{Hom}_X(\text{F}, \bbZ^c_X) \to R\text{Hom}_S(Rf_!F, \bbZ^c_S) $.
• 수체의 정수환 위에서는 아르틴-버드리어 이중성을 통해 $ \text{Ext}^{2-i}_X(\text{F}, \bbZ^c_X) \times H^i_c(X_{\text{et}}, \text{F}) \to \bbQ/\bbZ $ 형태의 완전한 쌍을 확보하였으며, 밀른와 스피에스의 결과를 일반화한다.