We study precontact groupoids whose infinitesimal counterparts are Dirac-Jacobi structures. These geometric objects generalize contact groupoids. We also explain the relationship between precontact groupoids and homogeneous presymplectic groupoids. Finally, we present some examples of precontact groupoids.
We define Dirac pairs on Jacobi algebroids, which is a generalization of Dirac pairs on Lie algebroids introduced by Kosmann-Schwarzbach. We show the relationship between Dirac pairs on Lie and on Jacobi algebroids, and that Dirac pairs on Jacobi algebroids characterize several compatible structures on manifolds or on Jacobi algebroids.
We study twisted Jacobi manifolds, a concept that we had introduced in a previous Note. Twisted Jacobi manifolds can be characterized using twisted Dirac-Jacobi, which are sub-bundles of Courant-Jacobi algebroids. We show that each twisted Jacobi manifold has an associated Lie algebroid with a 1-cocycle. We introduce the notion of quasi-Jacobi bialgebroid and we prove that each twisted Jacobi manifold has a quasi-Jacobi bialgebroid canonically associated. Moreover, the double of a quasi-Jacobi bialgebroid is a Courant-Jacobi algebroid. Several examples of twisted Jacobi manifolds and twisted D…
We first recall some basic definitions and facts about Jacobi manifolds, generalized Lie bialgebroids, generalized Courant algebroids and Dirac structures. We establish an one-one correspondence between reducible Dirac structures of the generalized Lie bialgebroid of a Jacobi manifold $(M,Λ,E)$ for which 1 is an admissible function and Jacobi quotient manifolds of $M$. We study Jacobi reductions from the point of view of Dirac structures theory and we present some examples and applications.
The notion of a Dirac submanifold of a Poisson manifold was studied by Xu (arXiv:math.SG/0110326). We give an interpretation of Xu's definition in terms of a general notion of tensor fields soldered to a normalized submanifold. Then, this interpretation is used to define Dirac submanifolds of a Jacobi manifold. Several properties and examples are discussed.
Adopting the omni-Lie algebroid approach to Dirac-Jacobi structures, we propose and investigate a notion of weak dual pairs in Dirac-Jacobi geometry. Their main motivating examples arise from the theory of multiplicative precontact structures on Lie groupoids. Among other properties of weak dual pairs, we prove two main results. 1) We show that the property of fitting in a weak dual pair defines an equivalence relation for Dirac-Jacobi manifolds. So, in particular, we get the existence of self-dual pairs and this immediately leads to an alternative proof of the normal form theorem around Dirac…
We develop the deformations theory of a Dirac--Jacobi structure within a fixed Courant--Jacobi algebroid. Using the description of split Courant--Jacobi algebroids as degree $2$ contact $\mathbb{N} Q$ manifolds and Voronov's higher derived brackets, each Dirac--Jacobi structure is associated with a cubic $L_\infty$ algebra for any choice of a complementary almost Dirac--Jacobi structure. This $L_\infty$ algebra governs the deformations of the Dirac--Jacobi structure: there is a one-to-one correspondence between the MC elements of this $L_\infty$ algebra and the small deformations of the Dirac-…
We show that a suitable notion of Dirac-Jacobi structure on a generic line bundle $L$, is provided by Dirac structures in the omni-Lie algebroid of $L$. Dirac-Jacobi structures on line bundles generalize Wade's $\mathcal E^1 (M)$-Dirac structures and unify generic (i.e.~non-necessarily coorientable) precontact distributions, Dirac structures and local Lie algebras with one dimensional fibers in the sense of Kirillov (in particular, Jacobi structures in the sense of Lichnerowicz). We study the main properties of Dirac-Jacobi structures and prove that integrable Dirac-Jacobi structures on line-b…
We introduce the concept of twisted contact groupoids, as an extension either of contact groupoids or of twisted symplectic ones, and we discuss the integration of twisted Jacobi manifolds by twisted contact groupoids. We also investigate the very close relationships which link homogeneous twisted Poisson manifolds with twisted Jacobi manifolds and homogeneous twisted symplectic groupoids with twisted contact ones. Some examples for each structure are presented.
The aim of this paper is to prove a normal form Theorem for Dirac-Jacobi bundles using the recent techniques from Bursztyn, Lima and Meinrenken. As the most important consequence, we can prove the splitting theorems of Jacobi pairs which was proposed by Dazord, Lichnerowicz and Marle. As an application we provide a alternative proof of the splitting theorem of homogeneous Poisson structures.
Coupling Dirac structures are Dirac structures defined on the total space of a fibration, generalizing hamiltonian fibrations from symplectic geometry, where one replaces the symplectic structure on the fibers by a Poisson structure. We study the associated Poisson gauge theory, in order to describe the presymplectic groupoid integrating coupling Dirac structures. We find the obstructions to integrability and we give explicit geometric descriptions of the integration.
We consider Courant and Courant-Jacobi brackets on the stable tangent bundle $TM\times\mathds{R}^h$ of a differentiable manifold and corresponding Dirac, Dirac-Jacobi and generalized complex structures. We prove that Dirac and Dirac-Jacobi structures on $TM\times\mathds{R}^h$ can be prolonged to $TM\times\mathds{R}^k$, $k>h$, by means of commuting infinitesimal automorphisms. Some of the stable, generalized, complex structures are a natural generalization of the normal, almost contact structures; they are expressible by a system of tensors $(P,θ,F,Z_a,ξ^a)$ $(a=1,...,h)$, where $P$ is a bivect…
The Courant bracket defined originally on the sections of the vector bundle $TM \oplus T^*M \to M$ is extended to the direct sum of the 1-jet vector bundle and its dual. The extended bracket allows to interpret many structures encountered in differential geometry in terms of Dirac structures. We give here a new approach to conformal Jacobi structures.
We construct an infinite-dimensional symplectic 2-groupoid as the integration of an exact Courant algebroid. We show that every integrable Dirac structure integrates to a "Lagrangian" sub-2-groupoid of this symplectic 2-groupoid. As a corollary, we recover a result of Bursztyn-Crainic-Weinstein-Zhu that every integrable Dirac structure integrates to a presymplectic groupoid.
In this paper we introduce multiplicative Dirac structures on Lie groupoids, providing a unified framework to study both multiplicative Poisson bivectors (i.e., Poisson group(oid)s) and multiplicative closed 2-forms (e.g., symplectic groupoids). We prove that for every source simply connected Lie groupoid $G$ with Lie algebroid $AG$, there exists a one-to-one correspondence between multiplicative Dirac structures on $G$ and Dirac structures on $AG$, which are compatible with both the linear and algebroid structures of $AG$. We explain in what sense this extends the integration of Lie bialgebro…
Using tools from Dirac geometry and through an explicit construction, we show that every Poisson homogeneous space of any Poisson Lie group admits an integration to a symplectic groupoid. Our theorem follows from a more general result which relates, for a principal bundle $M\to M/H$, integrations of a Dirac structure on $M/H$ to $H$-admissible integrations of its pullback Dirac structure on $M$ by pre-symplectic groupoids. Our construction gives a distinguished class of explicit real or holomorphic pre-symplectic and symplectic groupoids over semi-simple Lie groups and some of their homogeneou…
We describe a method for solving the Maurer-Cartan structure equation associated with a Lie algebra that isolates the role of the Jacobi identity as an obstruction to integration. We show that the method naturally adapts to two other interesting situations: local symplectic realizations of Poisson structures, in which case our method sheds light on the role of the Poisson condition as an obstruction to realization; and the Maurer-Cartan structure equation associated with a Lie algebroid, in which case we obtain an explicit formula for a solution to the equation which generalizes the well known…
This is the second part of a series of two papers dedicated to a systematic study of holomorphic Jacobi structures. In the first part, we introduced and study the concept of a holomorphic Jacobi manifold in a very natural way as well as various tools. In the present paper, we solve the integration problem for holomorphic Jacobi manifolds by proving that they integrate to complex contact groupoids. A crucial tool in our proof is what we call the "homogenization scheme", which allows us to identify holomorphic Jacobi manifolds with homogeneous holomorphic Poisson manifolds and holomorphic contac…
The correspondence between Poisson structures and symplectic groupoids, analogous to the one of Lie algebras and Lie groups, plays an important role in Poisson geometry; it offers, in particular, a unifying framework for the study of hamiltonian and Poisson actions. In this paper, we extend this correspondence to the context of Dirac structures twisted by a closed 3-form. More generally, given a Lie groupoid $G$ over a manifold $M$, we show that multiplicative 2-forms on $G$ relatively closed with respect to a closed 3-form $ϕ$ on $M$ correspond to maps from the Lie algebroid of $G$ into the c…
Jacobi algebroids (i.e. `Jacobi versions' of Lie algebroids) are studied in the context of graded Jacobi brackets on graded commutative algebras. This unifies varios concepts of graded Lie structures in geometry and physics. A method of describing such structures by classical Lie algebroids via certain gauging (in the spirit of E.Witten's gauging of exterior derivative) is developed. One constructs a corresponding Cartan differential calculus (graded commutative one) in a natural manner. This, in turn, gives canonical generating operators for triangular Jacobi algebroids. One gets, in particul…
Given a Poisson (or more generally Dirac) manifold $P$, there are two approaches to its geometric quantization: one involves a circle bundle $Q$ over $P$ endowed with a Jacobi (or Jacobi-Dirac) structure; the other one involves a circle bundle with a (pre-) contact groupoid structure over the (pre-) symplectic groupoid of $P$. We study the relation between these two prequantization spaces. We show that the circle bundle over the (pre-) symplectic groupoid of $P$ is obtained from the groupoid of $Q$ via an $S^1$ reduction that preserves both the groupoid and the geometric structure.