Dirac submanifolds of Jacobi manifolds

Reduction of Jacobi manifolds via Dirac structures theory

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.

Integration of Dirac-Jacobi structures

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.

Weak Dual Pairs in Dirac-Jacobi Geometry

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 bundles and the BFV-complex

We extend the construction of the BFV-complex of a coisotropic submanifold from the Poisson setting to the Jacobi setting. In particular, our construction applies in the contact and l.c.s. settings. The BFV-complex of a coisotropic submanifold $S$ controls the coisotropic deformation problem of $S$ under both Hamiltonian and Jacobi equivalence.

The Deformation $L_\infty$ algebra of a Dirac--Jacobi structure

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-…

Dirac 结构的爆破

Blowups of Dirac structures

本文刻画了实扭曲 Dirac 结构沿余维数大于1的子流形爆破可提升的条件，即子流形横截或不变且横截李代数具有相同常数高度，并恢复了 Polishchuk 关于 Poisson 结构的定理。

Generalized Complex Submanifolds

We introduce the notion of twisted generalized complex submanifolds and describe an equivalent characterization in terms of Poisson-Dirac submanifolds. Our characterization recovers a result of Vaisman. An equivalent characterization is also given in terms of spinors. As a consequence, we show that the fixed locus of an involution preserving a twisted generalized complex structure is a twisted generalized complex submanifold. We also prove that a twisted generalized complex manifold has a natural Poisson structure. We also discuss generalized Kaehler submanifolds.

Dirac-Jacobi Bundles

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…

Dirac submanifolds and Poisson involutions

Dirac submanifolds are a natural generalization in the Poisson category for symplectic submanifolds of a symplectic manifold. In a certain sense they correspond to symplectic subgroupoids of the symplectic groupoid of the given Poisson manifold. In particular, Dirac submanifolds arise as the stable locus of a Poisson involution. In this paper, we provide a general study for these submanifolds including both local and global aspects. In the second part of the paper, we study Poisson involutions and the induced Poisson structures on their stable locuses. We discuss the Poisson involutions on a s…

Foliation-coupling Dirac structures

We extend the notion of "coupling with a foliation" from Poisson to Dirac structures and get the corresponding generalization of the Vorobiev characterization of coupling Poisson structures. We show that any Dirac structure is coupling with the fibers of a tubular neighborhood of an embedded presymplectic leaf, give new proofs of the results of Dufour and Wade on the transversal Poisson structure, and compute the Vorobiev structure of the total space of a normal bundle of the leaf. Finally, we use the coupling condition along a submanifold, instead of a foliation, in order to discuss submanifo…

Hodge Theory for G2-manifolds: Intermediate Jacobians and Abel-Jacobi maps

We study the moduli space of torsion-free G2-structures on a fixed compact manifold, and define its associated universal intermediate Jacobian J. We define the Yukawa coupling and relate it to a natural pseudo-Kahler structure on J. We consider natural Chern-Simons type functionals, whose critical points give associative and coassociative cycles (calibrated submanifolds coupled with Yang-Mills connections), and also deformed Donaldson-Thomas connections. We show that the moduli spaces of these structures can be isotropically immersed in J by means of G2-analogues of Abel-Jacobi maps.

Dirac Structures and Generalized Complex Structures on $TM\times\mathds{R}^h$

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…

Coregular子流形与Poisson淹没

Coregular submanifolds and Poisson submersions

本文从Poisson-Dirac视角研究具有Poisson纤维的淹没，分析coregular子流形，并应用于李理论，构造具有有限辛叶的新Poisson结构。

Poisson-Jacobi reduction of homogeneous tensors

The notion of homogeneous tensors is discussed. We show that there is a one-to-one correspondence between multivector fields on a manifold $M$, homogeneous with respect to a vector field $Δ$ on $M$, and first-order polydifferential operators on a closed submanifold $N$ of codimension 1 such that $Δ$ is transversal to $N$. This correspondence relates the Schouten-Nijenhuis bracket of multivector fields on $M$ to the Schouten-Jacobi bracket of first-order polydifferential operators on $N$ and generalizes the Poissonization of Jacobi manifolds. Actually, it can be viewed as a super-Poissonization…

拉格朗日$NQ$-子流形的形变

Deformations of Lagrangian $NQ$-submanifolds

本文通过证明达布定理与温斯坦拉格朗日管状邻域定理的分次版本，为拉格朗日$NQ$-子流形关联了控制其形变的$L_\text{∞}$-代数，可用于余迷向子流形与（高阶）狄拉克结构等研究。

Hamilton-Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints

We extend Hamilton-Jacobi theory to Lagrange-Dirac (or implicit Lagrangian) systems, a generalized formulation of Lagrangian mechanics that can incorporate degenerate Lagrangians as well as holonomic and nonholonomic constraints. We refer to the generalized Hamilton-Jacobi equation as the Dirac-Hamilton-Jacobi equation. For non-degenerate Lagrangian systems with nonholonomic constraints, the theory specializes to the recently developed nonholonomic Hamilton-Jacobi theory. We are particularly interested in applications to a certain class of degenerate nonholonomic Lagrangian systems with symmet…

Reduction of branes in generalized complex geometry

We show that certain submanifolds of generalized complex manifolds ("weak branes") admit a natural quotient which inherits a generalized complex structure. This is analog to quotienting coisotropic submanifolds of symplectic manifolds. In particular Gualtieri's generalized complex submanifolds ("branes") quotient to space-filling branes. Along the way we perform reductions by foliations (i.e. no group action is involved) for exact Courant algebroids - interpreting the reduced Ševera class - and for Dirac structures.

Coisotropic embeddings in Poisson manifolds

We consider existence and uniqueness of two kinds of coisotropic embeddings and deduce the existence of deformation quantizations of certain Poisson algebras of basic functions. First we show that any submanifold of a Poisson manifold satisfying a certain constant rank condition sits coisotropically inside some larger cosymplectic submanifold, which is naturally endowed with a Poisson structure. Then we give conditions under which a Dirac manifold can be embedded coisotropically in a Poisson manifold, extending a classical theorem of Gotay.

Symplectic Microgeometry II: Generating functions

We adapt the notion of generating functions for lagrangian submanifolds to symplectic microgeometry. We show that a symplectic micromorphism always admits a global generating function. As an application, we describe hamiltonian flows as special symplectic micromorphisms whose local generating functions are the solutions of Hamilton-Jacobi equations. We obtain a purely categorical formulation of the temporal evolution in classical mechanics.