Open main menu

Wikipedia β

The 2-adic integers, with selected corresponding characters on their Pontryagin dual group

In mathematics, specifically in harmonic analysis and the theory of topological groups, Pontryagin duality explains the general properties of the Fourier transform on locally compact groups, such as , the circle, or finite cyclic groups. The Pontryagin duality theorem itself states that locally compact abelian groups identify naturally with their bidual.

The subject is named after Lev Semenovich Pontryagin who laid down the foundations for the theory of locally compact abelian groups and their duality during his early mathematical works in 1934. Pontryagin's treatment relied on the group being second-countable and either compact or discrete. This was improved to cover the general locally compact abelian groups by Egbert van Kampen in 1935 and André Weil in 1940.

Contents

IntroductionEdit

Pontryagin duality places in a unified context a number of observations about functions on the real line or on finite abelian groups:

  • Suitably regular complex-valued periodic functions on the real line have Fourier series and these functions can be recovered from their Fourier series;
  • Suitably regular complex-valued functions on the real line have Fourier transforms that are also functions on the real line and, just as for periodic functions, these functions can be recovered from their Fourier transforms; and
  • Complex-valued functions on a finite abelian group have discrete Fourier transforms which are functions on the dual group, which is a (non-canonically) isomorphic group. Moreover, any function on a finite group can be recovered from its discrete Fourier transform.

The theory, introduced by Lev Pontryagin and combined with Haar measure introduced by John von Neumann, André Weil and others depends on the theory of the dual group of a locally compact abelian group.

It is analogous to the dual vector space of a vector space: a finite-dimensional vector space V and its dual vector space V* are not naturally isomorphic, but their endomorphism algebras (matrix algebras) are:   via the transpose. Similarly, a group G and its dual group   are not in general isomorphic, but their group algebras are:   via the Fourier transform, though one must carefully define these algebras analytically. More categorically, this is not just an isomorphism of endomorphism algebras, but an isomorphism of categories – see categorical considerations.

Locally compact abelian groupsEdit

A topological group is called locally compact if the underlying topological space is locally compact and Hausdorff. It's called abelian if the underlying group is abelian.

ExamplesEdit

Examples of locally compact abelian groups are:

  •   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 groupEdit

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 in general is 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 groupsEdit

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.

The Pontryagin duality theoremEdit

Theorem. There is a canonical isomorphism    between any locally compact abelian group   and its double dual.

Canonical means that there is a naturally defined map   ; more importantly, the map should be functorial in  . The canonical isomorphism is defined on   as follows:

 

In other words, each group element   is identified to the evaluation character on the dual. This is strongly analogous to the canonical isomorphism between a finite-dimensional vector space and its double dual,  . However, there is also a difference:   is isomorphic to its dual space  , although not canonically so, while many groups are not isomorphic to their dual groups (for instance   but   as topological groups). If   is a finite abelian group, then   but this isomorphism is not canonical. Making this statement precise (in general) requires thinking about dualizing not only on groups, but also on maps between the groups, in order to treat dualization as a functor and prove the identity functor and the dualization functor are not naturally equivalent. Also it should be noted that the duality theorem implies that for any group (not necessarily finite) the dualization functor is an exact functor.

Pontryagin duality and the Fourier transformEdit

Haar measureEdit

One of the most remarkable facts about a locally compact group G is that it carries an essentially unique natural measure, the Haar measure, which allows one to consistently measure the "size" of sufficiently regular subsets of G. "Sufficiently regular subset" here means a Borel set; that is, an element of the σ-algebra generated by the compact sets. More precisely, a right Haar measure on a locally compact group G is a countably additive measure μ defined on the Borel sets of G which is right invariant in the sense that μ(Ax) = μ(A) for x an element of G and A a Borel subset of G and also satisfies some regularity conditions (spelled out in detail in the article on Haar measure). Except for positive scaling factors, a Haar measure on G is unique.

The Haar measure on G allows us to define the notion of integral for (complex-valued) Borel functions defined on the group. In particular, one may consider various Lp spaces associated to the Haar measure μ. Specifically,

 

Note that, since any two Haar measures on G are equal up to a scaling factor, this Lp-space is independent of the choice of Haar measure and thus perhaps could be written as Lp(G). However, the Lp-norm on this space depends on the choice of Haar measure, so if one wants to talk about isometries it is important to keep track of the Haar measure being used.

Fourier transform and Fourier inversion formula for L1-functionsEdit

The dual group of a locally compact abelian group is used as the underlying space for an abstract version of the Fourier transform. If  , then the Fourier transform is the function   on   defined by

 

where the integral is relative to Haar measure   on  . This is also denoted  . Note the Fourier transform depends on the choice of Haar measure. It is not too difficult to show that the Fourier transform of an   function on   is a bounded continuous function on   which vanishes at infinity.

