Are measurable automorphism of a locally compact group topological automorphisms? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T18:57:59Z http://mathoverflow.net/feeds/question/64116 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/64116/are-measurable-automorphism-of-a-locally-compact-group-topological-automorphisms Are measurable automorphism of a locally compact group topological automorphisms? Marc Palm 2011-05-06T12:21:33Z 2011-05-08T19:14:31Z <p>Consider a locally compact group $G$, considered as a measurable space with the completed Borelstructure wrt. the Haarmeasure. Consider a map $f:G \to G$, which is measurable and has an inverse, which is then also measurable. Is $f$ an homeomorphism?</p> <p>What if $G$ is abelian? If not, what are necessary conditions on $G$, such that this is the case.</p> <p>For $\mathbb{R}$, it seems to be true: see <a href="http://math.stanford.edu/~chris/additive.pdf" rel="nofollow">http://math.stanford.edu/~chris/additive.pdf</a>. </p> http://mathoverflow.net/questions/64116/are-measurable-automorphism-of-a-locally-compact-group-topological-automorphisms/64118#64118 Answer by Matthew Daws for Are measurable automorphism of a locally compact group topological automorphisms? Matthew Daws 2011-05-06T12:39:03Z 2011-05-08T19:14:31Z <p>Some partial results: By Hewitt+Ross, Theorem 22.18 (http://www.ams.org/mathscinet-getitem?mr=551496) a Borel measurable homomorphism between two locally compact groups is continuous if the codomain is separable or $\sigma$-compact. (I think this result goes back to Banach).</p> <p>A nice paper (see edit below!), which proves some similar results, is:<br/> MR1473172 (98i:22003)<br/> Neeb, Karl-Hermann(D-ERL-MI)<br/> On a theorem of S. Banach. (English summary)<br/> J. Lie Theory 7 (1997), no. 2, 293–300.<br/> <a href="http://www.ams.org/mathscinet-getitem?mr=1473172" rel="nofollow">http://www.ams.org/mathscinet-getitem?mr=1473172</a></p> <p>I'm afraid that I don't know the limits of these sort of results (i.e. a counter-example in the non-separable case, say), or if being an automorphisms gives anything more.</p> <p><strong>Edit:</strong> As Julien points out in a comment, this paper of Neeb is a little suspect, so I withdraw my recommendation. André Henriques shows, in a short argument, that given a bijective group homomorphism which is measurable for the completed Haar measure, the homomorphism must be continuous.</p> <p>I was a bit worried about the difference between "measurable" in the sense of "inverse image of open set is Borel or Haar measurable" and this stronger sense. But I think uniqueness of Haar measures rescues us. Indeed, if $\tau:G\rightarrow G$ is a continuous automorphism of $G$, then the map $A\mapsto |\tau(A)|$ will be a left invariant measure; as $\tau$ is a homeomorphism, this measure also assigns finite measure to compacts, and non-zero measure to open sets. Thus it will be proportional to the Haar measure. As $\tau$ preserves Borel sets, it follows that it will preserve all the Haar measurable sets, and so will be measurable in this strong sense. Note that the example of Robin Chapman shows that this isn't necessarily so for a merely injective, continuous homomorphism.</p> http://mathoverflow.net/questions/64116/are-measurable-automorphism-of-a-locally-compact-group-topological-automorphisms/64122#64122 Answer by Clinton Conley for Are measurable automorphism of a locally compact group topological automorphisms? Clinton Conley 2011-05-06T12:59:23Z 2011-05-06T12:59:23Z <p>You should look up "automatic continuity." Here is a paper by J.W. Lewin that may be of interest:</p> <p><a href="http://www.jstor.org/pss/2044356" rel="nofollow">http://www.jstor.org/pss/2044356</a></p> http://mathoverflow.net/questions/64116/are-measurable-automorphism-of-a-locally-compact-group-topological-automorphisms/64140#64140 Answer by Alain Valette for Are measurable automorphism of a locally compact group topological automorphisms? Alain Valette 2011-05-06T18:00:50Z 2011-05-06T18:00:50Z <p>Here is a result by Adam Kleppner (MEASURABLE HOMOMORPHISMS OF LOCALLY COMPACT GROUPS, PROC AMER MATH SOC , vol. 106, no. 2, 1989, 391-395): any measurable homomorphism between locally compact groups is continuous. Actually what he really needs, for a homomorphism $\alpha:G\rightarrow H$, is that $\alpha^{-1}(U)$ is measurable in $G$ for every open subset $U\subset H$.</p> http://mathoverflow.net/questions/64116/are-measurable-automorphism-of-a-locally-compact-group-topological-automorphisms/64145#64145 Answer by André Henriques for Are measurable automorphism of a locally compact group topological automorphisms? André Henriques 2011-05-06T18:15:30Z 2011-05-06T18:15:30Z <p>The basic fact about locally compact groups is that you can recover the topology from the underlying measure space:</p> <p>This is because, for any measurable subset $X\subset G$ of positive measure, the set $$X^{-1}X:=\{x^{-1}y\,|\,x\in X, y\in Y\}$$ is a neighborhood of the neutral element. Letting $X$ vary along all measurable subset of positive measure you get a basis of neighborhoods of $e\in G$. By translating by group elements, you get a basis of neighborhoods of any element $g\in G$. And so you recover the topology on $G$.</p> <p><b>Corollary:</b><br> Since the topology is entirely encoded in the measurable structure, an automorphism that respects the measurable structure, will also respect the topology, i.e., be continuous.</p>