The tag has no usage guidance.

learn more… | top users | synonyms

16
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
311 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
279 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
454 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
308 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
772 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 ...
12
votes
2answers
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 ...
2
votes
1answer
1k 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 $\mathbb{Z}/...
11
votes
1answer
391 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 P^2$...
21
votes
1answer
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. ...
14
votes
1answer
2k 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 ...
-1
votes
2answers
480 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. ...
18
votes
1answer
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 ...
5
votes
1answer
338 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
909 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
657 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 ...
4
votes
0answers
138 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
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 ...
4
votes
4answers
673 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 ...
11
votes
0answers
995 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 ...
11
votes
3answers
988 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
589 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 ...
7
votes
4answers
656 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
568 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
496 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 ...
14
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
561 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 ...
14
votes
1answer
652 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
811 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 $\lambda_T:R\to\...
5
votes
1answer
718 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: ...
7
votes
1answer
656 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 W,...
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 K0-...
10
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 ...
23
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
466 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 ...
9
votes
2answers
468 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
6answers
2k 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 ...
8
votes
3answers
1k 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) --...
34
votes
6answers
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 ...
12
votes
3answers
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 ...
16
votes
3answers
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?
21
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. http://en.wikipedia.org/...
9
votes
2answers
2k 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 ...
68
votes
10answers
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 ...