# Tagged Questions

**3**

votes

**0**answers

111 views

### (Non trivial) coidempotents(Co-$K$-theory)

I was interested to know about coalgebraic version of "Idempotents".
So I seached the web and I found the following interesting post :
...

**5**

votes

**0**answers

84 views

### Definition of a cylinder functor in Waldhausen's K-theory

In Waldhausen's Algebraic K-Theory of Spaces, he defines a cylinder functor on a category $\mathcal C$ with cofibrations and weak equivalences (henceforth called a Waldhausen category) as the ...

**2**

votes

**0**answers

89 views

### What is the Atiyah-Bott-Shapiro map for a bundle of *complex* quadratic forms?

In order to ask the question in the title more precisely, let me
recall some standard stuff introduced in [1; Atiyah, Bott, Shapiro].
Suppose $X$ is a compact CW complex and $V \to X$ is an oriented ...

**6**

votes

**1**answer

191 views

### Equivariant algebraic K-theory of affine space

Unlike algebraic K-theory, equivariant K-theory of affine space (over a field $k$) can be quite nontrivial, depending on the action of the group in question. For example, if one takes the standard ...

**1**

vote

**0**answers

61 views

### Relative Gersten resolution for a flat projective morphism

I am reading two papers by Daniel Grayson: "Localization for flat modules in algebraic K-theory" and "Algebraic cycles and algebraic K-theory" and I am wondering if any recent advances in K-theory ...

**5**

votes

**1**answer

217 views

### A generalized K- theory via generalized idempotents

Edit After the answer by Neil Strickland, I add the word "a ring" in this new version.
In the literature, there is a concept of generalized idempotent: an n- idempotent is an element $a$ of a Banach ...

**4**

votes

**0**answers

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

**7**

votes

**0**answers

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

**7**

votes

**1**answer

235 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

**1**answer

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

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

**0**

votes

**0**answers

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

**8**

votes

**1**answer

409 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$).
...

**10**

votes

**3**answers

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

**2**

votes

**1**answer

134 views

### For which local $R$ its K-theory mod l is isomorphic to the one of its residue field?

It is well-known (and was proved by Gabber?): if $R$ is a regular henselian local ring containing a field of characteristic prime to $l$, $k$ is its residue field, then $K_\ast(R,\mathbb{Z}/l)\cong ...

**21**

votes

**1**answer

695 views

### Is every ''group-completion'' map an acyclic map?

I start with a longer discussion which will result in a precise version of the question. A am puzzled about an issue with the
Quillen plus construction. I have seen outstanding experts being confused ...

**5**

votes

**2**answers

335 views

### When do the $\gamma$-filtration and codimension filtration of K-theory agree?

Let $X$ be a smooth quasiprojective algebraic variety over a field $k$. Then the $K$-groups $K_m(X)$ are defined, and there are two standard filtrations on them: the "codimension filtration" given by
...

**14**

votes

**2**answers

764 views

### Who first noticed that the Hilbert symbol is a Steinberg symbol ?

Hilbert reformulated the quadratic reciprocity law of Gauß as a product formula
$$
\prod_v(a,b)_v=1
$$
for the various local Hilbert symbols. For each place $v$ of $\bf Q$, the Hilbert symbol $(\ ,\ ...

**9**

votes

**2**answers

347 views

### f.g. modules vs. f.g. projective modules

In algebraic K-theory one defines $K_0(R)$ as the result of application of the Grothendieck construction to the semigroup of isomorphism classes of left f.g. projective $R$-modules.
But we can also ...

**3**

votes

**1**answer

303 views

### K-theory, monoidal vs. exact

My question is somewhat related to this one. However I think it adds something new to the table so I decided to post it sperately.
There is a construction of K-theory for symmetric monoidal ...

**9**

votes

**0**answers

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

**10**

votes

**1**answer

479 views

### K-Theory space of finite abelian groups

Consider the abelian category $\mathsf{finAb}$ of finite abelian groups. It is easy to prove that there is an isomorphism $\mathrm{ord} : K_0(\mathsf{finAb}) \to \mathbb{Q}^+$. Can you give a ...

**5**

votes

**2**answers

297 views

### whitehead group of product of groups

I am wondering is there a formula for the whitehead group of product of groups. In other words, if we know the whitehead group of two groups, are we able to calculate the whitehead group of their ...

**13**

votes

**2**answers

896 views

### Can anyone explain to me what is an assembly map?

Or can you give me a good place to read about things related to assembly map, besides wikipedia? I am specially interested in the case of algebraic K-theory. Would appreciated if you could provide ...

**0**

votes

**0**answers

247 views

### A modified version of K-theory for manifolds ?

If $X$ is a compact smooth manifold, $K^{0}(X)$ can be defined as the algebraic $K_{0}$-group of $C^{\infty}(X)$. In order to do that we use the following equivalence relation: we say that two ...

**3**

votes

**0**answers

297 views

### K-theory of differential graded modules over differential graded algebras

Suppose you have a smooth vector bundle $E$ over a smooth manifold $X$. If you consider the algebra $ \Omega^\ast (E)$ of differential forms on $E$, it will be homotopy equivalent to the algebra of ...

**6**

votes

**3**answers

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

**5**

votes

**1**answer

945 views

### Geometric Realization of a Simplicial Category

Let $S:\varDelta^{op}\to (cat)$ be a functor where the category on the right is the category whose objects are categories with cofibrations and morphisms are exact functors(from Waldhausen's paper, ...

**6**

votes

**0**answers

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

**8**

votes

**1**answer

492 views

### $K_0$ of a non-separated scheme

This question is on "computing" the Grothendieck group of the projective $n$-space with $m$ origins ($m\geq 1$). For any (noetherian) scheme $X$, let $K_0(X)$ be the Grothendieck group of coherent ...

**9**

votes

**3**answers

2k views

### Is there a simple relationship between K-theory and Galois theory?

I can (barely) understand the definition of the higher algebraic K-groups a la the plus construction right now (I have some past familiarity with K-theory for C*-algebras and can recall the rudiments ...

**21**

votes

**3**answers

2k views

### Does Milnor K-Theory arise from Waldhausen K-Theory

Quillens higher K-groups of rings can be realized as πnK(C) - the Waldhausen K-Theory of a suitable Waldhausen category C. Is this also true for Milnor K-Theory of Rings? Is there a functor F from ...

**8**

votes

**2**answers

389 views

### Maps between K-groups induced by rings homomorphism

Let $f: R\to S$ be a map between two commutative Noetherian rings. Let $G_0(R)=K_0(mod R)$ be the Grothendieck group of finite generated modules over $R$. It means $G_0(R)$ is the quotient of the free ...

**5**

votes

**3**answers

958 views

### The localisation long exact sequence in K-theory over an arbitrary base

If I work over a field k,write D for the formal disk k[[t]] and Dx for the formal punctured disk k((t)), then there is an associated long exact sequence in algebraic K-theory
... Kn+1(Dx) --> Kn(k) ...

**28**

votes

**6**answers

3k views

### Why is Milnor K-theory not ad hoc?

When Milnor introduced in "Algebraic K-Theory and Quadratic Forms" the Milnor K-groups he said that his definition is motivated by Matsumoto's presentation of algebraic $K_2(k)$ for a field $k$ but is ...

**53**

votes

**10**answers

9k views

### Motivation for algebraic K-theory?

I'm looking for a big-picture treatment of algebraic K-theory and why it's important. I've seen various abstract definitions (Quillen's plus and Q constructions, some spectral constructions like ...