All Questions
20 questions
18
votes
4
answers
6k
views
Derived categories of coherent sheaves: suggested references?
I am interested in learning about the derived categories of coherent sheaves, the work of Bondal/Orlov and T. Bridgeland. Can someone suggest a reference for this, very introductory one with least ...
- 3,218
16
votes
6
answers
14k
views
What books should I read before beginning Masaki Kashiwara and Pierre Schapira's "Sheaves on Manifolds"
I am a beginner trying to learn about sheaves. I am trying to read Masaki Kashiwara and Pierre Schapira's book "Sheaves on Manifolds", but I find it is not easy for me to understand.
What ...
14
votes
1
answer
2k
views
Hypercohomology of a complex via Cech cohomology
Let $X$ be a reasonable topological space. If $\mathcal{F}$ is a sheaf of abelian groups then Cech cohomology gives us a method to compute the cohomology groups $H^p(X, \mathcal{F})$ - the main input ...
- 141
11
votes
3
answers
935
views
Examples of calculating perverse sheaves on algebraic varieties with easy stratification
I have been learning intersection homology and perverse sheaves in the following way. I started by reading the first $7$ chapters of Kirwan and Woolf's book
http://www.amazon.com/Introduction-...
- 123
8
votes
1
answer
1k
views
Does one need to sheafify when defining the inverse image of a sheaf with respect to an embedding?
This seems to be a rather simple (stupid?:)) question; yet I was not able to find an answer quickly.
For a morphism $f:X\to Y$ of schemes (or topological spaces) and an (etale or topological) sheaf $...
- 16.9k
6
votes
1
answer
1k
views
Tensor product of sheaves separated?
Let $(X, O_X)$ be an arbitrary scheme and $\mathcal{F}$ a presheaf of $O_X$-modules. The presheaf $\mathcal{F}$ is said to be separated if the natural map to it's sheafification $\mathcal{F}^+$ is an ...
- 3,555
6
votes
1
answer
441
views
Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?
Let $X$ be a topological space and $\mathscr{F}$ a sheaf on $X$. In the paper Tropical cycle classes for non-archimedean spaces and weight decomposition of de Rham cohomology sheaves by Yifeng Liu, ...
- 1,153
5
votes
0
answers
336
views
Do 'change of coefficients' functors for sheaves commute with the four functors (formalism)?
For a morphism $f$ of varieties over a field of characteristic $\neq l$ I can consider the functors $Rf_*$, $f^\ast$, $f_!$, and $f^!$ both for the corresponding derived categories of 'all' (...
- 16.9k
4
votes
0
answers
432
views
Reference request: sheaf-theoretic operations in the classical topology?
Like many graduate students before trying to learn something about étale cohomology and Deligne's proof(s) of the Riemann hypothesis part of the Weil conjectures, I am hunting for references detailing ...
- 273
3
votes
2
answers
488
views
Application of sheaves theory in ring theory
Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?
- 49
3
votes
1
answer
466
views
Finding global sections of a sheaf of sets using (some kind of) sheaf cohomology?
Let $X$ be a compact manifold, say, and $G$ a Lie group, and $H$ a closed Lie subgroup such that $M \cong G/H$ is a homogeneous space. (For my purposes, $X$ and $M$ would be a smooth projective ...
- 1,763
3
votes
1
answer
260
views
Etale cohomology of relative elliptic curve
Let $E_a: y^2 = x(x-1)(x-a)$ be a smooth proper relative elliptic curve over $\text{Spec}(A)$, with $a\in A$, and assume $\text{Spec}(A)$ is a $\text{Spec}(\mathbb{Q}_p)$-scheme.
Let $R^1f_*\mathbb{Q}...
- 2,907
3
votes
0
answers
375
views
Equivariant sheafs and $G$ actions on modules
I am reading Simpson's paper on The Hodge filtration on nonabelian cohomology. In particular Chapter 5 (p.24) and I am confused about the notion of a group acting on an equivariant sheaf.
The set up ...
- 296
3
votes
0
answers
422
views
What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?
It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor $\text{Hom}_{\text{Qcoh}(X)}(\...
- 9,019
2
votes
2
answers
2k
views
Serre's Theorem for Coherent Sheaves
I recently heard a discussion about a certain of Serre which reconstructs the category of coherent sheaves of a variety $V$ as the category of modules over the homogeneous space of $V$ modulo modules ...
2
votes
0
answers
128
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
- 541
2
votes
0
answers
358
views
What are the easiest cases of base change (for sheaves on sites)?
I have a closed embedding of schemes $i:X'\to X$, and for each of them I consider three Grothendieck topologies for the category of the corresponding (relatively) \'etale schemes: the \'etale one, the ...
- 16.9k
2
votes
0
answers
414
views
Do inverse images respect flabby sheaves?
Let $i:Y\to X$ be a closed embedding of varieties, and let $S$ be a flabby \'etale (or Nisnevich) sheaf of abelian groups on $X$. Is $i^*S$ flabby also? I am mostly interested in the case when $S=i_{x*...
- 16.9k
1
vote
0
answers
131
views
Schur's lemma for sheaves with different reduced Hilbert polynomials
Recall Schur's Lemma for Gieseker-semistable sheaves, in particular the injectivity statement:
Let $\psi : F \to G$ be a morphism of Gieseker-semistable sheaves. If $p(F)=p(G)$ and $F$ is stable, ...
- 123
1
vote
0
answers
249
views
On inverse images with respect to Zariski-etale topology.
For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
- 16.9k