Skip to main content
added 322 characters in body
Source Link
Graham Leuschke
  • 5.8k
  • 2
  • 29
  • 37

$\mathrm{Ext} = \mathrm{Ext}^1$ does not classify the middle terms up to isomorphism. It classifies the short exact sequences up to equivalence, where the equivalence relation is generated by commutative diagrams having equalities on each end. It's possible for two inequivalent short exact sequences to have isomorphic middle terms. See Eisenbud's book, Exercises A3.26, A3.27, and especially A3.29 for more.

As for your particular example, consider the pullback of the exact sequence $0 \to \mathbb{Z} \rightarrow \mathbb{Z} \to \mathbb{Z}/(3) \to 0$ by the map given by multiplication by 2 on $\mathbb{Z}/(3)$. The middle term is isomorphic to $\mathbb{Z}$, but the short exact sequence is not equivalent to the original.

$\mathrm{Ext} = \mathrm{Ext}^1$ does not classify the middle terms up to isomorphism. It classifies the short exact sequences up to equivalence, where the equivalence relation is generated by commutative diagrams having equalities on each end. It's possible for two inequivalent short exact sequences to have isomorphic middle terms. See Eisenbud's book, Exercises A3.26, A3.27, and especially A3.29 for more.

$\mathrm{Ext} = \mathrm{Ext}^1$ does not classify the middle terms up to isomorphism. It classifies the short exact sequences up to equivalence, where the equivalence relation is generated by commutative diagrams having equalities on each end. It's possible for two inequivalent short exact sequences to have isomorphic middle terms. See Eisenbud's book, Exercises A3.26, A3.27, and especially A3.29 for more.

As for your particular example, consider the pullback of the exact sequence $0 \to \mathbb{Z} \rightarrow \mathbb{Z} \to \mathbb{Z}/(3) \to 0$ by the map given by multiplication by 2 on $\mathbb{Z}/(3)$. The middle term is isomorphic to $\mathbb{Z}$, but the short exact sequence is not equivalent to the original.

Source Link
Graham Leuschke
  • 5.8k
  • 2
  • 29
  • 37

$\mathrm{Ext} = \mathrm{Ext}^1$ does not classify the middle terms up to isomorphism. It classifies the short exact sequences up to equivalence, where the equivalence relation is generated by commutative diagrams having equalities on each end. It's possible for two inequivalent short exact sequences to have isomorphic middle terms. See Eisenbud's book, Exercises A3.26, A3.27, and especially A3.29 for more.