Fourier Inversion Formula for  -Functions. For each Haar measure   on   there is a unique Haar measure   on   such that whenever   and  , we have
 
If   is continuous then this identity holds for all  .

The inverse Fourier transform of an integrable function on   is given by

 

where the integral is relative to the Haar measure   on the dual group  . The measure   on   that appears in the Fourier inversion formula is called the dual measure to   and may be denoted  .

The various Fourier transforms can be classified in terms of their domain and transform domain (the group and dual group) as follows:

Transform Original domain Transform domain
Fourier transform    
Fourier series    
Discrete-time Fourier transform (DTFT)    
Discrete Fourier transform (DFT)    

As an example, suppose  , so we can think about   as   by the pairing   If   is the Lebesgue measure on Euclidean space, we obtain the ordinary Fourier transform on   and the dual measure needed for the Fourier inversion formula is  . If we want to get a Fourier inversion formula with the same measure on both sides (that is, since we can think about   as its own dual space we can ask for   to equal  ) then we need to use

 

However, if we change the way we identify   with its dual group, by using the pairing

 

then Lebesgue measure on   is equal to its own dual measure. This convention minimizes the number of factors of   that show up in various places when computing Fourier transforms or inverse Fourier transforms on Euclidean space. (In effect it limits the   only to the exponent rather than as some messy factor outside the integral sign.) Note that the choice of how to identify   with its dual group affects the meaning of the term "self-dual function", which is a function on   equal to its own Fourier transform: using the classical pairing   the function   is self-dual, but using the (cleaner) pairing   makes   self-dual instead.

The group algebraEdit

The space of integrable functions on a locally compact abelian group G is an algebra, where multiplication is convolution: the convolution of two integrable functions f and g is defined as

 
Theorem. The Banach space   is an associative and commutative algebra under convolution.

This algebra is referred to as the Group Algebra of G. By the Fubini–Tonelli theorem, the convolution is submultiplicative with respect to the   norm, making   a Banach algebra. The Banach algebra   has a multiplicative identity element if and only if G is a discrete group, namely the function that is 1 at the identity and zero elsewhere. In general, however, it has an approximate identity which is a net (or generalized sequence)   indexed on a directed set   such that  

The Fourier transform takes convolution to multiplication, i.e. it is a homomorphism of abelian Banach algebras   (of norm ≤ 1):

 

In particular, to every group character on G corresponds a unique multiplicative linear functional on the group algebra defined by

 

It is an important property of the group algebra that these exhaust the set of non-trivial (that is, not identically zero) multiplicative linear functionals on the group algebra; see section 34 of the Loomis reference. This means the Fourier transform is a special case of the Gelfand transform.

Plancherel and   Fourier inversion theoremsEdit

As we have stated, the dual group of a locally compact abelian group is a locally compact abelian group in its own right and thus has a Haar measure, or more precisely a whole family of scale-related Haar measures.

Theorem. Choose a Haar measure   on   and let   be the dual measure on   as defined above. If   is continuous with compact support then   and
 
In particular, the Fourier transform is an   isometry from the complex-valued continuous functions of compact support on G to the  -functions on   (using the  -norm with respect to μ for functions on G and the  -norm with respect to ν for functions on  ).

Since the complex-valued continuous functions of compact support on G are  -dense, there is a unique extension of the Fourier transform from that space to a unitary operator

 

and we have the formula

 

Note that for non-compact locally compact groups G the space   does not contain  , so the Fourier transform of general  -functions on G is "not" given by any kind of integration formula (or really any explicit formula). To define the   Fourier transform one has to resort to some technical trick such as starting on a dense subspace like the continuous functions with compact support and then extending the isometry by continuity to the whole space. This unitary extension of the Fourier transform is what we mean by the Fourier transform on the space of square integrable functions.

The dual group also has an inverse Fourier transform in its own right; it can be characterized as the inverse (or adjoint, since it is unitary) of the   Fourier transform. This is the content of the   Fourier inversion formula which follows.

Theorem. The adjoint of the Fourier transform restricted to continuous functions of compact support is the inverse Fourier transform
 
where   is the dual measure to  .

In the case   the dual group   is naturally isomorphic to the group of integers   and the Fourier transform specializes to the computation of coefficients of Fourier series of periodic functions.

If G is a finite group, we recover the discrete Fourier transform. Note that this case is very easy to prove directly.

Bohr compactification and almost-periodicityEdit

One important application of Pontryagin duality is the following characterization of compact abelian topological groups:

Theorem. A locally compact abelian group G is compact if and only if the dual group   is discrete. Conversely, G is discrete if and only if   is compact.

That G being compact implies   is discrete or that G being discrete implies that   is compact is an elementary consequence of the definition of the compact-open topology on   and does not need Pontryagin duality. One uses Pontryagin duality to prove the converses.

