**4**

votes

**0**answers

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

**3**

votes

**1**answer

245 views

### Totally non parallelizable manifold

Does there exist a manifold M which all iterated tangent bundles are non parallelizable manifolds? That is$ M, TM , T^2(M), \ldots ,T^n(M)\ldots$ are non parallelizable manifold?
What is ...

**1**

vote

**0**answers

98 views

### Is the $K$-Theory of $\mathbb{P}X$ a $\lambda$-Ring?

If we let $\mathbb{P}X$ denote the free commutative algebra generated by the spectrum $X$, then we have a weak equivalence
$$
\mathbb{P}X\simeq \bigvee_r E\Sigma_{r+}\wedge_{\Sigma_r}X^{\wedge r}.
$$
...

**2**

votes

**0**answers

85 views

### K-Exactness for groups and C*-algebras

We say that a C*-algebra $A$ is K-exact, if for any exact sequence of C*-algebras
$0\rightarrow I\rightarrow B\rightarrow B/I\rightarrow0$, the sequences
$K_i(I\otimes_{min}A)\rightarrow ...

**7**

votes

**0**answers

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

**0**

votes

**0**answers

83 views

### Lifting triangles in K-theory to KL-groups

Let $X$ and $Y$ be finite simplicial complexes (or $CW$-complexes) so that $Y\subseteq X$. Let $s\colon C(X)\to C(Y)$ be the map given by restriction. In particular $K_{*}(C(X))$ and $K_{*}(C(Y))$ are ...

**1**

vote

**0**answers

90 views

### H-flux by any other name

There are more than a few papers referring to H-flux and/or H-twist etc.
Is there anywhere a survey relating these variants?

**4**

votes

**1**answer

126 views

### On closed model categories: standard arguments and fibrantly cogenerated categories

Some not very clever questions on closed model categories.
For a (left or right) Quillen functor $F:C\to D$ what arguments does one usually use for proving that $Ho F$ is fully faithful when ...

**4**

votes

**1**answer

131 views

### Yoneda embeddings of stable model categories; composition with Bousfield localizations

For a stable model category $C$ and a set $M$ of object of it I would like to construct a natural functor from $C$ to some stable 'category of functors' on $M$. I suspect that the 'natural' question ...

**8**

votes

**0**answers

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

**2**

votes

**2**answers

303 views

### filtration in K-theory and ordinary cohomology

I am going to ask a question, which could be a stupid one.
I am reading a paper "an index theorem in differential K-theory". The first paragraph of section 8.28 recalls a filtration of K-theory ...

**6**

votes

**1**answer

318 views

### Representation ring and induced representation

Let $i:H \to G$ be a homomorphism of compact Lie groups. The induced representation $\iota_*V := \mathrm{Map}^H(G,V)$ of an $H$-representation $V$ does not give an element of the representation ring ...

**2**

votes

**2**answers

162 views

### Preimage of $1 \in H^n(M^n)$ under Chern character

Let $M$ be a closed, oriented manifold of dimension $n$. We know that the Chern character induces an isomorphism $K^\ast(M) \otimes \mathbb{Q} \cong H^\ast(M; \mathbb{Q})$ and now I was wondering how ...

**16**

votes

**2**answers

504 views

### Conceptual explanation for the relationship between Clifford algebras and KO

Recall the following table of Clifford algebras:
$$\begin{array}{ccc}
n & Cl_n & M_n/i^{*}M_{n+1}\\
1 & \mathbb{C} & \mathbb{Z}/2\mathbb{Z} \\
2 & \mathbb{H} & ...

**10**

votes

**1**answer

521 views

### What does the moduli stack of G-torsors over the multiplicative group look like?

I am an algebraic topologist and am trying to understand some computations related to p-adic complex K-theory and equivariant K-theory. However this has led me into the world of algebraic geometry ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

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

**7**

votes

**1**answer

166 views

### $K_0$ group of graph underlying an approximately finite (AF) C* algebra

