We describe the structure of the Lie groups endowed with a left-invariant symplectic form, called symplectic Lie groups, in terms of semi-direct products of Lie groups, symplectic reduction and principal bundles with affine fiber. This description is particularly nice if the group is Hamiltonian, that is, if the left canonical action of the group on itself is Hamiltonian. The principal tool used for our description is a canonical affine structure associated with the symplectic form. We also characterize the Hamiltonian symplectic Lie groups among the connected symplectic Lie groups. We specialize our principal results to the cases of simply connected Hamiltonian symplectic nilpotent Lie groups or Frobenius symplectic Lie groups. Finally we pursue the study of the classical affine Lie group as a symplectic Lie group.
MSC Classes 53D20,70G65 Key words:Symplectic Lie groups,Hamiltonian Lie groups, Symplectic reduction,Symplectic double extension.
We develop the structure theory of symplectic Lie groups based on the study of their isotropic normal subgroups. The article consists of three main parts. In the first part we show that every symplectic Lie group admits a sequence of subsequent symplectic reductions to a unique irreducible symplectic Lie group. The second part concerns the symplectic geometry of cotangent symplectic Lie groups and the theory of Lagrangian extensions of flat Lie groups. In the third part of the article we analyze the existence problem for Lagrangian normal subgroups in nilpotent symplectic Lie groups.
We give a new characterization of flat affine manifolds in terms of an action of the Lie algebra of classical infinitesimal affine transformations on the bundle of linear frames. We characterize flat affine symplectic Lie groups using symplectic étale affine representations and as a consequence of this, we show that a flat affine symplectic Lie group with bi-invariant symplectic connection contains a nontrivial one parameter subgroup formed by central translations. We give two methods for constructing flat affine symplectic Lie groups, thus obtaining all those having bi-invariant symplectic co…
We use the techniques of integration of Poisson manifolds into symplectic Lie groupoids to build symplectic resolutions (= desingularizations) of the closure of a symplectic leaf. More generally, we show how Lie groupoids can be used to lift singularities, in particular when one imposes a compatibility condition with an additional structure given by a multi-vector field.
$k$-Para-Kähler Lie algebras are a generalization of para-Kähler Lie algebras $(k=1)$ and constitute a subclass of $k$-symplectic Lie algebras. In this paper, we show that the characterization of para-Kähler Lie algebras as left symmetric bialgebras can be generalized to $k$-para-Kähler Lie algebras leading to the introduction of two new structures which are different but both generalize the notion of left symmetric algebra. This permits also the introduction of generalized $S$-matrices. We determine then all the $k$-symplectic Lie algebras of dimension $(k+1)$ and all the six dimensional 2-pa…
This article addresses the problem of developing an extension of the Marsden- Weinstein reduction process to symplectic Lie algebroids, and in particular to the case of the symplectic cover of a fiberwise linear Poisson structure, whose reduction process is the analogue to cotangent bundle reduction in the context of Lie algebroids.
Several types of generically-nondegenerate Poisson structures can be effectively studied as symplectic structures on naturally associated Lie algebroids. Relevant examples of this phenomenon include log-, elliptic, $b^k$-, scattering and elliptic-log Poisson structures. In this paper we discuss topological obstructions to the existence of such Poisson structures, obtained through the characteristic classes of their associated symplectic Lie algebroids. In particular we obtain the full obstructions for surfaces to carry such Poisson structures.
In this review paper, we present several results on central extensions of the Lie algebra of symplectic (Hamiltonian) vector fields, and compare them to similar results for the Lie algebra of (exact) divergence free vector fields. In particular, we comment on universal central extensions and integrability to the group level.
Symplectic manifolds which are homogeneous spaces of Poisson-Lie groups are studied in this paper. We show that these spaces are, under certain assumptions, covering spaces of dressing orbits of the Poisson-Lie groups which act on them. The effect of the Poisson induction procedure on such spaces is also examined, thus leading to an interesting generalization of the notion of homogeneous space. Some examples of homogeneous spaces of Poisson-Lie groups are discussed in the light of the previous results.
We investigate Lie algebras endowed with a complex symplectic structure and develop a method, called \emph{complex symplectic oxidation}, to construct certain complex symplectic Lie algebras of dimension $4n+4$ from those of dimension $4n$. We specialize this construction to the nilpotent case and apply complex symplectic oxidation to classify eight-dimensional nilpotent complex symplectic Lie algebras.
We study left invariant contact forms and left invariant symplectic forms on Lie groups. We give the classification of all symplectic structures on nilpotent Lie algebras up the dimension 6.
We study Lie algebras of type I, that is, a Lie algebra $\mathfrak{g}$ where all the eigenvalues of the operator ad$_X$ are imaginary for all $X\in \mathfrak{g}$. We prove that the Morse-Novikov cohomology of a Lie algebra of type I is trivial for any closed $1$-form. We focus on locally conformal symplectic structures (LCS) on Lie algebras of type I. In particular we show that for a Lie algebra of type I any LCS structure is of the first kind. We also exhibit lattices for some $6$-dimensional Lie groups of type I admitting left invariant LCS structures in order to produce compact solvmanifold…
We give a generalization of toric symplectic geometry to Poisson manifolds which are symplectic away from a collection of hypersurfaces forming a normal crossing configuration. We introduce the tropical momentum map, which takes values in a generalization of affine space called a log affine manifold. Using this momentum map, we obtain a complete classification of such manifolds in terms of decorated log affine polytopes, hence extending the classification of symplectic toric manifolds achieved by Atiyah, Guillemin-Sternberg, Kostant, and Delzant.
We study symplectic (contact) structures on nilmanifolds that correspond to the filiform Lie algebras - nilpotent Lie algebras of the maximal length of the descending central sequence. We give a complete classification of filiform Lie algebras that possess a basis e_1, ..., e_n, [e_i,e_j]=c_{ij}e_{i{+}j} (N-graded Lie algebras). In particular we describe the spaces of symplectic cohomology classes for all even-dimensional algebras of the list. It is proved that a symplectic filiform Lie algebra is a filtered deformation of some N-graded symplectic filiform Lie algebra. But this condition is no…
A symplectic Lie group is a Lie group with a left-invariant symplectic form. Its Lie algebra structure is that of a quasi-Frobenius Lie algebra. In this note, we identify the groupoid analogue of a symplectic Lie group. We call the aforementioned structure a \textit{$t$-symplectic Lie groupoid}; the "$t$" is motivated by the fact that each target fiber of a $t$-symplectic Lie groupoid is a symplectic manifold. For a Lie groupoid $\mathcal{G}\rightrightarrows M$, we show that there is a one-to-one correspondence between quasi-Frobenius Lie algebroid structures on $A\mathcal{G}$ (the associated …
Let $(G,Ω)$ be a symplectic Lie group, i.e, a Lie group endowed with a left invariant symplectic form. If $\G$ is the Lie algebra of $G$ then we call $(\G,ω=\Om(e))$ a symplectic Lie algebra. The product $\bullet$ on $\G$ defined by $3ω\left(x\bullet y,z\right)=ω\left([x,y],z\right)+ω\left([x,z],y\right)$ extends to a left invariant connection $\na$ on $G$ which is torsion free and symplectic ($\na\Om=0)$. When $\na$ has vanishing curvature, we call $(G,Ω)$ a flat symplectic Lie group and $(\G,\om)$ a flat symplectic Lie algebra. In this paper, we study flat symplectic Lie groups. We start by …
We show that the leaves of an LA-groupoid which pass through the unit manifold are, modulo a connectedness issue, Lie groupoids. We illustrate this phenomenon by considering the cotangent Lie algebroids of Poisson groupoids thus obtaining an interesting class of symplectic groupoids coming from their symplectic foliations. In particular, we show that for a (strict) Lie 2-group the coadjoint orbits of the units in the dual of its Lie 2-algebra are symplectic groupoids, meaning that the classical Kostant-Kirillov-Souriau symplectic forms on these special coadjoint orbits are multiplicative.
There exist three main approaches to reduction associated to canonical Lie group actions on a symplectic manifold, namely, foliation reduction, introduced by Cartan, Marsden-Weinstein reduction, and optimal reduction, introduced by the authors. When the action is free, proper, and admits a momentum map these three approaches coincide. The goal of this paper is to study the general case of a symplectic action that does not admit a momentum map and one needs to use its natural generalization, a cylinder valued momentum map introduced by Condevaux, Dazord, and Molino. In this case it will be show…
By considering suitable Poisson groupoids, we develop an approach to obtain Lie group structures on (subgroups of) the Poisson diffeomorphism groups of various classes of Poisson manifolds. As applications, we show that the Poisson diffeomorphism groups of (normal-crossing) log-symplectic, elliptic symplectic, scattering-symplectic and cosymplectic manifolds are regular infinite-dimensional Lie groups.
Every symplectic Lie algebra with degenerate (including non-abelian nilpotent symplectic Lie algebras) has the structure of a quadratic extension. We give a standard model and describe the equivalence classes on the level of corresponding quadratic cohomology sets. Finally, we give a scheme to classify the isomorphism classes of symplectic Lie algebras with degenerate center. We also give a classification scheme for nilpotent symplectic Lie algebras and compute a complete list of all 6-dimensional nilpotent symplectic Lie algebras, which removes some little inaccuracies in an older list.
In this paper we describe all the nilradicals of parabolic subalgebras of split real simple Lie algebras admitting symplectic structures. The main tools used to obtain this list are Kostant's description of the highest weight vectors (hwv) of the cohomology of these nilradicals and some necessary conditions obtained for the $\mathfrak g$-hwv's of $H^2(\mathfrak n)$ for a finite dimensional real symplectic nilpotent Lie algebra $\mathfrak n$ with a reductive Lie subalgebra of derivations $\mathfrak g$ acting on it.
Every metric symplectic Lie algebra has the structure of a quadratic extension. We give a standard model and describe the equivalence classes on the level of corresponding quadratic cohomology sets. Finally, we give a scheme to classify the isomorphism classes of metric symplectic Lie algebras and give a complete list of all these Lie algebras in special cases.
The canonical involution of a double (=iterated) tangent bundle may be dualized in different ways to yield relations between the Tulczyjew diffeomorphism, the Poisson anchor associated with the standard symplectic structure on the cotangent space,and the reversal diffeomorphism. We show that the constructions which yield these maps extend very generally to the double Lie algebroids of double Lie groupoids, where they play a crucial role in the relations between double Lie algebroids and Lie bialgebroids.
A $n$-dimensional Lie group $G$ equipped with a left invariant symplectic form $\om^+$ is called a symplectic Lie group. It is well-known that $\om^+$ induces a left invariant affine structure on $G$. Relatively to this affine structure we show that the left invariant Poisson tensor $π^+$ corresponding to $\om^+$ is polynomial of degree 1 and any right invariant $k$-multivector field on $G$ is polynomial of degree at most $k$. If $G$ is unimodular, the symplectic form $\om^+$ is also polynomial and the volume form $\wedge^{\frac{n}2}\om^+$ is parallel. We show also that any left invariant tens…
In this paper we deal with symplectic Lie algebras. All symplectic structures are determined for dimension four and the corresponding Lie algebras are classified up to equivalence. Symplectic four dimensional Lie algebras are described either as solutions of the cotangent extension problem or as symplectic double extension of $\Bbb RR^2$ by $\Bbb RR$. The difference in the choice of a certain model lies on the existence or not of a lagrangian ideal. Moreover all extensions of a two dimensional Lie algebra are determined, and so all solutions (up to equivalence) of the cotangent extension probl…
$k$-symplectic manifolds are a convenient framework to study classical field theories and they are a generalization of polarized symplectic manifolds. This paper focus on the existence and the properties of left invariant $k$-symplectic structures on Lie groups having a bi-invariant pseudo-Riemannian metric. We show that compact semi-simple Lie groups and a large class of Lie groups having a bi-invariant pseudo-Riemannian metric does not carry any left invariant $k$-symplectic structure. This class contains the oscillator Lie groups which are the only solvable non abelian Lie groups having a b…
These notes are an introduction to symplectic groupoids and the double structures associated with them. The treatment is intended to lie about midway between the original account of Coste, Dazord and Weinstein, which relied on effective use of the symplectic structures, and the account in my 2005 book, which showed, on the level of Poisson groupoids, that the basic results of the theory follow from `categorical' compatibility conditions between the associated Lie algebroid and Lie groupoid structures. The reader needs to know only the most basic ideas of symplectic geometry, Lie groups, and ve…
We classify the finite type (in the sense of E. Cartan theory of prolongations) subalgebras $\mathfrak{h}\subset\mathfrak{sp}(V)$, where $V$ is the symplectic 4-dimensional space, and show that they satisfy $\mathfrak{h}^{(k)}=0$ for all $k>0$. Using this result, we reduce the problem of classification of graded transitive finite-dimensional Lie algebras $\mathfrak{g}$ of symplectic vector fields on $V$ to the description of graded transitive finite-dimensional subalgebras of the full prolongations $\mathfrak{p}_1^{(\infty)}$ and $\mathfrak{p}_2^{(\infty)}$, where $\mathfrak{p}_1$ and $\mathfr…
We describe the deformation cohomology of a symplectic groupoid, and use it to study deformations via Moser path methods, proving a symplectic groupoid version of the Moser Theorem. Our construction uses the deformation cohomologies of Lie groupoids and of multiplicative forms, and we prove that in the symplectic case, deformation cohomology of both the underlying groupoid and of the symplectic groupoid have de Rham models in terms of differential forms. We use the de Rham model, which is intimately connected to the Bott-Shulman-Stasheff double complex, to compute deformation cohomology in sev…
A special symplectic Lie group is a triple $(G,ω,\nabla)$ such that $G$ is a finite-dimensional real Lie group and $ω$ is a left invariant symplectic form on $G$ which is parallel with respect to a left invariant affine structure $\nabla$. In this paper starting from a special symplectic Lie group we show how to ``deform" the standard Lie group structure on the (co)tangent bundle through the left invariant affine structure $\nabla$ such that the resulting Lie group admits families of left invariant hypersymplectic structures and thus becomes a hypersymplectic Lie group. We consider the affine …
We study quadratic Lie algebras over a field K of null characteristic which admit, at the same time, a symplectic structure. We see that if K is algebraically closed every such Lie algebra may be constructed as the T*-extension of a nilpotent algebra admitting an invertiblederivation and also as the double extension of another quadratic symplectic Lie algebra by the one-dimensional Lie algebra. Finally, we prove that every symplectic quadratic Lie algebra is a special symplectic Manin algebra and we give an inductive classification in terms of symplectic quadratic double extensions.
We study locally conformal symplectic (LCS) structures of the second kind on a Lie algebra. We show a method to build new examples of Lie algebras admitting LCS structures of the second kind starting with a lower dimensional Lie algebra endowed with a LCS structure and a suitable representation. Moreover, we characterize all LCS Lie algebras obtained with our construction. Finally, we study the existence of lattices in the associated simply connected Lie groups in order to obtain compact examples of manifolds admitting this kind of structure.
Groupoids are mathematical structures able to describe symmetry properties more general than those described by groups. They were introduced (and named) by H. Brandt in 1926. Around 1950, Charles Ehresmann used groupoids with additional structures (topological and differentiable) as essential tools in topology and differential geometry. In recent years, Mickael Karasev, Alan Weinstein and Stanisław Zakrzewski independently discovered that symplectic groupoids can be used for the construction of noncommutative deformations of the algebra of smooth functions on a manifold, with potential applica…
The main aim of this paper is the description of a large class of lattices in some nilpotent Lie groups, sometimes filiformes, carrying a flat left invariant linear connection anf often a left invariant symplectic form. As a consequence we obtain an infinity of, non homeomorphic, compact affine or symplectic manifolds. We review some new facts about the geometry of compact symplectic nilmanifolds and we describe symplectic reduction for these manifolds. For the Heisenberg Lie group, defined over a local associative and commutative finite dimensional real algebra, a necessary and suffisant cond…
We provide an alternative method for obtaining of compatible Poisson structures on Lie groups by means of the adjoint representations of Lie algebras. In this way, we calculate some compatible Poisson structures on four dimensional and nilpotent six dimensional symplectic real Lie groups. Then using Magri-Morosi's theorem we obtain new bi-Hamiltonian systems with four dimensional and nilpotent six dimensional symplectic real Lie groups as phase spaces.
Shifted symplectic Lie and $L_\infty$ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetries, in terms of classical geometric "higher structures", such as Courant algebroids twisted by $Ω^2$-gerbes. As applications, we produce new examples of twisted Courant algebroids from codimension-two cycles, and we give symplectic interpretations for several well known features …
In this note we prove that an analytic symplectic action of a semisimple Lie algebra can be locally linearized in Darboux coordinates. This result yields simultaneous analytic linearization for Hamiltonian vector fields in a neighbourhood of a common zero. We also provide an example of smooth non-linearizable Hamiltonian action with semisimple linear part. The smooth analogue only holds if the semisimple Lie algebra is of compact type. An analytic equivariant b-Darboux theorem for b-Poisson manifolds and an analytic equivariant Weinstein splitting theorem for general Poisson manifolds are also…
In this paper, we will study compatible triples on Lie algebroids. Using a suitable decomposition for a Lie algebroid, we construct an integrable generalized distribution on the base manifold. As a result, the symplectic form on the Lie algebroid induces a symplectic form on each integral submanifold of the distribution. The induced Poisson structure on the base manifold can be represented by means of the induced Poisson structures on the integral submanifolds. Moreover, for any compatible triple with invariant metric and admissible almost complex structure, we show that the bracket annihilate…
We show how to reduce, under certain regularities conditions, a Poisson-Nijenhuis Lie algebroid to a symplectic-Nijenhuis Lie algebroid with nondegenerate Nijenhuis tensor. We generalize the work done by Magri and Morosi for the reduction of Poisson-Nijenhuis manifolds. The choice of the more general framework of Lie algebroids is motivated by the geometrical study of some reduced bi-Hamiltonian systems. An explicit example of reduction of a Poisson-Nijenhuis Lie algebroid is also provided.
In this paper, we introduce the notion of a pre-symplectic algebroid, and show that there is a one-to-one correspondence between pre-symplectic algebroids and symplectic Lie algebroids. This result is the geometric generalization of the relation between left-symmetric algebras and symplectic (Frobenius) Lie algebras. Although pre-symplectic algebroids are not left-symmetric algebroids, they still can be viewed as the underlying structures of symplectic Lie algebroids. %We study three classes of pre-symplectic algebroids in detail. Then we study exact pre-symplectic algebroids and show that the…
In this work we study the problem of existence of symplectic structures on free nilpotent Lie algebras. Necessary and sufficient conditions are given for even dimensional ones. The one dimensional central extension for odd dimensional free nilpotent Lie algebras is also considered.
We study the geometry of a family of Lie groups, which contained the classical affine Lie groups, endowed with an exact left invariant symplectic form. We show that this family is closed by symplectic reduction and symplectic double extension in the sense of Dardié and Medina. We prouve also that these groups are endowed with two transverse left invariant Lagrangian (resp. Symplectic) foliations. This implies that these groups admit a left invariant torsion free symplectic connection.
We study the existence of lattices in almost abelian Lie groups that admit left invariant locally conformal Kähler or locally conformal symplectic structures in order to obtain compact solvmanifolds equipped with these geometric structures. In the former case, we show that such lattices exist only in dimension $4$, while in the latter case we provide examples of such Lie groups admitting lattices in any even dimension.
This thesis treats two main topics: calibrated symplectic foliations, and local Lie groupoids. Calibrated symplectic foliations are one possible generalization of taut foliations of 3-manifolds to higher dimensions. Their study has been popular in recent years, and we collect several interesting results. We then show how de Rham's theory of currents, and Sullivan's theory of structure currents, can be applied in trying to understand the calibratability of symplectic foliations. Our study of local Lie groupoids begins with their definition and an exploration of some of their basic properties. N…
In this work we deal with left invariant complex and symplectic structures on simply connected four dimensional solvable real Lie groups. We search the general form of such structures, when they exist and we make use of this information to determine all left invariant Kaehler structures. Finally, as an appendix we compute explicitly the real cohomology of the corresponding Lie algebras.
The aim of this paper is to study the natural action of the real symplectic group, $\operatorname{Sp}(4, \mathbb{R})$, on the algebraic set of $4$-dimensional Lie algebras admitting symplectic structures and to give a complete classification of orbit closures. We present some applications of such classification to the study of the Ricci curvature of left-invariant almost Kähler structures on four dimensional Lie groups.
We define an n-plectic structure as a commutative and torsionless Lie Rinehart pair, together with a distinguished cocycle from its Chevalley-Eilenberg complex. This 'n-plectic cocycle' gives rise to an extension of the Chevalley-Eilenberg complex by so called symplectic tensors. The cohomology of this extension generalizes Hamiltonian functions and vector fields to tensors and cotensors in a range of degrees, up to certain coboundaries and has the structure of a Lie oo-algebra. Finally we show, that momentum maps appear in this context just as weak Lie oo-morphisms from an arbitrary Lie oo-al…
We present explicit universal strict deformation quantization formulae for actions of Iwasawa subgroups AN of SU(1,n). This answers a question raised by Rieffel.
We introduce symplectic structures on "Lie pairs" of (real or complex) algebroids as studied by Chen, Stienon and the second author (From Atiyah classes to homotopy Leibniz algebras, arXiv:1204.1075), encompassing homogeneous symplectic spaces, symplectic manifolds with a $\mathfrak g$-action and holomorphic symplectic manifolds. We show that to each such symplectic Lie pair are associated Rozansky-Witten-type invariants of three-manifolds and knots, given respectively by weight systems on trivalent and chord diagrams.
