Search Results

Clearly looking at sheaves on the geometric realisation gives something too far removed from the simplicial picture. This is essentially because there are too many sheaves on a simplex have (most of w …

This seems to work for getting a central extension (even though it looks a little bit too simple). To be specific I am using May's notation with $\newcommand{\hw}{\overline{W}}\hw$ for the classifying …

The exact sequence $0\rightarrow\mathrm{Z}/p\rightarrow\mathrm{Z}/p^2\rightarrow\mathrm{Z}/p\rightarrow0$ ($p$ a prime say) gives a map $\mathrm{Z}/p\rightarrow\mathrm{Z}/p[1]$ in the derived category …

Assume given a group $G$, a subgroup $H$ and a $g\in G$ such that $gHg^{-1}$ is properly contained in $H$. Let now $Y$ be a topological space with an action of $G$ such that $Y\rightarrow Y/G=:X$ is a …

Here is one suggestion of a topological result. Just as for the Brouwer fixed point theorem formulating it in the right generality seems tricky so I will stick to the case of a finite polyhedron $X$. …

A well-written discussion of the group completion can be found on pp. 89--95 of J.F. Adam: Infinite loop spaces, Ann. of Math. studies 90 (even though he only discusses a particular group completion o …

If $P$ and $Q$ are closed subspaces of $Y$ and $Y$ is their union, we have a short exact sequence of sheaves on $Y$ $0\rightarrow\mathbb Z\rightarrow i_\ast\mathbb Z\bigoplus j_\ast\mathbb Z\rightarro …

It depends completely on what you mean by cofibrations. The choice is not quite simple to make as the homotopy category of real commutative dga's is anti-equivalent to "real homotopy" which would sugg …

There is a precise relation at the level of complexes: $C^\ast(X,\mathbb Z)$ is a $G$-complex and as such it is perfect (that is quasi-isomorphic to a finite complex consisting of projective modules) …

We have that if $f\colon S^{2k}\to BU$ is an actual map of topological spaces (it is a little bit unclear from your formulation if you assume this) then $\langle c_k,[f]\rangle>$ is a multiple of $(k- …

Well, I think it depends on which dimension you mean and which cohomology. The best fit I think is covering dimension and Čech cohomology. The Čech cohomological dimension is indeed bounded (more or l …

I do not know if this provides more details: I assume the closed ($4$-)manifold $M$ to be oriented (we need the submanifold to be oriented to have an integral homology class and the construction I a …

I missed that the question concerned the singular Kummer surface (which I think historically was what was what was called the Kummer surface but our current fixation on non-singularity has changed tha …

[[ I have added a discussion of when $p$ is smooth or has quotient singularities. ]] [[ I added a discussion on the cohomology of $[X/G]$. ]] The étale case follows in a way that is altogether analog …

As the cohomology of $(S^1)^n$ is torsion free every stable bundle on $(S^1)^n$ is determined by Chern classes (this also follows from the $K$-theory Künneth formula) so just as for the spheres it is …