History of tag 07K3
Go back to the tag's page.
| type |
time |
link |
|
moved the statement to file obsolete.tex
|
2017-11-12 |
c424f69 |
Simplify proof key lemma in chow
Large set of changes in order to simplify the proof of the key lemma
used in proofs of properties for intersecting with effective Cartier
divisors and capping with c_1 of invertible modules.
Probably the original proof was a bit too original. It is still there
in an appendix, but the current proof can be read within an hour by
those familiar with standard (Noetherian) commutative algebra. The
original proof required checking commutativity of many diagrams and
checking many signs.
We also added more explanation of what is happening in the introduction
as well as a comment on Milnor K-theory giving the reference to Kato's
paper and how it is more general.
|
|
changed the proof
|
2017-11-12 |
c424f69 |
Simplify proof key lemma in chow
Large set of changes in order to simplify the proof of the key lemma
used in proofs of properties for intersecting with effective Cartier
divisors and capping with c_1 of invertible modules.
Probably the original proof was a bit too original. It is still there
in an appendix, but the current proof can be read within an hour by
those familiar with standard (Noetherian) commutative algebra. The
original proof required checking commutativity of many diagrams and
checking many signs.
We also added more explanation of what is happening in the introduction
as well as a comment on Milnor K-theory giving the reference to Kato's
paper and how it is more general.
|
|
changed the proof
|
2017-10-05 |
0adaa52 |
Remove 'f.f.'
Sad IMHO.
Thanks to BCnrd, Dario Weissmann, and sdf
https://stacks.math.columbia.edu/tag/02JQ#comment-2762
https://stacks.math.columbia.edu/tag/02JQ#comment-2765
https://stacks.math.columbia.edu/tag/02JQ#comment-2766
https://stacks.math.columbia.edu/tag/02JQ#comment-2767
|
|
changed the proof
|
2013-12-22 |
5b9bcfb |
LaTeX
Introduced a new macro
\def\Coker{\text{Coker}}
and replaced all occurrences of \text{Coker} by \Coker
|
|
changed the statement and the proof
|
2012-05-10 |
3f35f36 |
zerodivisor and nonzerodivisor
Seems better this way.
|
|
assigned tag 07K3
|
2012-03-21 |
4e265af
|
Tags: Added new tags
|
|
created statement with label lemma-not-domain in algebra.tex
|
2012-02-14 |
d84c3bd |
Clarification on orders of vanishing
In a reduced local 1-dimensional Noetherian ring you can
compare the order of vanishing to the orders of vanishing on the
irreducible components. I previously hesitated putting this in
but now I do think it is worthwhile.
|