Reduction of Jacobi manifolds via Dirac structures theory (Q2580933)

The present paper contains some basic definitions and facts on Jacobi manifolds, generalized Lie bialgebroids, generalized Courant algebroids, Dirac structures theory. The main result is the following: Theorem. (Reduction Theorem of Jacobi manifolds). Let \((M,\Lambda,E)\) be a Jacobi manifold, \(N\subseteq M\) a submanifold of \(M\), \(D\subset TM\times \mathbb R\) a Lie subalgebroid of \((TM\times \mathbb R,[\,,\,],\pi)\) that has only sections of type \((X,0)\) and \(D_0=D\cap (TN\times \mathbb R)\). Assume that \(D\) and \(D_0\) define a simple foliation \(\mathcal F\) of \(M\) and a simple foliation \({\mathcal F}_0\) of \(N\), respectively, and that \(L=D\oplus D^\perp\) is a reducible Dirac structure for the triangular generalized Lie bialgebroid \(((TM\times\mathbb R,(0,1))\), \((T^*M\times\mathbb R,(-E,0))\), \((\Lambda,E))\). Then the following statements are equivalent: 1. There exists a Jacobi structure \((\Lambda_{N/{\mathcal F}_0},E_{N/{\mathcal F}_0})\) on \(N/{\mathcal F}_0\) such that \[ P_0(\Lambda,E)=\varphi_0(\Lambda_{N/{\mathcal F}_0},E_{N/{\mathcal F}_0}). \] 2. \(\Lambda^*(\pi(\Delta)^\perp)\subset TN+\pi(D)\) holds on \(N\) and \(El_n\in\Gamma(TN+\pi(D))\). On the way to the main result, the authors construct a one to one correspondence between Dirac subbundles, satisfying a certain regularity condition and quotient Jacobi manifolds. Finally, some applications and examples are presented.