Integration on loop groups. III: Asymptotic Peter-Weyl orthogonality (Q1196572)

The Wiener measure on the loop group \(\mathbb{L}(G)\) over a compact Lie group \(G\) defined in the first of this series of papers [J. Funct. Anal. 93, 207-237 (1990; Zbl 0715.22024); Part II, cf. \textit{H. Airault} and the second author, ibid. 104, 71-109 (1991)] is used to construct a Wiener convolution algebra on the loop group. Next the central extension of the loop group is described in a local construction by exponentiating the central extension of the corresponding current algebra \(\mathbb{L}({\mathfrak g})\). If \(G\) is a simple simply laced group the construction is globalized and a moyennable measured group is obtained in which the group law is defined almost everywhere. Finally a theorem on asymptotic orthogonality of disjoint unitary representations is proved on the basis of the asymptotic invariance of the Wiener measure.