History of tag 08RM
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2019-09-18 |
b61b0ba |
Towards trace map on de Rham complexes
This is an intermediate commit because there is now a
rather large set of changes already... but it is not quite
done yet.
|
|
changed the proof
|
2013-03-17 |
528029f |
More generalities on \Omega_{X/S}, continued...
|
|
assigned tag 08RM
|
2013-03-17 |
ef2e849
|
Tags: Added new tags
|
|
created statement with label lemma-universal-module in modules.tex
|
2013-03-17 |
8d2ae8b |
Clean up treatment module of differentials
Move the construction of \Omega to the setting of ringed spaces.
Redefine the module of differentials using the universal property. The
agreement with the conormal sheaf of the diagonal is now a lemma. Tried
to find all places where this was used...
|