On regular Fréchet-Lie groups. VI: Infinite dimensional Lie groups which appear in general relativity
type: Item
instance of: scholarly article
title: On regular Fréchet-Lie groups. VI: Infinite dimensional Lie groups which appear in general relativity
zbMATH Open document ID: 0537.58005
author: Hideki Omori
author: Yoshiaki Maeda
author: Akira Yoshioka
author: Osamu Kobayashi
published in: Tokyo Journal of Mathematics
publication date: 1983-01-01T00:00:00Z
review text: [For part V see ibid. 6, 39-64 (1983; Zbl 0526.58003).] The Lie group theoretical point of view in general relativistic mechanics permits the authors of this series to show here that this is a more closed system than Newtonian mechanics. If by \((M,\Omega)\) is denoted a symplectic manifold, let \({\mathcal O}\) be the linear space of all observables in a mechanical system \((M,\Omega\),H) and \({\mathcal U}_{{\mathcal O}}\) be the set of all Hamiltonian vector fields \(X_ f,f\in {\mathcal O}\). Natural reasoning leads to the assumption that \({\mathcal O}\) must have the properties: \((A_ 1) {\mathcal O}\) is a Lie algebra under the Poisson bracket; \((A_ 2)\) Each Hamiltonian vector field \(X_ f\), \(f\in {\mathcal O}\), is complete; \((A_ 3)\) (exp t\(X_ f)^*{\mathcal O}={\mathcal O}\) for every \(f\in {\mathcal O}\) and for all \(t\in R\). It is shown that if M is a closed manifold the space \(C^{\infty}(M)\) satisfies \((A_ 1)-(A_ 3)\) and \({\mathcal U}_{{\mathcal O}}\) (\({\mathcal O}=C^{\infty}(M))\) is the Lie algebra of the ILB-Lie group of all canonical transformations on M. However, if M is non-compact, namely if \(M=T^*N\), N being the configuration space with smooth Riemannian metric \((g_{ij})\), the authors give the following result which shows the curious fact that, in this case, there are few potential functions in \({\mathcal O}:\) Let \({\mathcal O}\) be a set of smooth functions on \(T^*N\) satisfying \((A_ 1)\) and \((A_ 2)\), and containing a smooth function \((1/2)g^{ij}p_ ip_ j+V\) for some \(V\in C^{\infty}(N)\). If \(f\in C^{\infty}(N)\cap {\mathcal O}\) satisfies \(j^ 2_ x=0\) at a point \(x\in N\), then \(j^ k_ xf=0\) for all \(k\geq 2\). To resolve the above difficulty, the authors consider on \((T^*N,\Omega)\) a new space \(\Sigma^ 1\) consisting of all smooth functions on \(T^*N\) which have asymptotic expansion of type \(a_ 1r+a_ 0+a_{-1}r^{-1}+..\). for \(r=\sqrt{g^{ij}p_ ip_ j}\geq 0\), where \(a_ j\) are smooth functions on the un…
Mathematics Subject Classification ID: 58B25
Mathematics Subject Classification ID: 83C99
Mathematics Subject Classification ID: 22E65
Mathematics Subject Classification ID: 58D07
Mathematics Subject Classification ID: 37J99
zbMATH DE Number: 3854041
zbMATH Keywords: phase space
zbMATH Keywords: symplectic manifold
zbMATH Keywords: Hamiltonian vector fields
zbMATH Keywords: Poisson bracket
MaRDI profile type: Publication
Wikidata QID: Q115219780
full work available at URL: https://doi.org/10.3836/tjm/1270213867
OpenAlex ID: W2080170218
DOI: 10.3836/TJM/1270213867
description: scientific article; zbMATH DE number 3854041