**9**

votes

**3**answers

865 views

### Relative K-theory and split exact sequences of C* algebras

Let $A$ be a C* algebra, $J$ an ideal, $\pi: A \to A/J$ the quotient map. Recall that the relative K theory group $K_0(A, A/J)$ consists of equivalence classes of triples $(p,q,x)$ where $p$ and $q$ ...

**4**

votes

**0**answers

77 views

### On various “extension closures” and “orthogonals” in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...

**7**

votes

**1**answer

117 views

### K-groups of a permutative category - are they finite?

Let $\mathcal C$ be a permutative category, that is a symmetrical monoidal category with strict associativity. One can then define the $K$-groups of $\mathcal C$, for $n >0$ by
$$K_n(\mathcal C) = ...

**0**

votes

**0**answers

37 views

### projective module over C*-algebra [on hold]

Suppose we have $V$ a projective module over C*-algebra $A$. Suppose we define another projective module $W$ which is same as $V$ but the action is given by: $v.a := v.\alpha(a)$, where $\alpha$ is ...

**3**

votes

**1**answer

77 views

### Loop space of Fredholm operators from a Relative loop space

Atiyah and Singer proved that the nontrivial component of the set of skew-adjoint Fredholm operators $ \hat{\mathcal{F}_{*}}(\mathscr{H})$ is homotopic to the loop space of Fredholm operators ...

**1**

vote

**0**answers

109 views

### Representations and K-theory of a finite group

This question is motivated by the calculation of the higher algebraic $K$-groups of a finite field.
Let $G$ be a finite group, the case I am most interested in is $G = \text{Gl}_n(\mathbb F_q)$, but ...

**2**

votes

**0**answers

115 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

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

**9**

votes

**1**answer

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

**5**

votes

**1**answer

232 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

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

**3**

votes

**0**answers

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

**0**

votes

**0**answers

116 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

131 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

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

**2**

votes

**1**answer

191 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

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

**1**

vote

**0**answers

223 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

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

**4**

votes

**1**answer

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

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

**1**

vote

**1**answer

186 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

264 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

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

**8**

votes

**3**answers

593 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 the paper "Exotic ...

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

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

**11**

votes

**1**answer

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

**8**

votes

**0**answers

234 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

226 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

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

**33**

votes

**2**answers

2k views

### Where do all these projection formulas come from?

I have been intrigued for a long time by the formal similarity of results from different areas of mathematics. Here are some examples.
Set theory Given a map $f:X\to Y$ and subsets $X' \subset X, ...

**8**

votes

**1**answer

242 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

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

**21**

votes

**1**answer

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

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

**2**

votes

**1**answer

833 views

### Automorphism theorem

Help me please to find reference for the proof of the following theorem:
Theorem. Let $\theta$ be a Leibniz cocycle on the Leibniz algebra L with values in $V,$ and assume $\theta^{\bot}\cap ...

**1**

vote

**0**answers

145 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

190 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

558 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

83 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

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

**4**

votes

**2**answers

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

**5**

votes

**2**answers

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

**3**

votes

**1**answer

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

**10**

votes

**1**answer

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

**10**

votes

**3**answers

1k views

### State of the art for Gersten's conjecture for K-theory?

Does anyone know (of a reference to) under what restrictions on the regular scheme $X$ it is known that we have an exact sequence
$$0 \to \mathcal{K}_n(X) \to \bigoplus_{x \in X^{(0)}} K_n(k(x)) \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 ...

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