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

**17**

votes

**0**answers

294 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**12**

votes

**0**answers

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

**11**

votes

**0**answers

377 views

### Goodwillie's notes from MSRI Lecture Series

Does anyone know where I can find an electronic version of Goodwillie's (unpublished) notes from the MSRI Lecture Series in Spring, 1990? They're mentioned/cited as such in work of Dundas-McCarthy, ...

**11**

votes

**0**answers

985 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

**0**answers

108 views

### Finiteness of torsion in $\mathcal{K}_2$-cohomology

Let $F$ be a number field, $C$ be a smooth projective curve over $F$ and $\mathfrak{C}$ be a proper regular model. I am interested in $\mathcal{K}_2$-cohomology, i.e., Zariski cohomology of the sheaf ...

**9**

votes

**0**answers

304 views

### When does algebraic K theory behave like a cohomology theory

Let $\mathbb{F}$ be a field. Let $K(\mathbb{F})$ be its algebraic (Quillen) $K$-theory spectrum. Let $X$ be a (nice, finite CW) topological space and let $\text{Rep}\Omega(X)$ be the DG category of ...

**9**

votes

**0**answers

189 views

### Algebraic K-theory of a ring.

I started to learn some algebraic $K$-theory and its relation to geometric topology problems.
My question is : What is the list of rings such that all their algebraic $K$-theory groups are known ?
I ...

**9**

votes

**0**answers

106 views

### Gersten complexes in Quillen's and Milnor's K-theories

Consider a good enough scheme $X$ (e.g. an algebraic variety over a field). Let $X_i$ be the set of points of dimension $i$ in $X$. Then we have the Gersten complex in Quillen's K-theory:
$$
...

**9**

votes

**0**answers

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

**9**

votes

**0**answers

304 views

### Geometrizing the Third Cohomology of a Complex Lie Group

If $G_\mathbb{C}$ is a simply-connected simple complex Lie group, theorem 5.4.10 of Brylinski's "Loop Spaces, Characteristic Classes, and Geometric Quantization" claims that there is a natural ...

**9**

votes

**0**answers

425 views

### Rosenberg's proof of Bass-Heller-Swan

I'm reading the proof the Bass-Heller-Swan Theorem in Rosenberg's book Algebraic K-Theory and Applications (Theorem 3.2.22), which asserts
$$K_1(R[t,t^{-1}]) \cong K_0(R) \oplus K_1(R) \oplus ...

**8**

votes

**0**answers

177 views

### How bad can $SK_1$ of a commutative ring be?

For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When ...

**8**

votes

**0**answers

162 views

### Motivic cohomology of a point

I was wondering how much is known about the integral motivic cohomology groups of $\mathrm{Spec}\, k$, $H^{n,p}_{\mathrm{mot}}(\mathrm{Spec}\, k,\mathbb{Z})$. One knows that ...

**8**

votes

**0**answers

109 views

### Bloch group, hyperbolic manifolds and rigidity

I have some questions concerning the hyperbolic geometry side of the rigidity question for $K_3$ which asks if the natural map $K_3^{\operatorname{ind}}(\overline{\mathbb{Q}})\to ...

**7**

votes

**0**answers

123 views

### Rings that are $K_0$ of finite groups

Is there a simple characterisation of all rings which appear as $K_0$ of finite groups? By $K_0$ of a finite group $G$ I mean $K_0(\mathbb C[G])$ which in the same as a ring of virtual characters of ...

**6**

votes

**0**answers

103 views

### $K_0$ an $KH_0$ of a normal crossing variety

Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...

**6**

votes

**0**answers

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

**6**

votes

**0**answers

133 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?

**6**

votes

**0**answers

277 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

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

**5**

votes

**0**answers

159 views

### Gersten Conjecture for Milnor K-theory

