arXiv research

Develops a new approach to describe gauge theories with background fields using presymplectic structures.

The paper extends Marsden-Weinstein reduction to mechanical presymplectic structures for time-dependent Hamiltonian systems.

Introduces internal Lagrangians for differential equations and connects them to presymplectic structures.

Classifies complex Dirac structures with invariants and local structure.

Unified geometric formulation of Maxwell-Vlasov system using presymplectic and symmetry reduction.

We call a singularity of a presymplectic form $ω$ removable in its graph if its graph extends to a smooth Dirac structure over the singularity. An example for this is the symplectic form of a magnetic monopole. A criterion for the removability of singularities is given in terms of regularizing functions for pure spinor…

We prove several versions of "quantization commutes with reduction" for circle actions on manifolds that are not symplectic. Instead, these manifolds possess a weaker structure, such as a spin^c structure. Our theorems work whenever the quantization data and the reduction data are compatible; this condition always hold…

The paper extends classical Darboux theorems to various geometric structures in field theories.

Contact reductions explained through symplectic reductions.

Geometric quantization for specific symplectic structures proved.

Several new mutation-periodic quivers of period higher than 1 are introduced as well as the associated discrete dynamical systems. The reduction of these systems is developed using either a presymplectic or a Poisson approach. The presymplectic approach leads to a reduced system whose iteration map is symplectic with r…

We prove the rigidity of presymplectic actions of a compact semisimple Lie algebra on a presymplectic manifold of constant rank in the local and global case. The proof uses an abstract normal form theorem we had stated in a previous work, based on an iterative process of Nash-Moser type. In order to use correctly this …

The tools of presymplectic geometry are used to study light rays trajectories in anisotropic media.

In previous work with M.C. Fernandes, we found a Lie algebroid symmetry for the Einstein evolution equations of general relativity. The present work was motivated by the effort to explain the coisotropic structure of the constraint subset for the initial value problem by extending the notion of hamiltonian structure fr…

We generalize various symplectic reduction techniques to the context of the optimal momentum map. Our approach allows the construction of symplectic point and orbit reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a momentum map. We construct an orbit red…

Study of presymplectic forms on almost abelian Lie algebras, determining moduli spaces and their finiteness.

The paper extends $L_\infty$ structures to generic closed two-forms on manifolds.

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.

Contractions of Leibniz algebras and Courant algebroids by means of (1,1)-tensors are introduced and studied. An appropriate version of Nijenhuis tensors leads to natural deformations of Dirac structures and Lie bialgebroids. One recovers presymplectic-Nijenhuis structures, Poisson-Nijenhuis structures, and triangular …

Geometrically reduces Hamiltonian systems using particular integrals.

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

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

A general study of symmetries in optimal control theory is given, starting from the presymplectic description of this kind of system. Then, Noether's theorem, as well as the corresponding reduction procedure (based on the application of the Marsden-Weinstein theorem adapted to the presymplectic case) are stated both in…

A framework for reducing PDEs by symmetry, preserving key structures.

Pontryagin's Maximum Principle is an outstanding result for solving optimal control problems by means of optimizing a specific function on some particular variables, the so called controls. However, this is not always enough for solving all these problems. A high order maximum principle (Krener, 1977) must be used in o…

Weak dual pairs defined in Dirac-Jacobi geometry, proving equivalence and leaf correspondence theorems.

New geometric structures that relate the lagrangian and hamiltonian formalisms defined upon a singular lagrangian are presented. Several vector fields are constructed in velocity space that give new and precise answers to several topics like the projectability of a vector field to a hamiltonian vector field, the comput…

We study differential cohomology on categories of globally hyperbolic Lorentzian manifolds. The Lorentzian metric allows us to define a natural transformation whose kernel generalizes Maxwell's equations and fits into a restriction of the fundamental exact sequences of differential cohomology. We consider smooth Pontry…

We study higher-order analogues of Dirac structures, extending the multisymplectic structures that arise in field theory. We define higher Dirac structures as involutive subbundles of $TM+\wedge^k TM^*$ satisfying a weak version of the usual lagrangian condition (which agrees with it only when $k=1$). Higher Dirac stru…

We provide explicit formulas for integrating multiplicative forms on local Lie groupoids in terms of infinitesimal data. Combined with our previous work [8], which constructs the local Lie groupoid of a Lie algebroid, these formulas produce concrete integrations of several geometric stuctures defined infinitesimally. I…

