**2**

votes

**0**answers

106 views

### Do we have the following “devissage commutative diagram” in K-theory?

Let $X$ be a non-reduced Noetherian scheme. We define $K^0(X)$ to be the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ to be the Grothendieck group of the derived category ...

**2**

votes

**1**answer

121 views

### Could we extend the exact sequence $K^0(X)\to K_0(X)\to K_0(D_{sg}(X))\to 0$ to the left?

Let $X$ be a variety over a field $k$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category of perfect complex $Perf(X)$. It is clear that $Perf(X)$ is a ...

**5**

votes

**1**answer

215 views

### A survey for various $K$-homology theories and their relationship

The ordinary Topological $K$ theory defined by Atiyah and Hirzebruch is a generalized cohomology theory (see wikipedia).There is the Bott spectrum associated to this generalized cohomology ...

**0**

votes

**0**answers

77 views

### What is the relation between the $K_0$ of a singular curve and its normalization?

Let $X$ be a singular curve over a field $k$. We define $K_0(X)$ to be the Grothendieck group of the category of coherent sheaves on $X$.
For $X$ we have its normalization $\widetilde{X}$ and hence ...

**0**

votes

**0**answers

113 views

### Is there any computation of $K^0(X)$ and $K_0(X)$ for a singular curve $X$?

Let $X$ be a projective curve over an algebraic closed field $k$ which characteristic zero. Define $K^0(X)$ as the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ as the Grothendieck ...

**3**

votes

**0**answers

129 views

### Why write GRR with the relative tangent sheaf?

The first published version of the Grothendieck-Riemann-Roch theorem, GRR for short, was written in the form
$$
\operatorname{ch}(f_!\alpha).\operatorname{Td}(Y)
=
...

**2**

votes

**1**answer

189 views

### Is $K^0(X)\to K_0(X)$ monomorphic for a noetherian scheme $X$?

This question is related to the MO questions What is the difference between Grothendieck groups K_0(X) vs K^0(X) on schemes? and Does a fully faithful functor between triangulated categories induce ...

**1**

vote

**1**answer

181 views

### Does a fully faithful functor between triangulated categories induce embedding of their Grothendieck groups?

Let $\mathcal{A}$, $\mathcal{B}$ be two triangulated categories and $F: \mathcal{A}\to \mathcal{B}$ be a triangulated functor between them. Then $F$ induces an homomorphism between their Grothendieck ...

**3**

votes

**0**answers

176 views

### Using $\mathcal{U(H)}$ as a model for $EG$ and working with the Fredholm Operators

Let $\mathcal{H}$ be a unitary universe for some group $G$. As $\mathcal{H}$ is a faithful representation the representation map is an injection $G \to \mathcal{U(H)}$, so there's a free $G$ action on ...

**1**

vote

**0**answers

218 views

### Algebraic K-theory of complex varieties

Maybe this question is trivial, but I was not able to find an answer. The question is this: Consider the algebraic K-theory of smooth complex projective varieties (such that the K-theory and the ...

**6**

votes

**0**answers

43 views

### A “lower-central” filtration of Steenrod algebra?

$\renewcommand{\Atwo}{\mathcal{A}_2}$ So, a lot of good work has been accomplished by filtering the Steenrod algebras $\mathcal{A}_p$ in powers of the Augmentation ideal; For reasons partly ...

**4**

votes

**1**answer

255 views

### $K_0$ of integral group ring of cyclic group $\mathbb{Z}/p\mathbb{Z}$

Is there a table for the computation of $K_0(\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}])$?
These groups are also known as ideal class group in number theory.In topology,they are the home of some important ...

**2**

votes

**1**answer

208 views

### Map from algebraic K-theory to topological K-theory

Suppose that $A$ is a Banach algebra with unit. We can consider $GL(A)$ as a topological group in either the discrete topology or the topology that it inherits from the norm topology of $A$, and the ...

**3**

votes

**0**answers

130 views

### Group completion and algebraic K-theory

In the paper "On the group completion of a simplicial monoid", Quillen discusses the applications of group completions to the definition of algebraic K-groups. But it's before his celebrated paper on ...