The Bohr compactification is defined for any topological group G, regardless of whether G is locally compact or abelian. One use made of Pontryagin duality between compact abelian groups and discrete abelian groups is to characterize the Bohr compactification of an arbitrary abelian locally compact topological group. The Bohr compactification B(G) of G is  , where H has the group structure  , but given the discrete topology. Since the inclusion map

 

is continuous and a homomorphism, the dual morphism

 

is a morphism into a compact group which is easily shown to satisfy the requisite universal property.

See also almost periodic function.

Categorical considerationsEdit

It is useful to regard the dual group functorially. In what follows, LCA is the category of locally compact abelian groups and continuous group homomorphisms. The dual group construction of   is a contravariant functor LCALCA, represented (in the sense of representable functors) by the circle group   as   In particular, the double dual functor   is covariant.

Theorem. The dual group functor is an equivalence of categories from LCA to LCAop.
Theorem. The double dual functor is naturally isomorphic to the identity functor on LCA.

This isomorphism is analogous to the double dual of finite-dimensional vector spaces (a special case, for real and complex vector spaces).

The duality interchanges the subcategories of discrete groups and compact groups. If R is a ring and G is a left R-module, the dual group   will become a right R-module; in this way we can also see that discrete left R-modules will be Pontryagin dual to compact right R-modules. The ring End(G) of endomorphisms in LCA is changed by duality into its opposite ring (change the multiplication to the other order). For example, if G is an infinite cyclic discrete group,   is a circle group: the former has   so this is true also of the latter.

GeneralizationsEdit

Non-commutative theoryEdit

Such a theory cannot exist in the same form for non-commutative groups G, since in that case the appropriate dual object   of isomorphism classes of representations cannot only contain one-dimensional representations, and will fail to be a group. The generalisation that has been found useful in category theory is called Tannaka–Krein duality[citation needed]; but this diverges from the connection with harmonic analysis, which needs to tackle the question of the Plancherel measure on  .

There are analogues of duality theory for noncommutative groups, some of which are formulated in the language of C*-algebras.[citation needed]

OthersEdit

When G is a Hausdorff abelian topological group, the group   with the compact-open topology is a Hausdorff abelian topological group and the natural mapping from G to its double-dual G^^ makes sense. If this mapping is an isomorphism, we say that G satisfies Pontryagin duality. This has been extended in a number directions beyond the case that G is locally compact.

  • S.Kaplan, in "Extensions of the Pontryagin duality" ("part I: infinite products", Duke Math. J. 15 (1948) 649–658, and "part II: direct and inverse limits", same journal, 17 (1950), 419–435) showed that arbitrary products and countable inverse limits of locally compact (Hausdorff) abelian groups satisfy Pontryagin duality. Note that an infinite product of locally compact non-compact spaces is not locally compact.
  • Later, in 1975, R.Venkataraman ("Extensions of Pontryagin Duality", Math. Z. 143, 105-112) showed, among other facts, that every open subgroup of an abelian topological group which satisfies Pontryagin duality itself satisfies Pontryagin duality.
  • More recently, S. Ardanza-Trevijano and M.J. Chasco have extended the results of Kaplan mentioned above. They showed, in "The Pontryagin duality of sequential limits of topological Abelian groups", Journal of Pure and Applied Algebra 202 (2005), 11–21, that direct and inverse limits of sequences of abelian groups satisfying Pontryagin duality also satisfy Pontryagin duality if the groups are metrizable or kω-spaces but not necessarily locally compact, provided some extra conditions are satisfied by the sequences.

However, there is a fundamental aspect that changes if we want to consider Pontryagin duality beyond the locally compact case. In E. Martin-Peinador, A reflexible admissible topological group must be locally compact, Proc. Amer. Math. Soc. 123 (1995), 3563–3566, it is proved that if G is a Hausdorff abelian topological group that satisfies Pontryagin duality and the natural evaluation pairing:

 

is continuous, then G is locally compact. Thus any non-locally compact example of Pontryagin duality is a group where the natural evaluation pairing of G and   is not continuous.

See alsoEdit

ReferencesEdit

The following books have chapters on locally compact abelian groups, duality and Fourier transform. The Dixmier reference (also available in English translation) has material on non-commutative harmonic analysis.

  • Jacques Dixmier, Les C*-algèbres et leurs Représentations, Gauthier-Villars,1969.
  • Lynn H. Loomis, An Introduction to Abstract Harmonic Analysis, D. van Nostrand Co, 1953
  • Walter Rudin, Fourier Analysis on Groups, 1962
  • Hans Reiter, Classical Harmonic Analysis and Locally Compact Groups, 1968 (2nd ed produced by Jan D. Stegeman, 2000).
  • Hewitt and Ross, Abstract Harmonic Analysis, vol 1, 1963.