The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
3answers
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
2answers
428 views

Why does the map $BG\to A(*)$ fail to split?

There is a map $BG \to A(\ast)$ where $BG$ classifies stable spherical fibrations and $A(\ast)$ is Waldhausen's algebraic $K$-theory of a point. The map is induced by applying Quillen's plus ...
3
votes
1answer
194 views

Adams graded parts of rational K-theory of a number field.

Let $F$ be a number field and $r_{1}$ and $r_{2}$ the numbers of real and pairs of complex embeddings respectively of $F$. Then Borel computed that for $n\geq 2$ $$ K_{n}(F)_{\mathbb{Q}}\simeq ...
4
votes
1answer
325 views

Is there a clean definition of the residue map in Milnor K-theory?

If K is a field, v a discrete valuation, and k the residue field, there is a residue map $\partial: K^M_n(K) \to K^M_{n - 1}(k)$. All the definitions I have seen for this map involve two pages of ...
3
votes
0answers
417 views

Algebraic description of double vector bundles.

It is well known, by Serre-Swan theorem, that given a compact manifold M there is an equivalence of categories between the category of vector bundles over M and the category of finitely generated ...
5
votes
1answer
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, ...
13
votes
2answers
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 ...
3
votes
1answer
276 views

Explain the relation between $K_0$ and morphisms of Chow motives

The Chern class yields an isomorphism $K_0(X)\otimes \mathbb Q\cong \bigoplus_{i\ge 0} Chow^i(X)\otimes \mathbb Q$ (for a smooth variety $X$ over a field?), whereas the latter group is isomorphic to ...
6
votes
0answers
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 ...
6
votes
0answers
277 views

Inverse Galois Problem…and parallelizable vector fields?

Usual approaches to the inverse Galois problem start with realizations of a group $G$ over a larger field, and then try to specialize to ${\Bbb Q}$. One could also start by building suitable objects ...
4
votes
1answer
290 views

Algebraic K-groups and braids

This is (I think) a reference request: Are there calculations of any algebraic K-groups for the (group ring of) the Artin braid groups?
5
votes
3answers
640 views

Group rings of infinite products of groups

Given a infinite family of groups $(G_i)$ for $i\in I$. Is there a ring theoretic construction, that produces $R[\prod_{i\in I} G_i]$ using only the rings $(R[G_i])_{i\in I}$ ? For the case of a ...
9
votes
2answers
959 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 ...
2
votes
1answer
775 views

Z/48 and Moonshine Beyond the Monster

I am interested in pursuing an understanding of K-theory. Primarily, the $K_3(\mathbb{Z})$ algebraic K-group over ring of integers of an algebraic number field and its relationship to the ...
11
votes
1answer
351 views

Intersection of subvarieties versus ranks of Chow groups modulo numerical equivalences

