The algebraic-k-theory tag has no usage guidance.

**2**

votes

**1**answer

244 views

### Gersten for homotopy invariant K-theory of non-singular varieties.

Here is the question:
if $X$ is a separated, finite type scheme over a perfect field (but not necassarily smooth) is the map $KH_n(X) \to \prod_{x \in X^{(0)}} KH_n(k(x))$ injective?
If $X$ is ...

**8**

votes

**2**answers

351 views

### Algorithm to calculate $Wh(G)$ for finitely presented group $G$?

Let $G$ be a finitely presented group.
Are there any algorithm to calculate whitehead group $G$, $Wh(G)$ in terms of presentation of $G$?

**1**

vote

**1**answer

572 views

### Nerves of simplicial objects in categories/Waldhausen's S-construction

Is there a good nerve-like functor from simplicial objects in categories to simplicial sets which takes level-wise equivalences of categories to weak equivalences?
To give this some context, I'd ...

**30**

votes

**3**answers

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

**11**

votes

**1**answer

842 views

### When are representation rings special lambda-rings? (variations of an old question)

Status: Questions 2 and 4 answered in the negative. Questions 1 and 3 ARE STILL UNANSWERED, despite previous claims.
On the third page of Wolfang K. Seiler's paper "lambda-rings and Adams ...

**12**

votes

**2**answers

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

**12**

votes

**1**answer

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

**43**

votes

**6**answers

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

**8**

votes

**1**answer

649 views

### Galois descent for K-groups (or for étale cohomology groups)

Let $F/K$ be a Galois extension of number fields with Galois group $G$. Let $\mathcal{O}_F$ and $\mathcal{O}_K$ be the associated rings of integers, and let $n\geq 1$.
When is
$$
...

**15**

votes

**7**answers

2k views

### universal cover of SL2(R): does it admit central extensions?

Is it true that the universal cover of SL2(ℝ) has no non-trivial central extensions... as an abstract group?
(that's certainly true as a Lie group)
Motivation:
I have a projective action of ...

**4**

votes

**2**answers

359 views

### Uses of the Chern--Connes Pairing?

The backbone of Connes' approach to noncommutative geometry is the Chern--Connes pairing. By discovering the cyclic homology of an algebra and then pairing it the $K$-theory of that algebra, Connes ...

**3**

votes

**1**answer

234 views

### A detail in the construction of the coarse index of a Dirac operator in “Roe: An Index Theorem on Open Manifold, I”

Hi,
I'm currently wreading "Roe: An Index Theorem on Open Manifolds, I, J. Differential Geometry 27 (1988), p. 87-113" and there is a detail in the construction of the coarse index of a Dirac ...

**10**

votes

**1**answer

990 views

### Explicit description of boundary map in algebraic K-theory

Recall that for a DVR A with fraction field F and residue field k, there is a "localization" fiber sequence in algebraic K-theory,
$$K(k) \rightarrow K(A) \rightarrow K(F).$$
In Remark 5.17 of his ...

**4**

votes

**1**answer

273 views

### A question on equivariant K-theory

Let $G$ be a connected linear algebraic group over $\mathbb{C}$ and $X$ a $G$-variety. Let $K_G^0(X)$ be the Grothedieck group of coherent $G$-equivariant sheaves on $X$, and $K_G^i(X)$ for $i>0$ ...

**6**

votes

**1**answer

1k views

### Atiyah class for non-locally free sheaf

Let $E$ be a holomorphic vector bundle over a compact complex manifold (or projective algebraic variety) $X$.
The Atiyah class of $E$, $a(E)\in Ext^1(T_X,End(E))$, is defined to be the class of the ...

**11**

votes

**4**answers

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

**6**

votes

**2**answers

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

**4**

votes

**1**answer

287 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

**1**answer

370 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

**0**answers

438 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

**1**answer

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

**14**

votes

**2**answers

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

**1**answer

298 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

**0**answers

274 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

**0**answers

438 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

**1**answer

305 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

**3**answers

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

**11**

votes

**2**answers

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

**1**

vote

**1**answer

987 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

**1**answer

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

**22**

votes

**1**answer

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

**12**

votes

**1**answer

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

**2**answers

452 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

**1**answer

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

**1**answer

329 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

**2**answers

865 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

**1**answer

635 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

**0**answers

133 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

**1**answer

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

**4**answers

655 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

**0**answers

964 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

**3**answers

943 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

**1**answer

572 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

**4**answers

610 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

**4**answers

562 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

**1**answer

494 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

**3**answers

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

**1**answer

541 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

**1**answer

634 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

**2**answers

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