arXiv research

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 …

A classical theorem of Drinfel'd states that the category of simply connected Poisson Lie groups H is isomorphic to the category of Manin triples (d, g, h), where h is the Lie algebra of H. In this paper, we consider Dirac Lie groups, that is, Lie groups H endowed with a multiplicative Courant algebroid A and a Dirac s…

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…

Shows natural quasi-Poisson structure on multiplicative Grothendieck-Springer space.

In a companion paper, we introduced a notion of multi-Dirac structures, a graded version of Dirac structures, and we discussed their relevance for classical field theories. In the current paper we focus on the geometry of multi-Dirac structures. After recalling the basic definitions, we introduce a graded multiplicatio…

Extends Manin triples to Lie bialgebroids over Lie groupoids.

We show that if a smooth multiplicative subbundle $S\subseteq TG$ on a groupoid $G\rr P$ is involutive and satisfies completeness conditions, then its leaf space $G/S$ inherits a groupoid structure over the space of leaves of $TP\cap S$ in $P$. As an application, a special class of Dirac groupoids is shown to project b…

Let $(G\rr P, \mathsf D_G)$ be a Dirac groupoid. We show that there are natural Lie algebroid structures on the units $\lie A(\mathsf D_G)$ and on the core $I^\tg(\mathsf D_G)$ of the multiplicative Dirac structure. In the Poisson case, the Lie algebroid $A^*G$ is isomorphic to $\lie A(\mathsf D_G)$ and in the case of …

The paper studies Lie algebroid and groupoid quotients with forms, applying to Poisson and Dirac structures.

We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collap…

We present a new description of the spectrum of the (spin-) Dirac operator $D$ on lens spaces. Viewing a spin lens space $L$ as a locally symmetric space $Γ\backslash \operatorname{Spin}(2m)/\operatorname{Spin}(2m-1)$ and exploiting the representation theory of the $\operatorname{Spin}$ groups, we obtain explicit formu…

A Dirac structure on a vector bundle V is a maximal isotropic subbundle E of the direct sum of V with its dual. We show how to associate to any Dirac structure a Dixmier-Douady bundle A, that is, a Z/2Z-graded bundle of C*-algebras with typical fiber the compact operators on a Hilbert space. The construction has good f…

In this thesis we develop the notion of LA-Courant algebroids, the infinitesimal analogue of multiplicative Courant algebroids. Specific applications include the integration of q- Poisson (d, g)-structures, and the reduction of Courant algebroids. We also introduce the notion of pseudo-Dirac structures, (possibly non-L…

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

The paper integrates quasi-Poisson manifolds into multiplicative D-valued moment maps.

The paper calculates spectral torsion for rescaled Dirac operators on manifolds.

Let M be a closed spin manifold of dimension at least three with a fixed topological spin structure. For any Riemannian metric, we can construct the associated Dirac operator. The spectrum of this Dirac operator depends on the metric of course. In 2005, Dahl conjectured that M can be given a metric, for which a finite …

We study sub-Dirac operators that are associated with left-invariant bracket-generating sub-Riemannian structures on compact quotients of nilpotent semi-direct products $G=\mathbb{R}^n\rtimes_A\mathbb{R}$. We will prove that these operators admit an $L^2$-basis of eigenfunctions. Explicit examples show that the spectru…

In this note, we give a geometric expression for the multiplicities of the equivariant index of a Dirac operator twisted by a line bundle.

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…

We establish a lower bound for the eigenvalues of the Dirac operator defined on a compact Kähler-Einstein manifold of positive scalar curvature and endowed with particular ${\rm spin}^c$ structures. The limiting case is characterized by the existence of Kählerian Killing ${\rm spin}^c$ spinors in a certain subbundle of…

Introduces compatibility between Dirac structures and Nijenhuis tensors.

Stokes-Dirac structures are infinite-dimensional Dirac structures defined in terms of differential forms on a smooth manifold with boundary. These Dirac structures lay down a geometric framework for the formulation of Hamiltonian systems with a nonzero boundary energy flow. Simplicial triangulation of the underlaying m…

Let $M$ be an orientable compact flat Riemannian manifold endowed with a spin structure. In this paper we determine the spectrum of Dirac operators acting on smooth sections of twisted spinor bundles of $M$, and we derive a formula for the corresponding eta series. In the case of manifolds with holonomy group $\Z_2^k$,…

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

Introduces weak $(p,k)$-Dirac structures in geometric settings.

In this paper, we give a geometric expression for the multiplicities of the equivariant index of a spin-c Dirac operator.

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…

We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and show how Stokes-Dirac structures can be derived through symmetry reduction from a canonical Dirac structure on the unreduced phase space. In this way, …

The paper defines Dirac structures on connection spaces and their properties.

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

Classifies complex Dirac structures with invariants and local structure.

New $L_\infty$ algebra governs deformations of Dirac-Jacobi structures.

Alternative discrete Dirac mechanics using Dirac structures.

Characterizes obstacles to variational formulation of Dirac dynamics.

The paper introduces discrete Dirac structures for mechanics, simplifying dynamics.

We generalize the transgression formula for the eta form of Bismut, Cheeger and Berline, Getzler, Vergne for vertical Dirac operators on a fibre bundle with odd dimensional fibres where the Dirac operators have locally at most one eigenvalue of multiplicity one crossing zero transversally.

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 purpose of this paper is to define the concept of multi-Dirac structures and to describe their role in the description of classical field theories. We begin by outlining a variational principle for field theories, referred to as the Hamilton-Pontryagin principle, and we show that the resulting field equations are t…

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…

In this paper we provide a method to study critical points of strongly indefinite functionals on vector bundles. We focus mainly on energy functionals coupled with a fermionic part, that is with a Dirac-type operator. We consider the cases of the perturbed Dirac-Geodesics problem and the Yang-Mills-Dirac type equation …

A Dirac structure is a Lagrangian subbundle of a Courant algebroid, $L\subset\mathbb{E}$, which is involutive with respect to the Courant bracket. In particular, $L$ inherits the structure of a Lie algebroid. In this paper, we introduce the more general notion of a pseudo-Dirac structure: an arbitrary subbundle, $W\sub…

Study on the existence of Dirac complements for Dirac structures.

Defines Dirac pairs on Jacobi algebroids, generalizing Lie algebroids.

Although conservative Hamiltonian systems with constraints can be formulated in terms of Dirac structures, a more general framework is necessary to cover also dissipative systems such as gradient and metriplectic systems with constraints. We define Leibniz-Dirac structures which lead to a natural generalization of Dira…

Extends Dirac structures to infinite dimensions, focusing on convenient Lie algebroids and manifolds.

Given a Dirac subbundle and an isotropic subbundle of a Courant algebroid, we provide a canonical method to obtain a new Dirac subbundle. When the original Dirac subbundle is involutive (i.e., a Dirac structure) this construction has interesting applications, for instance to Dirac's theory of constraints and to the Mar…

We introduce linear Dirac and generalized complex structures on Cartan geometries and give criteria for Dirac subalgebras of $\frkg\ltimes\frkg^*$ representing Dirac structures on a Cartan geometry. We prove that there is a bijection between the linear generalized structures on a torsion free Cartan geometry and the eq…