[논문 리뷰] Connective algebraic K-theory

Shouxin Dai, Marc Levine|arXiv (Cornell University)|2012. 12. 02.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 특성 0인 체 위에서 연결 대수적 K-이론을 이중 등수의 방향성 이론으로 정의하며, 그 호모로지 이론이 G-이론의 연결형 버전과 일치함을 규명한다. 주요 결과는 이 이론과 ℤ[β]로 텐서곱한 대수적 코호몰로지 사이의 동형사상으로, 순수 차원 스킴에 대해 자연스럽고 함의적인 기본 클래스를 가능하게 한다.

ABSTRACT

We examine the theory of connective algebraic K-theory, CK, defined by taking the -1 connective cover of algebraic K-theory with respect to Voevodsky's slice tower in the motivic stable homotopy category. We extend CK to a bi-graded oriented duality theory (CK', CK) in case the base scheme is the spectrum of a field k of characteristic zero. The homology theory CK' may be viewed as connective algebraic G-theory. We identify CK' theory in bi-degree (2n, n) on some finite type k-scheme X with the image of K_0(M(X,n)) in K_0(M(X, n+1)), where M(X,n) is the abelian category of coherent sheaves on X with support in dimension at most n; this agrees with the (2n,n) part of the theory defined by Cai. We also show that the classifying map from algebraic cobordism identifies CK' with the universal oriented Borel-Morel homology theory Ω_*^{CK}:=Ω_*\otimes_L\Z[β] having formal group law u+v-βuv with coefficient ring \Z[β]. As an application, we show that every pure dimension d finite type k scheme has a well-defined fundamental class [X] in Ω_d^{CK}(X), and this fundamental class is functorial with respect to pull-back for lci morphisms. Finally, the fundamental class maps to the fundamental class in G-theory after inverting β, and to the fundamental class in CH after moding out by β.

연구 동기 및 목표

• 대수적 K-이론의 Voevodsky 슬라이스 타워에서 0번째 슬라이스로 연결 대수적 K-이론을 정의하고 연구하기 위해.
• 이 이론을 특성 0인 체 위에서 이중 등수의 방향성 이론으로 확장하기 위해.
• 결과적으로 얻어진 호모로지 이론을 Cai의 연결 K-이론과 대수적 코호몰로지와 비교하기 위해.
• 순수 차원 스킴에 대해 연결 코호몰로지 이론 Ω*CK에서 자연스러운 기본 클래스를 구성하기 위해.
• 이 기본 클래스가 자연스러운 변환에 의해 초학습 호모로지와 K-이론으로 정확히 전이되는지 보여주기 위해.

제안 방법

• 모티빅 스테이블 호모토피 범주에서 대수적 K-이론 스펙트럼의 0번째 슬라이스로 연결 대수적 K-이론을 정의한다.
• 슬라이스 필터레이션을 통해 G-이론의 연결형과 유사한 호모로지 이론 CK′_{*,*}를 구성한다.
• 유한 유형 k-스킴 X에 대해 CK′_{2n,n}(X)를 K₀(M_{(n)}(X))가 K₀(M_{(n+1)}(X))에 의한 상으로서 나타나는 것으로 식별한다.
• 대수적 코호몰로지의 분류 사상에 의해 CK′_{2*,*}와 Ω* ⊗_ℚ ℤ[β] 사이의 동형사상을 수립한다.
• 대수적 코호몰로지의 보편 성질을 이용하여 lci 사상과의 호환성과 함께 역상에 의한 기본 클래스를 정의한다.
• G₀-이론의 구조와 연결 코호몰로지와의 동형사상을 이용하여 lci 역상에 대한 기본 클래스의 함의성(함수적 성질)을 검증한다.

실험 결과

연구 질문

• RQ1 Voevodsky 슬라이스 타워에서 대수적 K-이론의 0번째 슬라이스는 기존의 연결 K-이론 구성과 어떻게 관련이 있는가?
• RQ2 특성 0인 체 위에서 연결 K-이론으로부터 이중 등수의 방향성 이론을 구성할 수 있는가?
• RQ3 연결 K-이론 호모로지 이론과 대수적 코호몰로지의 ℤ[β]로 텐서곱한 것 사이에 자연스러운 동형사상이 존재하는가?
• RQ4 연결 코호몰로지 이론의 기본 클래스는 lci 사상에 대해 함의적으로 작동하는가?
• RQ5 CK′_{2*,*}에서의 기본 클래스는 자연스러운 사상에 의해 초학습 호모로지와 K-이론의 기본 클래스와 어떻게 관련이 있는가?

주요 결과

• 호모로지 이론 CK′_{*,*}는 대수적 코호몰로지의 분류 사상에 의해 유도되는 동형사상으로, 이중 등수의 방향성 호모로지 이론으로서 Ω* ⊗_ℚ ℤ[β]와 동형이다.
• 유한 유형 k-스킴 X가 순수 차원 d를 가질 경우, lci 사상에 대해 함의적인 자연스러운 기본 클래스 [X]_CK ∈ Ω_d^CK(X)가 존재한다.
• 기본 클래스 [X]_CK는 사상 Ω*^CK → G₀[β,β⁻¹]에 의해 G-이론의 기본 클래스 β^d[𝒪_X]로 전이된다.
• 기본 클래스 [X]_CK는 몫 사상 Ω*^CK → CH_*에 의해 초학습 호모로지 클래스 [X]_CH로 전이된다.
• Ω*^CK ≅ CK′_{2*,*}의 동형사상은 lci 사상에 沿한 역상과 호환되며, 기본 클래스의 함의성(함수적 성질)을 보장한다.
• 이 구성은 Cai의 연결 K-이론과 모티빅 슬라이스-이론적 방법 사이의 불일치를 해결하며, K₀ 부분에서의 일致를 보여준다.