**41**

votes

**4**answers

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 ...

**3**

votes

**1**answer

104 views

### Naturality of the nullhomotopies in Waldhausen's fibration theorem

Recall Waldhausen's fibration theorem, called 'localization theorem' in Thomason-Trobaugh: if $v\subset w\subset \mathcal C$ are categories of weak equivalences in a category with cofibrations ...

**12**

votes

**4**answers

721 views

### Injective dimension of graded-injective modules

In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra":
Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with ...

**14**

votes

**2**answers

409 views

### Is there an effective way to calculate K-theory using Morse functions?

Let $M$ be a compact manifold and let $f$ be a Morse function with exactly one critical point at each critical level. Then one can recover a CW-complex with the homotopy type of $M$ from just the ...

**4**

votes

**0**answers

85 views

### The 'most general' papers on rational Borel-Moore motivic homology and K'-theory?

There are two ways to define Borel-Moore motivic homology (of schemes) with rational coefficients: one should either consider certain complexes of algebraic cycles, or the $\gamma$-filtrations of ...

**5**

votes

**1**answer

86 views

### “The” kronecker foliation or “a” kronecker foliation?

Consider the following two foliations of torus:
1)The Kronecker foliation with slope $\sqrt{2}$
2)The Kronecker foliation with slope $\pi$
As I learn from the literature, these two foliations are ...

**0**

votes

**0**answers

170 views

### K-theory of $\mathbb{RP}^\infty$

can anyone give some reference of K-theory and K-homology of $\mathbb{RP}^\infty$, both $K_0$ and $K_1$.
PS: also posted in stackexchange

**5**

votes

**1**answer

109 views

### Generators of the $ K_{0} $-group of the non-commutative torus $ A_{\theta} $ with $ \theta \in \mathbb{Q} $ (i.e. rational rotation algebra)

