Timeline for Reflexive modules over a 2-dimensional regular local ring
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 30, 2010 at 1:02 | vote | accept | Erick Knight | ||
| Apr 30, 2010 at 1:02 | comment | added | Erick Knight | That seems to work. Another way of seeing that dh(M) <= dh(N/M)-1 is to show that Ext^1(M,-) = 0, which follows from Mayer-Vietoris applied to 0 -> M -> N -> M/N -> 0. That generalizes for higher dimensions too. Thanks for parsing this proof. | |
| Apr 29, 2010 at 14:25 | comment | added | Hagen | You mean the last fact about the projectivity of S? See for example Lemma 4.1.6 in Weibel's Introduction to homological algebra. | |
| Apr 29, 2010 at 13:54 | comment | added | Erick Knight | Is that fact supposed to be obvious/immediate? I just see a lot of potential pathologies going on with projective resolutions. If not, then is there a nice reference that you have in mind? | |
| Apr 29, 2010 at 11:07 | history | answered | Hagen | CC BY-SA 2.5 |