All Questions
8 questions
2
votes
1
answer
242
views
Derived category of local systems of finite type on a $K(\pi,1)$ space: an explicit counterexample
Let $X$ be a nice enough topological space. I am mostly interested in smooth complex algebraic varieties. One may ask whether the bounded derived category of the category $\mathrm{Loc}(X)$ of local ...
- 1,071
2
votes
0
answers
133
views
Formulation of cap product in group-equivariant sheaf cohomology + applications?
Originally asked on Math SE but it was suggested I move it here.
Suppose one has a distinguished cocycle in the group-equivariant sheaf cohomology $\Phi \in H^n(X, G, \mathcal{F})$ for a "nice&...
- 101
6
votes
1
answer
478
views
Unbounded acyclic resolutions
Let $\mathscr A$ be a Grothendieck abelian category. Then every object in $\operatorname{Ch}(\mathscr A)$ is quasi-isomorphic to a $K$-injective object [Stacks, Tag 079P]. In particular, for any left ...
- 28.7k
1
vote
2
answers
723
views
On the link between homology and homotopy
In the last semester I learned homological algebra and higher category theory/homotopy theory.
But I am kind of confused when I try to really understand the link between the two subjects (this is ...
- 546
8
votes
2
answers
960
views
Is the derived category of local systems equivalent to the derived category of sheaves of vector spaces with local system cohomology?
Let $k$ be a field and $X$ a topological space.
Write $\mathrm{Sh}(X)$ for the category of sheaves of vector spaces on $X$, and $\mathrm{Loc}(X)$ for the subcategory of local systems of finite ...
- 1,635
2
votes
2
answers
542
views
Tensor product of mapping cones
Fix a ring $R$. If $A^*_i \to B^*_i \to C^*_i \to A^*_i[1]$ is a distinguished triangle of complexes of $R$-modules, for $i=1$ and $2$ (so $C_i^* = cone(f_i^*)$ where $f_i^*: A_i^*\to B_i^*$), is ...
- 2,964
6
votes
0
answers
542
views
N-periodic derived categories
I have some seemingly basic questions about $N$-periodic derived categories to which I have not found answers in any of the usual places.
Let $R$ be a ring, and let $D(R)_{\mathbb Z/N\mathbb Z}$ ...
- 18.7k
7
votes
0
answers
668
views
Is there an obstruction which classifies "quasi-isomorphism but not chain equivalence"?
Fix a ring $R$ and let $C_\bullet$, $D_\bullet$ be (possibly unbounded) chain complexes of $R$-modules. Assume that $f_\bullet:C_\bullet \to D_\bullet$ is a quasi-isomorphism: that is to say, $f$ is a ...
- 15.5k