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

learn more… | top users | synonyms

4
votes
2answers
253 views

Topological K-theory for commutative C*-algebras

It is in some sense folklore that given two arbitrary abelian groups $G,H$ one can find a $C^*$ algebra $A$ such that $K_0(A)=G$ and $K_1(A)=H$. My question is the following: what is known in the case ...
59
votes
10answers
10k 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
750 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 ...
4
votes
1answer
267 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 ...
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
5k 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 ...
35
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 ...
29
votes
0answers
766 views

Functor that maps to both $KO^n$ and $KO^{-n}$

(my question is also meaningful for complex K-theory, but since Kn(X) is always isomorphic to K-n(X), it's less interesting) I start by recalling the analytic definition of KO-theory: The following ...
17
votes
5answers
3k 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 ...
17
votes
3answers
1k views

Brauer Groups and K-Theory

Is there some a priori reason why we should expect the Brauer group of real [complex] super vector spaces to be closely related to periodicity in real [complex] K-theory? By "a priori" I mean a proof ...
14
votes
1answer
1k views

Voevodsky's counterexample to the existence of a motivic t-structure

I have been trying to unravel some of the known relationships between various ideas on mixed motives. I find the litterature quite hard to follow -"from experts, for experts". Voevodsky in ...
23
votes
2answers
964 views

What are the “correct” conventions for defining Clifford algebras?

I have three related questions about conventions for defining Clifford algebras. 1) Let $(V, q)$ be a quadratic vector space. Should the Clifford algebra $\text{Cliff}(V, q)$ have defining ...
10
votes
1answer
381 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]$ ...
6
votes
3answers
1k views

The localisation long exact sequence in K-theory over an arbitrary base

If I work over a field k,write D for the formal disk k[[t]] and Dx for the formal punctured disk k((t)), then there is an associated long exact sequence in algebraic K-theory ... Kn+1(Dx) --> Kn(k) ...
4
votes
2answers
690 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 ...
9
votes
3answers
1k views

A question on K_1 of an elliptic curve

Consider an elliptic curve $E/ \mathbb{Q}$, with a regular model $\mathcal{E} / \mathbb{Z}$. We have (Beilinson regulator) maps $$ K_1(\mathcal{E})^{(2)} \to K_1(E)^{(2)} \to H_D^3(E_{/ \mathbb{R}} , ...
4
votes
1answer
464 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 ...
4
votes
0answers
138 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 ...
42
votes
4answers
3k 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
697 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 ...
5
votes
1answer
93 views

Separability of the C*-algebra in the definition of K-homology

There are (at least) two approaches to K-homoology: one is via the so called dual algebra which is due to Paschke. The second is via the Fredholm modules and is due to Kasparov. In Nigel Higson's book ...
3
votes
0answers
157 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 ...
2
votes
0answers
121 views

Varieties with Chow groups supported in positive codimension: examples and properties?

In their 1983 paper "Remarks on correspondences and algebraic cycles" Bloch and Srinivas proved several interesting properties of smooth proper varieties (over universal domains) whose Chow groups of ...