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-Jacobi transversals. 2) We prove the characteristic leaf correspondence theorem for weak dual pairs paralleling and extending analogous results for symplectic and contact dual pairs. Moreover, the same ideas of this proof apply to get a presymplectic leaf correspondence for weak dual pairs in Dirac geometry (not yet present in literature).
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.
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.
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.
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…
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.
Lichnerowicz-Jacobi cohomology and homology of Jacobi manifolds are reviewed. We present both in a unified approach using the representation of the Lie algebra of functions on itself by means of the hamiltonian vector fields. The use of the associated Lie algebroid allows to prove that the Lichnerowicz-Jacobi cohomology and homology are invariant under conformal changes of the Jacobi structure and to stablish the duality between Lichnerowicz-Jacobi cohomology and homology when the modular class vanishes. We also compute the Lichnerowicz-Jacobi cohomology and homology for a large variety of exa…
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 show that the Gerstenhaber algebra of the 1-jet Lie algebroid of a Jacobi manifold has a canonical exact generator, and discuss duality between its homology and the Lie algebroid cohomology. We also discuss a new example of a Lie bialgebroid on Poisson manifolds.
We study Jacobi structures on the dual bundle $A^\ast$ to a vector bundle $A$ such that the Jacobi bracket of linear functions is again linear and the Jacobi bracket of a linear function and the constant function 1 is a basic function. We prove that a Lie algebroid structure on $A$ and a 1-cocycle $ϕ\in Γ(A^\ast)$ induce a Jacobi structure on $A^\ast$ satisfying the above conditions. Moreover, we show that this correspondence is a bijection. Finally, we discuss some examples and applications.
In this paper, we extend the T-duality Hori maps in [arXiv:hep-th/0306062], inducing isomorphisms of twisted cohomologies on T-dual circle bundles, to graded Hori maps and show that they induce isomorphisms of two-variable series of twisted cohomologies on the T-dual circle bundles, preserving Jacobi form properties. The composition of the graded Hori map with its dual equals the Euler operator. We also construct Witten gerbe modules arising from gerbe modules and show that their graded twisted Chern characters are Jacobi forms under an anomaly vanishing condition on gerbe modules, thereby giv…
We define two categories of Dirac manifolds, i.e. manifolds with complex Dirac structures. The first notion of maps I call \emph{Dirac maps}, and the category of Dirac manifolds is seen to contain the categories of Poisson and complex manifolds as full subcategories. The second notion, \emph{dual-Dirac maps}, defines a \emph{dual-Dirac category} which contains presymplectic and complex manifolds as full subcategories. The dual-Dirac maps are stable under B-transformations. In particular we get two structures of a category on Hitchin'sgeneralized complex manifolds, i.e., two reasonable notions …
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…
Frolicher and Nijenhuis recognized well in the middle of the previous century that the Lie bracket and its Jacobi identity could and should exist beyond Lie algebras. Nevertheless the conceptual meaning of their discovery has been obscured by the messy techniques they exploited. The principal objective in this paper is to show that the double dualization functor in a cartesian closed category as well as synthetic differential geometry provides an adequate framework, in which their discovery's conceptual meaning appears lucid.
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.
Generalizing some results from R. Leung's thesis, we compute, in rational cohomology, the Poincare dual of the degeneracy locus of the family of Dirac operators parameterized by the moduli space of projectively anti-self-dual $\SO(3)$ connections. This is the first step in a program to derive a relation between the Donaldson and spin invariants.
