Fourier analysis on groups, and the isomorphism of characters in the "classical" setting

235 Views Asked by At

I am reading these lecture notes By Daniel Bump about Character Theory on Abelian Groups. If $G$ is a group, then $G^*$ denotes its characters, the set of homomorphisms $\pi : G \to \mathbb C^{\times}$, where $\mathbb C^{\times}$ denotes the multiplicative group of the complex numbers. At the end he introduces Fourier Analysis on Abelian groups and mentiones with regard to the isomorphism of $G$ and $G^{\ast}$.

However $G$ and $G^{\ast}$ may or may not be isomorphic. We have seen that they are isomorphic if $G$ is finite; or if $G = \mathbb R$ (the additive group) or $\mathbb Q_p$ (the additive group of $p$-adic numbers), then $G \cong G^{\ast}$. But if $G = \mathbb R / \mathbb Z$ then $G^{\ast} = \mathbb Z$, and it is in this setting that most people first encounter Fourier analysis.

The functions $e^{inx}$ for $ \in \mathbb Z$ are characters, i.e. homomorphic functions from $\mathbb R / \mathbb Z$ to $\mathbb C$ (or form $\mathbb R$ with the restriction of being periodic), and in analysis we are interested in what funtion $f : \mathbb R \to \mathbb C$ that are periodic (i.e. which could be identified with function on $\mathbb R/\mathbb Z$) have a series representation in $\{ e^{inx} \}_{n \in \mathbb Z}$ (or the trigonometric functions as it is sometimes presented, but then I guess it should be isomorphic to $\mathbb N\times\mathbb N$, i.e. the positive coefficient for the $\sin$- and $\cos$-terms).

As written on Wikipedia:Convergence of Fourier Series, if a periodic function $f : \mathbb R \to \mathbb C$ is of bounded variation, then its Fourier series converges everywhere. But here is my question, as said above, the set of homomorphisms from $\mathbb R / \mathbb Z$ is isomorphic to $\mathbb Z$, but functions of bounded variation are not neccessariliy homomorphisms, i.e. they do not have to satisfy $f(x+y) = f(x)f(y)$, they are a more general class of functions. But when the Fourier Series is unique in this case, i.e. we have a bijection between the functions of bounded variation and elements from $\mathbb Z$ (i.e. the series), then we could not have an bijection between $\mathbb Z$ and the more restricted class of homomorphism, as some preimages of $\mathbb Z$ are not homomorphisms at all?

Hope someone could clarify in what sense every homomorphism $\mathbb R / \mathbb Z$ corresponds to an element from $\mathbb Z$, and what is their relation to the "ordinary" Fourier series everyone learns about in Analysis courses, which is not restricted to just homomorphic functions, but more general classes of periodic functions.