**4**

votes

**1**answer

425 views

### Why is the first chern class of a line bundle $c_1(L) = 1-L$ in complex K-theory?

I'm trying to understand why on earth the first chern class of a line bundle in K-theory $c_1(L) = 1-L$.
I understand that the first Chern class of the trivial bundle is zero, and that $H-1$ ...

**1**

vote

**1**answer

184 views

### What is $K_2(\mathbb{Z}[x,x^{-1}])$?

The question is as in the title: is $K_2(\mathbb{Z}[x,x^{-1}])$ known?

**6**

votes

**1**answer

262 views

### Properties of coefficients of ring spectra

This is an awkwardly backwards question, but bear with me here: Suppose I have a graded ring $R$ with unit, which has an invertible element $u$ in degree $2$. The multiplicative formal group law ...

**3**

votes

**0**answers

94 views

### K-theory of coherent sheaves on complex manifolds: references and gamma-filtration?

For a complex manifold $X$ one has an exact category of locally free coherent sheaves; so it seems to be no problem to define certain $K$-theory (I do not know whether the $K$-groups given by the ...

**1**

vote

**0**answers

59 views

### The kernel of the residue map before passing to Milnor's K-theory

Let $F$ be a field of zero characteristic. All groups are taken modulo torsion.
Consider a residue map from the exterior algebra of the multiplicative group of the function field of the projective ...

**10**

votes

**2**answers

661 views

### Symplectic K-theory

For a ring $R$ consider symplectic K-theory defined as follows: let $\operatorname{Sp}(R) = \lim_n \operatorname{Sp}_{2n}(R)$, let $\operatorname{ESp}(R)$ be the subgroup generated by elementary ...

**8**

votes

**0**answers

232 views

### Geometric vs combinatorial motives over Spec Z

Consider the category of reduced schemes of finite type over $\mathbb{Z}$. Take the Grothendieck group of this category, i.e. the free abelian group on isomorphism classes, modulo the usual "syzygy" ...

**6**

votes

**1**answer

221 views

### Linearized Waldhausen $K$-Theory

In Waldhausen's foundational $A(X)$ paper (in Springer LNM 1126) there are some brief remarks on p. 400 about how to define the "linearized" $K$-theory of a space $X$ using abelian group objects in ...

**3**

votes

**1**answer

167 views

### K-homology of Cantor set and abelian AF-algebras

This may be a standard question answered in a book, or article. I don't know. I know that there exist related results with $\lim^1$-sequences (Rosenberg and Schochet).
What is
...

**8**

votes

**1**answer

236 views

### When does the continuous Galois(=etale) cohomology of fields coincide with the naive one? Often true by the Bloch-Kato conjecture?

For a field $F$ I am interested in its $l$-adic (Galois=\'etale) cohomology; here $l$ is a prime distinct from the characteristic of $F$ (for simplicity one may assume that the latter is $0$).
For ...

**1**

vote

**0**answers

188 views

### A (possible) equivalent relation on the space of vector bundles

Edit: According to the essential comment of Alex Degtyarev, we revise the question as follows;
Assume that $\alpha$ and $\beta$ are two oriention preserving automorphism of Lie groups $O(n)$ and ...

**2**

votes

**1**answer

173 views

### Complexification of real k-theory gives index $2$ subgroup of complex k-theory

We have $\widetilde{KO}(S^4) \cong \mathbb{Z}$ and $\widetilde{K}(S^4) \cong \mathbb{Z}$. There is a map $i:\widetilde{KO}(S^4) \rightarrow \widetilde{K}(S^4)$ that takes a stable vector bundle to ...

**1**

vote

**0**answers

142 views

### The definition of $SK_1$ for an arbitrary ring

Let $R$ be a unitary associative ring. If $R$ is commutative, then one defines $SK_1(R)$ as the quotient $$SK_1(R)=SL(R)/E(R)$$ (Definition 2.8 of ...

**0**

votes

**1**answer

166 views

### Murray–von Neumann equivalence on C$^*$-algebra and von Neumann algebra

Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$.
Let $p,q \in M_{\infty}(A)$ be ...

**13**

votes

**0**answers

549 views

### What is operator tmf?

One of the many wonderful things about K-theory, relative to other generalized cohomology theories, is that it can be defined for not-necessarily-commutative C*-algebras. The resulting construction, ...

**3**

votes

**1**answer

82 views

### Local index formula for >ungraded< elliptic operators

Let $P\colon E \to F$ be an elliptic pseudodifferential operator over $M$. Assuming that $P$ defines a finitely summable Fredholm module, we may apply the Chern-Connes character to it to get a cyclic ...

**0**

votes

**1**answer

186 views

### A question on K- theory of non commutative $C^\star$ algebra

Edit: According to the comment of Andre Henriques I revise the question:
What is an example of a noncommutative unital $C^\star$ algebra $A$, which is not Morita equivalent to a commutative ...

**5**

votes

**2**answers

514 views

### Mayer-Vietoris sequence for topological K-theory

I'm reading the paper Loop groups and twisted K-theory I by Freed, Hopkins, and Teleman. They give some examples of computing (twisted) K groups using the Mayer-Vietoris sequence.
I'm a bit ...

**10**

votes

**1**answer

466 views

### Is there a category whose isomorphisms are precisely the simple homotopy equivalences?

If we start with the category of finite complexes and continuous maps, and then identify two morphisms iff they are homotopic, we get the homotopy category of finite complexes, and it is trivial to ...

**1**

vote

**1**answer

129 views

### What is the relationship between $BU$ and $\textrm{Fred}_0(H)$?

Let $U=\cup_{n=1}^{\infty} U(n)$ be endowed with the weak topology, let $BU$ be its classifying space. Then for any compact CW complex $X$, $[X,BU]$ classifies all the vector bundles on $X$ up to ...

**11**

votes

**0**answers

222 views

### What is the symmetric monoidal functor from Clifford algebras to invertible K-module spectra?

There ought to be a symmetric monoidal functor from the symmetric monoidal $2$-groupoid whose objects are Morita-invertible real superalgebras (precisely the Clifford algebras), morphisms are ...

**23**

votes

**2**answers

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

**3**

votes

**1**answer

107 views

### Is the square diagram of index and exponential maps in $K$-theory of $C^*$-algebras anti-commutative?

Assume we have a $3\times 3$ grid with rows and columns being short exact sequences of $C^*$-algebras.
This gives a grid of 6-term exact sequences: 3 "horizontal" sequences and 3 "vertical" ...

**3**

votes

**1**answer

335 views

### Doing some homological algebra in triangulated categories

It's well known that chain complexes are an abelian category, and in particular we can consider chain complexes of chain complexes, i.e. double complexes. Given a double complex $A^{\bullet\bullet} ...

**3**

votes

**0**answers

71 views

### The 4-th generator of $K_1$ group for 3-dimensional NC tori algebra

An $n$-dimensional NC torus algebra $A_\theta^{(n)}$ is defined for any antisymmetric $n\times n$ matrix $\theta$ of real numbers as the universal $C^*$-algebra, generated by unitaries ...

**3**

votes

**0**answers

73 views

### Integral group rings on which stably free modules are free

Let $G$ be a torsion-free group and $ZG$ the integral group rings. Recall that a projective module $P$ over $ZG$ is stably free if there is an isomorphism $P \oplus ZG^n \cong ZG^m$. Are there known ...

**4**

votes

**1**answer

298 views

### Fundamental class in K-theory and orientability

In ordinary homology, the classical results give the following situation:
for a compact, connected, topological manifold $M$ of dimension $n$ we have, for each ring $R$, that $H_n(M,M \setminus ...

**2**

votes

**0**answers

154 views

### The space of Fredholm operators as a classifying space

Is it true that the space of Fredholm operators on a separable Hilbert space is the classifying space for K-theory in the category of paracompact spaces?
Everyone quotes the theorem of Atiyah-Janich ...

**2**

votes

**0**answers

128 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

86 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

94 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

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

**3**

votes

**1**answer

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

**1**

vote

**0**answers

51 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

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

**1**

vote

**0**answers

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