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

**6**

votes

**1**answer

222 views

### Pullback along Frobenius morphism

Let $X$ be a scheme over a finite field $\mathbb{F}_q$ and let $F : X \to X$ be the absolute Frobenius morphism. If $\mathcal{L}$ is an invertible $\mathcal{O}_X$-module, then there is a natural ...

**12**

votes

**0**answers

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

**10**

votes

**0**answers

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

**9**

votes

**0**answers

100 views

### Is there an ∞-categorical interpretation of the Quillen S⁻¹S construction?

The Quillen S⁻¹S construction (not to be confused with the Quillen Q-construction or the Quillen plus-construction),
as defined by Grayson in Higher algebraic K-theory: II (page 219),
takes as an ...

**9**

votes

**0**answers

195 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

300 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

406 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

88 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:
$$
...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

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

**6**

votes

**0**answers

96 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

145 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

130 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

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

**5**

votes

**0**answers

146 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

214 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

155 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

175 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

122 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

122 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

126 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

317 views

### K-Theory and Tame Symbol

This might be a little bit spesific but here it goes. While reading a paper (Brauer-Manin pairing...) by Yamazaki, I encountered this definition.
Let $V$ be a variety. $y$ be a one dimensional point ...

**4**

votes

**0**answers

255 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

265 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

81 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

184 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

344 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

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

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

**2**

votes

**0**answers

139 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

79 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

139 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

176 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

164 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

174 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

186 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

173 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

878 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

142 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

155 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

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

**1**

vote

**0**answers

164 views

### Surjectivity of the algebraic K-functor

Let $R \to S$ be a surjective morphism of commutative rings. For a fixed integer $q$, is there any known condition under which the resulting morphism of the K-groups, $K_q(R) \to K_q(S)$ is ...

**1**

vote

**0**answers

70 views

### Relative Gersten resolution for a flat projective morphism

I am reading two papers by Daniel Grayson: "Localization for flat modules in algebraic K-theory" and "Algebraic cycles and algebraic K-theory" and I am wondering if any recent advances in K-theory ...

**1**

vote

**0**answers

58 views

### Do GE rings have matrix completion?

If $R$ is a ring, $E_n(R)$ is the subgroup of the group $GL_n(R)$ generated by matrices obtained from the multiplicative identity matrix by replacing an off-diagonal entry by some $r \in R$. The ...

**1**

vote

**0**answers

161 views

### Computation of Quillen K-groups for mod R

The recent paper K-Groups for Rings of Finite Cohen-Macaulay Type by H. Holm allows us to compute the Quillen $K$-group $K_1(\text{mod}\hspace{.1 cm}R)$ as a quotient of the abelianization of the ...

**0**

votes

**0**answers

99 views

### Central extensions of SL2(R) by U(1) ?

Can somebody please tell me what are the central extensions of SL2(R) by U(1), that is, what is $H^2(SL2(R), U(1)) $ ? Thank you

**0**

votes

**0**answers

93 views

### Reciprocity laws in different dimensions

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

**0**

votes

**0**answers

184 views

### A question about higher K-theory

Suppose $\mathcal{A,B,C}$ are additive categories, $\mathcal B$ is a subcategory of $\mathcal C$. Now let $F,G: \mathcal A\rightarrow\mathcal B$ be two additive functors. Suppose $F,G$ are naturally ...

**0**

votes

**0**answers

273 views

### A modified version of K-theory for manifolds ?

If $X$ is a compact smooth manifold, $K^{0}(X)$ can be defined as the algebraic $K_{0}$-group of $C^{\infty}(X)$. In order to do that we use the following equivalence relation: we say that two ...