A nice property of $\mathbb P^n$ is: Property 1: Two subvarieties $U,V$ such that $\operatorname{dim} U +\operatorname{dim} V \geq n$ always intersect. (for example, any 2 curves in $\mathbb ...
21
votes
1answer
1k 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. ...
10
votes
1answer
1k views

Values of zeta at odd positive integers and Borel's computations

Someone recently quoted to me this recent article that claims to prove that $\zeta(2n+1) \notin (2\pi )^{2n+1} \mathbb{Q}$. I always assumed this was well known. More precisely I thought this result ...
0
votes
2answers
403 views

Definition for fundamental group (higher homotopy groups) for a category?

How to define homotopy groups in categories as in Quillen's definition for Higher algebraic K-theory: K_i(M)=\pi_{i+1}(BQM, 0), where M is a small category and BQM is the classifying space of QM. ...
15
votes
1answer
1k 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 ...
5
votes
1answer
299 views

On $\gamma$-graded pieces of the localization sequence for G-theory (i.e. for K'-theory)

There is a well-known Quillen's localization sequence for (algebraic) K-theory: $\dots\to K_p^Y(X)\to K_p(X)\to K_p(X-Y)\to \dots$, where $Y\to X$ is a closed embedding of schemes. Now suppose that ...
5
votes
2answers
749 views

Relation between motivic cohomology and Quillen K-theory

What's the relation between Voevodsky's motivic cohomology and Quillen K-theory of a scheme?
4
votes
1answer
583 views

Seeking examples or proof: injectivity of Cartan homomorphism for commutative rings?

This question is motivated by some issue raised by David Speyer in this question. Let $R$ be a ring. Let $K_0(R)$ and $G_0(R)$ be the Grothendieck groups of f.g. projective modules and f.g. modules ...
3
votes
0answers
115 views

How to determine kernels of maps between algebraic K_1-groups

Suppose we have a ring homomorphism $\varphi: R \to S$, say an injection (e.g. coming from an injection $H \to G$ of finite groups and $R=\mathbb{Z}_p[H],S=\mathbb{Z}_p[G])$, what can be said about ...
26
votes
1answer
1k 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 ...
4
votes
4answers
583 views

Is a field uniquely determined by its multiplicative group/how much knows K_1 about fields?

As the title says I would like to know if $K_1(k)=k^*$ uniquely determines a field $k$. For finite fields this is clearly the case, but I suspect it is not ture in general. However I guess cooking up ...
10
votes
0answers
821 views

Are there analogues of Beilinson's conjectures for motives with coefficients?

There's a body of wisdom (following Beilinson, Bloch, Deligne, ...) relating mixed Tate motives, motivic cohomology, algebraic K-theory, special values of L-functions, and polylogarithms. My ...
10
votes
3answers
795 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 ...
5
votes
1answer
546 views

Is there a category-theoretic definition of the arithmetic Grothendieck group

Let $X$ be a regular scheme which is flat over $\mathbf{Z}$. The arithmetic Grothendieck group $\hat{K}(X)$ is defined to be the quotient of $\hat{G}(X)$ by $\hat{G}^\prime(X)$. This is actually quite ...
6
votes
3answers
470 views

Symplectic Steinberg group

I have several questions about Steinberg group and K2 for symplectic group: Can I extend the definition of Steinberg symbols to symplectic case? Will they generate the center of Steinberg group? ...
3
votes
4answers
534 views

Does every projective A/I-module come from A?

Let $A$ be a Noetherian commutative ring and $I$ an ideal in $A$. It is pretty much trivial to see that every free $A/I$-Module is obtained from a free $A$-module by tensoring over $A$ with $A/I$: ...
2
votes
1answer
482 views

On finite endomorphisms of $\mathbf{P}^r$

This question is basically on applying the Grothendieck-Riemann-Roch theorem to finding a formula for the push-forward of a line bundle on $\mathbf{P}^r$ under a certain morphism. Since I have a lot ...
13
votes
3answers
1k views

Can we decompose Diff(MxN)?

If you have two manifolds $M^m$ and $N^n$, how does one / can one decompose the diffeomorphisms $\text{Diff}(M\times N)$ in terms of $\text{Diff}(M)$ and $\text{Diff}(N)$? Is there anything we can say ...
8
votes
1answer
490 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 ...
13
votes
0answers
397 views

Link: Serre's intersection formula <-> Bloch-Quillen Thm / When only intersecting divisors, is there 'shorter' approach of proof known?

In very short: When proving the equivalence of intersection theory constructed through (Milnor) K-sheaves and their product vs. defining the product via Serre's local multiplicity formula + moving, I ...
5
votes
2answers
714 views

Is every Adams ring morphism a lambda-ring morphism?

A lambda-ring $R$ is called "special" if it satisfies the $\lambda^i\left(xy\right)=...$ and $\lambda^i\left(\lambda^j\left(x\right)\right)=...$ relations, or, equivalently, if the map ...
5
votes
1answer
642 views

Quillen's Morphism Inverting Functors

In "Higher algebraic K-theory I" Quillen defines a morphism inverting functor to be a functor from a category C to the category Sets which maps "arrows" in C to isomorphisms in Sets. Proposition 1: ...
6
votes
1answer
525 views

Isolated hypersurface singularities, Chow groups and D-branes

Say a ring $R$ is an isolated hypersurface singularity if $R = k[x_1, \ldots, x_n]_{(x_1, \ldots, x_n)}/(W)$, where $k$ is a field and $W \in k[x_1, \ldots, x_n]$ is such that the ideal $(\partial_1 ...
13
votes
3answers
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 ...
9
votes
3answers
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
3answers
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 ...
7
votes
2answers
447 views

(Co-) Homology associated to Waldhausen K-Theory

Waldhausen K-Theory takes as input a Waldhausen category C and produces a spectrum K(C). I would like to know what is known about generalized (co-) homology theories that can be realized by this ...
8
votes
2answers
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 ...
1
vote
6answers
1k views

Differences between reflexives and projectives modules

Let R be a normal noetherian domain. What is the difference between a finitely generated reflexive module and a finitely generated projective module? Can anybody recommend any references or make ...
5
votes
3answers
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
6answers
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 ...
12
votes
3answers
935 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 ...
14
votes
3answers
1k 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?
20
votes
4answers
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. ...
9
votes
2answers
1k views

algebraic K-theory and tensor products

Algebraic K-theory defines a functor K taking commutative rings to E_\infty ring spectra. I'm interested in which pushouts (tensor/smash products) K preserves. For example, if R is a regular ...
53
votes
10answers
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 ...