The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
0answers
101 views

Besides F_q, for which rings R is K_i(R) completely known?

With the exception of finite fields and "trivial examples", which rings $R$ are such that Quillen's algebraic $K$ groups $K_i(R)$ are completely known for all $i\geq 0$? Here, by "trivial examples" ...
2
votes
0answers
149 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 : ...
1
vote
0answers
88 views

Over which fields (of positive characteristic) is the Beilinson-Soulé vanishing conjecture known to hold?

Let $k$ be a field, and denote by $K_p(k)^{(n)}$ the weight $n$ eigenspace of the Adams operations on the $p$-th $K$-group of $k$. The Beilinson-Soulé (BS) vanishing conjecture predicts that $$ ...
5
votes
0answers
88 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 ...
6
votes
0answers
104 views

Split exact categories arising naturally

If you're interested in the $K$-theory of rings, a useful feature of the exact category of finitely generated projective (or free) modules is that it is split exact, i.e. every short exact sequence is ...
2
votes
0answers
91 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 ...
17
votes
4answers
1k views

Quillen's motivation of higher algebraic K-theory

Almost the same question was already asked on MO Motivation for algebraic K-theory? However, to my taste, the answers there consider the subject from a more modern point of view. When I open a book ...
4
votes
2answers
351 views

Riemann-Roch without denominators?

The Riemann-Roch Theorem, the Grothendieck-Riemann-Roch Theorem , the Grothendieck-Hirzebruch-Riemann-Roch Theorem , all of them are well explained at Wikipedia .I would like to understand the meaning ...
2
votes
1answer
96 views

Endomorphism Ring of Indecomposable MCM Modules

Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...
2
votes
0answers
129 views

K-theory and completion

I asked this question also on math.stackexchange. But maybe it's better to ask the Mathoverflow community. I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of ...
5
votes
0answers
57 views

K-Theory and completion [duplicate]

I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of Quillen) of a noetherian local ring $A$ with maximal ideal $\mathfrak{m}$ with the $K$-theory of the ...
6
votes
1answer
192 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
0answers
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 ...
3
votes
2answers
211 views

Suslin's Stability Theorem for Chevalley Groups

I am looking for a version of Suslin's Stability Theorem for Chevalley groups. The version of the theorem for $G=SL_n({\mathbb Z}[x_1, \dots , x_m])$ states that the if $n\ge m+2$, the elementary ...
5
votes
1answer
219 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
2answers
234 views

on the Zariski sheafification of Quillen's K-theory

Let $X$ be a smooth k-variety and denote by $K_n$ Quillen's K-theory sheaf, that is: the Zariski sheaf on $X$ associated to the presheaf $U \mapsto K_n(U)$. The Bloch-Quillen formula says that ...
3
votes
1answer
284 views

an elementary question on K-theory

Sorry for asking such an elementary question. 1) What is Quillen's $K_1$ of a (nice) scheme $X$? If $X=Spec(k)$, I guess one gets $k^\times$, is that correct? What about the case of a curve $C$ ...
4
votes
1answer
365 views

Faltings-Riemann-Roch Theorem

I found the famous Faltings book ``Lectures on arithmetic Riemann-Roch theorem". In the book, very analytic techniques such as Garding inequality or heat kernel are explained. I have no idea where ...
4
votes
1answer
154 views

Codimension zero embeddings and diffeomorphism groups

Let $V$ be a smooth manifold obtained by attaching the ``open collar'' $[0,1)\times \partial N$ to a compact smooth manifold $N$ along the boundary. Let $\mathrm{Emb}(N, V)$ be the space of embeddings ...
4
votes
0answers
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 ...
6
votes
0answers
98 views

Can any suspension spectrum be realized as Waldhausen K-theory?

If we consider the category of finite, pointed sets and declare cofibrations to be inclusions and weak equivalences to be bijections, we get a Waldhausen category whose $K$-theory spectrum is the ...
1
vote
0answers
44 views

Do GE rings have matrix completion?

If $R$ is a ring, $E_n(R)$ is the subgroup of the group $GL_n(R)$ generated by matrices obtained from the multiplicative identity matrix by replacing an off-diagonal entry by some $r \in R$. The ...
7
votes
0answers
159 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 ...
1
vote
1answer
184 views

Additivity theorem for algebraic L-theory?

There is an additivity theorem for algebraic K-theory. My question is is there an additivity theorem for algebraic L-theory?
7
votes
1answer
357 views

Algebraic K-theory of odd-dimensional spheres

Let $A(X)$ denote the Waldhausen's algebraic K-theory of a space $X$, and let $n$ be odd. Are the rational homotopy groups of $A(S^n)$ known? Is the group $\pi_{2k}(A(S^n))$ finite for all ...
2
votes
1answer
55 views

