All Questions
Tagged with algebraic-k-theory at.algebraic-topology
95 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
7
votes
1
answer
843
views
Algebraic K-theory and Witt groups
Let $S$ be a ring with involution (with 2 invertible). Suppose that the non connective algebraic K-theory $K(S)$ is 0 (i.e. $K_{n}(S)=0$, for all $n$).
Can we say something about the (higher) Witt ...
- 855
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(...
5
votes
1
answer
318
views
Surjection onto $H_{2}(\mathrm{PGL}(2,\mathbb{C}),\mathbb{Z})$
Let $G \leq \mathrm{PGL}(2,\mathbb{C})$ be the subgroup of upper-triangular matrices. I am interested in the natural morphism on the Schur multiplier (i.e. group homology as discrete groups)
$H_{2}(G,...
- 305
1
vote
0
answers
153
views
Stable homology of general linear groups
For what class of rings $R$, is the stable homology (with various choices of coefficients) of $GL_n(R)$ known? Borel computed it rationally for number rings, Quillen computed it for finite fields. Are ...
- 965
12
votes
1
answer
429
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 $...
- 174
5
votes
0
answers
107
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 ...
- 187
5
votes
0
answers
162
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$ ?
- 169
4
votes
0
answers
127
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 ...
- 441
13
votes
2
answers
546
views
"Burnside ring" of the natural numbers and algebraic K-theory
The construction of the Burnside ring $A(G)$ of a group $G$ (usually, but not always, finite) is given by taking the Grothendieck group of the commutative semi-ring of isomorphism classes of finite $G$...
- 18.8k
7
votes
1
answer
341
views
How can I detect the homology image of a unipotent group in the general linear group?
Suppose $n$ is a positive integer greater than 2, and $F$ is an arbitrary field with at least 4 elements.
Denote $\text{GL}_n(F)$ the general linear group in the usual sense and $U_n(F)$ the unipotent ...
- 441
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
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
3
votes
0
answers
180
views
Finite generation of algebraic $K$-theory with finite coefficients
Given a smooth connected complex quasi-projective variety $X$, is it possible that $K_i(X, \mathbb{Z}/l)$ to be infinitely generated for $i>0$? I think Quillen-Lichtenbaum implies that above the ...
- 5,901
63
votes
2
answers
5k
views
Thomason's "open letter" to the mathematical community
In 1989, Bob Thomason left his CNRS position in Orsay and moved to Paris VII. It was during this period that he composed his "Open Letter" to the mathematical community. The letter explained ...
- 18.8k
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
12
votes
1
answer
489
views
Homological stability and Waldhausen A-theory
$\DeclareMathOperator{\Diff}{Diff}$
From the work of Galatius - Randall-Williams and Berglund - Madsen we have homological stability (with respect to g) of $B\Diff_\partial (W_{g,1})$ and rational ...
- 5,839
4
votes
1
answer
329
views
Homotopy invariance of $K_0$
It is well-known that algebraic $K$-theory is $\mathbb{A}^1$-invariant for regular Noetherian schemes. The way this is proved is usually to prove that $K$-theory of coherent sheaves i.e. $G$-theory ...
- 5,901
2
votes
0
answers
123
views
Homotopy invariant $K$-theory spectrum version vs space version
Let $K^H$ be the homotopy $K$-theory spectrum. It is defined as a colimit of the form $|\mathbb{K}(X\times \Delta^{\bullet})|$. Here $\Delta^{\bullet}$ is the co-simplicial scheme defined by the ...
- 5,901
1
vote
0
answers
133
views
Contractibility of a $K_0^{\oplus}$ presheaf
Let's assume $X$ is a smooth projective variety over a field. Let $\Delta^{\bullet}$ be the cosimplicial scheme over the same field, where at level $n$ is just the $n$-th algebraic simplex. We can ...
- 5,901
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
7
votes
0
answers
223
views
Does the Whitehead torsion of a homotopy equivalence depend on the CW structure?
In the (old) literature I've seen referenced the question of whether simple homotopy equivalence is a topological property, i.e. whether it depends only on the underlying space, rather than the ...
- 5,839
12
votes
1
answer
358
views
Rational homotopy invariance of algebraic $K$-theory
Suppose that $R\to S$ is a 1-connected morphism of connective structured ring spectra that induces an isomorphism on rational homotopy groups. Is the induced map of (Waldhausen) K-theory spectra
$$
K(...
- 18.8k
5
votes
1
answer
579
views
Topological Hochschild homology using equivariant orthogonal spectra
In the Hesselholt-Madsen paper "On the K-theory of finite algebras over Witt vectors of perfect fields", the authors develop some results concerning the Topological Hochschild homology (THH) of ...
- 254
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
10
votes
1
answer
604
views
Descent properties of topological Hochschild homology
Question: What is the finest topology on $\mathrm{CAlg}$ (commutative ring spectra) for which THH (Topological Hochschild Homology) satisfies descent?
Adaptations of the arguments appearing in ...
- 532
3
votes
0
answers
260
views
Homotopy equivalence of $K$-theory and $G$-theory
Let $X$ be regular variety then it is known that $Q(Vect(X))\cong Q(\mathcal{M}_X)$. Where $Q$ is the Quillen's q-construction and $\mathcal{M}_X$ is the category of coherent sheaves on $X$. You can ...
- 5,901
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
5
votes
0
answers
363
views
making the group completion in homology sense unique via the plus construction
A paper by Mcduff and Segal justifies the following definition: A map of h-spaces $X \to Y$ is a group completion if the map is a localization on homology.
In the paper they prove that when $X$ is a ...
- 579
9
votes
1
answer
527
views
Is there a fibration sequence of spectra $K\mathbb{F}_q\to KU\to KU$?
Quillen famously constructed a fibration sequence $BGL(\mathbb{F}_q)^+ \to BU \to BU$ to compute the algebraic K-groups of finite fields, where the second map is $\psi^\ell-1$ for $\ell$ a generator ...
- 2,044
5
votes
1
answer
325
views
K-theory of finite diagram categories
Suppose $I$ is a finite $\infty$-category and $F:I\rightarrow\text{fCW}$ is a functor that takes values in finite CW complexes. For each $X\in I$, let $[F(X)]$ denote the class of $F(X)$ in $K_0(\text{...
- 889
22
votes
1
answer
2k
views
Is algebraic $K$-theory a motivic spectrum?
I've received conflicting messages on this point -- on the one hand, I've been told that "forming a natural home for algebraic $K$-theory" was one motivation for the development of motivic homotopy ...
- 63.9k
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
6
votes
2
answers
1k
views
Ring structures on algebraic K-theory spectrum, and its non-connective counterpart
I have a few naive questions on the algebraic K-theory spectrum construction, but whose answers I couldn't figure out using the internet. I'm mostly interested in the case of a commutative ring, but I ...
- 2,044
11
votes
0
answers
264
views
Direct proof of the equivalence of symmetric monoidal $K$-theory and exact sequence $K$-theory?
When all exact sequences split in $C$, we have $\Omega B C \simeq K(C):=\Omega Q(C)$. Heuristically, this is because the space of upper-triangular matrices is contractible. Can this be made precise? I ...
- 63.9k
21
votes
1
answer
2k
views
Spectral sequences in $K$-theory
There is an algebraic analogue of the Atiyah-Hirzebruch spectral sequence from singular cohomology to topological $K$-theory of a topological space.
For a field $k$, let $X$ be smooth variety $X$ ...
user87684
11
votes
0
answers
340
views
$K$-theory spectrum of the category of finite groups
(I asked some people this question in person and got the answer "no", but wanted to see if the Internet had more to say)$
\newcommand{\FinGrp}{\mathbf{FinGrp}}
$
Way back in my first group theory ...
- 1,838
10
votes
1
answer
553
views
Waldhausen $K$-theory before group completion
$K$-theory is often billed as the "universal way to split exact sequences". But it seems we're too anxious to group-complete things to actually take the slogan at face value.
Consider the following $\...
- 63.9k
6
votes
1
answer
397
views
Do topological commutative monoids model all 0-connective spectra (after group completion)?
Of course, before group completion, topological commutative monoids do not model all connected $E_\infty$ spaces -- among the grouplike ones, they model only products of Eilenberg-Mac Lane spaces. But ...
- 63.9k
10
votes
1
answer
373
views
Do symmetric monoidal groupoids model all connective spectra?
Thomason showed that symmetric monoidal categories model all connective spectra. But can it be done with groupoids? In order for this to be the case, the group completion prices process must be very ...
- 63.9k
5
votes
1
answer
334
views
Surjectivity of representations in algebraic K-theory
Let $G$ be a finite group with finite-dimensional irreducible representations $\rho_i:G\to\mathrm{GL}_{n_i}(k)$ over a field $k$ indexed by $i=1,...,m$. These compose with the canonical map $\mathrm{...
- 5,760
5
votes
0
answers
238
views
Tensor product of "difference bundles" ( Atiyah construction)
There is a well-known in index theory "difference bundle" construction of Atiyah( see for example the original paper "Clifford modules"). And also there is a corresponding formula for the tensor ...
- 51
5
votes
0
answers
178
views
Analytic refinement of generalized cohomology theories
Recently, U.Bunke and others developed in a number of papers (such as this, this or this) an approach to smooth extensions of cohomology theories based on stable homotopy theory. In this approach a ...
- 912
3
votes
1
answer
272
views
K-groups of strict henselization of stalks
How well are the algebraic K-groups of the strict henselization of the stalks $\mathcal{O}_{X,p}^{sh}$ at geometric points of a scheme $X$ understood? I am particularly interested in the case of ...
- 31
31
votes
1
answer
2k
views
A modern interpretation of Quillen's computation of the K theory of finite fields
In his beautiful paper On the cohomology and K theory of the general linear group over a finite field, Quillen constructs (if I understand correctly) an isomorphism on connected components of K-theory ...
- 7,952
10
votes
2
answers
1k
views
When do non-exact functors induce morphisms on $K$-theory?
Let $\mathcal{A}$ and $\mathcal{B}$ be Waldhausen or exact categories, so that we can take the $K$-theory spectrum of $\mathcal{A}$ and $\mathcal{B}$. An exact functor $F: \mathcal{A} \to \mathcal{B}$ ...
- 25.6k
1
vote
1
answer
343
views
research articles in topology/geometry [closed]
There is a saying "Do you read the masters?"
I want to read some basic papers in Topology/geometry...
I can not clearly state what is basic as of now...
My back ground includes course in
Category ...
user86358
2
votes
0
answers
240
views
Algebraic K theory, Karoubi completion and splitting
Suppose $\mathcal{C}\subset \mathcal{C}'$ is a pair of pre-triangulated smooth DG categories over a characteristic-zero basefield (say, $\mathbb{C}$), such that $\mathcal{C}$ is faithfully embedded in ...
- 7,952
9
votes
0
answers
745
views
When does algebraic K theory behave like a cohomology theory
Let $\mathbb{F}$ be a field. Let $K(\mathbb{F})$ be its algebraic (Quillen) $K$-theory spectrum. Let $X$ be a (nice, finite CW) topological space and let $\text{Rep}\Omega(X)$ be the DG category of (...
- 7,952
6
votes
1
answer
519
views
Waldhausen and Segal's delooping machinery
I was recently thinking about the proof of a theorem where Waldhausen compared the Segal's delooping machinery with his, in the case when the cofibration is splittable (sec.1.8 in 'Algebraic $K$-...
- 243