Spaces of differentiable functions on compact groups
type: Item
instance of: scholarly article
title: Spaces of differentiable functions on compact groups
zbMATH Open document ID: 0575.43003
author: Takashi Edamatsu
published in: Journal of Mathematics of Kyoto University
publication date: 1984-01-01T00:00:00Z
review text: Let G be a compact group, and let R(G) be the set of its one-parameter subgroups. With respect to an element \(\alpha\) of R(G), one can define right and left derivative operators. Let \({\mathcal E}_ n^{(r)}(G)\) [resp. \({\mathcal E}_ n^{(l)}(G)]\) denote the space of continuous functions for which all right [resp. left] derivatives of all orders up to n are defined and continuous. \({\mathcal E}_{\infty}^{(r)}(G)\) and \({\mathcal E}_{\infty}^{(l)}(G)\) are defined similarly. The paper begins by showing that R(G) is in one-to-one correspondence with a Lie algebra \(\Lambda\) (G), on which there is a natural topology which is locally convex and barrelled. This result depends on work by \textit{K. McKennon} [J. Reine Angew. Math. 307/308, 166-172 (1979; Zbl 0396.43010)], and on the Tannaka duality theorem. Theorem 2.1 states that \({\mathcal E}_ n^{(r)}(G)={\mathcal E}_ n^{(l)}(G)\). After this, the superscript r or l is not needed. Theorem 3.1 characterizes \({\mathcal E}_ n(G)\) in terms of the Schwartz spaces \({\mathcal E}_ n(G/N)\) where N is a closed normal subgroup of G and G/N is a separable, finite-dimensional Lie group. A topology \(\tau^*\) is then defined on \({\mathcal E}_ n(G)\). Theorem 4.1: the complexification of \(\Lambda\) (G) coincides with the Lie algebra of \(\tau^*-continuous\), left-invariant derivations on \(E_{\infty}(G)\). Further theorems extend this result to derivations of higher order.
Mathematics Subject Classification ID: 43A15
Mathematics Subject Classification ID: 22C05
Mathematics Subject Classification ID: 26E15
Mathematics Subject Classification ID: 58B10
zbMATH DE Number: 3919036
zbMATH Keywords: differentiable functions
zbMATH Keywords: compact group
zbMATH Keywords: one-parameter subgroups
zbMATH Keywords: derivations of higher order
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/kjm/1250521334
OpenAlex ID: W1527041047
DOI: 10.1215/KJM/1250521334
description: scientific article; zbMATH DE number 3919036