MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This is a question on nomenclature of $K$-theory in the topological category.

The $K$-theory of a compact space $X$ is defined as the Grothendieck group of the vectorbundles on $X$. The Atiyah-Jänich Theorem states that this is the same thing as the homotopy classes of maps $X\rightarrow \Phi(\mathbb{H})$, where $\Phi(\mathbb{H})$ is the space of Fredholm operators on some separable infinite-dimensional Hilbert space.

Now, for a non-compact space $Y$ the $K$ theory $K(Y)$ is not defined as the Grothendieck group of vector bundles on $Y$. One can do a couple of things:

  1. Define it as the $K$-theory of its one point compactification $K(Y):=K(Y_+)$. One needs to assume $Y$ is locally compact for this to make sense.
  2. Another option is to assume that $Y$ is nice, for example an infinite $CW$ complex such as $CP^\infty$, and to define the $K$-theory of $Y$ as the limit of its finite subcomplexes. Note that $CP^\infty$ is not locally compact.
  3. Yet another option is to define the $K$-theory of $Y$ as maps $Y\rightarrow \Phi(\mathbb{H})$. I believe this is called representable $K$-theory.

I have a couple of questions.

Why is 1. a good definition? I like my cohomology theories to be functorial under maps. Theory 1. clearly is not. I believe it is functorial with respect to proper maps. This reminds me of compactly supported cohomology. But why is this then not called compactly supported $K$-theory?

And:

How are 2. and 3. related?

More specifically:

What exactly does 3. describe? Are these virtual vector bundles that admit numerable trivializations?

finally:

Is there a reference where all these definitions are discussed?

share|cite|improve this question
    
I've never seen 1., but 2. and 3. are equivalent (that's because every CW is the homotopy colimit of its finite subcomplexes). In general a cohomology theory is best studied on (spaces homotopy equivalent to) finite CW complexes and extended in that way to general spaces, so that it satisfies the Eilenberg-Steenrod axioms. – Denis Nardin Mar 25 at 12:00
2  
Atiyah probably used definition 1 because he wanted a Thom isomorphism theorem in K-theory for vector bundles over compact manifolds. Comparing with the proof of the Thom isomorphism theorem in cohomology, it is not unreasonable to impose a compact support condition, at least in the fiber direction. – Paul Siegel Mar 25 at 12:20
1  
@DenisNardin , I don't think they are equivalent. I suppose def. 2 uses a limit of sets rather than a homotopy colimit of spaces (since you can't define it without considering Fredholm space like in def. 3). Thus 2 and 3 are related by the Milnor exact sequence. – Anton Fetisov Mar 26 at 2:45
up vote 5 down vote accepted

2 and 3 are not equivalent, because of a phenomenon known as "phantom maps".You can have a map of a CW complex $X$ to $Y$ which is non-trivial in homotopy, but homotopy trivial when restricted to every finite subcomplex of $X$.

That this actually occurs for K-cohomology is shown in an old paper of Anderson and Hodgkin, "the K-theory of Eilenberg Maclane Complexes" http://www.sciencedirect.com/science/article/pii/0040938368900098 See corollary 1 of that paper, which gives examples for Eilenberg-Maclane complexes.

Also, in answer to your question about an interpretation of 3 as virtual vector bundles, I don't think you will get any joy there. See the paper by Jackowski and Oliver quoted by Neil Strickland in his answer to this earlier MO question Is there a good definition of (topological) K-theory over arbitrary spaces

share|cite|improve this answer

I think that definition 1 has a different nature with respect to the other two, because it defines K-theory with compact support. Even in ordinary cohomology, one thing is the singular cohomology of a space, another thing is the compactly-supported one. For example, $H^{1}_{cpt}(\mathbb{R}) = \mathbb{Z}$, but $H^{1}(\mathbb{R}) = 0$.

If I am not wrong, K-theory is defined as the Grothendieck group of vector bundles on compact Hausdorff spaces, in particular on finite CW-complexes. Then, as every cohomology theory defined on such a category, it can be extended to spaces having the same homotopy type of a compact Hausdorff space, in particular to spaces having the same homotopy type of a finite CW-complex. For this extension you need to impose homotopy invariance, that does not hold for compactly supported cohomology ($\mathbb{R}$ has the same homotopy type of a point, hence of a finite CW-complex, but the compactly supported cohomology is different).

You can define the extension as Atiyah has shown at the beginning of the paper Atiyah-Hirzebruch, "Analytic cycles on complex manifolds". Given a pair $(X, A)$, you define an element of $K^{\bullet}(X, A)$ as a functor $\xi$ that, given a pair $(Y, B)$ of compact Haudorff spaces (or a finite CW-pair) and a map $f: (Y, B) \rightarrow (X, A)$, assigns to $f$ an element of $K^{\bullet}(Y, B)$, that you call $f^{*}\xi$ (imagining the pull-back of the class $\xi$, but here it is a definition), in such a way that:

  • given a morphism $g: (Y, B) \rightarrow (Y', B')$ between $f: (Y, B) \rightarrow (X, A)$ and $f': (Y', B') \rightarrow (X, A)$ (i.e., $f = f' \circ g$), we have that $f^{*}(\xi) = g^{*}(f')^{*}(\xi)$;
  • $f^{*}\xi$ only depends on the homotopy class of $f$.

In the case of an infinite CW-complex, such a definition coincides with definition 2 in your question, but I think it is not a cohomology theory on such a category (maybe the long exact sequence fails). I suppose it is also equivalent to 3, but I am not sure.

share|cite|improve this answer

What exactly does 3. describe? Are these virtual vector bundles that admit numerable trivializations?

Virtual vector bundles, when defined as formal differences (i.e., elements in the homotopy group completion) of vector bundles, do not form a sheaf when considered on noncompact manifolds. The reason for this is that a compatible system of such differences considered on some open cover might use differences of higher and higher dimensional vector bundles as one approaches the infinity, whereas any virtual vector bundle is a difference of two bundles of fixed dimension.

Put differently, the homotopy group completion functor, being a left adjoint, does not preserve the sheaf condition, which is defined using a homotopy limit.

However, the problem can be easily rectified by replacing the above presheaf with its sheafification. With such an extended notion of virtual vector bundles one then proves that their isomorphism classes are represented by the connective K-theory spectrum.

(The above is literally true for smooth manifolds with the standard Grothendieck topology; for topological spaces one must take the numerable Grothendieck topology, which produces numerable bundles.)

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.