History of tag 0B1V
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2015-03-27 |
bf36b59 |
Improvements to intersection.tex
Thanks to Dmitry Korb for help simplifying the proof of 0B0W
Thanks to Ashwin Deopurkar finding a mistake in the proof of 0B1V
Other changes: work in a bit greater generality, especially in the
earlier lemmas. This is useful, because it allows us to work locally on
X in order to prove equalities of cycles.
Also added: a remark on how to reformulate the moving lemma in order to
make the proof of existence of the intersection product work for
nonsingular quasi-projective varieties (nor just projective ones).
|
|
assigned tag 0B1V
|
2015-02-14 |
73140a0
|
Tags: Added new tags
|
|
changed the proof
|
2015-02-12 |
1bf4d39 |
Reformulate moving
Everything is now quite precise and only one proof is missing.
|
|
created statement with label theorem-well-defined in intersection.tex
|
2015-02-11 |
2658557 |
Proof that intersection product is well defined
For rational equivalence. Fun!
|