Say we have an AF C* algebra $A$ described by some Bratteli diagram $E$. If $M_\infty (A)=\displaystyle{\lim_\rightarrow M_n(A)}$ and $P(A)$ are the projections in this algebra, we know that ...

**4**

votes

**0**answers

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

**39**

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

**2**

votes

**0**answers

167 views

### Surfaces and the boundary map of K-theory

In the reduced K-theory we have the exact sequence of pair
$$ \tilde{K}(S(X/A)) \to \tilde{K}(SX) \to \tilde{K}(SA) \to \tilde{K}(X/A) \to \tilde{K}(X) \to \tilde{K}(A) $$
If choose $X$ to be a ...

**7**

votes

**1**answer

266 views

### Quasi-isomorphisms in exact categories

I am trying to understand quasi-isomorphisms in an exact category as defined via the mapping cylinder. I would like to know whether these form a category of weak equivalences in the sense of ...

**3**

votes

**3**answers

266 views

### When an exact embedding of abelian categories induces a full embedding of their derived categories?

Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also?
I would be interested in any necessary or sufficient ...

**3**

votes

**1**answer

171 views

### the graded pieces of the gamma-filtration of Quillen K-theory and Chow groups of a regular scheme

Let $X$ be a regular scheme and consider Grothendieck's $\gamma$-filtration $F^nK(X)$ on $K(X)$. For the graded pieces, one has $Gr^0K(X) = CH^0(X)$ and $Gr^1K(X) = \mathrm{Pic}(X) = CH^1(X)$. Does ...

**8**

votes

**4**answers

390 views

### Duality between K-theory and K-homology in the non-spin^c case.

