Symplectic embeddings, homotopy algebras and almost Poisson gauge symmetry

We formulate general definitions of semi-classical gauge transformations for noncommutative gauge theories in general backgrounds of string theory, and give novel explicit constructions using techniques based on symplectic embeddings of almost Poisson structures. In the absence of fluxes the gauge symmetries close a Poisson gauge algebra and their action is governed by a $P_\infty$-algebra which we construct explicitly from the symplectic embedding. In curved backgrounds they close a field dependent gauge algebra governed by an $L_\infty$-algebra which is not a $P_\infty$-algebra. Our technique produces new all orders constructions which are significantly simpler compared to previous approaches, and we illustrate its applicability in several examples of interest in noncommutative field theory and gravity. We further show that our symplectic embeddings naturally define a $P_\infty$-structure on the exterior algebra of differential forms on a generic almost Poisson manifold, which generalizes earlier constructions of differential graded Poisson algebras, and suggests a new approach to defining noncommutative gauge theories beyond the gauge sector and the semi-classical limit based on $A_\infty$-algebras.

Hyperkähler metrics near Lagrangian submanifolds and symplectic groupoids

The first part of this paper is a generalization of the Feix–Kaledin theorem on the existence of a hyperkähler metric on a neighborhood of the zero section of the cotangent bundle of a Kähler manifold. We show that the problem of constructing a hyperkähler structure on a neighborhood of a complex Lagrangian submanifold in a holomorphic symplectic manifold reduces to the existence of certain deformations of holomorphic symplectic structures. The Feix–Kaledin structure is recovered from the twisted cotangent bundle. We then show that every holomorphic symplectic groupoid over a compact holomorphic Poisson surface of Kähler type has a hyperkähler structure on a neighborhood of its identity section. More generally, we reduce the existence of a hyperkähler structure on a symplectic realization of a holomorphic Poisson manifold of any dimension to the existence of certain deformations of holomorphic Poisson structures adapted from Hitchin’s unobstructedness theorem.

Poisson Principal Bundles

We semiclassicalise the theory of quantum group principal bundles to the level of Poisson geometry. The total space X is a Poisson manifold with Poisson-compatible contravariant connection, the fibre is a Poisson-Lie group in the sense of Drinfeld with bicovariant Poisson-compatible contravariant connection, and the base has an inherited Poisson structure and Poisson-compatible contravariant connection. The latter are known to be the semiclassical data for a quantum differential calculus. The theory is illustrated by the Poisson level of the q-Hopf fibration on the standard q-sphere. We also construct the Poisson level of the spin connection on a principal bundle.

Formal oscillatory distributions

The formal asymptotic expansion of an oscillatory integral whose phase function has one nondegenerate critical point is a formal distribution supported at the critical point which is applied to the amplitude. This formal distribution is called a formal oscillatory integral (FOI). We introduce the notion of a formal oscillatory distribution supported at a point. We prove that a formal distribution is given by some FOI if and only if it is an oscillatory distribution that has a certain nondegeneracy property. We also prove that a star product ⋆ on a Poisson manifold M is natural in the sense of Gutt and Rawnsley if and only if the formal distribution f ⊗ g ↦ ( f ⋆ g ) ( x ) is oscillatory for every x ∈ M.

Strict deformation quantization of the state space of Mk(ℂ) with applications to the Curie–Weiss model

