The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
0answers
104 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 ...
3
votes
1answer
88 views

Stable rank of finite rings

Has any finite ring (not necessarily commutative) always stable rank 2 ? How do you prove that or does it follow from something ? May be this question is trivial but I'm not familiar with K-theory.
10
votes
1answer
411 views

Is there a category whose isomorphisms are precisely the simple homotopy equivalences?

If we start with the category of finite complexes and continuous maps, and then identify two morphisms iff they are homotopic, we get the homotopy category of finite complexes, and it is trivial to ...
13
votes
1answer
440 views

References for $K_{4k}(\mathbb{Z})$

Weibel's "Algebraic K-theory of rings of integers in local and global fields" says $K_{4k}(\mathbb{Z})$ are known to have odd order, with no prime factors less than $10^7$, but are conjectured to be ...
6
votes
1answer
321 views

K-theory of the h-cobordism category

I was reading through Kervaire and Milnor's "Groups of Homotopy Spheres", in which the authors begin to compute the groups $\Theta_n$ of h-cobordism classes of homotopy $n$-spheres (with group ...
0
votes
1answer
254 views

Coherent sheaves on Proj

Roughly speaking , the question is : when a f.g. graded module induces a trivial coherent sheave on Proj ? More precisely, let S be a (complex) graded polynomial algebra, where the variables have ...
5
votes
1answer
271 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
0answers
62 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
0answers
89 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
0answers
65 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
0answers
151 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
1answer
79 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
votes
1answer
405 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
2answers
381 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
0answers
102 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
1answer
262 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
0answers
70 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
1answer
305 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
0answers
150 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
0answers
136 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
1answer
153 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
1answer
215 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
1answer
274 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
1answer
240 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
3answers
602 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
1answer
471 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
1answer
382 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
0answers
212 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
1answer
336 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" ?
6
votes
1answer
226 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
2answers
452 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
1answer
370 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
2answers
412 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
0answers
243 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
2answers
268 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
1answer
217 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
0answers
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
1answer
307 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
1answer
207 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
0answers
129 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
0answers
127 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
4answers
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
2answers
553 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
1answer
195 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
0answers
161 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
0answers
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
1answer
242 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
0answers
68 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
2answers
242 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
1answer
239 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 ...