I posted this question on Math.SE (http://math.stackexchange.com/questions/409444/), but got no answer. So I repost it here.
Let M be a closed manifold. Then there is a cap product $K^\ast(M) \times ...

**18**

votes

**5**answers

649 views

### Bass' stable range of $\mathbf Z[X]$

Let $n$ be a positive integer and $A$ be a commutative ring. The ring $A$ is said to be of Bass stable range $\mathrm{sr}(A)\leq n$ if for $a, a_1, \dots, a_n \in A$ one has the following implication:
...

**4**

votes

**1**answer

186 views

### Fredholmness of an operator-valued Toeplitz operator

Let $f$ be an invertible element of $C({\mathbb{T}}; C_b(r,1))$, that is, there exists a $f^{-1}\in C({\mathbb{T}}; C_b(r,1))$ such that for all $z\in {\mathbb{T}}$, $f(z)f^{-1}(z)=1$ in $C_b(r,1)$.
...

**5**

votes

**0**answers

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

**2**

votes

**1**answer

217 views

### Inner automorphisms and $K$-theory

It is known that any inner automorphism of a unital $C^{\ast}$-algebra $A$ induces the identity map on $K_{0}(A)$ because unitary equivalence implies Murray-von Neumann equivalence. What is known ...

**1**

vote

**1**answer

223 views

### Definition of the homological Chern character

There is a homological Chern character $ch_\ast \colon K_\ast(X) \to H_\ast(X)$ for $X$ a smooth, compact manifold.
I found only one definition of it (in the paper "K-Homology and Index Theory" by ...

**1**

vote

**0**answers

147 views

### Equivariant $K$-theory, singular vectors, and flag manifolds

For a homogeneous space $M = G/B$, with $G$ a (complex) semi-simple Lie group, it is very well-known that equivariant vector bundles $E$ over $M$ correspond to representations $(V_{\lambda},\lambda)$ ...

**4**

votes

**0**answers

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

**2**

votes

**1**answer

160 views

### Chern Character Isomorphism for non-finite CW complexes, resp. for non-CW complexes

This is a question I asked at Math.SE but got no answers: http://math.stackexchange.com/q/397164/7110/
Atiyah and Hirzebruch showed in their paper "Vector bundles and homogeneous spaces" that ...

**14**

votes

**2**answers

559 views

### Karoubi versus Kasparov K-theory

I have the following, probably very elementary question: Let $Cl^{p,q}$ be the Clifford algebra on generators $e_i$, $i=1, \ldots, p+q$
with $e_i e_j = -e_j e_i$ and $e_{i}^{2}=-1$ for $i=1,\ldots,p$, ...

**5**

votes

**1**answer

193 views

### What is the ring structure of the complex topological K-theory of a non-singular complex quadric?

I would like to know the ring structure of $K(Q_n)$ explicitly where $Q_n \subset \mathbb{P}^{n+1}$ is the non-singular $n$-dimensional complex quadric and $K(Q_n) = K^0(Q_n)$ is the complex ...

**33**

votes

**2**answers

2k views

### What arithmetic information is contained in the algebraic K-theory of the integers

I'm always looking for applications of homotopy theory to other fields, mostly as a way to make my talks more interesting or to motivate the field to non-specialists. It seems like most talks about ...

**4**

votes

**1**answer

447 views

### Representing KO-theory using Clifford algebras

I'm trying to understand a statement Segal makes in this book:
Let $C_q$ be the real Clifford algebra associated to the standard negative definite form on $\mathbb{R^q}$ and let $\Phi_q(n)$ be the ...

**1**

vote

**0**answers

113 views

### Cotorsion theory and its relative homology

Let (F(R), Cot(R)) be a cotorsion theory, Such that F(R) is the class of flat R-modules and Cot(R) the cotorsion modules. Why this is true that, For $ N\in Cot(R) $,
$ \text{Ext}_{F(R)}^i(M, N)\cong ...

**3**

votes

**1**answer

109 views

### ring with prescribed K group

One can construct topological spaces with prescribed homotopy groups or, say, homology groups.
But is it possible to construct a ring with any given $K_0$ group? What about $K_1$ group et.c.?
I know ...

**0**

votes

**1**answer

171 views

### About regular local rings and Socles

Let R be a regular local ring with $ \text{dim} R = d $. If $ 0\rightarrow R\rightarrow I_0\rightarrow ...\rightarrow I_d\rightarrow 0 $. Then why for $ 0\leq i\leq d-1 $, the socle of $ I_i $ is ...

**0**

votes

**1**answer

231 views

### Length of a module

Let R be a commutative ring, M an R-module of finite length and let N be an Injective R-module with zero socle. Then why $ \text{Hom}_R(M, N) $ is zero?

**0**

votes

**0**answers

172 views

### A question about higher K-theory

Suppose $\mathcal{A,B,C}$ are additive categories, $\mathcal B$ is a subcategory of $\mathcal C$. Now let $F,G: \mathcal A\rightarrow\mathcal B$ be two additive functors. Suppose $F,G$ are naturally ...

**6**

votes

**1**answer

260 views

### Coefficients of real k-theory with coefficients

Question: Calculate the group $ \pi_{8k+2}(KO \wedge M\mathbb Z/l\mathbb Z) $.
Here $KO$ denotes the real k-theory spectrum and $M\mathbb Z/l\mathbb Z $ denotes a Moore Spectrum associated to the ...

**14**

votes

**2**answers

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

**17**

votes

**0**answers

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

**5**

votes

**1**answer

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

**1**

vote

**0**answers

76 views

### Homomorphism of algebra of “Clifford-valued continuous functions”

I am interested in the general question of
When is a map between algebra of "Clifford-valued continuous functions" homomorphism?
As a starter, I would like to first understand the case for ...

**8**

votes

**1**answer

471 views

### Motivic cohomology and cohomology of Milnor K-theory sheaf

Let $X$ be a smooth variety over a field $k$. (Assume $k$ has characteristic 0 if it helps; in fact I'd be happy to assume that $k$ is a finite extension of either $\mathbf{Q}$ or $\mathbf{Q}_p$).
...

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

**10**

votes

**3**answers

699 views

### Plus construction considerations.

In order to realise the K-groups of a ring as the homotopy groups of some space associated to that ring, Quillen proposed the following (roughly-sketched) construction:
Recall that $K_1(R) = ...