Algebraic and topological K-theory, relations with topology, commutative algebra, and operator algebras

learn more… | top users | synonyms

55
votes
10answers
9k views

Motivation for algebraic K-theory?

I'm looking for a big-picture treatment of algebraic K-theory and why it's important. I've seen various abstract definitions (Quillen's plus and Q constructions, some spectral constructions like ...
12
votes
1answer
713 views

finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional division algebra over the real numbers has dimension 1,2,4 or 8. This result is established using methods from algebraic ...
6
votes
2answers
1k views

Zero divisor conjecture and idempotent conjecture

Let $G$ be a torsion-free group and $C$ the ring of complex numbers. The zero divisor (idempotent, resp.) conjecture is that there is no nontrivial zerodivisor (idempotent, resp.) in $CG$. The wiki ...
56
votes
4answers
4k views

Algorithm or theory of diagram chasing

One of the standard parts of homological algebra is "diagram chasing", or equivalent arguments with universal properties in abelian categories. Is there a rigorous theory of diagram chasing, and ...
38
votes
5answers
4k views

Why are spectral sequences so ubiquitous?

I sort of understand the definition of a spectral sequence and am aware that it is an indispensable tool in modern algebraic geometry and topology. But why is this the case, and what can one do with ...
33
votes
2answers
2k views

What arithmetic information is contained in the algebraic K-theory of the integers

I'm always looking for applications of homotopy theory to other fields, mostly as a way to make my talks more interesting or to motivate the field to non-specialists. It seems like most talks about ...
14
votes
5answers
2k views

What is the equivariant cohomology of a group acting on itself by conjugation?

This question makes sense for any topological group $G$, but I'd particularly like to know the answer for $G$ a compact, connected Lie group. $G$ acts on itself by conjugation. One has the ...
10
votes
1answer
373 views

BU with tensor product H-space structure

Hi, I came across the space $BU_\otimes$ when struggling with twisted K-theory. Segal proved that this is an H-space, right? I have read a dozen times by now that the group $[X, BU_\otimes]$ ...
4
votes
2answers
671 views

On two spectral sequences for the cohomology of a double complex

For a (bounded) double complex (of abelian groups or vector spaces) one can consider two spectral sequences that converge to the cohomology of the totalization: one can first compute either the ...
4
votes
0answers
130 views

Duality between K-theory and K-homology in the non-compact, spin$^c$ case

Let $M$ be a compact spin$^c$ manifold, so that it has a fundamental class $[M] \in K_n(M)$. It is well-known that the cap product with $[M]$ induces Poincare duality isomorphisms $K^\ast(M) \cong ...
4
votes
1answer
411 views

Representing KO-theory using Clifford algebras

I'm trying to understand a statement Segal makes in this book: Let $C_q$ be the real Clifford algebra associated to the standard negative definite form on $\mathbb{R^q}$ and let $\Phi_q(n)$ be the ...
38
votes
4answers
2k views

What happened to online articles published in K-theory (Springer journal)?

As most people probably know, the journal "K-theory" used to be published by Springer, but was discontinued after the editorial board resigned around 2007. The editors (or many of them) started the ...
7
votes
3answers
684 views

If a colimit of distinguished triangles exists, is it also a distinguished triangle?

Consider the following situation in some triangulated category: We are given a collection of distinguished triangles $A_n \to B_n \to C_n \to A_n[1]$ indexed by the natural numbers, together with maps ...
3
votes
0answers
149 views

A Question About the Elliott-Natsume-Nest Proof of Bott Periodicity

In Wegge-Olsen’s book K-Theory and C$ ^{*} $-Algebras, there is an outline of a proof of Bott Periodicity (the proof is due to George Elliott, Toshikazu Natsume and Ryszard Nest). The first step of ...
3
votes
1answer
244 views

Totally non parallelizable manifold

Does there exist a manifold M which all iterated tangent bundles are non parallelizable manifolds? That is$ M, TM , T^2(M), \ldots ,T^n(M)\ldots$ are non parallelizable manifold? What is ...