Increasing tensor powers of the [Formula: see text] matrices [Formula: see text] are known to give rise to a continuous bundle of [Formula: see text]-algebras over [Formula: see text] with fibers [Formula: see text] and [Formula: see text], where [Formula: see text], the state space of [Formula: see text], which is canonically a compact Poisson manifold (with stratified boundary). Our first result is the existence of a strict deformation quantization of [Formula: see text] à la Rieffel, defined by perfectly natural quantization maps [Formula: see text] (where [Formula: see text] is an equally natural dense Poisson subalgebra of [Formula: see text]). We apply this quantization formalism to the Curie–Weiss model (an exemplary quantum spin with long-range forces) in the parameter domain where its [Formula: see text] symmetry is spontaneously broken in the thermodynamic limit [Formula: see text]. If this limit is taken with respect to the macroscopic observables of the model (as opposed to the quasi-local observables), it yields a classical theory with phase space [Formula: see text] (i.e. the unit three-ball in [Formula: see text]). Our quantization map then enables us to take the classical limit of the sequence of (unique) algebraic vector states induced by the ground state eigenvectors [Formula: see text] of this model as [Formula: see text], in which the sequence converges to a probability measure [Formula: see text] on the associated classical phase space [Formula: see text]. This measure is a symmetric convex sum of two Dirac measures related by the underlying [Formula: see text]-symmetry of the model, and as such the classical limit exhibits spontaneous symmetry breaking, too. Our proof of convergence is heavily based on Perelomov-style coherent spin states and at some stage it relies on (quite strong) numerical evidence. Hence the proof is not completely analytic, but somewhat hybrid.

Hamiltonian operators and related differential-algebraic Balinsky-Novikov, Riemann and Leibniz type structures on nonassociative noncommutative algebras

We review main differential-algebraic structures \ lying in background of \ analytical constructing multi-component Hamiltonian operators as derivatives on suitably constructed loop Lie algebras, generated by nonassociative noncommutative algebras. The related Balinsky-Novikov and \ Leibniz type algebraic structures are derived, a new nonassociative "Riemann" algebra is constructed, deeply related with infinite multi-component Riemann type integrable hierarchies. An approach, based on the classical Lie-Poisson structure on coadjoint orbits, closely related with those, analyzed in the present work and allowing effectively enough construction of Hamiltonian operators, is also briefly revisited. \ As the compatible Hamiltonian operators are constructed by means of suitable central extentions of the adjacent weak Lie algebras, generated by the right Leibniz and Riemann type nonassociative and noncommutative algebras, the problem of their description requires a detailed investigation both of their structural properties and finite-dimensional representations of the right Leibniz algebras defined by the corresponding structural constraints. \ Subject to these important aspects we stop in the work mostly on the structural properties of the right Leibniz algebras, especially on their derivation algebras and their generalizations. We have also added a short Supplement within which we \ revisited \ the classical Poisson manifold approach, closely related to our construction of \ Hamiltonian operators, generated by nonassociative and noncommutative algebras. In particular, \ we presented its natural and simple generalization allowing effectively to describe a wide class\ of Lax type integrable nonlinear Kontsevich type Hamiltonian systems on associative noncommutative algebras.

Splitting theorems for Poisson and related structures

According to the Weinstein splitting theorem, any Poisson manifold is locally, near any given point, a product of a symplectic manifold with another Poisson manifold whose Poisson structure vanishes at the point. Similar splitting results are known, e.g., for Lie algebroids, Dirac structures and generalized complex structures. In this paper, we develop a novel approach towards these results that leads to various generalizations, including their equivariant versions as well as their formulations in new contexts.

Deformations of Pre-symplectic Structures and the Koszul L∞-algebra

We study the deformation theory of pre-symplectic structures, that is, closed 2-forms of fixed rank. The main result is a parametrization of nearby deformations of a given pre-symplectic structure in terms of an $L_{\infty }$-algebra, which we call the Koszul $L_{\infty }$-algebra. This $L_{\infty }$-algebra is a cousin of the Koszul dg Lie algebra associated to a Poisson manifold. In addition, we show that a quotient of the Koszul $L_{\infty }$-algebra is isomorphic to the $L_{\infty }$-algebra that controls the deformations of the underlying characteristic foliation. Finally, we show that the infinitesimal deformations of pre-symplectic structures and of foliations are both obstructed.

The Homology Class of a Poisson Transversal

This note is devoted to the study of the homology class of a compact Poisson transversal in a Poisson manifold. For specific classes of Poisson structures, such as unimodular Poisson structures and Poisson manifolds with closed leaves, we prove that all their compact Poisson transversals represent nontrivial homology classes, generalizing the symplectic case. We discuss several examples in which this property does not hold, as well as a weaker version of this property, which holds for log-symplectic structures. Finally, we extend our results to Dirac geometry.