Normal forms for Dirac-Jacobi bundles and splitting theorems for Jacobi structures (Q2686991)

As a generalization of Poissson structures, the concept of Jacobi structures was introduced by \textit{A. A. Kirillov} [Russ. Math. Surv. 31, No. 4, 55--75 (1976; Zbl 0357.58003)] as local Lie algebras and independently by Lichnerowicz as Jacobi manifolds in [\textit{P. Dazord} et al., J. Math. Pures Appl. (9) 70, No. 1, 101--152 (1991; Zbl 0659.53033); \textit{A. Lichnerowicz}, J. Differ. Geom. 12, 253--300 (1977; Zbl 0405.53024)]. On the other hand, Dirac structures in Poisson geometry are introduced in the following three directions: omni-Lie algebroids by \textit{Z. Chen} and \textit{Z. J. Liu} [J. Geom. Phys. 60, No. 5, 799--808 (2010; Zbl 1210.17003)], Wade's \(\mathcal{E}^1(M)\)-Dirac structures in [\textit{A. Wade}, Lett. Math. Phys. 53, No. 4, 331--348 (2000; Zbl 0982.53069)], and Dirac-Jacobi bundles by \textit{L. Vitagliano} [J. Symplectic Geom. 16, No. 2, 485--561 (2018; Zbl 1397.53094)]. The aim of this paper is to prove a normal form Theorem for Dirac-Jacobi bundles using a recent techniques of \textit{H. Bursztyn} et al. [J. Reine Angew. Math. 754, 281--312 (2019; Zbl 1425.53103)]. They prove the splitting theorems of Jacobi pairs which was proposed by \textit{P. Dazord} et al. [J. Math. Pures Appl. (9) 70, No. 1, 101--152 (1991; Zbl 0659.53033)]. At last, they give application of the above results to the splitting theorem for homogeneous Poisson structures. The main results of the present paper are the following Theorems. \textbf{Theorem 4.5 (Normal form for Dirac-Jacobi bundles).} Let \(L \rightarrow M\) be a line bundle, let \(\mathcal{L} \subseteq \mathbb{D} L\) be a Dirac-Jacobi bundle and let \(N \hookrightarrow M\) be a transversal. Then there exists an open neighbourhood \(U \subseteq M\) of \(N\) and a fat tubular neighbourhood \(\Psi: L_v \rightarrow L_U\), such that \[ \mathfrak{B}_{\Psi}\left(\left.\mathcal{L}\right|_U\right)=\left(\mathfrak{B}_{I \circ P}(\mathcal{L})\right)^\omega \] for an \(\omega \in \Omega_{L_v}^2\left(v_N\right)\). \textbf{Theorem 5.4 (Normal Form for Jacobi bundles I).} Let \(L \rightarrow M\) be a line bundle, let \(J\) be a Jacobi structure and let \(N \rightarrow M\) be a cosymplectic transversal. For a closed 2-form \(\omega \in \Omega_{L_v}^2\left(v_N\right)\), such that \(\left.\operatorname{ker}\left(\omega^b\right)\right|_N=D L_N\) and \(\omega\) coincides with \(\Theta\) at \(v_N \subseteq D L_v\), the Dirac-Jacobi structure \[ \mathfrak{B}_P\left(\mathcal{L}_{J_N}\right)^\omega \] is the graph of a Jacobi structure near the zero section and there exists a fat tubular neighbourhood \(\Psi: L_v \rightarrow L_U\) which is a Jacobi map near the zero section. \textbf{Theorem 5.9 (Normal Form for Jacobi bundles II).} Let \(L \rightarrow M\) be a line bundle, let \(J\) be a Jacobi structure and let \(N \rightarrow M\) be a homogenous cocontact transversal with connection \(\nabla: T N \rightarrow D L_N\). For a closed 2-form \(\omega \in \Omega_{L_v}^2\left(v_N\right)\), such that \(\left.\operatorname{ker}\left(\omega^b\right)\right|_N=\operatorname{im}(\nabla)\) and \(\omega\) coincides with \(\Theta\) at \(v_N \oplus\left(\mathfrak{B}_I\left(\mathcal{L}_J\right) \cap D L_N\right) \subseteq D L_v\), the Dirac-Jacobi structure \[ \mathfrak{B}_P\left(\mathcal{L}_N\right)^\omega \] is the graph of a Jacobi structure near the zero section and there exists a fat tubular neighbourhood \(\Psi: L_v \rightarrow L_U\) which is a Jacobi map near the zero section.