Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0A89

Go back to the tag's page.

type time link
changed the statement 2024-04-12 a5e0ddf
missing anti

THanks to Haohao Liu
https://stacks.math.columbia.edu/tag/0A89#comment-8358
changed the proof 2020-09-17 dcea2cb
\Hom_k(H^i(U, F), k) = H^{-i}_c(U, RHom(F, omega))

for F coherent on U sep fin type over field k
changed the statement and the proof 2017-06-29 b0ad73c
Notational changes only

Try to indicate the sheaf of rings we are taking R\SheafHom over in the
chapter on duality on schemes because in that chapter we do some pretty
subtle things where confusion is possible...
moved the statement to file duality.tex 2017-06-06 a866f45
Three new chapters

Titles: "Duality for Schemes", "Discriminants", "Local Cohomology"
changed the proof 2017-06-06 a866f45
Three new chapters

Titles: "Duality for Schemes", "Discriminants", "Local Cohomology"
changed the proof 2016-08-31 14741d6
Corrected typos in dualizing.tex guide.tex homology.tex intersection.tex limits.tex models.tex modules.tex more-groupoids.tex pic.tex
changed the proof 2015-03-30 881f484
Try to make usage of RHom more uniform
changed the statement 2014-12-10 c1b2bf7
A bit more on the bootstrap procedure
changed the proof 2014-05-13 ee8973b
Upper shriek transforms dualizing into dualizing
changed the statement and the proof 2014-05-11 93dad72
Add two proofs
assigned tag 0A89 2014-05-10 9e227cd
Tags: Added new tags
created statement with label lemma-dualizing-schemes in dualizing.tex 2014-05-08 e96773c
A little bit more about dualizing complexes

Existence implies universally catenary and finite dimension for rings

Definition for locally Noetherian schemes... We just say it should be
affine locally a dualizing complex. This is not the most wonderful way
to do it, but it avoids talking about finite injective dimensions for
complexes of modules over a sheaf of rings.