**3**

votes

**0**answers

183 views

### Can triangulated categories be “approximated by countable subcategories” (that are triangulated but not full!)?

For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain ...

**4**

votes

**1**answer

115 views

### An extension of $K$-theory to topological $^*$-algebras

What I have in mind is the following: a (sequence of) functor(s) $K_\bullet$ on the category of topological $^*$-algebras (with values in the category of commutative groups) that satisfies (among ...

**1**

vote

**1**answer

189 views

### realization map for K-theory of spheres

Let $\overset{\sim}{K}(X)$ and $\overset{\sim}{KO}$ denote the reduced stable isomorphic classes of complex and real bundles over X and $\rho$ be the realization map. We know that ...

**1**

vote

**0**answers

57 views

### On (universal) additive functors making a given complex contractible: examples?

Let $M=(M^i)$ be a (cohomological) complex of objects of some additive category $A$ (I am mostly interested in "short" complexes; yet one may also consider an unbounded $M$). I am interested in those ...

**6**

votes

**1**answer

240 views

### Fredholm operators in $K$-theory?

Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what ...

**4**

votes

**1**answer

273 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$; ...

**1**

vote

**1**answer

114 views

### When the restriction of derived equivalence to a summand is a derived equivalence as well

I have a question about the equivalence of derived categories. Let $\mathcal{A} = \mathcal{A}'\oplus \mathcal{A}''$ and $\mathcal{B} = \mathcal{B}' \oplus \mathcal{B}''$ are direct sum of abelian ...

**11**

votes

**4**answers

2k views

### “Must read” papers in algebraic K-theory?

I'm mainly interested (graduate student) in surgery theory and geometric topology.
If I have a chance to suggest "must read" papers in geometric topology for beginner,
I'm very glad to suggest ...

**27**

votes

**4**answers

2k views

### When can we cancel vector bundles from tensor products?

Let $E,F,G$ be algebraic vector bundles over $\mathbb P_{\mathbb C}^n$. My general question is:
Assume $E\otimes G \cong F\otimes G$, under what conditions can one conclude that $E\cong F$?
Some ...

**50**

votes

**3**answers

5k views

### Intuitive explanation for the Atiyah-Singer index theorem

My question is related to the question Explanation for the Chern Character to this question about Todd classes, and to this question about the Atiyah-Singer index theorem.
I'm trying to learn the ...

**5**

votes

**1**answer

127 views

### Left orthogonals to compact objects in triangulated categories: existence and “control”?

Let $C$ be a compactly generated triangulated category. Can it contain a non-zero object $M$ such that there are no non-zero morphisms FROM $M$ into compact objects? I would be grateful for any ...

**4**

votes

**1**answer

92 views

### Extension-closed subcategories of triangulated categories as “almost exact” categories

Did anybody study those subcategories of triangulated categories that are closed with respect to "extensions" (in the sense of distinguished triangles; in particular, any such $B$ is additive)? If we ...

**8**

votes

**0**answers

83 views

### Gersten complexes in Quillen's and Milnor's K-theories

Consider a good enough scheme $X$ (e.g. an algebraic variety over a field). Let $X_i$ be the set of points of dimension $i$ in $X$. Then we have the Gersten complex in Quillen's K-theory:
$$
...

**7**

votes

**3**answers

2k views

### Zero divisor conjecture and idempotent conjecture

Let $G$ be a torsion-free group and $C$ the ring of complex numbers. The zero divisor (idempotent, resp.) conjecture is that there is no nontrivial zerodivisor (idempotent, resp.) in $CG$.
The wiki ...

**9**

votes

**3**answers

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

**10**

votes

**1**answer

151 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) = ...

**3**

votes

**1**answer

84 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

132 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

131 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

142 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

289 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

261 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

87 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

184 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

125 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

143 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

216 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

196 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

209 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

231 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

45 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

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

**5**

votes

**1**answer

541 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

195 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

272 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

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

**9**

votes

**3**answers

639 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

65 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

696 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

447 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

243 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

237 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

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

**35**

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

259 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

194 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

900 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

179 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

839 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

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