**29**

votes

**0**answers

801 views

### Functor that maps to both $KO^n$ and $KO^{-n}$

(my question is also meaningful for complex K-theory, but since Kn(X) is always isomorphic to K-n(X), it's less interesting)
I start by recalling the analytic definition of KO-theory:
The following ...

**20**

votes

**0**answers

947 views

### derived category of equivariant coherent sheaves and fixed points

The K-group $K^T(X)$ of $T$(torus)-equivariant coherent sheaves on a variety $X$ is isomorphic to $K^T(X^T)$, that of the fixed point locus via the inclusion homomorphism, when we tensor the quotient ...

**18**

votes

**0**answers

517 views

### Computational complexity of topological K-theory

I am a novice with K-theory trying to understand what is and what is not possible.
Given a finite simplicial complex $X$, there of course elementary ways to quickly compute the cohomology of $X$ with ...

**13**

votes

**0**answers

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

**11**

votes

**0**answers

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

**10**

votes

**0**answers

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

**10**

votes

**0**answers

558 views

### Categorical Schur's Lemma

In attempt to prove (and compute) a formula for the dimensions of the HOMFLY homology
of the (p,q)-torus knot one could try to follow original proof by Jones of a formula for
HOMFLY polynomial of ...

**9**

votes

**0**answers

182 views

### Is the generation of rings by their units a question in K-theory?

Susan's question When can number rings be spanned (as $\mathbb{Z}$-modules) by units? smells like an algebraic K-theory question in disguise. I'll reformulate the question first:
Given an integral ...

**9**

votes

**0**answers

385 views

### Rosenberg's proof of Bass-Heller-Swan

I'm reading the proof the Bass-Heller-Swan Theorem in Rosenberg's book Algebraic K-Theory and Applications (Theorem 3.2.22), which asserts
$$K_1(R[t,t^{-1}]) \cong K_0(R) \oplus K_1(R) \oplus ...

**9**

votes

**0**answers

391 views

### Two constructions for BU×Z

Consider the following two ways of getting the zeroth space in the $K$-theory spectrum $BU \times \mathbb{Z}$:
1) Take the groupoid of finite dimensional complex inner product spaces with isometries ...

**8**

votes

**0**answers

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

**8**

votes

**0**answers

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

**8**

votes

**0**answers

251 views

### H-space structure on the Calkin algebra

By the Atiyah-Jänich theorem the K-group $K^0(X)$ for a compact space $X$ may be represented as $[X, U(Q)]$, where $Q = B(H)/K(H)$ is the Calkin algebra and $H$ is a separable infinite dimensional ...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

148 views

### Replacing commutative C*-algebras by simple ones

I am looking for functorial ways of replacing a commutative $C^*$-algebra $C$ by a simple one, say $A$ , such that the $K$-theory remains unchanged, i.e. $K_*(C) \cong K_*(A)$.
I am particularly ...

**7**

votes

**0**answers

182 views

### Is there an analog of Khovanov homology for edge deletion-contraction-extraction?

Motivated by Khovanov's categorification of the Jones polynomial, several authors have worked on the categorification of graph invariants. For the chromatic polynomial some references are:
"A ...

**7**

votes

**0**answers

269 views

### The residue class functor from a Frobenius category to its stable category induces a functor on cube-shaped diagrams - is it dense?

Let $\mathcal{E}$ be a Frobenius category, i.e. an exact category with sufficiently many bijective objects. (Such as e.g. the category of complexes over an additive category.)
Let ...

**7**

votes

**0**answers

1k views

### Regarding the Gerstenhaber bracket on Hochschild cohomology and Morita equivalence

Associated to any $A_\infty$ $k$-algebra $A$ the Hochschild cochain complex $CH^*(A)$ has the structure of a dg-Lie algebra and a dg-algebra which are compatible enough that the cohomology is a ...

**6**

votes

**0**answers

178 views

