Skip to main content
1 of 2
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

Actually, it would be easier to look at the other end of the exact sequence. Namely, your map $f^*$ is trivial implies the map $g^*: Hom_S(T,Q) \to Hom_S(M,Q)$ is an isomorphism.

Now, since $M$ is projective, the support of $Hom_S(M,Q)$ is equal to the support of $Q$. Thus we have $Supp(Hom_S(T,Q)) = Supp(Q)$, which implies $$Supp(T) \supseteq Supp(Q) \ \ (1)$$

When $Q$ is simple, (so $Q=S/m$ where $m$ is a maximal ideal) as you allude to in the last paragraph, then $(1)$ is also sufficient, provided that the surjection $M \to T$ is minimal when localizing at $m$, as you can easily check for your self.

Another situation when $(1)$ also suffices is when $T,Q$ are both cyclic $S$ module and $M=S$ (you always need the map $M\to T$ to be minimal, may be that what you meant by "non-trival" surjection?)

Other than what described above, I think what you want will fail most of the times, even with $(1)$.

Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188