Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Algebraic and topological K-theory, relations with topology, commutative algebra, and operator algebras
5
votes
Accepted
Algebraic K-theory "with proper support"
Actually, the possibility of defining such a thing was one of my motivations for studying this condensed mathematics in the first place. That said, the story is far from complete.
First, I guess a re …
8
votes
Accepted
K-theory, monoidal vs. exact
As you note, the classifying space of any exact category is contractible because of the presence of an initial object, so your second K(D) (which I take to be the group completion of the classifying s …
10
votes
Accepted
Is there a categorification of topological K-theory?
The abelian group $K^0(X)$ has a natural $(\infty,0)$-categorification'', meaning a spectrum $K(X)$ whose $\pi_0$ recovers $K^0(X)$: take $K(X)$ to be the spectrum of maps from (the suspension spectru …
12
votes
Accepted
Why does one invert $G_m$ in the construction of the motivic stable homotopy category?
I guess there are "internal" and "external" motivations. External for instance -- most natural examples of functors we have from the stable motivic homotopy category to some other category invert G_m …
15
votes
Maps from mod-$p$ Eilenberg-MacLane spectrum to connective $K$-theory spectrum
You can also cheat: since HZ/p is connective,$$ [HZ/p,ku] = [HZ/p,KU] = [HZ/p \wedge KU,KU]_{KU-modules} = 0$$ since $HZ/p \wedge KU = 0$.
Edit: Let me stress that the other answers give more informa …
18
votes
Adams' theorems on the Hopf-Whitehead J-homomorphism
This answer probably won't be coming from the perspective that you want, since it'll use even more stable homotopy theory than Adams did. But I think it's pretty clear in its own way.
First let me m …
11
votes
Accepted
K-Theory space of finite abelian groups
Everything is known. In fact as spectra we have canonically $K(\mathsf{finAb}) = \vee_p K(\mathbb{F}_p)$, and the spectra $K(\mathbb{F}_p)$ are identified in the work of Quillen (see e.g. http://www. …
3
votes
Characteristic classes detecting nontrivial fiberwise homotopy of sphere bundles
You might have luck with the "universal" choice of $h$, namely the cohomology theory given by the connective spectrum corresponding to the $E_{\infty}$-space of stable spheres under smash product (as …
8
votes
When do non-exact functors induce morphisms on $K$-theory?
I think the idea should be that "polynomial maps" from A to B induce maps on the K-theory spaces. Here's one possible suggestion of a way to implement this, based on Segal's proof of the Kahn-Priddy …
30
votes
Accepted
Plus construction considerations.
Here are some thoughts, gathered from reading many texts about algebraic K-theory. Let me start with some historical remarks, then try to give a more revisionist motivation of the plus construction.
…