Questions tagged [algebraic-k-theory]
The algebraic-k-theory tag has no usage guidance.
498
questions
4
votes
1
answer
95
views
The action of the Grothendieck group on higher K-theory groups
Let $(C,\otimes)$ be a monoidal (non symmetric) Waldhausen category. In particular, under these conditions,
$K_{0}(C)$ is a ring and $K_{i}(C)$ are $K_{0}(C)$-bimodule for any $i\in \mathbb{Z}$.
...
1
vote
1
answer
103
views
Example of triangulated category with vanishing $K_0$
Let $R$ be a ring, let $\operatorname{Perf}(R)$ the category of perfect modules over $R$. Suppose we have $E$ an perfect $R$-module (concentrated in degree $0$) such that its class $[E]\in K_0(R)$ is ...
6
votes
0
answers
139
views
$K_0$ of arithmetic surfaces
In his paper "Algebraic K-Theory and classfield theory of arithmetic surfaces", Annals of Mathematics 114 (1981), Spencer Bloch proved the following result: if $A$ is a finitely generated ...
11
votes
1
answer
371
views
Plus construction on Simplicial Sets?
I had asked this question in Math StackExchange a few days ago, but didn't get any answers. I believe its more suitable to be asked here.
Write $\mathsf{sSet}$ for the category of simplicial sets and $...
1
vote
0
answers
24
views
Coordinate transformation for 3-dimensional simplicial cone in $\mathbb{R}^3$
Let $k$ be an algebraically closed field and let $\sigma$ be a 3-dimensional simplicial cone in $\mathbb{R}^3$.Let $X$ be the affine toric variety over $k$ associated to the cone $\sigma$, i.e. set $X$...
8
votes
0
answers
111
views
The homotopy inverse on Quillen's $S^{-1}S$ construction
Suppose $S$ is a symmetric monoidal groupoid. Take Quillen and Grayson's $S^{-1}S$-construction, which is a symmetric monoidal category with objects given by pairs $(m,n)$ and maps given by ...
2
votes
0
answers
116
views
Can K$_3$ of finite fields be related to Teichmüller cocycles?
This is sort of a blind shot, but...
For a ring $R$, its third algebraic K-group is given by $\operatorname K_3(R)=H_3(\operatorname{St}(R))$.
To simplify matters, let $R$ be a finite field $\mathbb ...
0
votes
1
answer
162
views
Does going-down theorem hold for local homomorphism of finite flat dimension?
Let $f:(A,m)\rightarrow (B,n)$ be a local homomorphism of Noetherian local rings of finite flat dimension. Does the going-down theorem hold for $f$?
If yes, then by Theorem 15.1 in Matsumura’s ...
4
votes
1
answer
148
views
Does local homomorphism of finite flat dimension preserve Krull dimension?
Let $f:A\rightarrow B$ be a local homomorphism of Noetherian local rings, such that the $A$-module $B$ has finite flat dimension. Is it true that the Krull dimensions of $A$ and $B$ agree? If yes, ...
0
votes
0
answers
113
views
Is the BGQ spectral sequence functorial with respect to morphisms of finite Tor-dimension?
It is well known that the BGQ (Brown-Gersten-Quillen) spectral sequence for the G-theory of a Noetherian scheme of finite Krull-dimension is contravariant with respect to flat morphisms.
My question ...
4
votes
1
answer
157
views
The $E$-(co)homology of $\mathrm{BGL}(R)^+$ and the algebraic $K$-theory of $R$
$\DeclareMathOperator\BGL{BGL}$In the paper, 'Two-primary Algebraic $K$-theory of rings of integers in number fields', Rognes and Weibel compute the $2$-torsion part in the algebraic $K$-theory of the ...
1
vote
0
answers
274
views
Presentation of Chevalley groups over Bezout domains
Let $\Phi$ be a root system of type $A_1$, $A_2$, $B_2$ or $G_2$. For a (commutative, unital) ring $R$, consider the group $G_{\Phi}(R)$ defined by Steinberg's presentation as in [1, Theorem 12.1.1 ...
1
vote
0
answers
41
views
Extension of a cylinder functor on C to the S_n C
I was looking at Waldhausen's definition of a cylinder functor and reading his proof that a cylinder functor on $C$ induces cylinder functors on $S_n C$ for all $n$. It seems to me that he is using ...
0
votes
0
answers
76
views
How to compute the higher G-theory of the weighted projective space $\mathbb{P}(1,1,m)$ using Mayer-Vietoris sequence?
Let $k$ be an algebraically closed field of characteristic zero.
Let $m$ be a positive integer and let $X$ be the weighted projective space $\mathbb{P}(1,1,m)$ over the field $k$.I am trying to ...
1
vote
0
answers
113
views
Computing $G$-theory for a 3-dimensional affine simplicial toric variety
Let $k$ be an algebraically closed field of characteristic zero. Let $\sigma$ be the cone in $\mathbb{R}^3$ generated by $e_1,2e_1+e_2,e_1+2e_2+3e_3$.
Then it is easy to check that $\sigma$ is a 3-...
2
votes
1
answer
153
views
$K_0((k[x]/(x^2))[y])$
Let $K_0(R):= K_0(P(R))$ where $P(R)$ is the category of finitely generated projective $R$-modules, where $R$ is a commutative ring with unity. Now if $R = k[x]/(x^2)$, $R$ is a local ring thus all ...
4
votes
1
answer
172
views
When $R $ is a cusp then $K_0(R) \ncong K_0(R[s])$
Quillen's classical result shows that if $R$ is a regular ring then $K_0(R) \cong K_0(R[t_1,...,t_m])$ for all $m \in \mathbb{N}$. So I wanted to construct some elementary examples where $K_0(R)$ ...
4
votes
0
answers
86
views
How to describe a concrete generator of $\widetilde{K_0(\mathbb{Z}[C_{23}])} \cong \widetilde{K_0(\mathbb{Z}[\zeta_{23}])}$
Milnor (page 29, see below) gives an explicit proof that the zeroth $K$-theory of the group ring $\mathbb{Z}[C_p]$, where $C_p$ is the cyclic group of order $p$ with $p$ a prime agrees with $K_0$ of $\...
1
vote
1
answer
200
views
Norm/transfer functoriality of Bloch map on $K$-theory
I've seen and used the following map from the algebraic $K$-theory to the differential forms on a scheme $X$:
$$ K_n(X) \to H^0(X,\Omega^n_X)$$
sending $K_1(X)\ni f\mapsto d\log f$, and extending to a ...
2
votes
0
answers
169
views
$\mathbb{A}^1$-invariance and cdh descent
It is known that cdh-sheafification of algebraic $K$-theory coincides with homotopy $K$-theory. Although I haven't gone through the details of the proof, I was wondering whether there is a general set ...
5
votes
1
answer
299
views
Galois action on algebraic K-theory of finite fields
This might be well-known to experts. I was just teaching a course where we went through some parts of Quillen's theorem computing the higher algebraic K-theory of finite fields. Denote by $\mathbb F_q$...
5
votes
0
answers
97
views
Size of minimal generating set of ideal over Laurent polynomial ring
Recently in attacking a problem in algebraic topology relating to the construction of stably-free non-free modules over integral group rings I’ve noticed that it is often fairly easy to reduce to ...
1
vote
2
answers
281
views
How to compute the higher $K$-theory of a triangulated category having a semi-orthogonal decomposition?
I am starting to learn the $K$-theory of triangulated categories and is stuck with the following.
Let $\mathcal{T}$ be a triangulated category having a semi-orthogonal decomposition $\langle \mathcal{...
0
votes
1
answer
164
views
How to compute the $G$-theory of the weighted projective space $\mathbb{P}(1,1,2)$?
Let $k$ be an algebraically closed field of characteristic zero. Let $\Sigma$ be the fan in $\mathbb{R}^2$ consisting of three cones, cone generated by $e_1,e_2$,cone generated by $e_2,-e_1-2e_2$ and ...
4
votes
1
answer
378
views
Can higher G-theory of Noetherian schemes be computed by derived categories?
Recently I learned from the Stacks project that for every abelian category ${\mathcal A}$, there is a natural isomorphism $K_0({\mathcal A})\cong K_0(D^{b}(\mathcal A))$.
When we set $\mathcal A$ to ...
4
votes
0
answers
171
views
Is an orthogonal direct sum decomposition with respect to two quadratic forms necessarily unique up to isomorphism
Consider two quadratic forms $Q$ and $P$ over a finite dimensional vector space $V$ over a quadratically closed (or perhaps Pythagorean) field $F$. If $V$ can be decomposed as $V = V_1 \oplus V_2 \...
1
vote
0
answers
115
views
Quiver representations and the standard matrix decompositions
Many matrix decompositions - like the Jordan Normal Form, the SVD, the spectral theorem, the Takagi decomposition - have the property that they express a matrix $M$ as the form:
$$M = A D B$$
where $D$...
1
vote
1
answer
133
views
Relation between $G_0(X)$ and $\mathrm{Cl}(X)$ for a normal variety $X$
Let $k$ be an algebraically closed field and $X$ be a normal variety over $k$.
I am trying to show that there is a surjective group homomorphism $G_0(X)\rightarrow \mathbb{Z}\oplus \mathrm{Cl}(X)$, by ...
5
votes
0
answers
145
views
Questions about the $K$-theory of the algebraic standard Podleś sphere
Given $\theta \in \mathbb{R}$ irrational, the $K$-theory of the smooth noncommutative $2$-torus $C^\infty_\theta(\mathbb{T}^2)$ is well understood in relation to that of the corresponding $\mathrm{C}^\...
8
votes
1
answer
566
views
Why isn't the anchor map in Lurie's "Rotation Invariance in Algebraic K-Theory" zero?
I think this is a silly question, but I'm quite confused. In Lurie's "Rotation Invariance In Algebraic K-Theory" Notation 3.2.4. he defines a filtered spectrum $\mathbb{A}$ given by
$$\...
2
votes
0
answers
165
views
How to compute the $G$-theory of this simplicial toric surface?
Let $k$ be an algebraically closed field of characteristic zero. Let $\sigma_0$ be the cone in $\mathbb{R}^2$ generated by $e_1,e_2$.And let $\sigma_1$ be the cone in $\mathbb{R}^2$ generated by $e_2,-...
2
votes
2
answers
291
views
How to compute the $G$-theory of the variety $\mathbb{P}^1\times\mathbb{P}^1$?
Let $k$ be an algebraically closed field of characteristic zero. Let $X$ be the fiber product of two copies of $\mathbb{P}^1_k$ over the affine scheme $\operatorname{Spec}(k)$.I am trying to compute ...
3
votes
1
answer
130
views
How to compute the integer corresponding to a class in $G_0(B_{\mathrm{red}})$ for a commutative noetherian ring $B$?
$\newcommand{\red}{\mathrm{red}}$Let $k$ be an algebraically closed field of characteristic zero and $m$ be a positive integer. Let $R$ be the subring $k[x,xy,xy^2,…,xy^m]$ of the polynomial ring $k[x,...
3
votes
0
answers
103
views
Algebraic K-theory of a scheme with group action of a semidirect product
Given $A$ and $H$ linear algebraic groups over a field $k$ and a homomorphism $\phi\colon H \rightarrow \mathrm{Aut}(A)$ we can form the semi-direct product $G = A \rtimes_{\phi} H$.
Suppose that $G$ ...
2
votes
1
answer
319
views
How to compute the transfer maps for G-theory of Noetherian schemes
Let $k$ be a field and $R$ be the ring $k[x,xy,xy^2,xy^3]$. Let $X$ be $\operatorname{Spec}(R)$ and $\tilde{X}$ be the blow-up of $X$ along the maximal ideal $I$ of $R$ generated by $x,xy,xy^2,xy^3$.I ...
1
vote
0
answers
138
views
$K_1(k[x]/(x^2))$ for a field $k$
$\DeclareMathOperator\GL{GL}$The definition of $K_1$ is stated in "The K-book" by Charles Weibel as a quotient of $\GL(R)$, where $\GL(R)$ is the union of the sequence $R^{ \times} = \GL_1(R)...
5
votes
0
answers
151
views
Grothendieck group of coconnective dg-algebra
Is there an example of an $E_{2}$-coconnective differential graded algebra $A$ (with unit) such that $K_{0}(A)=0$ ?
2
votes
1
answer
305
views
Grothendieck group of triangulated categories
Let $A$ be a full triangulated subcategory of $B$, $u:A\rightarrow B$ the corresponding embedding. Let $f:B\rightarrow A$ be a triangulated functor
satisfying:
$f\circ u = id$
Let $b \in B $, if $f(b)...
2
votes
0
answers
157
views
On the relative class number of a cyclotomic extension
Let $\Bbb Z[\zeta_p]$ denote the cyclotomic integers where $p$ is a prime and let $h_1 = h_1(p)$ denote its relative class number.
Question: Is it known whether there are infinitely many primes $p$ ...
2
votes
1
answer
78
views
Induced map in k-theory by an involution
Let $T$ be a ring with involution $s:T\rightarrow T$. And let
$$h:T\otimes T^\text{op} \rightarrow T\otimes T^\text{op}$$ be the ring automorphism given by $h(a\otimes b)=s(b)\otimes s(a)$.
suppose ...
2
votes
0
answers
75
views
Derived category of a exact categories with (unusual) weak equivalences
Every exact category $\mathcal{E}$ has an attached derived category (for simplicity I will just refer to the bounded one) $D^b(\mathcal{E})$.
The construction is for example explained in
A. Neeman, ...
1
vote
0
answers
110
views
How to compute the G-theory groups of a blow-up of Noetherian schemes
Suppose that $k$ is an algebraically closed field and $R$ is a finitely generated $k$-algebra such that if $X$ denotes Spec$R$, then the only closed, singular point of $X$ is the origin. Let $\tilde{X}...
2
votes
0
answers
130
views
Does the category of stable infinity categories form a "subtractive Waldhausen" category?
In "The $K$-theory spectrum of varieties", Jonathan Campbell introduces the notion of a subtractive Waldhausen category, a slight generalization of the notion of Waldhausen category that ...
3
votes
2
answers
361
views
Involution map, and induced morphism in K-theory
Let $T$ be a ring with involution $s:T\rightarrow T$. And let
$$h:T\otimes T^\text{op} \rightarrow T\otimes T^\text{op}$$ be the ring automorphism given by $h(a\otimes b)=s(b)\otimes s(a)$.
I was ...
4
votes
1
answer
200
views
Higher Chow cycles
Recall that the higher Chow groups $CH^k(X,m)$ are defined as the homology of the complex $Z^k(X,\bullet)$, where $Z^k(X,m)$ is the subgroup of codimension $k$ cycles of $X\times \Delta^m$ which meet ...
4
votes
0
answers
116
views
When is the degree $(2,2)$ motivic cohomology generated by products of units?
The motivic coniveau spectral sequence tells us that for a scheme $X/k$, its cohomology $H^2(X,\mathbb{Z}(2))$ is the kernel of the tame symbol $K_2^M(k(X))\to \oplus_{Y} K_1^M(k(Y))$ where $Y$ runs ...
1
vote
0
answers
259
views
Proof of Geisser-Levine
I am trying to understand the proof of the Geisser-Levine theorem (Thm 8.4 here ) which claims that for a smooth variety $X$ over a perfect field of characteristic $p$ we have an isomorphism
$$H^s(X, ...
4
votes
0
answers
125
views
Almost acyclicity of the complex of configuration spaces of noncollinear points in projective plane over finite fields
Let $F$ be a finite field with many elements, say more than 7 for example, and $X$ be the corresponding projective plane $\mathbb{P}^2(F)$.
For a set of points in $X$, if any three of them are ...
3
votes
1
answer
207
views
$K_1(\mathbb{Z}_4)$ and $K_1(\mathbb{Z_4}[t])$
I am an amateur in $K$-theory, I have just started reading from "The K-book" by Charles Weibel. I have only read the definition of $K_1$ which is stated as a quotient of $GL(R)$. The union ...
1
vote
1
answer
190
views
Meaning of torsion points in a Roitman's theorem
I am having some problems to understand the meaning of the following theorem due to Roitmann. I found this theorem in Voisin's book: Hodge Theory and Complex Algebraic Geometry, Volume II, page ...