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
    Commented 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$ Commented 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$ Commented 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$ Commented 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$ Commented 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
    Commented Oct 28, 2013 at 12:05
  • $\begingroup$ I thought of the linearly ordered topology (induced by the standard inequality relation). $\endgroup$ Commented 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
    Commented Oct 29, 2013 at 22:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .