The natural inclusion of an infinite abelian group $G$ into $\widehat{\widehat{G}}$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T08:05:34Z http://mathoverflow.net/feeds/question/56955 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/56955/the-natural-inclusion-of-an-infinite-abelian-group-g-into-widehat-widehatg The natural inclusion of an infinite abelian group $G$ into $\widehat{\widehat{G}}$ Zev Chonoles 2011-03-01T01:24:09Z 2011-03-01T12:43:37Z <p>I was recently trying to think of a simple example that demonstrates that the natural inclusion of an abelian group $G$ into $$\widehat{\widehat{G}}=\text{Hom}_{\mathsf{Ab}}(\text{Hom}_{\mathsf{Ab}}(G,\mathbb{C}^\times),\mathbb{C}^\times)$$ is not necessarily an isomorphism. Note that I'm looking at all homomorphisms; no topology on the group is involved (or, if you prefer, they are all discrete).</p> <p>Obviously, $G$ has to be infinite. However, the only example I could think of (much less actually prove worked) was $G=\mathbb{Z}$, in which case $\widehat{G}=\text{Hom}_{\mathsf{Ab}}(\mathbb{Z},\mathbb{C}^\times)\cong\mathbb{C}^\times$, so that $$\widehat{\widehat{G}}\cong\text{Hom}_{\mathsf{Ab}}(\mathbb{C}^\times,\mathbb{C}^\times)$$ which is uncountable due to the existence of uncountably many automorphisms of the field $\mathbb{C}$, and therefore not isomorphic to $\mathbb{Z}$. However, (my understanding is that) the existence of the anything more than the two obvious automorphisms of $\mathbb{C}$ requires the axiom of choice. So my questions are,</p> <p>Does the claim that $\mathbb{Z}\not\cong\text{Hom}_{\mathsf{Ab}}(\mathbb{C}^\times,\mathbb{C}^\times)$ require AC? </p> <p>and, if the answer to the above is yes,</p> <p>Does the claim that there exists <em>some</em> abelian group $G$ such that $G\not\cong\widehat{\widehat{G}}$ require AC? Is it equivalent?</p> <p>I initially <a href="http://math.stackexchange.com/questions/24091" rel="nofollow">asked this</a> on math.SE but I suspect it's harder than I initially thought.</p> http://mathoverflow.net/questions/56955/the-natural-inclusion-of-an-infinite-abelian-group-g-into-widehat-widehatg/56959#56959 Answer by Eric Wofsey for The natural inclusion of an infinite abelian group $G$ into $\widehat{\widehat{G}}$ Eric Wofsey 2011-03-01T02:28:14Z 2011-03-01T02:35:22Z <p>Since $\mathbb{C}^\times \cong \mathbb{R}_{+}\times S^1$ by polar coordinates, it suffices to show that $\text{Hom}({\mathbb R}_+,{\mathbb R}_+)$ is uncountable. But for any real number $a$, $x\mapsto x^a$ gives an endomorphism of ${\mathbb R}_+$. Explicitly, there are uncountably many group homomorphisms from ${\mathbb C}^\times$ to itself given by $re^{i\theta}\mapsto r^ae^{i\theta}$, for any real $a$.</p> http://mathoverflow.net/questions/56955/the-natural-inclusion-of-an-infinite-abelian-group-g-into-widehat-widehatg/56977#56977 Answer by KConrad for The natural inclusion of an infinite abelian group $G$ into $\widehat{\widehat{G}}$ KConrad 2011-03-01T07:13:11Z 2011-03-01T12:43:37Z <p>Let me give a context where I think a modified version of your question will sound more natural. </p> <p>For an abelian Hausdorff topological group $G$, let's write $\widehat{G}$ for the continuous homomorphisms from $G$ to $S^1$ and $X(G)$ for the continuous homomorphisms from $G$ to ${\mathbf C}^\times$. Both $\widehat{G}$ and $X(G)$ are groups. There is a natural containment of sets $\widehat{G} \subset X(G) \subset C(G,{\mathbf C})$, where the last space is all continuous functions from $G$ to the complex numbers. When $G$ is also <em>locally compact</em> and we give $C(G,{\mathbf C})$ the compact-open topology then it is Hausdorff and $\widehat{G}$ and $X(G)$ are closed subsets. The topology induced on $\widehat{G}$ and $X(G)$ makes them both Hausdorff topological groups. </p> <p>Fourier analysis on locally compact Hausdorff abelian groups $G$ is concerned with the interplay between $G$ and $\widehat{G}$, not $G$ and $X(G)$. It is not the case that $X(G)$ for locally compact Hausdorff abelian $G$ is uninteresting, e.g., in Tate's thesis $X(G)$ plays a prominent role for various concrete choices of $G$. But one of the primary features of the construction of $\widehat{G}$, namely that for locally compact Hausdorff abelian $G$ the topological groups $G$ and $\widehat{\widehat{G}}$ are naturally isomorphic, is false for the construction of $X(G)$. That, I think, is the interesting question: what is an example of a locally compact Hausdorff abelian group $G$ such that $X(G)$ is locally compact (it's automatically Hausdorff and abelian) and the topological groups $G$ and $X(X(G))$ are not isomorphic by the natural map $G \rightarrow X(X(G))$? Three counterexamples arise quickly if we compute several examples of $X(G)$. </p> <p>Example 1: $X({\mathbf Z}) = {\mathbf C}^\times$.</p> <p>Example 2: $X({\mathbf R}) = {\mathbf C}$ by analysis: the continuous homs ${\mathbf R} \rightarrow {\mathbf C}^\times$ are parametrized by complex numbers via the formula $\chi_s(x) = e^{xs}$ for $s \in {\mathbf C}$. </p> <p>Example 3: $X(G) = \widehat{G}$ for compact $G$, and in particular $X(G) \cong G$ for finite $G$ and $X(S^1) = \widehat{S^1}$, which is isomorphic to ${\mathbf Z}$ by the parametrization $\chi_n(z) = z^n$ for $n \in {\mathbf Z}$. </p> <p>Example 4: Although ${\mathbf Q}_p$ is not compact, $X({\mathbf Q}_p) = \widehat{{\mathbf Q}_p}$ because of the $p$-adic topology: if $\chi \colon {\mathbf Q}_p \rightarrow {\mathbf C}^\times$ is a continuous homomorphism then $\chi({\mathbf Z}_p) \subset S^1$ by compactness of ${\mathbf Z}_p$ and for any $x \in {\mathbf Q}_p$ we have $\chi(x)^{p^n} = \chi(p^nx)$, which is in $S^1$ for $n$ large since $p^nx$ is in ${\mathbf Z}_p$ for $n$ large. Therefore $\chi(x) \in S^1$ for any $x$ in ${\mathbf Q}_p$. It is part of Fourier analysis that $\widehat{{\mathbf Q}_p} \cong {\mathbf Q}_p$, so we get $X({\mathbf Q}_p) \cong {\mathbf Q}_p$, which is a <em>contrast</em> to the case of ${\mathbf R}$ in Example 2: $X({\mathbf R}) \not\cong {\mathbf R}$ as topological groups since ${\mathbf R}$ and ${\mathbf C}$ are not homeomorphic. </p> <p>To make more computations, we record a result about products. For two locally compact Hausdorff abelian groups $G_1$ and $G_2$, the natural map $X(G_1 \times G_2) \rightarrow X(G_1) \times X(G_2)$ is a topological group isomorphism. </p> <p>Example 5: $X({\mathbf R}^n) \cong {\mathbf C}^n$. </p> <p>Example 6: <code>$X({\mathbf R}^\times) \cong X(\{\pm 1\} \times {\mathbf R}) \cong X(\{\pm 1\}) \times X({\mathbf R}) \cong \{\pm 1\} \times {\mathbf R} \cong {\mathbf R}^\times$</code>.</p> <p>Example 7: $X({\mathbf C}^\times) \cong X(S^1 \times {\mathbf R}) \cong X(S^1) \times X({\mathbf R}) \cong {\mathbf Z} \times {\mathbf C}$. </p> <p>Thus we find $X(X({\mathbf Z})) \cong X({\mathbf C}^\times) \cong {\mathbf Z} \times {\mathbf C}$, so ${\mathbf Z}$ and $X(X({\mathbf Z}))$ are not isomorphic as topological groups (or even as groups: one is countable and the other is not). Another counterexample is ${\mathbf R}$: $X(X({\mathbf R})) \cong X({\mathbf C}) \cong {\mathbf C}^2 \cong {\mathbf R}^4$. A third counterexample is $S^1$: $X(X(S^1)) \cong X({\mathbf Z}) \cong {\mathbf C}^\times$, so $S^1$ and $X(X(S^1))$ are not isomorphic as topological groups since one is compact and the other is not.</p> <p>The natural isomorphism of $G$ with $\widehat{\widehat{G}}$ for all locally compact Hausdorff abelian $G$ depends crucially on the use of $S^1$ as the receiver of character values. By this I don't just mean that if we use ${\mathbf C}^\times$ as the receiver of character values then such a duality isomorphism breaks down in specific examples. There is a theorem somewhere in Pontryagin's Topological Groups (maybe it is also in Weil's book on integration on topological groups) which says something like the following: if a locally compact Hausdorff abelian group $A$ could be used as the receiver of character values for a duality isomorphism on all locally compact Hausdorff abelian groups then $A$ <em>must</em> be isomorphic to $S^1$. Perhaps someone else can track down the reference.</p>