The inverse problem of the calculus of variations asks whether a given system of partial differential equations (PDEs) admits a variational formulation. We show that the existence of a presymplectic form in the variational bicomplex, when horizontally closed on solutions, allows us to construct a variational formulatio…

In this note we give conditions which ensure the reduction of a symplectic connection in the process of a Marsden-Weinstein reduction and of the reduction of a presymplectic manifold.

Let $(M,ω)$ be a geometrically bounded symplectic manifold, $N\subseteq M$ a closed, regular (i.e. "fibering") coisotropic submanifold, and $φ:M\to M$ a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of $φ$ is bounded below by the sum of the $Z_2$-Betti numbers o…

We prove some general results about the relation between the 1-cocycles of an arbitrary Lie algebroid $A$ over $M$ and the leaves of the Lie algebroid foliation on $M$ associated with $A$. Using these results, we show that a ${\cal E}^1(M)$-Dirac structure $L$ induces on every leaf $F$ of its characteristic foliation a…

We study Dirac structures associated with Manin pairs (\d,\g) and give a Dirac geometric approach to Hamiltonian spaces with D/G-valued moment maps, originally introduced by Alekseev and Kosmann-Schwarzbach in terms of quasi-Poisson structures. We explain how these two distinct frameworks are related to each other, pro…

We study Hamiltonian spaces associated with pairs (E,A), where E is a Courant algebroid and A\subset E is a Dirac structure. These spaces are defined in terms of morphisms of Courant algebroids with suitable compatibility conditions. Several of their properties are discussed, including a reduction procedure. This set-u…

Dirac structures are geometric objects that generalize both Poisson structures and presymplectic structures on manifolds. They naturally appear in the formulation of constrained mechanical systems. In this paper, we show that the evolution equa- tions for nonequilibrium thermodynamics admit an intrinsic formulation in …

We extend known prequantization procedures for Poisson and presymplectic manifolds by defining the prequantization of a Dirac manifold P as a principal U(1)-bundle Q with a compatible Dirac-Jacobi structure. We study the action of Poisson algebras of admissible functions on P on various spaces of locally (with respect …

We write down the local equations that characterize the submanifolds N of a Dirac manifold M which have a normal bundle that is either a coisotropic or an isotropic submanifold of TM endowed with the tangent Dirac structure. In the Poisson case, these formulas prove again a result of Xu: the submanifold N has a normal …

Geometric structures on $\mathbb N Q$-manifolds, i.e.~non-negatively graded manifolds with an homological vector field, encode non-graded geometric data on Lie algebroids and their higher analogues. A particularly relevant class of structures consists of vector bundle valued differential forms. Symplectic forms, contac…

In this contribution we review some of the interplay between sigma models in theoretical physics and novel geometrical structures such as Lie (n-)algebroids. The first part of the article contains the mathematical background, the definition of various algebroids as well as of Dirac structures, a joint generalization of…

This paper is concerned with symmetries of closed multiplicative 2-forms on Lie groupoids and their infinitesimal counterparts. We use them to study Lie group actions on Dirac manifolds by Dirac diffeomorphisms and their lifts to presymplectic groupoids, building on recent work of Fernandes-Ortega-Ratiu \cite{FOR} on P…

A description of time-dependent Mechanics in terms of Lagrangian submanifolds of Dirac manifolds (in particular, presymplectic and Poisson manifolds) is presented. Two new Tulczyjew triples are discussed. The first one is adapted to the restricted Hamiltonian formalism and the second one is adapted to the extended Hami…

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…

A dynamical system on the total space of the fibre bundle of second order accelerations, $T^2M$, is defined as a third order vector field $S$ on $T^2M$, called semispray, which is mapped by the second order tangent structure into one of the Liouville vector field. For a regular Lagrangian of second order we prove that …

We describe infinitesimally Dirac groupoids via geometric objects that we call Dirac bialgebroids. In the two well-understood special cases of Poisson and presymplectic groupoids, the Dirac bialgebroids are equivalent to the Lie bialgebroids and IM-$2$-forms, respectively. In the case of multiplicative involutive distr…

The covariant phase space of a Lagrangian field theory is the solution space of the associated Euler-Lagrange equations. It is, in principle, a nice environment for covariant quantization of a Lagrangian field theory. Indeed, it is manifestly covariant and possesses a canonical (functional) "presymplectic structure" w …

We develop an approach to construct Poisson algebras for non-linear scalar field theories that is based on the Cahiers topos model for synthetic differential geometry. In this framework the solution space of the field equation carries a natural smooth structure and, following Zuckerman's ideas, we can endow it with a p…