I'm looking for a bigpicture treatment of algebraic Ktheory and why it's important. I've seen various abstract definitions (Quillen's plus and Q constructions, some spectral constructions like Waldhausen's) and a lot of work devoted to calculation in special cases, e.g., extracting information about Ktheory from Hochschild and cyclic homology. As far as I can tell, Ktheory is extremely difficult to compute, it yields deep information about a category, and in some cases, this produces highly nontrivial results in arithmetic or manifold topology. I've been unable to piece these results into a coherent picture of why one would think Ktheory is the right tool to use, or why someone would want to know that, e.g., K_{22}(Z) has an element of order 691. Explanations and pointers to readable literature would be greatly appreciated.

Algebraic Ktheory originated in classical materials that connected class groups, unit groups and determinants, Brauer groups, and related things for rings of integers, fields, etc, and includes a lot of localtoglobal principles. But that's the original motivation and not the way the work in the field is currently going  from your question it seems like you're asking about a motivation for "higher" algebraic Ktheory. From the perspective of homotopy theory, algebraic Ktheory has a certain universality. A category with a symmetric monoidal structure has a classifying space, or nerve, that precisely inherits a "coherent" multiplication (an E_oospace structure, to be exact), and such an object has a naturally associated group completion. This is the Ktheory object of the category, and Ktheory is in some sense the universal functor that takes a category with a symmetric monoidal structure and turns it into an additive structure. The Ktheory of the category of finite sets captures stable homotopy groups of spheres. The Ktheory of the category of vector spaces (with appropriately topologized spaces of endomorphisms) captures complex or real topological Ktheory. The Ktheory of certain categories associated to manifolds yields very sensitive information about differentiable structures. One perspective on rings is that you should study them via their module categories, and algebraic Ktheory is a universal thing that does this. The Qconstruction and Waldhausen's S.construction are souped up to include extra structure like universally turning a family of maps into equivalences, or universally splitting certain notions of exact sequence. But these are extra. It's also applicable to dgrings or structured ring spectra, and is one of the few ways we have to extract arithmetic data out of some of those. And yes, it's very hard to compute, in some sense because it is universal. But it generalizes a lot of the phenomena that were useful in extracting arithmetic information from rings in the lower algebraic Kgroups and so I think it's generally accepted as the "right" generalization. This is all vague stuff but I hope I can at least make you feel that some of us study it not just because "it's there". 


I think a key point is that algebraic Ktheory is defined not only for rings, but also for schemes (and other kinds of "generalized spaces" in algebraic geometry). If you believe that generalized (EilenbergSteenrod) cohomology theories are useful/interesting in algebraic topology, then it is also reasonable to think that they might be interesting in algebraic geometry, and algebraic Ktheory is in some sense the simplest and most widely studied such theory, although yes, computations are very hard. Some other motivation: Algebraic Ktheory allows you to talk about characteristic classes of vector bundles on schemes, with values in various cohomology theories, see for example Gillet: Ktheory and algebraic geometry. Algebraic Ktheory is intimately connected with motivic cohomology and algebraic cycles, see for example Friedlander's ICTP lectures available on his webpage, especially the 5th lecture on Beilinson's vision: http://www.math.northwestern.edu/~eric/lectures/ictp/ One of the major themes in arithmetic geometry is the study of special values of motivic Lfunctions. These values capture a lot of deep arithmetic invariants of number fields and varieties over number fields, and they seem to be mysteriously related to many other things, for example orders of stable homotopy groups of spheres. There are many results and conjectures about these values, most famously the Clay Millennium BirchSwinnertonDyer conjecture, and in many versions of these conjectures, algebraic Ktheory plays a crucial role. See for example the survey by Bruno Kahn in the Ktheory handbook, also availably at his webpage: http://people.math.jussieu.fr/~kahn/preprints/kcag.pdf There are also many other useful things in the Ktheory handbook, such as the lectures by Gillet on Ktheory and intersection theory, also available here: http://www.math.uic.edu/~henri/preprints/KTheory_Chow_Groups6.pdf 


I suggest looking at the introduction to Waldhausen's original paper on algebraic Ktheory (Algebraic Ktheory of generalized free products, Part I, Ann. Math., 108 (1978) 135204). Waldhausen started out as a 3manifold theorist, and he realized that certain phenomena in the topology of 3manifolds would be explained if the Whitehead groups of classical knot groups were trivial. So he set out to prove this, and in order to do so he developed a plethora of methods for dealing with Kgroups (including his definition involving the S. construction). The basic approach here is that the Whitehead group is the cokernel of the assembly map, which is a map $$H_*(BG; K(Z)) \to K_* (R[G]).$$ Here $G$ is some group (e.g. the fundamantal group of a knot complement), $R$ is some ring (e.g. $\mathbb{Z}$), and $R[G]$ is the group ring. The homology on the left is the homology theory represented by the (nonconnective) $K$theory spectrum. The study of assembly maps for group rings is one area where $K$theory computations look a bit more organized; one hopes to show that $K$theory of group rings is actually a homology theory, i.e. that the assembly map is an isomorphism. Of course this homology theory itself is still quite complex, since it involves the $K$theory of some ring $R$! 


As a particular application of algebraic Ktheory, let me mention the intersection product on regular schemes. Let X be a regular scheme over spec Z. Then, one can use the Quillen spectral sequence and Adam's operations on Ktheory to produce an intersection product on the Chow groups tensored with Q. To my knowledge, this is the first definition of an intersection theory on a class of schemes larger than those smooth over a Dedekind domain. For details, see Soule's book Lectures on Arakelov Geometry. Chapter 1 of this book contains a very nice introduction to Ktheory with supports and the Adam's operations. Besides that, all you need is Quillen's original paper to understand the intersection theory. 


First, recall the slogan: 


I found Mitchell's survey "On the LichtenbaumQuillen conjectures from a stable homotopytheoretic viewpoint" very motivating. I assumes only little background and is written for mutually introducing homotopy theorists with algebraic Ktheorists. 


Here's a reference that gives some of the history of algebraic ktheory. It might have something you're looking for. http://www.math.uiuc.edu/Ktheory/0343/khistory.pdf. Also Rosenberg's book "Algebraic Ktheory and Its Applications is good. 


For me, one interesting thing about algebraic Ktheory is Ltheory (which I wish I understood better). This is in no way going to be coherent, but:
Let's say you are interested in classifying manifolds. That's not going to be possible, because any finitely presented group is realizable as the fundamental group of some 4manifold, and "most" finitely presented groups don't have solvable word problem. OK then, the next best thing is to try to classify manifolds within a fixed homotopy type. Surgery theory is a technique for doing this. Given a homotopy type, you construct a CWcomplex X with that homotopy type, and your first question is whether X is homotopy equivalent to a manifold. Roughly speaking, this is determined by the normal bundle. So for X to be homotopy equivalent to a manifold, you want there to exist a suitably defined bundle map $(f,b)\colon M \to X$,which is normal bordant to a homotopy equivalence. This latter condition (for a bundle map to be normal bordant to a homotopy equivalence) is detected Ktheoretically (I don't understand this well enough to attempt to try to explain it). 


Grothendieck's original motivation for Ktheory was to give a natural setting for the intersection theory on algebraic varieties. 


It's very much "thing in itself" (quote from my advisor). And indeed it's mostly of interest to people who (1) like to compute (2) don't mind the fact that there's "no general picture", which admittedly are a minority among mathematicians. In fact, there is (or was) a separate earchive of Ktheory papers! Still, yes, it's a very important and general way to learn about abstract rings. 

