Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
projective scheme
coherent sheaf |
| gptkbp:field |
gptkb:algebraic_geometry
|
| https://www.w3.org/2000/01/rdf-schema#label |
Serre's vanishing theorem
|
| gptkbp:implies |
cohomology groups vanish for large twists
|
| gptkbp:namedAfter |
gptkb:Jean-Pierre_Serre
|
| gptkbp:publishedIn |
Faisceaux algébriques cohérents (FAC)
|
| gptkbp:state |
For a coherent sheaf F on a projective scheme X over a Noetherian ring, there exists an integer n_0 such that for all n > n_0, H^i(X, F(n)) = 0 for all i > 0.
|
| gptkbp:usedIn |
proof of Serre's theorem on projective embeddings
|
| gptkbp:year |
1955
|
| gptkbp:bfsParent |
gptkb:Tate's_vanishing_theorem
|
| gptkbp:bfsLayer |
7
|