Consider a finite-dimensional manifold \(M\). Denote by \(I\) the unit interval \([0, 1]\). The space of differentiable paths on \(M\) is denoted by \(P M := C^1 (I, M)\), and the space of bundle maps \( T I \to T^*M\) with continuously differentiable base map and continuous fiber map is denoted by \(T^*P M\). The space \(P M\) is considered as a Banach manifold and \(T^*P M\) as a Banach, weak symplectic manifold (a weak symplectic form is a closed 2-form that induces an injective map from the tangent to the cotangent bundle). Fix a section \(\pi\) in \(TM \otimes TM\), and consider its induced bundle map \(\pi^{\sharp}: T^*M \to TM\). For two given submanifolds \(C_{0}\) and \(C_{1}\) of \(M\), denoted by \(\mathcal{C}_{\pi}(M; C_0,C_1)\), the subpace of \(T^*PM\) of ``\(\pi\)-compatible path from \(C_0\) to \(C_1\), and by \(p_i: \mathcal{C}_{\pi}(M; C_0,C_1) \to C_i\), \(i=0,1\), the canonical maps. Contrary to the case when \(C_0=C_1=M\), \(\mathcal{C}_{\pi}(M; C_0,C_1)\) is not in general a Banach submanifold. Although, \(\mathcal{C}_{\pi}(M; C_0,C_1)\) is not a submanifold, one still can define the coisotropy criteria, using the notion of tangent bundle with fibers being the Zarisky tangent space at each point. Specifically, in the symplectic case, a subvariety (i.e., a common zero set of a family of smooth functions) is said to be \textit{coisotropic} when its symplectic orthogonal bundle is contained in its tangent bundle. The first main result of the paper says that \(\mathcal{C}_{\pi}(M; M,M)\) is coisotropic in \(T^*PM\) if and only if, \(\pi\) is a Poisson bivector field. The later means that \(\pi\) is a skew-symmetric 2-tensor field satisfying \([\pi,\pi]=0\), where \([\,,\,]\) is the Schouten-Nijenhuis bracket. The second main result asserts that, if \(\pi\) is a Poisson bivector field, then \(\mathcal{C}_{\pi}(M; C_0,C_1)\) is coisotropic in \(T^*PM\) if and only if the subsets \(\mathrm{Im}(p_0)\) and \(\mathrm{Im}(p_1)\) are coisotropic in \(M\) relative to \(C_0\) and \(C_1\) respectively, i.e., \(\pi^{\sharp}(N^*_xC_i) \subseteq T_xC_i\), for all \(x \in \mathrm{Im}(p_i)\), \(i=0,1\).
- Coisotropic submanifolds in Poisson geometry and branes in the Poisson sigma model
- Poisson reduction and branes in Poisson-sigma models
- Poisson sigma model over group manifolds
- Target space equivariant cohomological structure of the Poisson sigma model.
- The coupling of Poisson sigma models to topological backgrounds
- Classical BV theories on manifolds with boundary
- Coisotropic submanifolds in Poisson geometry and branes in the Poisson sigma model
- Groupoids and Poisson sigma models with boundary
- scientific article; zbMATH DE number 1686785 (Why is no real title available?)
- scientific article; zbMATH DE number 1686788 (Why is no real title available?)
- Integrability of Lie brackets
- On the integration of Poisson manifolds, Lie algebroids, and coisotropic submanifolds
- Poisson reduction and branes in Poisson-sigma models
- Poisson structure induced (topological) field theories
- Poly-Poisson sigma models and their relational poly-symplectic groupoids
- Pre-Poisson submanifolds
- The local structure of Poisson manifolds
- Two-dimensional gravity and nonlinear gauge theory
- Derived coisotropic structures. I: Affine case
- Split canonical relations
- Lie rackoids integrating Courant algebroids
- Relational symplectic groupoids
- Equivalences of coisotropic submanifolds
- (Co)isotropic pairs in Poisson and presymplectic vector spaces
- Displacement energy of coisotropic submanifolds and Hofer's geometry
This page was built for publication: Coisotropic submanifolds and dual pairs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q464317)
