All Questions
6 questions with no upvoted or accepted answers
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 ...
6
votes
0
answers
144
views
$K_0$ an $KH_0$ of a normal crossing variety
Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...
6
votes
0
answers
312
views
homotopy domination that splits a non-split epimorphism and still wants to be a homotopy equivalence
Can a homotopy domination by a space supporting a free action of $G$ be promoted to a homotopy equivalence with such a space? As stated, this is not a serious question (multiply by an $EG$). But with ...
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 ...
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,...
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, ...