3
votes
Accepted
(Derived category of) sheaves over an infinite union
An easier argument would be that $R^q\pi_\ast \mathbf Q$ vanishes for $q\notin \{0,3\}$ and has rank $1$ for $q \in \{0,3\}$. Indeed, just check this on stalks. Then the cone of $\mathbf Q\to R\pi_\...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
sheaf-theory × 931ag.algebraic-geometry × 468
ct.category-theory × 187
sheaf-cohomology × 112
at.algebraic-topology × 104
topos-theory × 87
homological-algebra × 73
reference-request × 59
cohomology × 49
dg.differential-geometry × 46
schemes × 45
derived-categories × 43
grothendieck-topology × 42
gn.general-topology × 40
etale-cohomology × 38
vector-bundles × 36
complex-geometry × 30
coherent-sheaves × 25
ac.commutative-algebra × 24
stacks × 24
homotopy-theory × 22
smooth-manifolds × 19
perverse-sheaves × 18
higher-category-theory × 17
sites × 17