Connective algebraic K-theory
-
General Introduction
<]]> -
Search results
<]]> -
Online References
[arXiv:1212.0228] Connective algebraic K-theory from arXiv Front: math.AT by Shouxin Dai, Marc Levine 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 K0(M(X,n)) in K0(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 \Omega*^{CK}:=\Omega*\otimesL\Z[\beta] having formal group law u+v-\beta uv with coefficient ring \Z[\beta]. As an application, we show that every pure dimension d finite type k scheme has a well-defined fundamental class [X] in \Omegad^{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 \beta, and to the fundamental class in CH after moding out by \beta.
<]]> -
Paper References
<]]> -
Definition
<]]> -
Properties
<]]> -
Standard theorems
<]]> -
Open Problems
<]]> -
Connections to Number Theory
<]]> -
Computations and Examples
<]]> -
History and Applications
<]]> -
Some Research Articles
<]]> -
Other Information
<]]> -
Comments Posted
<]]> -
Comments
There are no comments.