The algebraic-k-theory tag has no wiki summary.

**4**

votes

**0**answers

85 views

### Is there a simple proof that Milnor $K_2$ of a number field is torsion?

This is a theorem of Garland. I had a look at the original paper which looks pretty complicated. I was wondering if the proof has been simplified over the years or if a different approach is nowadays ...

**3**

votes

**0**answers

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

**0**

votes

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

141 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

**1**answer

69 views

### Equivalence of definitions of the Milnor $K$-groups

In Kurihara's paper: "The exponential homomorphisms for the Milnor $K$-groups and an explicit reciprocity law" he difines, in the first page, the $q$-th Milnor K-group for the ring $R$ as
...

**1**

vote

**0**answers

217 views

### Higher Homotopy Groups

Theorem 5.1 of this paper
describes a map $K_n(R)\to \pi_{n+1}(SK(E(R),1))$, where $S$ denotes the suspension. My question: Do we have a map from $K_n(R)\to \pi_{n+1}(S^2K(E(R),1))$. Any reference is ...

**9**

votes

**2**answers

367 views

### Homotopy groups of Fredholm operators

If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that
$$ \pi_0(\mathcal{F}) = \mathbb{Z}\, , $$
i.e. the connected ...

**4**

votes

**0**answers

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

**2**

votes

**1**answer

242 views

### Reference request: Grothendieck´s period conjecture?

I would like to know if Grothendieck published something about this conjecture?
Is there some book (or expository article) about this conjecture?
Is there any connection between this conjecture and ...

**6**

votes

**0**answers

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

**5**

votes

**1**answer

293 views

### Detection of stable homotopy by K-theory spectra

This is primarily a reference request. Does anyone know of any writing about algebraic K-theory spectra picking up elements in the stable homotopy groups of spheres in their Hurewicz image coming from ...

**2**

votes

**0**answers

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

**5**

votes

**0**answers

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

**7**

votes

**1**answer

143 views

### Transfers on Bloch groups and scissors congruence groups

I have a couple of questions concerning existence and description of
transfers for Bloch groups and scissors congruence groups/pre-Bloch
groups.
To fix notation and recall definitions:
From the ...

**0**

votes

**1**answer

209 views

### Articles about Weil cohomology theory by Grothendieck and Artin

In "The Standard Conjectures" Kleiman says that the following properties of Weil cohomology theory were proved in 1963 for étale cohomology by Artin and Grothendieck, except for the last one that it ...

**2**

votes

**1**answer

270 views

### Is there any publication of “Beilinson’s dream” on motivic (complexes of) sheaves?

In "Standard conjectures of algebraic cycles" nLab says:
"... They were also followed by “Beilinson’s dream” on motivic (complexes of) sheaves which comprise so called standard conjectures of ...

**4**

votes

**1**answer

229 views

### why Borel's computation implies Beilinson-Soulé?

Let $k$ be a field of characteristic zero and $DM(k)_{\mathrm{Q}}$ Voevodsky's category of motives over $k$ with rational coefficients. The Beilinson-Soulé conjecture says
$$
...

**3**

votes

**3**answers

587 views

### Algebraic K-theory can be seen as a generalization of Linear algebra? [closed]

Algebraic K-theory can be seen as a generalization of Linear algebra?
If yes, how so?

**4**

votes

**1**answer

456 views

### A weak version of Bass' conjecture

Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...

**15**

votes

**1**answer

376 views

### Is there any publication of Bombieri about the standard conjectures on algebraic cycles?

In "Standard conjectures of algebraic cycles" Grothendieck says:
"... These [Standard conjectures] are not really new, and they were worked out about three years ago independently by Bombieri and ...

**1**

vote

**0**answers

209 views

### Where can I find the article of A. Borel: “Values of zeta-functions at integers, cohomology and polylogarithms”? [closed]

Where on the internet can I find this article?
I know that it is in this book: Current trends in mathematics and physics, Narosa, New Delhi, 1995.

**1**

vote

**1**answer

321 views

### Where can I find the article of Kleiman: “Algebraic cycles and Weil conjectures. Dix exposés sur la cohomologie des schémas”?

Where on the Internet can I find the article of Kleiman: "Algebraic cycles and Weil conjectures. Dix exposés sur la cohomologie des schémas" ?

**5**

votes

**1**answer

217 views

### Is this spectrum the algebraic K-theory spectrum of something?

Given a spectrum, is there any kind of machinery that can tell you whether it is the K-theory spectrum of some recognizable category? For example, could TMF be realized in this way? In this case we ...

**8**

votes

**2**answers

439 views

### is there a p-adic Borel theorem?

Let $F$ be a number field. Denote, as usual, $\mathcal{O}_F$ the ring of integers and $r_1$, $r_2$ the number of real and complex embeddings. Let $\zeta_F(s)$ be the Dedekind zeta function of $F$. ...

**13**

votes

**1**answer

360 views

### Fundamental theorem of K-theory for loop groups over $\mathbb{F}_1$?

As the title says, I would like to know what the fundamental theorem of algebraic K-theory would say over the field with one element. Recall that the fundamental theorem of K-theory provides a ...

**12**

votes

**2**answers

395 views

### What is the coefficient ring of algebraic K theory of the discrete $\mathbb{C}$?

