**3**

votes

**1**answer

93 views

### Why is SL(n,Z)[p] modulo the group normally generated by elementary matrices abelian?

I'm trying to understand part of Bass-Milnor-Serre's paper on the congruence subgroup problem. I'm pretty sure that the following statement is proved in there, but I'm having trouble find (and/or ...

**7**

votes

**2**answers

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

**2**

votes

**0**answers

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

**1**

vote

**1**answer

65 views

### Equivalence of definitions of the Milnor $K$-groups

In Kurihara's paper: "The exponential homomorphisms for the Milnor $K$-groups and an explicit reciprocity law" he difines, in the first page, the $q$-th Milnor K-group for the ring $R$ as
...

**1**

vote

**0**answers

71 views

### Morita Equivalence of Full Corners in $C^*$-algebras

Suppose $\mathcal{A}$ is a $C^*$-algebra with a unique normalized trace and $p \in \mathcal{A}$ is a projection so that $\mathcal{B} = p\mathcal{A}p$ is a full corner.
Does $\mathcal{B}$ have a ...

**3**

votes

**0**answers

125 views

### Cancellation and splitting theorems for vector bundles etc over schemes

It is not too hard, in the theory of vector bundles over manifolds (or nice topological spaces, say locally contractible with finite covering dimension), to arrive at a splitting theorem. This ...

**1**

vote

**0**answers

47 views

### Which groups may be obtained as $K$-homology groups?

Recently I asked the following question, about the separability of the underlying $C^*$-algebra in the definition of $K$-homology:
mathoverflow.net/questions/181361
As far as I understood, ...

**1**

vote

**1**answer

59 views

### Definition of homotopy between Kasparov modules

I'm trying to understand the definition of homotopy between Kasparov modules as presented in Blackadar's book on K-theory for operator algebras. $A,B$ will be C*-algebras, while $E$ will denote a ...

**2**

votes

**1**answer

184 views

### $K$-groups and dual graphs of special fibers

Let $p$ be a prime number, let $E$ be an elliptic curve defined over $\mathbb{Q}_p$. Let $\mathcal{E}_p$ be the special fiber of the Néron model of $E$ over $\mathbb{Z}_p$ and let ...

**1**

vote

**0**answers

195 views

### Two questions on canonical line bundle over $\mathbb{C}P^{n}$

The canonical line bundle over $\mathbb{C}P^{n}$ is denoted by $\ell_{n}$. It is well known that: $$(\ell_{1}\otimes \ell_{1})\oplus1 \simeq\ell_{1}\oplus\ell_{1}$$ Both sides are isomorphic ...

**5**

votes

**1**answer

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

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

722 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

411 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

87 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

91 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

173 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

111 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

150 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

192 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

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

**9**

votes

**1**answer

181 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

124 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

75 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

155 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

168 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

273 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

191 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

324 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

145 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

153 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

247 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

239 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

392 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

341 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

123 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

253 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

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

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

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