### K-theory of topological groupoids

For a topological groupoid $G$, there are two kinds of ``topological'' $K$-homology theories, $K_{\ast}^{G}(\underline{EG})$ the $K$-homology of $G$ with $G$-compact support, and $K_{\ast}(BG)$ the ...

**6**

votes

**0**answers

609 views

### Is there any “deep” relation between the localization theorem of equivariant cohomology and the localization theorem of equivariant K-theory

First let's consider equivariant cohomology: if a compact Lie group $G$ acts on a compact manifold $M$. We have the equivariant cohomology $ H_G(M)$ defined as the cohomology of the cochain complex ...

**6**

votes

**0**answers

245 views

### What are the relations in the unbounded model of K-homology?

I have posed this question to some experts at my university who would probably know the answer if there were a complete one, so my expectations are limited. It's possible that the question deserves ...

**6**

votes

**0**answers

311 views

### Higher K-theory of Orlik-Solomon algebras (and possible generalizations?)

This topic of this question is a bit outside my comfort zone, and I should say that my end goal is to really understand how much "graph theory" is captured by contraction-deletion relations. It seems ...

**6**

votes

**0**answers

285 views

### Does every exact six-term sequence arise as the K-theory of a locally compact pair?

Consider six countable Abelian groups and six group homomorphims as in the following diagram
G → H → I
↑ ↓
L ← K ← J
Assume that the resulting sequence is exact ...

**6**

votes

**0**answers

269 views

### homotopy domination that splits a non-split epimorphism and still wants to be a homotopy equivalence

Can a homotopy domination by a space supporting a free action of $G$ be promoted to a homotopy equivalence with such a space? As stated, this is not a serious question (multiply by an $EG$). But with ...

**6**

votes

**0**answers

218 views

### What morphisms / Morita equivalences induce the 2-periodicity isomorphisms of KK-theory?

In Kasparov's paper, the canonical isomorphisms $KK_* \rightarrow KK_{*+2k}$ are defined rather implicitely (by tensoring and stabilization).
Are there morphisms of $C^*$-algebras which induce them ...

**5**

votes

**0**answers

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

**5**

votes

**0**answers

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

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

**5**

votes

**0**answers

171 views

### Does the suspension isomorphism $K_1(A) \to K_0(SA)$ descend from a more refined invariant?

If $A$ is a C*-algebra, denote its minimal unitization by $\tilde A$ and its suspension by $SA$, thought of as all continuous $a:[0,1] \to A$ with $a(0)=a(1)=0$. The unitized suspension ...

**5**

votes

**0**answers

99 views

### Homology of special linear group over local field

I am trying to compute the group
$H_1(Sl_2(\mathbb{Z}_2),M)$, where $\mathbb{Z}_2$ are $2$-adic integers and M is a module $\mathbb{Z}_2 \oplus \mathbb{Z}_2$. I suppose that the group acts on $M$ by ...

**5**

votes

**0**answers

102 views

### KK-witnesses of Gysin maps between differentiable stacks

In 1982 Alain Connes gave the construction of a KK-element $f! \in KK(C(X), C(Y))$ that "witnesses" the fiber integration/Gysin/Umkehr/wrong-way map on topological $K$-theory along a K-orientable map ...

**5**

votes

**0**answers

224 views

### Roots of unity in algebraic K-theory

For any commutative ring $R$, the tensor product of (finitely generated, projective) $R$-modules equips the algebraic K-theory $K(R) = K_0(R)$ with the structure of a commutative ring with unit.
For ...

**5**

votes

**0**answers

204 views

### Are Tate twists of t-positive motives positive with respect to the Voevodsky's homotopy t-structure?

Let $X$ be a Voevodsky's motif (over a perfect field) that belongs to the positive part of the homotopy $t$-structure (i.e. its cohomology as an object of $D^-(ShSmCor)$ is zero in negative degrees). ...

**5**

votes

