On the K-theory of ?G, G a non-Abelian group of order pq

This paper contains the construction of a generalized Mayer-Vietoris sequence for the rings in the title, which can be described as multiple pullback rings. A comparison between their K- and G-theories is given in the form of a long exact sequence.     

The MoravaK-theory of algebraicK-theory spectra

Ifn2 the MoravaK-theoryK(n) _* of an algebraicK-theory spectrumKX vanishes for any ring or schemeX. This is proved using thev _n -complexes of Hopkins and Smith, together with the following theorem. The natural mapf:Q ₀S⁰BGL⁺ factors through the space ImJ. In particularf _*: _* ^s K _* annihilates CokerJ. These results are closely related to the Lichtenbaum-Quillen conjectures.Partially supported by an NSF grant.     

The Product Formula in Unitary Deformation K-theory

For finitely generated groups G and H, we prove that there is a weak equivalence G H (G × H) of ku-algebra spectra, where denotes the “unitary deformation K-theory” functor. Additionally, we give spectral sequences for computing the homotopy groups of G and HG in terms of connective K-theory and homology of spaces of G-representations.     

MilnorK-theory is the simplest part of algebraicK-theory

We identify the MilnorK-theory of a field with a certain higher Chow group.     

Twisted equivariant K-theory for proper actions of discrete groups

We will make a construction of twisted equivariant K-theory for proper actions of discrete groups by using ideas of Lück and Oliver (Topology 40:585–616, 2001) to expand a construction of Adem and Ruan (Comm. Math. Phys. 237:533–556, 2003).     

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.     

AlgebraicK-theory of poset representations

LetS be a finite partially ordered set andk a field. This paper relates the algebraicK-theory ring of the category ofk-representations ofS to the Möbius ring ofS.     

Additive L-theory

The cobordism groups of quadratic Poincaré complexes in an additive category with involution are identified with the Wall L-groups of quadratic forms and formations in , generalizing earlier work for modules over a ring with involution by avoiding kernels and cokernels.     

Relative MilnorK-theory

LetR be a commutative, semi-local ring,I ₁, ...,I _s ideals. In this paper, we define therelative Milnor K-groups of (R;I ₁, ...,I _s ),K _p ^M (R;I ₁, ...,I _s ), and show that these groups have many of the properties of the usual MilnorK-groups of a field. In particular, assuming a weak condition on the ideals, we show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic to the weightp portion of the relative QuillenK-groupK _p (R;I ₁, ...,I _s ), after inverting (p–1)!. We also define the relative group homology of GL _n (R;I ₁, ...,I _s ), and show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic toH _p (GL_p(R;I ₁, ...,I _s ))/Im(H _p (GL _p–1 (R;I ₁, ...,I _s ))). Finally, we consider a generalization to the relative setting of Kato's conjecture asserting that the Galois symbol gives an isomorphism fromK _p ^M (F)/l ^v to , and show that this relative version of Kato's conjecture implies the Quillen-Lichtenbaum conjectures asserting the Chern class:

A solution of the Steenrod problem for G-Moore spaces

The purpose of this paper is to prove the following theorem: If G is a finite group, then every G-module is isomorphic to the homology of a G-Moore space if and only if all Sylow subgroups of G are cyclic.     

ContinuousK-theory

We study arithmetical properties of homotopy groups of thel-adic completion of Quillen'sK-theory space of number field, with a view on the Dwyer-Friedlander comparison map into étaleK-theory. The relation of these groups toK-theory is a complete analogy to the relation of continuous étale cohomology to étale cohomology. We identify the torsion subgroup of the resulting term with the subgroup of divisible elements inK _2n (F). We prove that this term is sent isomorphically into étaleK-theory, giving some further evidence for the Lichtenbaum-Quillen conjectures.     

Abstract Bott periodicity inKK-theory

We show that the universalC*-algebras KqA and K²A are homotopy equivalent and define abstract analogues of the Bott elements inKK-theory.     

The Heisenberg group andK-theory

A simple proof of Bott periodicity, and at the same time of the Connes isomorphism theorem for one-parameter crossed products, is given using continuous fields ofC*-algebras.     

Polynomial operations on complex K-theory

We adapt here the results of the author concerning polynomial operations on the 0th stable cohomotopy to the case of the 0th complex K-theory and consider polynomial operations : Kh, where h is a ring-valued contravariant functor, defined on finite CW-complexes, satisfying some properties. We construct a family of generating operations for the ring Pol(K,h) of all polynomial operations : Kh and doing so, we describe the additive structure of this ring in terms of the h(BU(n)'s. As an illustration of how polynomiality could be used to study operations in the setting of algebraic K-theory, we consider, from our point of view, the well known situation operations : KK on complex K-theory.     

Mackey structures on equivariant algebraic K-theory

We study the Mackey structure of the G-spectrum K _G C associated to a monoidal G-category C. It is proved that the coefficient system of K _G C coincides, as a (graded) Mackey functor, with the system of equivariant K-groups in the sense of Fröhlich and Wall. It is also shown that for any exact category U, there exists a G-spectrum Q _G U representing the equivariant K-theory of U in the sense of Dress and Kuku, and that Q _G U is naturally G-homotopy equivalent to K _G IsoU if every short exact sequence in U splits.     

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.     

K2 of a Ring via the G-Construction

We interpret the Steinberg symbols x_i,j(a) as homotopies contracting the elementary matrices e_i,j(a), the latters being represented by certain arcs in a simplicial model of the K-theory. We further prove the Steinberg relations for these homotopies. This provides an explicit map from K₂ of a ring, defined classically as ker(St(R) → GL(R)), to π₂ of the G-construction assigned to R. Though the two groups are known to be isomorphic, a certain work is to be done to prove that this explicit map is an isomorphism. Mathematics Subject Classification 1991: Primary 19B99, 19D99; secondary 18E10, 18F25.     

Personal Reminiscences of the Birth of Algebraic K-theory

These informal reminiscences, presented at the ICTP 2002 Conference on algebraic K-theory, recount the trajectory in the author's early research, from work on the Serre Conjecture (on projective modules over polynomial algebras), via ideas from algebraic geometry and topology, to the ideas and constructions that eventually contributed to the founding of algebraic K-theory. The solution of the Congruence Subgroup Problem is presented as a pivotal event.     

Mackey systems of monoidal categories and G-spectra

We construct an equivariant infinite loop space machine denned on certain class of monoidal O _G -categories which have built-in Mackey structure. Applications include the equivariant infinite delooping of the classifying space BF(G) for stable spherical G-fibrations and also the construction of an infinite loop G-space E(X, G) with ₀ ^HE (X, G) naturally isomorphic to the equivariant Whitehead groups Wh _H (X) of given G-space X.Dedicated to Professor Shôrô Araki on his sixtieth birthday     

K-theory of twisted Grassmannians

We give a computation of the K-groups of Grassmannians and flag varieties over an arbitrary Noetherian base scheme. We also compute the K-groups of forms of Grassmannians and flag varieties associated to a sheaf of Azumaya algebras. One ingredient in the computation is the extension of the Bott theorem on the cohomology of line bundles on the flag variety (over Q) to a K ₀-Bott theorem valid over arbitrary Noetherian base schemes.Partially supported by the NSF.