Search

Suppose $\Gamma$ is a submonoid of a lattice, not containing a line. In this note, we use the natural $\Gamma$-grading on the monoid algebra $R[\Gamma]$ to prove structural results about the relative $K$-theory $K(R[\Gamma], R)$. When $R$ contains a field, we prove a decomposition indexed by the rays in $\Gamma$, and a compatible action by the Witt vectors of $R$ for each $\mathbf N$-grading of $\Gamma$. In characteristic zero, there is additionally an action by Witt vectors for the truncation set $\Gamma$. Finally, we apply this to get a ray-like description of $K_*(R[x_1,...,x_n])$ proposed by J.\,Davis.

We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for regular commutative rings containing a field. The affine case of our result was conjectured by Gubeladze. We prove analogous results when $k$ is replaced by an appropriate $K$-regular, not necessarily commutative $k$-algebra.

We give a $K$-theoretic criterion for a quasi-projective variety to be smooth. If $\mathbb{L}$ is a line bundle corresponding to an ample invertible sheaf on $X$, it suffices that $K_q(X) = K_q(\mathbb{L})$ for all $q\le\dim(X)+1$., Comment: 11 pages

We study the relative Picard group $Pic(f)$ of a map $f:X\to S$ of schemes. If $f$ is faithful affine, it is the relative Cartier divisor group $I(f)$. The relative group $K_0(f)$ has a $\gamma$-filtration, and $Pic(f)$ is the top quotient for the $\gamma$-filtration. When $f$ is induced by a ring homomorphism $A\to B$, we show that the relative "nil" groups $NPic(f)$ and $NK_n(f)$ are continuous $W(A)$-modules.

We introduce a general framework to unify several variants of twisted topological $K$-theory. We focus on the role of finite dimensional real simple algebras with a product-preserving involution, showing that Grothendieck-Witt groups provide interesting examples of twisted $K$-theory. These groups are linked with the classification of algebraic vector bundles on real algebraic varieties.

We classify all ��tale cohomology operations on $H_\et^n(-,\muell{i})$, showing that they were all constructed by Epstein. We also construct operations $P^a$ on the mod-$\ell$ motivic cohomology groups $H^{p,q}$, differing from Voevodsky's operations; we use them to classify all motivic cohomology operations on $H^{p,1}$ and $H^{1,q}$ and suggest a general classification., 26 pages

The goal of this paper is to present proofs of two results of Markus Rost: the Chain Lemma and the Norm Principle. These are the final steps needed to complete the publishable verification of the Bloch-Kato conjecture, that the norm residue maps are isomorphisms between Milnor K-theory $K_n^M(k)/p$ and etale cohomology $H^n(k,\mu_p^n)$ for every prime p, every n and every field k containing 1/p. Our proofs of these two results are based on Rost's 1998 preprints, his web site and Rost's lectures at the Institute for Advanced Study in 1999-2000 and 2005.

If I is a nilpotent ideal in a $\mathbb{Q}$-algebra $A$, Goodwillie defined two isomorphisms from $K_*(A,I)$ to negative cyclic homology, $HN_*(A,I)$. One is the relative version of the absolute Chern character, and the other is defined using rational homotopy theory. The question of whether they agree was implicit in Goodwillie's 1986 Annals paper. In this paper, we show that the two isomorphisms agree. Here are three applications. 1.Cathelineau proved that the rational homotopy character is compatible with the $\lambda$-filtration. It follows that the relative Chern character is also compatible with this filtration for nilpotent ideals. 2.This agreement, together with Cathelineau's result, was used by the authors and Haesemeyer to show that the absolute Chern character, from $K(A)$ to $HN(A)$, is compatible with the $\lambda$-filtration for every commutative $\mathbb{Q}$-algebra. This is the main result of Infinitesimal cohomology and the Chern character to negative cyclic homology, arXiv:math/0703133v1. 3.This agreement can be used to strengthen Ginot's results in "Formules explicites pour le charactere de Chern en $K$-th\'eorie alg\'ebrique", Ann. Inst. Fourier 54 (2004)., Comment: 16 pages, latex. Final version to appear in Algebraic Topology. The Abel Symposium 2007

Recent advances in computational techniques for $K$-theory allow us to describe the $K$-theory of toric varieties in terms of the $K$-theory of fields and simple cohomological data., Comment: 17 pages

Let V be a smooth variety defined over the real numbers. Every algebraic vector bundle on V induces a complex vector bundle on the underlying topological space V(C), and the involution coming from complex conjugation makes it a Real vector bundle in the sense of Atiyah. This association leads to a natural map from the algebraic K-theory of V to Atiyah's ``Real K-theory'' of V(C). Passing to finite coefficients Z/m, we show that the maps from K_n(V ; Z/m) to KR ^{-n}(V(C);Z/m) are isomorphisms when n is at least the dimension of V, at least when m is a power of two. Our key descent result is a comparison of the K-theory space of V with the homotopy fixed points (for complex conjugation) of the K-theory space of the complex variety V(C). When V is the affine variety of the d-sphere S, it turns out that KR*(V(C))=KO*(S). In this case we show that for all nonnegative n we have K_n(V ; Z/m) = KO^{-n}(S ; Z/m)., Comment: 38 pages ; see also http://www.math.jussieu.fr/~karoubi/ and http://www.math.rutgers.edu/~weibel/

Let C be a coalgebra over a field k and A its dual algebra. The category of C-comodules is equivalent to a category of A-modules. We use this to interpret the cotensor product M \square N of two comodules in terms of the appropriate Hochschild cohomology of the A-bimodule M \otimes N, when A is finite-dimensional, profinite, graded or differential-graded. The main applications are to Galois cohomology, comodules over the Steenrod algebra, and the homology of induced fibrations., Comment: 16 pages, LaTeX