4
$\begingroup$

Let $A$ be an integral domain and $M$, $N$ be finitely generated $A$-modules. I know from this topic that one cannot expect $\hom_A(M,N)_P \cong \hom_{A_P}(M_P,N_P)$ to be true in the general case (although I lack the background to fully grasp the given counterexample), but

what if I consider the localization of the dual module of $M$, i.e. $N = A$?

For my purposes, I may even assume that $M$ is locally free of rank $1$. If I didn't miscalculate, the natural map should be injective, but I fail to prove surjectivity. (A more abstract proof would be great, too!)

  • 0
    This [MO question](http://mathoverflow.net/questions/13817/a-finitely-generated-locally-free-module-over-a-domain-which-is-not-projective) may be relevant. It appears that under your hypotheses, $M$ is f.g. and projective, and hence finitely presented.2011-12-09

1 Answers 1

2

Yes, in the case you mention $Hom$ commutes with localization.

Reminder
For a locally free $A$-module $M$ of rank 1, the dual module $Hom_A(M,A)$ is the only module $L$ such that $M\otimes L=A$. [This is why such $M$ are also called invertible modules]

The rest is easy: localizing at $P$, you get $(M\otimes_A L)_P=M_P\otimes_{A_P} L_P=A_P$ and this proves, by the Reminder again, that $L_P=Hom_{A_P}(M_P,A_P)$.
This is what you wanted : $(Hom_A(M,A))_P=Hom_{A_P}(M_P,A_P)$

  • 0
    Great, thank you (again)!2011-12-10