7
$\begingroup$

Pontryagin Duality for locally compact abliean groups gives plenty of continuous (unitary) characters $\chi : A \to \mathbb{R} / \mathbb{Z}$, but if we do not assume local compactness, can anything be said? In particular, is the following true?

Every abelian Hausdorff topological group has a nontrivial continuous (unitary) character

I believe this to be false, but cannot find a concrete example.

$\endgroup$
1
  • $\begingroup$ The trivial group is a concrete example. $\endgroup$
    – YCor
    Oct 28, 2013 at 9:48

3 Answers 3

14
$\begingroup$

The infinite-dimensional sphere $S^\infty$ (the evident colimit of finite-dimensional spheres) admits a topological group structure whose underlying abelian group is a torsion group (in fact a structure of $\mathbb{F}_2$-vector space). See this answer here: https://mathoverflow.net/a/43047/2926.

If $\phi: S^\infty \to S^1$ is a continuous character, then $\phi(S^\infty)$ is evidently a connected torsion subgroup of $S^1$, which can only be trivial since the torsion subgroup $\mathbb{Q}/\mathbb{Z}$ of $S^1$ is totally disconnected.

$\endgroup$
8
$\begingroup$

If a topological vector space $X$ is not locally convex, then it usually has not non-zero linear continuous functionals, and this means that there are no non-trivial continuous characters on $X$. For example, you can take the space of all measurable functions on $[0,1]$ with the metrics $$ d(x,y)=\int_0^1\frac{|x(t)-y(t)|}{1+|x(t)-y(t)|}d t. $$

$\endgroup$
4
  • $\begingroup$ This is a very elementary example. Nice :-) $\endgroup$ Oct 28, 2013 at 4:38
  • $\begingroup$ I guess we could also use a Banach space such that the existence of nonzero linear functionals on it is independent of ZF? $\endgroup$ Oct 28, 2013 at 4:41
  • 1
    $\begingroup$ I thought that each Banach space has enough linear continuous functionals (by the Hahn-Banach theorem). :) $\endgroup$ Oct 28, 2013 at 4:44
  • 1
    $\begingroup$ @SergeiAkbarov, that depends on the Axiom of Choice, which ZF does no include. (The two things are not equivalent, though) $\endgroup$ Oct 28, 2013 at 4:47
0
$\begingroup$

I'd think that a linearly ordered group extension of   $\mathbb R$,   especially any non-standard real field wouldn't have any non-trivial (Pontryagin) character.

$\endgroup$
3
  • $\begingroup$ Which topology you have in mind? For the topologies I can think of, there are proper open subgroups, and hence the discrete quotient admits Pontryagin characters. $\endgroup$
    – YCor
    Oct 28, 2013 at 12:05
  • $\begingroup$ I thought of the linearly ordered topology (induced by the standard inequality relation). $\endgroup$ Oct 29, 2013 at 1:33
  • 1
    $\begingroup$ Then the convex hull of the standard reals is an open subgroup and is not the whole group. So the quotient is a nontrivial (indeed infinite) discrete abelian group. Thus this topological group admits plenty of characters. $\endgroup$
    – YCor
    Oct 29, 2013 at 22:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.