All Questions
Tagged with kt.k-theory-and-homology algebraic-k-theory
134 questions
2
votes
0
answers
205
views
What role does homotopy play in Karoubi's K-Theory?
In Karoubi's book K-Theory An Introduction, he defines the groups $K^{p,q}(\mathcal{C})$ for a pseudo-abelian Banach category as equivalence classes of triples $(E,F,\alpha)$, where $E,F \in \mathcal{...
- 233
5
votes
0
answers
255
views
Necessity of Banach category for K-theory
In Karoubi's book on K-Theory (K-Theory, An Introduction), he introduces the groups $K^{p,q}(C)$ for a pseudo-abelian Banach category $C$.
My question is whether the requirement that $C$ be a Banach ...
- 233
3
votes
2
answers
246
views
Explicit description of transfer for $K_1$
Let $R$ be a commutative regular ring and let $s \in R$ be an element such that $R / s$ is also regular. Then we have a long exact localization sequence
$$
\ldots \rightarrow K_i(R/s) \rightarrow K_i(...
6
votes
0
answers
162
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 ...
4
votes
1
answer
172
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 ...
- 43
6
votes
0
answers
158
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}^\...
- 2,385
1
vote
0
answers
151
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)...
- 167
2
votes
1
answer
331
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)...
- 169
2
votes
1
answer
86
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 ...
- 169
2
votes
0
answers
150
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 ...
- 331
3
votes
2
answers
370
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 ...
- 169
4
votes
1
answer
288
views
The third homology stability of general linear groups over finite fields
Given a finite field $\mathbb{F}$ with $|\mathbb{F}|=q=p^m\geq4$ where $p=\text{char}(\mathbb{F})$, I'm wondering is there a characterization of the kernel of the map $f:H_3(\text{GL}_3(\mathbb{F}))\...
- 441
1
vote
0
answers
206
views
Motivic cohomology commutes with field extension
$\DeclareMathOperator\Cor{Cor}$Let $X$ be a smooth scheme over $k$ and $k \subset F$ a field extension. Let $X_F$ be the field extension of $X$. Then there is a map
$$\varinjlim_{k\subset E \subset F} ...
- 1,168
4
votes
0
answers
226
views
How to to understand the homology groups $H_*(\Omega_0^\infty S^\infty)$?
The original statement of the Barratt--Priddy theorem says there is an isomorphism of homology groups
$$H_*(\Sigma_\infty)\cong H_*(\Omega_0^\infty S^\infty),$$
where $\Omega_0^\infty S^\infty$ is the ...
- 103
5
votes
1
answer
222
views
Computation of the torsion of K-groups related to elliptic curves
Let $E$ be an elliptic curve over $\mathbb Q$. Let $F$ be the rational function field of $E$.
The $K_2$ group of $F$ may be described by elements in $F^\times ⊗_\mathbb{Z} F^\times$ quotiented by the ...
- 9,501
4
votes
1
answer
173
views
Injectivity of assembly in A-theory for $BC_2 = \mathbb R P^\infty$ in degree $4$
I am trying to understand the assembly map
$$\pi_i ((BC_2)_+ \wedge A( \ast )) \rightarrow A_i( BC_2 ) $$
in low degrees for the space $BC_2 = \mathbb R P^\infty$ in Waldhausen $A$-theory. I know we ...
- 2,303
12
votes
0
answers
410
views
Can Quillen-Lichtenbaum recover Borel's computation?
Borel famously used analysis on symmetric spaces to compute the rationalised algebraic $K$-theory groups of rings of integers $\mathcal{O}_F$ in number fields, e.g. $K_i(\mathbb{Z}) \otimes \mathbb{Q}...
- 8,167
2
votes
0
answers
178
views
construction of $K_0$-group and Karoubian completion
Let $A$ be a ring. The $K_0$ group of $A$ can be defined in most
old fashioned way as the Grothendieck group of the set of isomorphism classes
of its finitely generated projective $R$ modules, ...
- 6,018
6
votes
1
answer
534
views
Algebraic K-theory and intersection theory (Bloch's formula)
It seems to be a well known fact that algebraic K-theory can be used to understand intersection theory, at least for varieties (or stacks!) over a field. A first glimpse of this result seems to be ...
- 263
12
votes
1
answer
312
views
Group ring with infinite stable rank
In searching for a counterexample in homological stability, I came across the following question:
Is there a known example of a finitely presented group $G$, so that the group ring $\mathbb{Z}[G]$ ...
- 637
3
votes
1
answer
311
views
Algebraic K-theory of a category containing all perfect complexes
Let $R$ be a ring and let $\mathcal{C}$ be the category of perfect $R$-complexes. Suppose that $$S=\bigoplus_{i=1}^{\infty}R$$
Let us define $\mathcal{D}$ the smallest thick category generated by $S$.
...
- 169
4
votes
0
answers
300
views
Is there algebraic $K$-theory of a group independent of the base ring?
Given a ring R and a group $G$, I can consider the group ring $R[G]$ and then take the algebraic $K$-theory $K(R[G])$. This the $K$-theory of the category $\operatorname{Rep}_R(G)$. As a variant, one ...
- 15.4k
11
votes
2
answers
864
views
Solving polynomial equations in spectra?
Let $M$ be the mod-$p$ Moore spectrum where $p \geq 3$ is a (power of) a prime. Then $M$ satisfies the "polynomial equation" $M \wedge M \cong M \oplus \Sigma M$. Is this a general ...
- 63.9k
3
votes
0
answers
114
views
$K$-theory with respect to two different choices of quasi-isomorphisms
This question is related to another question asked here. Let's assume we have an exact category $C$ that consists of specific vector bundles on a variety. Furthermore assume $C$ is idempotent complete ...
- 5,901
10
votes
2
answers
688
views
Stable rank one and corners of $C^\ast$-algebras
Thanks to a result of Herman and Vaserstein in [3], Rieffel's notion of stable rank [4] coincides with the Bass stable rank [1] for every $C^\ast$-algebra $A$: we denote it by $\mathrm{sr}(A)$ and we ...
- 660
11
votes
2
answers
1k
views
Good reference for topological Hochschild homology
I want to start reading topological Hochschild homology(THH) as well as topological cyclic homology (TC).
I have read the Hochschild homology and cyclic homology from the book Cyclic homology by J. ...
- 629
1
vote
1
answer
107
views
Do limits in Waldhausen categories commute with ordinary limits?
Disclaimer : I asked this question on MSE, I have no answer and I think it's better to ask it here.
Let $(A,\mathcal{W}, \mathcal{C})$ be a Waldhausen category with $A$ an additive category.
On one ...
- 69
4
votes
1
answer
259
views
Induced map in K-theory by a "trivial" bimodule
Let $R$ be a ring (not necessary commutative) and let $P_{\bullet}$ be a perfect $R$-bimodule (chain complex). I will denote the category of perfect right $R$-chain complexes by $\textbf{Perf}(R)$. ...
- 43
9
votes
1
answer
1k
views
Roadmap for Quillen 1
Question
Suppose you grasped and enjoyed reading Quillen's "Higher Algebraic K-theory I". Now, if you could go back in time to when you started studying algebraic topology and create a reading list / ...
- 650
5
votes
1
answer
273
views
Examples of noetherian local rings $R$ such that $K'_0(R)$ is not isomorphic to $\mathbb Z$
Does there exist a simple example of a commutative noetherian local ring $R$ such that $K'_0(R) = K_0(\mbox{Mod-}R)$ (by $\mbox{Mod-}R$ I mean the abelian category of finitely generated $R$-modules) ...
- 1,307
11
votes
0
answers
265
views
Criteria for a map of rings to induce an equivalence on K-theory?
Algebraic $K$-theory is Morita invariant, but surely it does not detect Morita equivalence. What are some examples of rings (or ring spectra) $R$ and $S$ that are not Morita equivalent, but ...
- 331
15
votes
0
answers
402
views
Dennis trace map for stable $\infty$-category, naively
I'm trying to get more intiution about higher K-theory, Hochschild homology and the trace map between by thinking about these objects from an informal $\infty$-categorical perspective, instead of ...
- 42.4k
5
votes
2
answers
470
views
Exact subcategory with trivial Grothendieck group: what are the consequences and examples
Let $C$ be (a full) exact subcategory of the category of $R$-modules. We suppose that $C$ is essentially small. If the Grothendieck group $K_{0}(C)=0$, what can be said about the higher groups $K_{n}(...
- 223
5
votes
3
answers
2k
views
Motivation for Karoubi envelope/ idempotent completion
This is the second part of my venture to become more comfortable with the concept of idempotent elements and idempotent splittings from category theoretical viewpoint. In the first part we considered ...
- 6,018
5
votes
0
answers
415
views
Modern context for hypercohomology spectra
In Thomason's paper Algebraic K-theory and étale cohomology, (Ann. ENS 1985, Numdam link) Thomason develops an elaborate theory of hypercohomology spectra, $\mathbb{H}(X,\mathcal{F})$ for presheafs of ...
- 254
12
votes
1
answer
2k
views
Why does K-theory need schemes to be Noetherian?
The definition of K-theory of a scheme $X$ is defined as
$G_i(X):=K_i(\mathrm{Coh}(X))$ or $K_i(X):=K_i(\mathrm{Vec}(X))$.
But usually the schemes are required to be (at least locally) Noetherian, and ...
- 449
5
votes
0
answers
311
views
Homotopy type of a $4$-manifold with finite fundamental group (paper by S. Bauer)
I'm studying Stefan Bauer's paper
The homotopy type of a 4-manifold with finite fundamental group. In: tom Dieck T. (eds) Algebraic Topology and Transformation Groups. Lecture Notes in Mathematics,...
- 6,018
4
votes
0
answers
226
views
K-theoretic derivation of Bézout theorem
In the paper "$K$-Theory and Intersection Theory" by Henri Gillet in Handbook of K-theory, 2005 (link behind paywall at Springerlink), the author says:
"When the ground field $k = \mathbb C$, Bézout’...
13
votes
1
answer
941
views
"a sign that one should be computing K-theory"
Allen Knutson said here in comments below the question that
I generally regard torsion in (co)homology as a sign that one should be computing K-theory instead, which has less of it.
I know one ...
- 6,023
12
votes
1
answer
795
views
Status of the extended form of the Lichtenbaum conjecture
The extended Lichtenbaum conjecture concerns the relationship of special values of $L$-functions of number fields $K$, to the algebraic $K$-theory and etale cohomology of the ring of integers $O_K$.
...
- 8,167
11
votes
1
answer
432
views
$K_3(\mathbb{Z})$ and $\pi ^S_3$
This is an afterthought on this MO question, and also on Gannon's book mentioned there, about $K_3(\mathbb{Z})=\mathbb{Z}/48$. Neither the question nor the book mentions a possible connection with the ...
- 38k
5
votes
0
answers
146
views
Failure of devissage vs link topology in algebraic K-theory
This is somehow related to (or maybe a simplified version of) an earlier question (see here) regarding Gersten complexes for singular varieties. The Gersten complexes arise from the coniveau spectral ...
- 17.4k
7
votes
1
answer
476
views
Equivalence between categories of coherent sheaf of codimension p
Let $X$ be a noetherian and separated scheme and $M(X)$ denote the abelian category of coherent sheaves on $X$. Let $M^{P}(X) = \lbrace \mathcal{F} \in M(X) \hspace{2mm} : Codim(sup(\mathcal{F}), X) \...
- 629
4
votes
0
answers
543
views
Comparing real topological K-theory and algebraic K-theory
Let $R$ be a commutative unital ring and let $i$ be a non-negative integer such that $K^i_{alg}(R)$ is finitely generated abelian group. Is it possible that there does not exist weak homotopy type of ...
- 257
6
votes
0
answers
233
views
Group $C^*$ vs group von-Neumann algebras
Let $\Gamma$ be a countable (discrete) group (in what follows, make additional assumptions as you wish). Let $C^*_r(\Gamma)$ and $W^*_r(\Gamma)$ be the reduced $C^*$-algebra respectively the reduced ...
- 9,853
13
votes
1
answer
700
views
Reference for the algebro-geometric proof of Matsumoto theorem
Matsumoto proved in his PhD thesis that if $F$ is a field then $$K_2(F)=(F^*\otimes F^*)/(x\otimes (1-x)).$$
The original Matsumoto proof as it is written in Milnor's book on algebraic K-theory looks ...
- 2,305
5
votes
1
answer
254
views
Are these two constructions of $K_0(A)$ isomorphic?
The following question is extracted from this question on MSE, which got no answer so far, probably because it was a bit hidden by another question which a posteriori was totally obvious.
Let $A$ be ...
- 1,766
14
votes
1
answer
3k
views
Entering to the K-theory realm
I am looking for a guidance in $K$-theory. My master thesis was in the field of Algebraic K-theory and its relation
and interaction with the field of Algebraic Topology. I mainly had
concentrated on ...
- 309
11
votes
1
answer
429
views
Hilbert 90 for higher K-groups
For a field $F$, Let $K_n(F)$ be the Quillen's $n$-th K-group of $F$.Then $K_0(F)\cong \mathbb{Z}$, $K_1(F)\cong F^\times$.
For a finite Galois extension $L/K$, $K_n(L)$ are Galois modules.
Then $\...
- 1,053
9
votes
1
answer
336
views
Positive cones in K-groups
Let $X$ be a topological space or a scheme, and let $K^0(X)$ be $K$-group of vector bundles of $X$. One may ask when an element $x$ of $K^0(X)$ is represented by an actual vector bundle, and not just ...
- 1,274