**0**answers

375 views

### Does the Grothendieck ring inject to the Grothendieck group?

To a Noetherian scheme $X$, we can associate a Grothendieck ring of locally free coherent sheaves, and a Grothendieck group of coherent sheaves, with a natural map from the former to the latter. Is ...

**5**

votes

**0**answers

364 views

### Attaching maps for Grassmann manifolds

The Grassmannian $G_n(\mathbb{R}^k)$ of n-planes in $\mathbb{R}^k$ has a CW-complex structure coming from the Schubert cell decomposition.
What is known about the attaching maps in this CW-complex ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

115 views

### Comparison of products in Quillen and Waldhausen K-theory

I'm relatively new to algebraic K-theory and stumbled upon the following question. I would be very glad If someone could provide a reference to an answer or a short argument.
We are given an exact ...

**4**

votes

**0**answers

119 views

### Interpretation of the product $K(X)\otimes K^{-1}(X) \to K^{-1}(X)$

We can represent every element of the group $K^{-1}(X)=\tilde{K}(SX)$ by a isomorphism of trivial vector bundles $L:\, X\times \mathbb{C}^k \to X\times \mathbb{C}^k$ because $SX$ is the union of two ...

**4**

votes

**0**answers

145 views

### Duality between K-theory and K-homology in the non-compact, spin$^c$ case

Let $M$ be a compact spin$^c$ manifold, so that it has a fundamental class $[M] \in K_n(M)$. It is well-known that the cap product with $[M]$ induces Poincare duality isomorphisms $K^\ast(M) \cong ...

**4**

votes

**0**answers

220 views

### A canonical way to kill a subset of cohomology in a dg-algebra: via $A_\infty$-algebras? References?

Let $A$ be a differential graded algebra, $S\subset H^*(A)$. I would like to 'kill $S$ in a canonical way'. Is it possible to do it as follows: consider the $A_\infty$-algebra structure on ...

**4**

votes

**0**answers

85 views

### Characterization of the sequences in the equivalence classe of the zero element in higher extension groups

Hello,
I am looking for a characterization of the long exact sequences in the equivalence classe of the zero element (for the Baer sum) in $Ext^n(U,V)$ for $n>1$.
If $n=1$, then these are the ...

**4**

votes

**0**answers

319 views

### K-theory of compact Lie groups

The complex K-theory of a compact connected Lie group $ G $ is computed by Hodgkin in the case that $ G $ has torsion-free fundamental group. The result is that $ K^*(G) $ is an exterior algebra in ...

**4**

votes

**0**answers

122 views

### What is the grading of x(x−1)R[x]? Loopspace for Karoubi-Villamayor K-theory.

I am reading the chapter on Karoubi-Villamayor K-theory in Weibel's K-book. In particular he defines $\Omega R=(x^2-x)R[x]$ for a ring. This will eventually lead to a model for the loopspace
...

**4**

votes

**0**answers

648 views

### $Ext$ functor, filtered complexes and spectral sequences

Let $\mathcal{A}$ an abelian category. Take $M$ an object of $\mathcal{A}$, and $K_*$ a bounded complex in $\mathcal{A}$ equipped with a bounded increasing filtration $F$. By using homological and ...

**4**

votes

**0**answers

279 views

### Q-construction and Gabriel-Zisman Localization

It might be a stupid question.
When I took a look at the definition of Q-construction. It makes for an exact category $P$, one defines a new category $QP$ whose objects are the same as $P$ but ...

**3**

votes

**0**answers

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

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

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

**3**

votes

**0**answers

156 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

**0**answers

173 views

### A Question About the Elliott-Natsume-Nest Proof of Bott Periodicity

In Wegge-Olsen’s book K-Theory and C$ ^{*} $-Algebras, there is an outline of a proof of Bott Periodicity (the proof is due to George Elliott, Toshikazu Natsume and Ryszard Nest). The first step of ...