The Gersten conjecture for Milnor K-theory, saying that the Gersten complex $$0\rightarrow \mathcal{K}^M_X\rightarrow \oplus_{x\in X^0}i_{x*}(K^M_n(x))\rightarrow \oplus_{x\in ...

**5**

votes

**0**answers

223 views

### Beyond Bloch-Kato conjecture [repost from math.stackexchange]

I have just asked this question on math.stackexchange, and would like to repost it here:
The norm residue isomorphism theorem establishes that the norm residue map between Milnor K-theory of a field ...

**5**

votes

**0**answers

161 views

### Strengthening of Suslin's rigidity argument?

To fix the situation, let $k$ be an algebraically closed field, and let $C$ be a smooth projective curve over $k$. Suslin's rigidity argument implies in particular that any class in ...

**4**

votes

**0**answers

37 views

### Waldhausen's regular coherent groups: torsionfree non-examples and behaviour under taking products?

Waldhausen defined a group $G$ to be regular coherent, if for all regular noetherian rings $R$ the group algebra $RG$ is regular coherent. (see Waldhausen - Algebraic $K$-Theory of generalized free ...

**4**

votes

**0**answers

139 views

### Affine Steinberg groups vs Steinberg groups over Laurent polynomials

Let $R$ be a commutative ring and $\Phi$ be a finite (also called spherical) reduced irreducible root system of rank $\geq 2$. I will denote by $\mathrm{St}(\Phi,R)$ the Steinberg group of type $\Phi$ ...

**4**

votes

**0**answers

272 views

### Pull-push formula?

There are many contexts in which the push-pull formula $f_*(f^*(\alpha)\cdot \beta) = \alpha \cdot f_*(\beta)$ holds. I am interesting mostly in the case of algebraic K-theory and Chow rings (under ...

**4**

votes

**0**answers

135 views

### residue and regulator

Let $C$ be a curve defined over $\mathbb{Q}$. The regulator is a map
$$
reg: K_2(C)_{\mathbb{Q}} \longrightarrow H^1(C(\mathbb{C}), \mathbb{R}).
$$ Here $K_2(C)_{\mathbb{Q}}$ is the K-group tensor ...

**4**

votes

**0**answers

127 views

### The 'most general' papers on rational Borel-Moore motivic homology and K'-theory?

There are two ways to define Borel-Moore motivic homology (of schemes) with rational coefficients: one should either consider certain complexes of algebraic cycles, or the $\gamma$-filtrations of ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

267 views

### where to learn K-group of coherent sheaves modulo numerical equivalence?

I am trying to emerge from my complete ignorance about intersection theory.
I have a bias toward sheaves, so I like the idea of doing intersection theory with the K-group of coherent sheaves. From ...

**4**

votes

**0**answers

279 views

### Vanishing of Nisnevich cohomology of K-theory over a one-dimensional local ring.

Let $A$ be a one-dimensional, Noetherian, local ring, and let $\mathcal{K}_n$ denote the sheafification of $K_n$ (degree $n$ $K$-theory) on the Nisnevich site of $X:=\mbox{Spec }A$. Then is it true ...

**3**

votes

**0**answers

84 views

### The 4-th generator of $K_1$ group for 3-dimensional NC tori algebra

An $n$-dimensional NC torus algebra $A_\theta^{(n)}$ is defined for any antisymmetric $n\times n$ matrix $\theta$ of real numbers as the universal $C^*$-algebra, generated by unitaries ...

**3**

votes

**0**answers

205 views

### What is the relation between Beilinson's conjectures and Standard conjectures of algebraic cycles?

Do Standard conjectures on the K-theory of varieties over finite field have implications in the motivic cohomology of Z where exist the correct formalism of Beilinson's conjectures?
What is the ...

**3**

votes

**0**answers

351 views

### K-theory of differential graded modules over differential graded algebras

Suppose you have a smooth vector bundle $E$ over a smooth manifold $X$. If you consider the algebra $ \Omega^\ast (E)$ of differential forms on $E$, it will be homotopy equivalent to the algebra of ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

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

**2**

votes

**0**answers

174 views

### Algebraic K theory, Karoubi completion and splitting

Suppose $\mathcal{C}\subset \mathcal{C}'$ is a pair of pre-triangulated smooth DG categories over a characteristic-zero basefield (say, $\mathbb{C}$), such that $\mathcal{C}$ is faithfully embedded in ...

**2**

votes

**0**answers

149 views

### Proof of Merkurjev's Theorem in “The Algebraic and Geometric Theory of Quadratic Forms”

I just have a little question about the above mentioned proof. I'm thinking for days, but I'm still not getting it.
For those who have the book (or want to look it up via google books etc.), it's the ...

**2**

votes

**0**answers

82 views

### Centers of Noetherian Algebras and K-theory

I'll start off a little vauge: Let $E$ be a noncommutative ring which is finitely generated over its noetherian center $Z$. Denote by $\textbf{mod}\hspace{.1 cm} E$ the category of finitely ...

**2**

votes

**0**answers

152 views

### Do we have the following “devissage commutative diagram” in K-theory?

Let $X$ be a non-reduced Noetherian scheme. We define $K^0(X)$ to be the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ to be the Grothendieck group of the derived category ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**2**

votes

**0**answers

183 views

### Are connected categories with pullbacks weakly contractible?

Quillen's Theorem A says that a functor between (small) categories $f:I\rightarrow J$ induces a weak equivalence of the nerves if for each $j\in J$ the comma category $f/j$ is weakly contractible. In ...

**2**

votes

**0**answers

918 views

### Online Number Theory Video?

Are there any graduate level number theory course available on line ? The only video series I am aware of are some MSRI videos, and Ted Chinburg's courses http://www.math.upenn.edu/~ted/noframes.html, ...

**1**

vote

**0**answers

77 views

### Reference: Relative cohomology of a morphism

Let $f\colon Y \to X$ be a morphism of schemes, the inverse image in $K$-theory always fit into a long exact sequence
$$
\cdots \to K_i(f)\to K_i(X) \xrightarrow {f^*} K_i(Y)\to \cdots
$$
where the ...

**1**

vote

**0**answers

144 views

### map in K-theory

I have a very stupid question on a map I have seen in K-theory.
The situation is as follows: $X$ is a smooth variety over a field $k$ and $\iota: Z \to X$ is the inclusion of a smooth closed ...

**1**

vote

**0**answers

170 views

### The definition of $SK_1$ for an arbitrary ring

Let $R$ be a unitary associative ring. If $R$ is commutative, then one defines $SK_1(R)$ as the quotient $$SK_1(R)=SL(R)/E(R)$$ (Definition 2.8 of ...

**1**

vote

**0**answers

86 views

### Relation between 1-dimensional and 2-dimensional reciprocity maps

Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, ...