Semi-Topological K-Homology and Thomason''s Theorem

In this paper, we introduce the 'semi-topological K-homology' of complex varieties, a theory related to semi-topological K-theory much as connective topological K-homology is related to connective topological K-theory. Our main theorem is that the semi-topological K-homology of a smooth, quasi-projective complex variety Y coincides with the connective topological K-homology of the associated analytic space Y ^an. From this result, we deduce a pair of results relating semi-topological K-theory with connective topological K-theory. In particular, we prove that the 'Bott inverted' semi-topological K-theory of a smooth, projective complex variety X coincides with the topological K-theory of X ^an. In combination with a result of Friedlander and the author, this gives a new proof, in the special case of smooth, projective complex varieties, of Thomason's celebrated theorem that 'Bott inverted' algebraic K-theory with /n coefficients coincides with topological K-theory with /n coefficients.     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

Topological K-Theory of Algebraic K-Theory Spectra

Let KX denote the algebraic K-theory spectrum of a regular Noetherian scheme X. Under mild additional hypotheses on X, we construct a spectral sequence converging to the topological K-theory of KX. The spectral sequence starts from the étale homology of X with coefficients in a certain copresheaf constructed from roots of unity. As examples we consider number rings, number fields, local fields, smooth curves over a finite field, and smooth varieties over the complex numbers.     

L''interpretation de la classe de Maslov dans la K-theorie Hermitienne et dans la theorie relative de Chern-Weil

The purpose of this paper is, first to define the Maslov invariant in the U-theory, the intermediate theory between real K-theory and complex K-theory, whose vanishing is a necessary and sufficient condition for the stable transversality of two Lagrangian sub-bundles of a symplectic fiber bundle. The second purpose is to show, in conformity with Bott periodicity, that Chern, Pontryand Stiefel-Whitney classes are precise enough to play the same role as the Maslov classes when one replaces the base space X of the symplectic bundle, by S ⁷ X ⁺the seventh topological suspension of X ⁺the compactification of X.     

On a spectral sequence for equivariant K-theory

We apply the “homotopy coniveau” machinery developed by the first-named author to the K-theory of coherent G-sheaves on a finite type G-scheme X over a field, where G is a finite group. This leads to a definition of G-equivariant higher Chow groups (different from the Chow groups of classifying spaces constructed by Totaro and generalized to arbitrary X by Edidin–Graham) and an Atiyah–Hirzebruch spectral sequence from the G-equivariant higher Chow groups to the higher K-theory of coherent G-sheaves on X. This spectral sequence generalizes the spectral sequence from motivic cohomology to K-theory constructed by Bloch–Lichtenbaum and Friedlander–Suslin. The first-named author gratefully acknowledges the support of the Humboldt Foundation through the Wolfgang Paul Program, and support of the NSF via grants DMS-0140445 and DMS-0457195.     

Negative K-theory of derived categories

We define negative K-groups for exact categories and for ``derived categories' in the framework of Frobenius pairs, generalizing definitions of Bass, Karoubi, Carter, Pedersen-Weibel and Thomason. We prove localization and vanishing theorems for these groups. Dévissage (for noetherian abelian categories), additivity, and resolution hold. We show that the first negative K-group of an abelian category vanishes, and that, in general, negative K-groups of a noetherian abelian category vanish. Our methods yield an explicit non-connective delooping of the K-theory of exact categories and chain complexes, generalizing constructions of Wagoner and Pedersen-Weibel. Extending a theorem of Auslander and Sherman, we discuss the K-theory homotopy fiber of ε^⊕→ ε and its implications for negative K-groups. In the appendix, we replace Waldhausen's cylinder functor by a slightly weaker form of non-functorial factorization which is still sufficient to prove his approximation and fibration theorems.     

A Fredholm operator approach to Morita equivalence

GivenC*-algebrasA andB and an imprimitivityA-B-bimoduleX, we construct an explicit isomorphismX _*:K _i (A)K _i (B), whereK _i denotes the complexK-theory functors fori=0, 1. Our techniques do not require separability nor the existence of countable approximate identities. We thus extend to generalC*-algebras the result of Brown, Green, and Rieffel according to which, strongly Morita equivalentC*-algebras have isomorphicK-groups. The method employed includes a study of Fredholm operators on Hilbert modules.On leave from the University of São Paulo, Brazil.     

A Singular Analogue of Gersten's Conjecture and Applications to K-theoretic Adèles

The first part of this article introduces an analogue, for one-dimensional, singular, complete local rings, of Gersten's injectivity conjecture for discrete valuation rings. Our first main result is the verification of this conjecture when the ring is reduced and contains ?, using methods from cyclic/Hochschild homology and Artin–Rees results due to A. Krishna.

The second part of the article describes the relationship between adelic resolutions of K-theory sheaves on a one-dimensional scheme and properties of K-theory such as localization and descent. In particular, we construct a new resolution of Nisnevich sheafified K-theory, conditionally upon the aforementioned conjecture.     

Systems of diagram categories and K-theory. II

The additivity theorem for dérivateurs associated to complicial biWaldhausen categories is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity, approximation and resolution theorems.Mathematics Subject Classification (2000): 19D99Supported by the ICTP Research Fellowship.     

Continuously controlledA-theory

