Questions tagged [algebraic-k-theory]
Algebraic K-theory is a tool from homological algebra that defines a sequence of functors from rings to abelian groups. It has many applications in algebraic geometry. See also (topological-k-theory).
195
questions
1
vote
0
answers
25
views
The definition of (special) $\lambda$-rings by using the ring $W(K)$ of big Witt vectors.
I am reading C. Weibel's 'The K-book', the definition of (special) $\lambda$-rings (in Page 102, Definition 4.3.1) is
A pre-$\lambda$-ring $(K,+,\cdot)$ is called a $\lambda$-ring, if the following ...
- 41
1
vote
1
answer
44
views
The multiplication '$*$' of the ring $W(K)=1+tK[[t]]$ in C.Weibel's 'The K-book'
I am reading C. Weibel's 'The K-book', and in page 101, example 4.3, there is a construction of the ring $(W(K)=1+tK[[t]],\cdot,*)$. I could not understand how can we construct the multiplication '$*$'...
- 41
0
votes
0
answers
44
views
Minimal polynomial of $\mathcal{O}(1)\otimes -$-operator
This is somewhat of a follow-up to this question.
Take $X= \mathbb{P}^1, G = \operatorname{GL}(2)$. Compute the minimal polynomial
of the operator $\mathcal{O}(1)\otimes -$ on $K_G(X)$.
How does one ...
- 462
0
votes
0
answers
68
views
Pushforward of a line bundle on $\mathbb{P}^1$ to a point
In his notes on K-theory, A. Okounkov states the following exercise:
The group $\operatorname{GL}(2)$ acts naturally on $\mathbb{P}^1$ and on line bundles $\mathcal{O}(k)$ over it. Push forward these ...
- 462
1
vote
1
answer
43
views
$T$-equivariant resolution of coherent sheaf
Let $X := \{x_1x_2= 0\} \subset \mathbb{C}^2$ and let $\mathcal{F} := \mathcal{O}_0$ where $0\in X$ is the origin. Let $T = \left\{\begin{pmatrix} t_1 & 0 \\ 0 & t_2\end{pmatrix}\right\}\...
- 462
2
votes
0
answers
59
views
Quillen +-construction
Loday in the article available here http://www.numdam.org/item/?id=ASENS_1976_4_9_3_309_0, described the Quillen +-construction in the proof of the Theorem 1.1.1. I don't understand his last equality, ...
- 31
0
votes
0
answers
45
views
Is that $\pi_*\pi^*=1$ for a projective bundle $\mathbb P(\mathscr E)\xrightarrow{\pi}S$,
I'm reading Thomason's proof of projective bundle formula in algebraic K-theory, and have trouble understanding the proof. Here is the set up.
Let $ S$ be a qcqs scheme, and $X=\mathbb P(\mathscr E)$ ...
- 381
2
votes
0
answers
45
views
How to get into K-Theory and have least interaction with Algebraic Topology
I am doing PhD in Leavitt Path Algebras (LPAs). While going through some recent works on LPAs I found this paper titled K-Theory of Leavitt path algebras by Ara etal. I tried reading it, but failed ...
- 181
2
votes
0
answers
36
views
Why is there a homotopy equivalence between $s_\bullet \mathcal{C}$ and $iS_\bullet \mathcal{C}$?
I'm reading Waldhausen's 1985 Algebraic K-Theory of Spaces and have not been able to follow his argument for Corollary 2 of Lemma 1.4.1. In Waldhausen's notation. $s_\bullet\mathcal{C}$ is the ...
- 21
1
vote
0
answers
46
views
Are algebraic maps from the n-dimensional torus to the special unitary group of large enough degree null-homotopic?
Let $S^n\subset \mathbb{R}^{n+1}$ be the unit sphere, and $T^n=(S^1)^n$ the $n$-torus.
Loday proved in 1 that every algebraic map $T^n\to S^n$ is null-homotopic.
In particular, since $SU(2)\simeq S^3$,...
2
votes
0
answers
58
views
When the norm map $K_2(L) \rightarrow K_2(K)$ is Zero
Given a number field $K$ which contains at least one primitive root of unity.
Let $L/K$ be a finite extension of $K$. Let $N_{L/K}: K_2(L) \rightarrow K_2(K)$ be the norm map of Milnor or Quillen ...
- 79
2
votes
0
answers
57
views
The $K$ Book exercise $II\;6.4$
The exercise is
Let $\mathcal{A}$ be a small abelian category. If $[A_1] = [A_2]$ in $K_0(\mathcal{A})$, show that
there are short exact sequences in $\mathcal{A}$
$0 \rightarrow C'\rightarrow C_1 \...
- 419
0
votes
0
answers
31
views
Showing $K_0(F)=\mathbb{Z}$
In Morel's "$\mathbb{A}^1$-algebraic topology over a field", Milnor-Witt K-theory is defined to be the graded ring $K_*^{MW}(F)$ generated by the symbols, $[u]$ of degree $1$ and $\eta$ of ...
- 514
0
votes
1
answer
35
views
What does $p+q \leq 1$ means in the context of $C^*$-algebra?
Let $A$ be a $C^*$-algebra, and let $p,q \in A$. The book I'm following(An Introduction to K-theory for $C^*$-algebra) has this notation $p+q \leq 1$.
What does this mean? I looked through the book, ...
- 1,434
1
vote
1
answer
104
views
Is a topological space that is homotopy equivalent to a CW-complex locally path-connected?
While describing Quillen’s $ + $-construction in his book Algebraic K-Theory, V. Srinivas assumes that his topological spaces are equivalent to CW-complexes and are path-connected. As universal ...
- 917
6
votes
1
answer
53
views
Direct Proof that Artinian Rings have Stable Range 1
Is there a direct proof that any (right) Artinian ring has stable range 1? More precisely, let $R$ be a right Artinian ring and $a,b\in R$ be such that $aR+bR=R$. Can we prove that $(a-bt)R=R$ for ...
- 1,524
1
vote
0
answers
44
views
Mayer-Vietoris Exact Sequence for Whitehead groups and projective module groups
I came across the claim that there is an exact sequence $K_1\Lambda\to K_1\Lambda_2\oplus K_1\Lambda_2\to K_1\Lambda'\to K_0\Lambda\to K_0\Lambda_1\oplus K_0\Lambda_2\to K_0\Lambda'$ while reading ...
- 429
3
votes
1
answer
86
views
Why is the fundamental group of the Volodin space $X(R)$ the Steinberg group $St(R)$?
The Volodin space $X(R)$ is defined in A.A. Suslin's "On the Equivalence of K-Theories" (https://www.tandfonline.com/doi/abs/10.1080/00927878108822666) as the union of classifying spaces $\...
0
votes
1
answer
156
views
Understanding the definition of vector bundle
I'm currently studying from Husemaller Vector Bundles and I'm having some problems understanding the definition given and the conventions used by the author. I think that the book gives a definition ...
- 5,334
4
votes
1
answer
123
views
Presentation of Grothendieck-Witt group $GW(\mathbb{F})$ in terms of generators and relations.
Let $\mathbb{F}$ be a field, which for the sake of this discussion, is such that char $\mathbb{F} \neq 2$.
By Corollary 9.4 in Scharlau's Quadratic and Hermitian Forms, the Grothendieck-Witt group $GW(...
- 466
0
votes
1
answer
77
views
Lambda operations in K-theory
In Weibel's K-Book, before defining the lambda-operations on higher (Quillen) K-theory, he states that "Although many constructions of $\lambda$-operations have been proposed in more exotic ...
- 23.6k
2
votes
0
answers
118
views
Etale $K$-theory of finite fields.
Do etale $K$-theory of finite fields coincide with algebraic $K$-theory? what is the easiest way to see this (I think etale and algebraic $K$-theory coincide above a certain value like cohomological ...
- 1,264
0
votes
0
answers
30
views
Chow group of a specific scheme related to the localization of the affine line at two points.
Given a scheme $X$, let $S=\varprojlim\limits_{U\subset X\times \mathbb{A}^1}U$ where $U$ is a Zariski open that contains both of $X\times\{1\}$ and $X\times\{0\}$. What does the Chow group $CH^i(S)$ ...
- 1,264
2
votes
1
answer
107
views
Counterexamples to the Grothendieck group of a commutative monoid respecting tensor products
$\newcommand{\Q}{\mathbb{Q}}\newcommand{\N}{\mathbb{N}}\newcommand{\Z}{\mathbb{Z}}$Recall the definitions of the tensor product $\otimes_{\mathbb{N}}$ of commutative monoids (see also this note by ...
- 910
1
vote
1
answer
68
views
Show the spectral sequence of a fibre sequence is a spectral sequence of algebras
I'm reading Notes on the K-theory of Finite Fields by Steve Mitchell. Here is a lemma from this paper.
We want to show that the maps in the spectral sequence of the fibre sequence is $\mathbb{Z}/l$ -...
- 436
2
votes
2
answers
73
views
Where and by whom is the stable rank first defined?
To the best of my knowledge, Bass defined the notion of stable range. Then somewhere it was shown that the condition on unimodular sequences defining the stable range holds for $N\geq n$ if it holds ...
- 1,627
0
votes
1
answer
53
views
Intuition behind 4-fold periodicity of $L$-theory
The quadratic and the symmetric L-groups are 4-fold periodic.
What is the simple argument to obtain the intuition behind the 4-fold periodicity of $L$-theory?
(For example, why not have the Bott ...
- 5,699
1
vote
0
answers
123
views
A reference question on the Dedekind zeta function and other L-functions.
On page 501 in the following ICM1983 conference proceeding
https://www.mathunion.org/fileadmin/ICM/Proceedings/ICM1983.1/ICM1983.1.ocr.pdf
you will find a conjecture on the L-function $L(X,s)$ of an ...
- 1
0
votes
1
answer
169
views
Note or textbook about algebraic k-theory
I'm reading the Weibel's K-book. It's difficult for me. I have read some $K_0$ with the hlep of Bass' book. But Bass' book is so old. So, are there any more detailed books or notes to recommend.
I ...
- 381
1
vote
0
answers
49
views
Does isomorphism at the level of residue fields imply isomorphism of etale $K$-theory?
I am wondering whether something like the following argument is correct or not?
If a morphism of regular schemes $f:X\rightarrow Y$ induces an isomorphism on residue fields and also induces a ...
- 1,264
2
votes
0
answers
64
views
Bott inverted algebraic $K$-theory vs algebraic $K$-theory.
Bott inverted mod $l$ algebraic $K$-theory coincides with mod $l$ etale $K$-theory under mild conditions. The Bott element is an element in $K_2$ that is inverted with respect to the graded product ...
- 1,264
1
vote
0
answers
46
views
Restriction of $G$-equivariant sheaves to fixed locus
Let $G$ be a group acting on a Noetherian scheme $X$ over $\mathbb{C}$ and $\mathcal{E}$ be a $G$-equivariant coherent sheaf on $X$ where the support of $\mathcal{E}$ contains the fixed locus $X^G$. I ...
- 390
2
votes
1
answer
85
views
When existence of transfer map of algebraic $K$-theory implies rational injection.
Given a map of smooth projective varieties $f:X\rightarrow Y$ over fields, there is a projection formula in algebraic $K$-theory given by $f_*(\alpha.f^*(\beta))=\beta.f_*(\alpha)$. I was wondering ...
- 1,264
1
vote
1
answer
100
views
$K$-theory of formal power series.
I was wondering whether there is a calculation of algebraic $K$-groups of the formal power series $\mathbb{F}_p[[x]]$?
- 1,264
1
vote
1
answer
73
views
$K$-theory of union of smooth curves.
Is there a method that one can calculate algebraic $K$ theory of a number of smooth curves with some singularity points corresponding to the intersection points of two different curves, given we know ...
- 1,264
1
vote
0
answers
51
views
$\mathcal{K}$-homology sheaf on affine space.
The $n$-th $\mathcal{K}$-homology sheaf on $X$ is defined as the sheafification of the presheaf $U\mapsto K_n(U)$. Here $K_n(U)$ is the $n$-th algebraic $K$-group. I was just wondering whether it is ...
- 1,264
0
votes
1
answer
39
views
$G_1$ of a nodal projective curve.
Let $C$ be the projective nodal curve over the field $k$ i.e. the projective line with two points identified. I'm having trouble calculating the $G$-theory of $C$, especially $G_1$. Writing the ...
- 1,264
7
votes
3
answers
1k
views
K Theory: Book Recommendations
Good people!
So I've been hoping to get into K Theory for a while now, and the book that I have been trying to use (and failing) has been Charles Weibel's book by that very title.
The book itself isn'...
- 1,768
2
votes
0
answers
75
views
Elementary computations for hermitian and non-hermitian algebraic K-theory
As the title states, I am looking for some examples of non trivial albeit elementary calculations of algebraic hermitian and non-hermitian $K$-theory groups.
Concretely, I would be interested in ...
- 16.7k
1
vote
1
answer
139
views
A contradiction involved extending vector bundles from punctured affine plane.
Consider the punctured affine plane $\mathbb{A}^2\setminus \{(0,0)\}$ over a field. Every vector bundle on this is trivial. Especially every vector bundle on this extends to a vector bundle on $\...
- 1,264
3
votes
0
answers
42
views
On a characterization of certain $D(R,I)$-projective modules
Let $R$ be a ring with unit and $I$ a two sided ideal. We define the double ring $D(R,I)$ as the kernel pair for $q : R \to R/I$, i.e. as
$$
D(R,I) = \{(x,y) \in R^n \times R^n : x = y \pmod{I} \}
$$
...
- 16.7k
6
votes
1
answer
146
views
An example in algebraic $K$-theory
I'm reading Carlsson's Derived Representation Theory and the Algebraic $K$-theory of Fields, and in section 4.2 he gives an example which I'm not fully understanding.
The example is as follows: $k$ is ...
- 42.3k
1
vote
0
answers
62
views
The infinite loop space associated to the spectrum associated to a special $\Gamma$-space
I am currently reading M. Mandel's paper `An Inverse $K$-theory Functor' to extract some results I may wish to use in my masters research project, and I am stuck on one particular claim.
On the top of ...
- 61
1
vote
0
answers
71
views
Relating $G_0(R/fR)$ and $\oplus_{P\in V(f)} G_0(R/P)$?
For a Commutative Noetherian ring $R$, let $G_0(R)$ denote the Grothendieck group of the abelian category of finitely generated $R$-modules i.e. it is the abelian group generated by the isomorphism ...
- 1,334
1
vote
1
answer
171
views
When the classes of two finitely generated modules are equal in the Grothendieck group
Let $R$ be a Commutative Noetherian ring. Let $G_0(R)$ denote the Grothendieck group of the abelian category of finitely generated $R$-modules i.e. it is the abelian group generated by the isomorphism ...
- 1,334
0
votes
1
answer
68
views
Does $K_0$ of a regular (affine) scheme always surjects onto $K_0$ of any open subscheme?
Let $X$ be a Noetherian separated regular scheme and let $U$ be an open subscheme. Then does there always exist an exact sequence $K_0(X)\to K_0(U)\to 0$ ? If not, then is it at least true when $X=\...
- 1,423
8
votes
0
answers
104
views
Is the nerve of a symmetric monoidal category a K-theory space?
It's an amazing fact that if the $C$ is a symmetric monoidal category so that its components form a group, then $NC$ is an infinite loop space. Now if we have a Waldhausen category $D$, a category ...
- 10.8k
2
votes
0
answers
57
views
$K$-group of category of bounded chain complexes of free modules with finite length homologies
For a Noetherian local ring $(R, \mathfrak m)$, let $K_0^{\mathfrak m}(R)$ denote the abelian Group generated by isomorphism classes of bounded chain complexes of finitely generated free modules with ...
- 3,655
3
votes
0
answers
58
views
Induced map on the $K_0$ of punctured spectrum of completion
Let $(R,\mathfrak m)$ be a local Gorenstein ring (may also assume excellent) of dimension at least $2$, and let $(\hat R,\hat {\mathfrak m})$ be the $\mathfrak m$-adic completion. Let $U:=\text{Spec}(...
- 4,284
2
votes
1
answer
43
views
Is $St(n,R) \rightarrow St(n+1,R)$ injective?
For every (not necessarily commutative) ring R and every $n\geq 3$, one can define the n-th (unstable) Steinberg group St(n,R) as in https://ncatlab.org/nlab/show/Steinberg+group. Is the canonical map ...
- 183