I am studying the non-commutative torus $ A_{\theta} $.
When $ \theta $ is irrational, $ {K_{0}}(A_{\theta}) $ is generated by $ [1] $ and $ [p_{\theta}] $.
(Note: $ p_{\theta} $ is a projection in ...

**1**

vote

**3**answers

142 views

### K-theory for the $C^*-$algebra of the continuous functions on the $2-$torus and the Bott projection

I am trying to understand the K-theory for the $C^*-$algebra of the continuous functions on the $2-$dimensional torus $T^2$. In particular I am interested on the $K_0-$group. I have read that the ...

**5**

votes

**1**answer

191 views

### Definition of a cylinder functor in Waldhausen's K-theory

In Waldhausen's Algebraic K-Theory of Spaces, he defines a cylinder functor on a category $\mathcal C$ with cofibrations and weak equivalences (henceforth called a Waldhausen category) as the ...

**4**

votes

**0**answers

117 views

### Topology for bounded operators quotiented by Schatten ideal

I saw this particular question on stackexchange. Since there has been zero answers and since I've been interested in this question myself I want to ask it here.
Given the $C^{\ast}$-algebra of bounded ...

**16**

votes

**3**answers

997 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 ...

**9**

votes

**1**answer

180 views

### Algebraic $K$-theory of algebras in symmetric spectra: reference

I want to use the technicalities of structured ring spectra for the first time in my life, and I am not really familiar with the relevant literature. I am looking for a reference that defines ...

**5**

votes

**0**answers

121 views

### Reference for analyticity of $K$-theory

This is a follow-up to my last question, Homotopy excision for structured ring spectra -- reference?. The immediate reason why I care about Blakers-Massey theorems for ring spectra is to prove that ...

**4**

votes

**2**answers

276 views

### $K$-homology of $BG$

Let $G$ be a finite group. Atiyah proved that the $K$-cohomology of $BG$ vanishes in odd degrees and in even degrees is the completion of the representation ring of $G$ at the augmentation ideal.
...

**1**

vote

**1**answer

74 views

### On two notions of 'generators' for a 'large' triangulated category

Let $C$ be a triangulated category that is closed with respect to arbitrary small coproducts; let $D$ be some class of objects of $C$. Then it would be natural to say that $D$ generates $C$ either if
...

**23**

votes

**4**answers

1k views

### What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...

**8**

votes

**0**answers

204 views

### (Reduced) cyclic homology of a free product of unital algebras

Shameless upfloat of 1-year old question - the motivation is that in general the corresponding Banach version is false, so I am trying to see where the proof breaks down, and what (if anything) can be ...

**9**

votes

**0**answers

149 views

### Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group.
General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal
coefficient theorem (UCT)?
I am mainly ...

**2**

votes

**2**answers

156 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 ...

**7**

votes

**1**answer

271 views

### Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize.
All manifolds are closed, smooth and have dimensions $n\ge 5$.
The Atiyah-Shapiro-Bott-Orientation gives ...

**6**

votes

**2**answers

187 views

### Covering Spaces and Vector Bundles

Suppose $f: Y \rightarrow X$ is a covering map between compact Hausdorff spaces $X$ and $Y$. Then $f$ induces a algebra homomorphism $f^*:C(X) \rightarrow C(Y)$ and gives $C(Y)$ the structure of a ...

**5**

votes

**2**answers

730 views

### Understanding the product in topological K-theory

I apologize that this is perhaps not adequate for mathoverflow but I have struggled with this for days now and become desperate...
The reduced K-group $\tilde{K}(S^0)$ of the zero sphere is the ring ...

**1**

vote

**0**answers

36 views

### How to compute $KR^{-q}(S^{p,0})$

I am reading Atiyah's paper on $KR$-theory, and wondering how to compute $KR^{-q}(S^{p,0})$. The cases $p\geqslant 3$ may be simply deduced from the following isomorphism in the paper,
$$
...

**5**

votes

**1**answer

316 views

### Dennis trace map K----> THH

I have some questions about Dennis trace map in algebraic K-Theory. I was wondering if there is some conceptual way to look at this map $K(-)\rightarrow THH(-)$ (natural transformation from K-Theory ...

**1**

vote

**0**answers

78 views

### Complex non stably trivial complex vector bundle with vanishing Chern classes

There have been some discussions of a similar question, but I'd like an example of a non-trivial class in complex K-theory of an orientable manifold, for which all Chern classes vanish. This does not ...

**2**

votes

**1**answer

144 views

### Is there a geometric interpretation of Johnson-Wilson E(n) analogous to vector bundles for K-theory?

I am reading Ravenel's Localization with Respect to Certain Periodic Homology Theories where he states;
For $n\ge2$, the spectra E(n)
represent periodic homology theories which at present have ...

**0**

votes

**0**answers

67 views

### Ring structure for $K^{-1}$?

My questions are
whether there exists a product structure for $K^{-1}(X)$? Here $K^{-1}$ is the odd topological $K$-group, and $X$ is a compact space (or a manifold), say.
If such a ring structure ...

**5**

votes

**0**answers

150 views

### What is Known about the $K$-Theory of Fukaya Categories?

Some Background: In Kontsevich and Soibelman's theory of motivic DT-invariants, one is interested in something like the ``number'' of objects in a 3-Calabi-Yau category $\mathcal{C}$ having a fixed ...

**5**

votes

**1**answer

246 views

### Taking direct sums in $K$-theory in Kirchberg-Phillips classification

A theorem by Kirchberg and Phillips states that two unital separable nuclear simple purely infinite $C^*$-algebras (so called Kirchberg algebras) satisfying the Universal Coefficient Theorem are ...

**0**

votes

**0**answers

238 views

### A noncommutative vector bundle

We know that a noncommutative vector bundle is a finitely generated projective $A$-module where $A$ is a non commutative $C^{*}$ algebra. In this question we introduce a particular non commutative ...

**12**

votes

**2**answers

390 views

### What is the coefficient ring of algebraic K theory of the discrete $\mathbb{C}$?

Ordinary (connective) complex $K$-theory is the algebraic $K$ theory of the topological ring $\mathbb{C}$ with analytic topology. One can also study the $K$ theory of $\mathbb{C}$ with discrete ...

**8**

votes

**1**answer

340 views

### Heller operator without left adjoint?

Suppose given a noetherian ring $R$. On the stable category $R\text{-}\underline{\text{mod}} := R\text{-mod}/R\text{-proj}$, we have the Heller operator
$$
\Omega : R\text{-}\underline{\text{mod}} ...

**33**

votes

**6**answers

3k views

### Why is Milnor K-theory not ad hoc?

When Milnor introduced in "Algebraic K-Theory and Quadratic Forms" the Milnor K-groups he said that his definition is motivated by Matsumoto's presentation of algebraic $K_2(k)$ for a field $k$ but is ...

**5**

votes

**0**answers

122 views

### Dense ideals in C*-algebras and K-theory

Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the ...

**9**

votes

**2**answers

250 views

### A looping of algebraic K-theory

Algebraic K-theory of an exact category $\mathcal{C}$ is a certain universal non-connective spectrum $K(\mathcal{C})$. In particular, objects of $\mathcal{C}$ give elements of $K_0(\mathcal{C})$.
...

**6**

votes

**2**answers

382 views

### Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In ...

**5**

votes

**1**answer

242 views

### Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...

**7**

votes

**1**answer

242 views

### Analogue of cyclic homology for e_n-algebras?

Cyclic homology may be defined as the primitive part (with respect to a natural product) of the homology of the Lie algebra associated with the "stabilization" of an associative algebra $A$. Here the ...

**15**

votes

**1**answer

498 views

### Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...

**1**

vote

**0**answers

103 views

### Could one recover the relative K-theory from the quotient derived category?

Let $A\to B$ be a full embedding of exact categories that induces an embedding $D^b(A)\to D^b(B)$. My question is: what can one say about the relation of the homotopy cofibre $K(A)\to K(B)$ (the ...

**1**

vote

**0**answers

80 views

### K-theory of ringed spaces (including henselian and formal schemes); excision and Mayer-Vietoris

Given a ringed topological space $S$ one can easily define its K and K'-theory as the K-theories of the categories of locally free sheaves and of the category of coherent sheaves on it, respectively. ...

**2**

votes

**0**answers

159 views

### (Non trivial) coidempotents(Co-$K$-theory)

I was interested to know about coalgebraic version of "Idempotents".
So I seached the web and I found the following interesting post :
...

**5**

votes

**0**answers

83 views

### Comparison of K-groups of (affine) singular schemes with K'=G-groups

It is well known that Quillen K-theory coincides with $K'=G$-theory for regular schemes, and can be distinct from it for singular ones. Are there any methods for studying this distinctions? In ...

**7**

votes

**1**answer

181 views

### Semiring of vector bundles on $\mathbb{C}\mathbb{P}^1$

Consider the semiring
$$\mathbb{N}[H,H^{-1}]/(H^p+H^q = H^{p+q}+1)_{p,q \in \mathbb{Z}}.$$
Is it finitely presentable? Is there any simplification of the relations (except for $p \geq q \geq 0$)?
...

**8**

votes

**1**answer

187 views

### K-theory of ultrapowers

It may well be a trivial question but I was wondering if there is any relation between $K$-groups and ultrapowers of $C^*$-algebras. For instance, if $A$ is a $C^*$-algebra does $K_0(A^U)$ depend on ...

**16**

votes

**5**answers

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 ...

**2**

votes

**3**answers

764 views

### Easy way to define positive higher K groups?

I find in my books it is given by Bott periodicity, but this is not direct and Bott periodicity is not easy. Is there an easy and direct way to define $K^n(X)$, like $K^{-n}(X)$? I just start to learn ...

**19**

votes

**0**answers

499 views

### What is to tmf as KR is to KO?

The $E_\infty$-ring spectrum $KU$ of complex K-theory carries a canonical involution induced from complex conjugation of complex vector bundles. The homotopy fixed points of this $\mathbb{Z}_2$-action ...

**5**

votes

**1**answer

219 views

### Equivalent fomulations of Bott periodicity

Is there an easy way to see the equivalence of the two statements of Bott periodicity.
$$BU \times \mathbb{Z} \simeq \Omega^2BU$$ and
$$K(X)\otimes K(S^2) \cong K(X\times S^2)$$