Injective modules and Pontrjagin duals - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T20:16:18Z http://mathoverflow.net/feeds/question/14257 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/14257/injective-modules-and-pontrjagin-duals Injective modules and Pontrjagin duals Anweshi 2010-02-05T11:54:16Z 2011-02-23T13:25:10Z <p>Forgive me for this naive question. </p> <p>We consider the following lemma and its proof in Lang's algebra, Third Ed., published 1999, Chap. 20, section 4, page 784.</p> <blockquote> <p>Every module is a submodule of an injective module.</p> </blockquote> <p>For a module $M$, Lang defines its dual to be $M$^ = $Hom(M, \mathbb{Q}/\mathbb{Z})$.</p> <p>This "dual", if anything, is an algebraic version of the Pontrjagin dual of a topological group $G$, which is $Hom(G, \bf{S}^1)$, where we consider the continuous homomorphisms. $\mathbb{Q}/\mathbb{Z}$ is the torsion part of $\bf{S}^1$, and it seems this restriction is done for preventing too big a dual.</p> <p>The proof goes on and shows that any module is a submodule of an injective module.</p> <p>However, is there any conceptual explanation of why this works, and why this mysterious appearance of a dual which looks so much like the Pontrjagin dual?</p> http://mathoverflow.net/questions/14257/injective-modules-and-pontrjagin-duals/14260#14260 Answer by Gjergji Zaimi for Injective modules and Pontrjagin duals Gjergji Zaimi 2010-02-05T13:14:22Z 2010-02-05T13:14:22Z <p>Why this works? Because $\mathbb{Q}/\mathbb{Z}$ is an <a href="http://en.wikipedia.org/wiki/Injective_cogenerator" rel="nofollow">injective cogenerator</a> in the category of abelian groups.</p> <p>The mysterious appearance can be explained if you look at it from a more general perspective. This would be Morita duality, which was motivated by classical Pontryagin duality (locally compact Hausdorff topological groups), and it replaces the role of the circle group with an injective cogenerator.</p> <p>In the category Set of sets and mappings, for example, the two point set $\{0,1\}$ is an injective cogenerator. The category Gr of groups and group homomorphisms on the other hand doesn't have any cogenerator.</p> http://mathoverflow.net/questions/14257/injective-modules-and-pontrjagin-duals/14272#14272 Answer by Emerton for Injective modules and Pontrjagin duals Emerton 2010-02-05T14:50:41Z 2011-02-23T13:25:10Z <p>Let me sketch a proof of the result (which I would guess is the one Lang gives) with some motivation that I hope resonates with your question.</p> <p>There is a general adjunction, if $A \to B$ is a ring homomorphism and $M$ and $N$ are $A$- and $B$-modules respectively, of the form $Hom_A(N,M) = Hom_B(N,Hom_A(B,M)).$ This shows that if $M$ is injective over $A$, then $Hom_A(B,M)$ is injective as a $B$-module, and also that if $N \hookrightarrow M$ is an embedding of $A$-modules, then the induced map $N \to Hom_A(B,M)$ is also an embedding. </p> <p>Thus it suffices to construct enough injectives in the category of $\mathbb Z$-modules; the above considerations then produce enough injectives for modules over any ring.</p> <p>Now $I$ is injective if and only if $Hom(\text{--},I)$ is exact, which is already a kind of Pontrjagin duality property: it gives an exact functor reversing arrows. Furthermore, we always have a double duality map $M \to Hom(Hom(M,I))$, and another feature of Pontrjagin duality is that this map should be an isomorphism. Let's here consider the weaker property that it is injective (so we at least have a non-degenarate duality, although not necessarily perfect).</p> <p>Suppose then that $I$ is some injective module over $\mathbb Z$, with the property that the double duality map $M \to Hom(Hom(M,I),I)$ is injective for all $M$ (i.e. with the property that it gives rise to some kind of Pontrjagin duality). Then given this $I$, if we take a free module surjecting onto $Hom(M,I),$ and then apply $Hom(\text{--},I)$ and compose with the double duality map, we get an embedding from $M$ into a product of copies of $I$, and hence an embedding of $M$ into an injective.</p> <p>Thus constructing enough injectives is reduced to finding such $I$, and here we are guided by the idea that we are looking for an object that establishes some kind of (at least weak form of) Pontrjagin duality.</p> <p>Now in order for the double duality to be injective, one needs that for any $m \in M$, there is a map from $\langle m \rangle$ to $I$ that is non-zero on $m$ (since this will extend to all of $M$ by injectivity of $I$). So we need $I$ to be injective, i.e. divisible, and to contain torsion elements of arbitrary order. Thus we could take $I = {\mathbb Q}/{\mathbb Z}$, as in Lang, or also the circle group $S^1$. (But the latter has infinite order elements which are not necessary, so ${\mathbb Q}/{\mathbb Z}$ is more economical. Since it also has a more algebraic/less analytic feel than the circle, this is probably why it is more commonly used in such arguments.)</p>