# Tagged Questions

The tag has no usage guidance.

13k 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 ...
4k views

### Which of Quillen's Papers Should I read?

I just heard that Dan Quillen passed on. I am not familiar with his work and want to celebrate his life by reading some of his papers. Which one(s?) should I read? I am an algebraic geometry who is ...
3k 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 ...
4k 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 ...
2k views

### How much linear algebra can be done with graphs?

Let G be a finite directed acyclic graph, with sources $A=\{a_1,\ldots,a_n\}$ and sinks $B=\{b_1,\ldots,b_n\}$, with edge weights $w_{ij}$. The weight of a directed path P is the product of weights of ...
1k 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 ...
2k views

### Why is Riemann-Roch for stacks so hard?

First some indication that it really is a difficult problem: Both Vistoli and Gillet in their classics on intersection theory on stacks remark that their should be a Riemann-Roch theorem for proper ...
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 ...
713 views

### When is $SL(n,R) \rightarrow SL(n,R/q)$ surjective?

Let $R$ be a commutative ring with unit and let $q$ be an ideal of $R$. There is thus a natural map $SL(n,R) \rightarrow SL(n,R/q)$ for all $n$. This map is surjective if $SL(n,R/q)$ is generated by ...
2k views

### Motivation/interpretation for Quillen's Q-construction?

This question has been on my mind for a while. As I understand it, the Q-construction was the first definition for higher algebraic K-theory. Some details can be found here. http://en.wikipedia.org/...
2k 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 ...
2k views

### Morava on Shafarevich

Jack Morava has some interesting ideas stemming from stable homotopy theory and geometric topology on the Shafarevich Conjecture. The Shafarevich Conjecture states: $Gal(\bar Q / Q_{cycl})$ is free. ...
518 views

### Group with finite outer automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$? A motivation is ...
2k views

### What is a path in K-theory space?

In a comment on Tom Goodwillie's question about relating the Alexander polynomial and the Iwasawa polynomial, Minhyong Kim makes the cryptic but tantalizing statement: In brief, the current view is ...
453 views

### Can topological cyclic homology compute Picard groups?

Let $K$ be a number field, and $\mathcal{O}_K$ its ring of integers. Then there is an isomorphism $$K_0(\mathcal{O}_K) \cong \mathbb{Z} \oplus Pic(\mathcal{O}_K)$$ where $Pic(\mathcal{O}_K)$ is the ...
662 views

### References for $K_{4k}(\mathbb{Z})$

Weibel's "Algebraic K-theory of rings of integers in local and global fields" says $K_{4k}(\mathbb{Z})$ are known to have odd order, with no prime factors less than $10^7$, but are conjectured to be ...
2k views

### K(F_1) = sphere spectrum?

I repeatedly heard that K(F_1) is the sphere spectrum. Does anyone know about the proof and what that means?
2k views

### What's about “quantum modular forms”?

Do you know where one could read on "Modular Forms, K-theory and Knots"? The combination of themes sounds thrilling! Edit: Zagier's paper on "quantum modular forms" will be published in Clay's ...
987 views

2k views

### Is Higher K-functor the derived functor of K0?

It might be a stupid question. I wonder whether the derived functor of functor K0 is Quillen Higher K-functor? If not, is there any relationship between derived functor of K0(or satellites of K0-...
681 views

### Homotopy groups of Fredholm operators

If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that $$\pi_0(\mathcal{F}) = \mathbb{Z}\, ,$$ i.e. the connected ...
1k 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 ...
385 views

### Epsilon factors - a la Beilinson - What is it?

I understand, to some extent, Tate's thesis. Could somebody explain perhaps what are the epsilon factors in Beilinson's works, such as "$\epsilon$-factors for Gauss-Manin determinants", or "...
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 "...
1k views

### Why does the Grothendieck group $K_0(R)$ of a ring not depend on our choice of using left modules instead of right modules?

I am under the impression that in the definition of the Grothendieck group $K_0(R)$ of a (non-commutative) ring it doesn't matter whether we apply the usual $K_0$ construction to the exact category of ...
1k views

### Why was it reasonable to ask what the higher K-groups are?

To say I am a novice in $K$-theory is to overstate my experience with the field. I've been reading the various wiki articles so as to have some preparation before jumping in, and I couldn't answer the ...
812 views

### Rationalised K-theory of number fields

Let $A$ be the ring of integers in a number field, and consider the rationalised algebraic $K$-theory groups $\mathbb{Q}\otimes K_*(A)$. A theorem of Borel calculates the ranks of these groups; the ...
1k views

### Stable Homology of arithmetic groups.

Suppose that F/Q is a number field. Using automorphic forms, Borel computed the (R-) stable cohomology of SL_n(O_F), and as a ...
506 views

### What is the coefficient ring of algebraic K theory of the discrete $\mathbb{C}$?

Ordinary (connective) complex $K$-theory is the algebraic $K$ theory of the topological ring $\mathbb{C}$ with analytic topology. One can also study the $K$ theory of $\mathbb{C}$ with discrete ...
393 views

### A looping of algebraic K-theory

Algebraic K-theory of an exact category $\mathcal{C}$ is a certain universal non-connective spectrum $K(\mathcal{C})$. In particular, objects of $\mathcal{C}$ give elements of $K_0(\mathcal{C})$. ...
345 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 ...
282 views

### The multiplication on $THH$ of finite fields

Let $k$ be a finite field, $THH(k)$ its topological Hochschild homology spectrum. For essentially formal reasons, we know that it's an $E_\infty$-algebra over the Eilenberg-Mac Lane spectrum $Hk$, and ...
528 views

### Is there a category whose isomorphisms are precisely the simple homotopy equivalences?

If we start with the category of finite complexes and continuous maps, and then identify two morphisms iff they are homotopic, we get the homotopy category of finite complexes, and it is trivial to ...
1k 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 ...
995 views

### What is the difference between Grothendieck groups K_0(X) vs K^0(X) on schemes?

More specifically, I was wondering if there are well-known conditions to put on $X$ in order to make $K_0(X)\simeq K^0(X)$. Wikipedia says they are the same if $X$ is smooth. It seems to me that you ...
If I understand correctly, $n$-th arithmetic Chow group of arithmetic variety $X$ is defined as a quotient of the group of pairs of the form $(\sum\limits_in_iZ_i, g)$ where $Z := \sum\limits_in_iZ_i$ ...
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 ...