Action of GL(2,O_k) on 1d subspaces of (O_k)^2

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$. Let $M$ be a rank $1$ projective module over $\mathcal{O}_k$ (in other words, $M$ is a projective module such that $k ...
11
votes
2answers
283 views

Bass's paper “Symplectic groups and modules”, used in proof of the congruence subgroup property for Sp

Let $R$ be the ring of integers in a number field. While studying the congruence subgroup property for $\text{Sp}_{2g}(R)$ in Bass, H.; Milnor, J.; Serre, J.-P. Solution of the congruence subgroup ...
1
vote
0answers
136 views

Computation of Quillen K-groups for mod R

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the ...
6
votes
0answers
113 views

Torsion in Whitehead group

Let $\pi$ be a finite group of odd order. What do we know about the torsion subgroup of $Wh(\pi)$? I am especially interested in the $2$-primary part. Is it always trivial?
2
votes
0answers
154 views

Certain central extensions of simply connected simple algebraic groups

An offbeat question involving Milnor's $K_2$ has come up recently. Start with an algebraically closed field $F$ (perhaps required to be of characteristic 0). Let $G$ be a connected, simply connected ...
3
votes
1answer
235 views

Finite tor dimension in Quillen's paper

Quillen gives the following projection formula his foundational paper on higher algebraic k-theory. (For simplicity, I assume all schemes are noetherian.) Let $f: X \rightarrow Y$ be a proper map of ...
2
votes
1answer
124 views

Can this reduced version of algebraic K-theory be identified with this direct limit?

Let $X$ be a connected smooth scheme over a field and let $VB(X)$ be the exact category of vector bundles (i.e. locally free $\mathcal{O}_X$-module whose rank is finite at every point) over $X$. Let ...
7
votes
1answer
239 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
1answer
274 views

Is the algebraic Grothendieck group of a weighted projective space finitely generated ?

This is to be confronted with Joseph Gubeladze' paper : "Toric varieties with huge Grothendieck group" !
3
votes
1answer
157 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 ...
6
votes
2answers
382 views

Algebraic K-theory and Homotopy Sheaves

Recently, when I was reading the definition of higher algebraic K-theory, I tried to give myself some motivation by looking at derived algebraic geometry. The constructions for algebraic K-theory ...
8
votes
1answer
355 views

Waldhausen $K$-theory for $G$-spaces

I would guess that the following is true, and that somebody has worked it out, but I don't recall ever seeing it. Can anyone point me to any literature on it? Let $G$ be a finite group. We know that ...
33
votes
2answers
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 ...
10
votes
2answers
360 views

What is the Q-construction, metaphysically?

An exact (small) category $P$ is an environment in which we make sense of the "put-together"-edness of objects via (short) exact sequences. It seems like the K-theory of an exact category encodes the ...
4
votes
2answers
344 views

K-theory of monoidal categories

I am novice in the algebraic K- theory and don' t know if this is the right place for the following questions. So some people might consider them as basic questions. Consider an exact monoidal ...
0
votes
0answers
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 ...
1
vote
1answer
112 views

homology of $B S^{-1} S$ computation in the proof that $+ = Q$

Let $S$ denote the category of projective (left) $R$-modules with isomorphisms for arrows. We have that $BS^{-1}S \sim B \text{GL}(R)^+ \times K_0(R)$ In proving this, in Srinivas' algebraic ...
2
votes
1answer
421 views

Intuition as to why the K-theory of a ring should be the homotopy theory of an H-space

For an ideal $I \subset R$ with relative K-groups $K_i(R,I)$ we have an exact sequence $K_2(R) \to K_2(R,I) \to K_2(R/I) \to K_1(R) \to K_1(R,I) \to K_1(R/I)$ $\to K_0(R) \to K_0(R,I) \to K_0(R/I)$ ...
8
votes
2answers
273 views

Categorical description of the second K-group

Let $\mathcal{P}$ be a (small) exact category. Without delving into any homotopy theory, we can provide characterisations of $K_0(\mathcal{P})$ and $K_1(\mathcal{P})$ as plain categorical ...
3
votes
2answers
319 views

Morphisms between $K_0$

I suppose this is a question with a well known answer. Suppose $A$ and $B$ are two algebras over some field and there is a map $$ f: \operatorname{K_0}(A) \to \operatorname{K_0}(B) $$ is it ...
1
vote
1answer
189 views

Simplicial sets from bisimplicial sets, and their realisations.

From a bisimplicial space $T$, one can consider the simplicial spaces $\underline p \mapsto T_{pp} $, $\underline p \mapsto |\underline q \mapsto T_{pq} |$, and $\underline q \mapsto |\underline p ...
2
votes
1answer
195 views

Path components of a monoidal category form a monoid?

In Grayson's 'Higher Algebraic K-theory II', leading up to the categorical generalisation of the plus construction, he considers $\pi_0(S) = \pi_0(BS)$, where $S$ is a (small, symmetric) monoidal ...
8
votes
1answer
412 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
3answers
638 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
0answers
184 views

K-Theory and Tame Symbol

This might be a little bit spesific but here it goes. While reading a paper (Brauer-Manin pairing...) by Yamazaki, I encountered this definition. Let $V$ be a variety. $y$ be a one dimensional point ...