Locally compact abelian group

In several mathematical areas, including harmonic analysis, topology, and number theory, locally compact abelian groups are abelian groups which have a particularly convenient topology on them. For example, the group of integers (equipped with the discrete topology), or the real numbers or the circle (both with their usual topology) are locally compact abelian groups.

Definition and examples

edit

A topological group is called locally compact if the underlying topological space is locally compact and Hausdorff; the topological group is called abelian if the underlying group is abelian.

Examples of locally compact abelian groups include:

  •   for n a positive integer, with vector addition as group operation.
  • The positive real numbers   with multiplication as operation. This group is isomorphic to   by the exponential map.
  • Any finite abelian group, with the discrete topology. By the structure theorem for finite abelian groups, all such groups are products of cyclic groups.
  • The integers   under addition, again with the discrete topology.
  • The circle group, denoted   for torus. This is the group of complex numbers of modulus 1.   is isomorphic as a topological group to the quotient group  .
  • The field   of p-adic numbers under addition, with the usual p-adic topology.

The dual group

edit

If   is a locally compact abelian group, a character of   is a continuous group homomorphism from   with values in the circle group  . The set of all characters on   can be made into a locally compact abelian group, called the dual group of   and denoted  . The group operation on the dual group is given by pointwise multiplication of characters, the inverse of a character is its complex conjugate and the topology on the space of characters is that of uniform convergence on compact sets (i.e., the compact-open topology, viewing   as a subset of the space of all continuous functions from   to  .). This topology is in general not metrizable. However, if the group   is a separable locally compact abelian group, then the dual group is metrizable.

This is analogous to the dual space in linear algebra: just as for a vector space   over a field  , the dual space is  , so too is the dual group  . More abstractly, these are both examples of representable functors, being represented respectively by   and  .

A group that is isomorphic (as topological groups) to its dual group is called self-dual. While the reals and finite cyclic groups are self-dual, the group and the dual group are not naturally isomorphic, and should be thought of as two different groups.

Examples of dual groups

edit

The dual of   is isomorphic to the circle group  . A character on the infinite cyclic group of integers   under addition is determined by its value at the generator 1. Thus for any character   on  ,  . Moreover, this formula defines a character for any choice of   in  . The topology of uniform convergence on compact sets is in this case the topology of pointwise convergence. This is the topology of the circle group inherited from the complex numbers.

The dual of   is canonically isomorphic with  . Indeed, a character on   is of the form   for   an integer. Since   is compact, the topology on the dual group is that of uniform convergence, which turns out to be the discrete topology.

The group of real numbers  , is isomorphic to its own dual; the characters on   are of the form   for   a real number. With these dualities, the version of the Fourier transform to be introduced next coincides with the classical Fourier transform on  .

Analogously, the group of  -adic numbers   is isomorphic to its dual. (In fact, any finite extension of   is also self-dual.) It follows that the adeles are self-dual.

Pontryagin duality

edit

Pontryagin duality asserts that the functor

 

induces an equivalence of categories between the opposite of the category of locally compact abelian groups (with continuous morphisms) and itself:

 

Categorical properties

edit

Clausen (2017) shows that the category LCA of locally compact abelian groups measures, very roughly speaking, the difference between the integers and the reals. More precisely, the algebraic K-theory spectrum of the category of locally compact abelian groups and the ones of Z and R lie in a homotopy fiber sequence

 

References

edit
  • Clausen, Dustin (2017), A K-theoretic approach to Artin maps, arXiv:1703.07842v2