Ordinary (connective) complex $K$-theory is the algebraic $K$ theory of the topological ring $\mathbb{C}$ with analytic topology. One can also study the $K$ theory of $\mathbb{C}$ with discrete ...

**11**

votes

**0**answers

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

**9**

votes

**2**answers

258 views

### A looping of algebraic K-theory

Algebraic K-theory of an exact category $\mathcal{C}$ is a certain universal non-connective spectrum $K(\mathcal{C})$. In particular, objects of $\mathcal{C}$ give elements of $K_0(\mathcal{C})$.
...

**15**

votes

**1**answer

212 views

### Besides F_q, for which rings R is K_i(R) completely known?

With the exception of finite fields and "trivial examples", which rings $R$ are such that Quillen's algebraic $K$ groups $K_i(R)$ are completely known for all $i\geq 0$?
Here, by "trivial examples" ...

**2**

votes

**0**answers

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

**8**

votes

**1**answer

291 views

### Over which fields (of positive characteristic) is the Beilinson-Soulé vanishing conjecture known to hold?

Let $k$ be a field, and denote by $K_p(k)^{(n)}$ the weight $n$ eigenspace of the Adams operations on the $p$-th $K$-group of $k$.
The Beilinson-Soulé (BS) vanishing conjecture predicts that
$$
...

**5**

votes

**1**answer

197 views

### Definition of a cylinder functor in Waldhausen's K-theory

In Waldhausen's Algebraic K-Theory of Spaces, he defines a cylinder functor on a category $\mathcal C$ with cofibrations and weak equivalences (henceforth called a Waldhausen category) as the ...

**6**

votes

**0**answers

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

**2**

votes

**0**answers

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

**18**

votes

**4**answers

1k views

### Quillen's motivation of higher algebraic K-theory

Almost the same question was already asked on MO Motivation for algebraic K-theory?
However, to my taste, the answers there consider the subject from a more modern point of view.
When I open a book ...

**4**

votes

**2**answers

529 views

### Riemann-Roch without denominators?

The Riemann-Roch Theorem, the Grothendieck-Riemann-Roch Theorem , the Grothendieck-Hirzebruch-Riemann-Roch Theorem , all of them are well explained at Wikipedia .I would like to understand the meaning ...

**3**

votes

**1**answer

188 views

### Endomorphism Ring of Indecomposable MCM Modules

Let $R = k[[x, y]]/(f)$, where $k$ is algebraically closed of characteristic zero. I'm particularly interested in studying the endomorphism ring of indecomposable MCM (maximal Cohen-Macaulay) modules ...

**2**

votes

**0**answers

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

**5**

votes

**0**answers

60 views

### K-Theory and completion [duplicate]

I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of Quillen) of a noetherian local ring $A$ with maximal ideal $\mathfrak{m}$ with the $K$-theory of the ...

**6**

votes

**1**answer

233 views

### Equivariant algebraic K-theory of affine space

Unlike algebraic K-theory, equivariant K-theory of affine space (over a field $k$) can be quite nontrivial, depending on the action of the group in question. For example, if one takes the standard ...

**1**

vote

**0**answers

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

**3**

votes

**2**answers

233 views

### Suslin's Stability Theorem for Chevalley Groups

I am looking for a version of Suslin's Stability Theorem for Chevalley groups.
The version of the theorem for $G=SL_n({\mathbb Z}[x_1, \dots , x_m])$ states that the if $n\ge m+2$, the elementary ...

**5**

votes

**1**answer

237 views

### A generalized K- theory via generalized idempotents

Edit After the answer by Neil Strickland, I add the word "a ring" in this new version.
In the literature, there is a concept of generalized idempotent: an n- idempotent is an element $a$ of a Banach ...

**4**

votes

**2**answers

254 views

### on the Zariski sheafification of Quillen's K-theory

Let $X$ be a smooth k-variety and denote by $K_n$ Quillen's K-theory sheaf, that is: the Zariski sheaf on $X$ associated to the presheaf $U \mapsto K_n(U)$.
The Bloch-Quillen formula says that ...

**6**

votes

**2**answers

723 views

### an elementary question on K-theory

Sorry for asking such an elementary question.
1) What is Quillen's $K_1$ of a (nice) scheme $X$?
If $X=Spec(k)$, I guess one gets $k^\times$, is that correct? What about the case of a curve $C$ ...

**6**

votes

**2**answers

588 views

### Faltings-Riemann-Roch Theorem

I found the famous Faltings book ``Lectures on arithmetic Riemann-Roch theorem".
In the book, very analytic techniques such as Garding inequality or heat kernel are explained. I have no idea where ...

**4**

votes

**1**answer

175 views

### Codimension zero embeddings and diffeomorphism groups

Let $V$ be a smooth manifold obtained by attaching the ``open collar'' $[0,1)\times \partial N$ to a compact smooth manifold $N$ along the boundary. Let $\mathrm{Emb}(N, V)$ be the space of embeddings ...

**4**

votes

**0**answers

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

**7**

votes

**1**answer

178 views

### Can any suspension spectrum be realized as Waldhausen K-theory?

If we consider the category of finite, pointed sets and declare cofibrations to be inclusions and weak equivalences to be bijections, we get a Waldhausen category whose $K$-theory spectrum is the ...