A universal model for cosymplectic manifolds
type: Item
instance of: scholarly article
title: A universal model for cosymplectic manifolds
zbMATH Open document ID: 0861.53026
DOI: 10.1016/0393-0440(96)00047-2
author: Manuel de León
author: Gijs Tuynman
published in: Journal of Geometry and Physics
publication date: 1997-04-14T00:00:00Z
review text: A cosymplectic manifold is a triple \((M,\Omega,\eta)\) consisting of a \(C^\infty(2n+1)\)-dimensional manifold \(M\), endowed with a closed 2-form \(\Omega\) and a closed 1-form \(\eta\) such that \(\Omega^n \wedge \eta \neq 0\) everywhere. Let \(b:TM\to T^*M\), \(X \in TM\mapsto i_X\Omega+\eta(X)\eta\) be the bundle morphism and \(R=b^{-1}(\eta)\) the Reeb vector field, i.e. \(i_R\Omega =0\), \(\eta(R)=1\). Two cosymplectic manifolds \((M_1,\Omega_1,\eta_1)\) and \((M_2,\Omega_2,\eta_2)\) are said to be isomorphic if there exists a diffeomorphism \(\Phi:M_1\to M_2\) such that \(\Phi^* \Omega_2=\Omega_1\), \(\Phi^* \eta_2=\eta_1\). If \(C\) is a submanifold of \(M\), the authors assume that the following conditions are satisfied: (i) \(R\) is tangent to \(C\); (ii) the characteristic distribution \(F=\text{ker }\Omega|_C \cap \text{ker }\eta|_C\) is a foliation on \(C\); (iii) the space of leaves \(M=C/F\) has the structure of a manifold and the canonical projection \(\pi:C\to M_p\) is a fibration. With these hypotheses it is shown that there exist unique closed forms \(\Omega_p\) and \(\eta_p\) on \(M_p\), such that: (a) \(\pi^* \Omega_p=\Omega|_C\) and \(\pi^*\eta_p=\eta|_C\); (b) \((M_p,\Omega_p,\eta_p)\) is a cosymplectic manifold; (c) \(\pi_*\) \((R|_C)=R_p\), where \(R_p\) is the Reeb vector field of \(M_p\). Under these circumstances \(M_p\) is said to be the reduction of \(M\) by \(C\). Since the local model for a cosymplectic manifold is \(\mathbb{R}^{2n+1}\) with the 2-form \(d\theta_{\mathbb{R}^n}\) and the 1-form \(ds\), the following main theorem is formulated: Let \((M,\Omega,\eta)\) be a cosymplectic manifold of finite type. Then there exist integers \(N\) and \(K\) and real numbers \(\mu_1,\dots,\mu_K\) that are independent over \(\mathbb{Q}\), such that \(M\) is the reduction of the cosymplectic manifold \((M_u,\Omega_u,\eta_u)\) by some \(C \subset M_u\), where \[ M_u=\mathbb{R}\times T^k(\mathbb{T}^*\times \mathbb{R}^N),\quad \Omega_u=d\theta_{\m…
reviewed by: R. Rosca
Mathematics Subject Classification ID: 53C15
zbMATH DE Number: 936183
zbMATH Keywords: coisotropic
zbMATH Keywords: canonical projection
zbMATH Keywords: Reeb vector field
zbMATH Keywords: cosymplectic manifold
zbMATH Keywords: finite type
MaRDI profile type: Publication
full work available at URL: 0393-0440(96)00047-2
OpenAlex ID: W2010863260
cites work: Le théorème de réduction de Marsden-Weinstein en géométrie cosymplectique et de contact. (The Marsden-Weinstein reduction theorem in cosymplectic and contact geometry)
cites work: Gradient vector fields on cosymplectic manifolds
cites work: \(R^{2n}\) is a universal symplectic manifold for reduction
cites work: Q3973389
cites work: Q4009045
cites work: Q3785520
cites work: Cosymplectic reduction for singular momentum maps
cites work: Q5530411
Wikidata QID: Q127631944
description: scientific article; zbMATH DE number 936183