Timeline for Pushforward of a Cohen-Macaulay module
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2021 at 18:08 | comment | added | Johan | Also, see stacks.math.columbia.edu/tag/0AUK for the statement on depth. | |
| Dec 20, 2021 at 4:58 | comment | added | Karl Schwede | Another way to see this easily is to notice that $H^i_{m_R}(M) = H^i_{m_S}(M)$ since under your hypotheses $\sqrt{m_R S} = m_S$. Then use the description of depth via local cohomology vanishing. | |
| Dec 19, 2021 at 14:04 | comment | added | abx | Yes to both questions. Unfortunately (?) the only reference I know is in french: Bourbaki, Algèbre commutative X, §2, Proposition 8. | |
| Dec 19, 2021 at 13:42 | history | asked | Serge the Toaster | CC BY-SA 4.0 |