To anycontrolled space over the metric spaceB we can associate itsboundedly controlled algebraic K-theory, a functor designed to give information about the space of stable bounded concordances of manifolds homotopy equivalent toX. Generalizing a construction of D. R. Anderson, F. X. Connolly, S. Ferry, and E. K. Pedersen, we define another functor, calledcontinuously controlled A-theory, which depends only on thetopology of the control space, not itsmetric properties. In the special case whereB=R ₊, this functor is (more or less by definition) the same asproper A-theory. We prove that under certain conditions on the controlled space the natural transformation from boundedly controlledA-theory to continuously controlledA-theory is a weak homotopy equivalence, and hence defines a generalized homology theory. Continuously controlledK-theory is used in the approaches of G. Carlsson, E. K. Pedersen, and S. Ferry, S. Weinbergervto theK-theory Novikov conjecture.     

Algebraic geometry of topological spaces I

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C ^*-algebras, and for a homology theory of commutative algebras to vanish on C ^*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil K-theory implies that commutative C ^*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.     

Dihedral homology and Hermitian K-theory

We establish a rational isomorphism between certain relative versions of Hermitian K-theory and the dihedral homology of simplicial Hermitian rings. This is the dihedral analogue of Goodwillie's result for cyclic homology and algebraic K-theory. In particular, we describe involutions on (negative) cyclic homology and the K-theory of simplicial rings. We show that Goodwillie's map from K-theory to negative cyclic homology can be chosen to preserve involutions. By work of Burghelea and Fiedorowicz the invariants of the involution on K-theory can be identified with symmetric Hermitian K-theory. Finally, we show how the author's chain complex defining dihedral homology can be extended to the left to capture the invariants of the involution on negative cyclic homology.Supported by New Mexico State University, grant No. RC90-051.     

The differential analytic index in Simons–Sullivan differential K-theory

We define the Simons–Sullivan differential analytic index by translating the Freed–Lott differential analytic index via explicit ring isomorphisms between Freed–Lott differential K-theory and Simons–Sullivan differential K-theory. We prove the differential Grothendieck–Riemann–Roch theorem in Simons–Sullivan differential K-theory using a theorem of Bismut.     

Algebraic K-Theory and the Conjectural Leibniz K-Theory

The analogy between algebraic K-theory and cyclic homology is used to build a program aiming at understanding the algebraic K-theory of fields and the periodicity phenomena in algebraic K-theory. In particular, we conjecture the existence of a Leibniz K-theory which would play the role of Hochschild homology. We propose a motivated presentation for the Leibniz K ₂-group ofa field.     

Representable K-Theory for σ-C*-algebras

We define a version of K-theory on the category of -C ^*-algebras (countable inverse limits of C ^*-algebras). Our theory is homotopy invariant, has long exact sequences and a Milnor sequence, and satisfies Bott periodicity. On C ^*-algebras it gives the ordinary K-theory, and on the space of continuous functions on a countable direct limit X of compact Hausdorff spaces, it gives the representable K-theory of X. (We do not claim that our theory is in general a representable functor.) We also define an equivariant version, and discuss several related groups.Partially supported by a National Science Foundation Postdoctoral Fellowship.     

The Milnor–Chow homomorphism revisited

The aim of this note is to give a simplified proof of the surjectivity of the natural Milnor–Chow homomorphism between Milnor K-theory and higher Chow groups for essentially smooth (semi-)local k-algebras A with infinite residue fields. It implies the exactness of the Gersten resolution for Milnor K-theory at the generic point. Our method uses the Bloch–Levine moving technique and some properties of the Milnor K-theory norm for fields. Furthermore we give new applications. Supported by Studienstiftung des deutschen Volkes and Deutsche Forschungsgemeinschaft.     

The spectral sequence relating algebraic K-theory to motivic cohomology

Beginning with the Bloch-Lichtenbaum exact couple relating the motivic cohomology of a field F to the algebraic K-theory of F, the authors construct a spectral sequence for any smooth scheme X over F whose E₂ term is the motivic cohomology of X and whose abutment is the Quillen K-theory of X. A multiplicative structure is exhibited on this spectral sequence. The spectral sequence is that associated to a tower of spectra determined by consideration of the filtration of coherent sheaves on X by codimension of support.     

Real C*-Algebras, United K-Theory, and the Künneth Formula

We define united K-theory for real C^*-algebras, generalizing Bousfield's topological united K-theory. United K-theory incorporates three functors – real K-theory, complex K-theory, and self-conjugate K-theory – and the natural transformations among them. The advantage of united K-theory over ordinary K-theory lies in its homological algebraic properties, which allow us to construct a Künneth-type, nonsplitting, short exact sequence whose middle term is the united K-theory of the tensor product of two real C^*-algebras A and B which holds as long as the complexification of A is in the bootstrap category . Since united K-theory contains ordinary K-theory, our sequence provides a way to compute the K-theory of the tensor product of two real C^*-algebras. As an application, we compute the united K-theory of the tensor product of two real Cuntz algebras. Unlike in the complex case, it turns out that the isomorphism class of the tensor product is not determined solely by the greatest common divisor of K and l. Hence, we have examples of nonisomorphic, simple, purely infinite, real C^*-algebras whose complexifications are isomorphic.