In this paper we determine conditions of existence of an induced Riemannian structure on the symplectic quotient of a symplectic and Riemannian manifold following the action of a Lie group acting upon it in a hamiltonian way with equivariant momentum mapping.
Our aim is to give a friendly introduction for students to systolic inequalities. We will stress the relationships between the classical formulation for Riemannian metrics and more recent developments related to symplectic measurements and the Viterbo conjecture. This will give us a perfect excuse to introduce the reader to some important ideas in Riemannian and symplectic geometry.
The Pontryagin forms on 1-jet bundle of Riemannian metrics, are shown to provide, in a natural way, diffeomorphism-invariant pre-symplectic structures on the space of Riemannian metrics for dimensions $n=4r-2$. The equivariant Pontryagin forms provide canonical moment maps for these structures. In dimension two, the symplectic reduction corresponding to the pre-symplectic form and its moment map attached to the first Pontryagin form, is proved to coincide with the Teichmüller space endowed with the Weil-Petersson symplectic form.
We characterize the Dirac structures that are parallel with respect to Gualtieri's canonical connection of a generalized Riemannian metric. On the other hand, we discuss Dirac structures that are images of generalized tangent structures. These structures turn out to be Dirac structures that, if seen as Lie algebroids, have a symplectic structure. Particularly, if compatibility with a generalized Riemannian metric is required, the symplectic structure is of the Kaehler type.
For a symplectic manifold admitting a metaplectic structure (a symplectic analogue of the Riemannian spin structure), we construct a sequence consisting of differential operators using a symplectic torsion-free affine connection. All but one of these operators are of first order. The first order ones are symplectic analogues of the twistor operators known from Riemannian spin geometry. We prove that under the condition the symplectic Weyl curvature tensor field of the symplectic connection vanishes, the mentioned sequence forms a complex. This gives rise to a new complex for the so called Ricc…
$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…
Given a closed surface endowed with a volume form, we equip the space of compatible Riemannian structures with the structure of an infinite-dimensional symplectic manifold. We show that the natural action of the group of volume-preserving diffeomorphisms by push-forward has a group-valued momentum map that assigns to a Riemannian metric the canonical bundle. We then deduce that the Teichmüller space and the moduli space of Riemann surfaces can be realized as symplectic orbit reduced spaces.
The twistor space of a Riemannian 4-manifold carries two almost complex structures, $J_+$ and $J_-$, and a natural closed 2-form $ω$. This article studies limits of manifolds for which $ω$ tames either $J_+$ or $J_-$. This amounts to a curvature inequality involving self-dual Weyl curvature and Ricci curvature, and which is satisfied, for example, by all anti-self-dual Einstein manifolds with non-zero scalar curvature. We prove that if a sequence of manifolds satisfying the curvature inequality converges to a hyperkähler limit X (in the $C^2$ pointed topology) then X cannot contain a holomorph…
We show that, for any regular Poisson manifold, there is an injective natural linear map from the first leafwise cohomology space into the first Poisson cohomology space which maps the Reeb class of the symplectic foliation to the modular class of the Poisson manifold. The Riemannian interpretation of those classes will permit us to show that a regular Poisson manifold whose symplectic foliation is of codimension one is unimodular if and only if its symplectic foliation is Riemannian foliation. It permit us also to construct examples of unimodular Poisson manifolds and other which are not unim…
The aim of this paper is the geometric study of the symplectic operators which are a perturbation of the identity by a Hilbert-Schmidt operator. This subgroup of the symplectic group was introduced in Pierre de la Harpe's classical book of Banach-Lie groups. Throughout this paper we will endow the tangent spaces with different Riemannian metrics. We will use the minimal curves of the unitary group and the positive invertible operators to compare the length of the geodesic curves in each case. Moreover we will study the completeness of the symplectic group with the geodesic distance.
If $M$ is the underlying smooth oriented $4$-manifold of a Del Pezzo surface, we consider the set of Riemannian metrics $h$ on $M$ such that $W^+(ω, ω)> 0$, where $W^+$ is the self-dual Weyl curvature of $h$, and $ω$ is a non-trivial self-dual harmonic $2$-form on $(M,h)$. While this open region in the space of Riemannian metrics contains all the known Einstein metrics on $M$, we show that it contains no others. Consequently, it contributes exactly one connected component to the moduli space of Einstein metrics on $M$.
During the last thirty years, symplectic or Marsden--Weinstein reduction has been a major tool in the construction of new symplectic manifolds and in the study of mechanical systems with symmetry. This procedure has been traditionally associated to the canonical action of a Lie group on a symplectic manifold, in the presence of a momentum map. In this note we show that the symplectic reduction phenomenon has much deeper roots. More specifically, we will find symplectically reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a moment…
We introduce geometric quantization for constant rank presymplectic structures with Riemannian null foliation and compact leaf closure space. We prove a quantization-commutes-with-reduction theorem in this context. Examples related to symplectic toric quasi-folds, suspensions of isometric actions of discrete groups, and K-contact manifolds are discussed.
The spaces of Riemannian metrics on a closed manifold $M$ are studied. On the space ${\mathcal M}$ of all Riemannian metrics on $M$ the various weak Riemannian structures are defined and the corresponding connections are studied. The space ${\mathcal AM}$ of associated metrics on a symplectic manifold $M,ω$ is considered in more detail. A natural parametrization of the space ${\mathcal AM}$ is defined. It is shown, that ${\mathcal AM}$ is a complex manifold. A curvature of the space ${\mathcal AM}$ and quotient space ${\mathcal AM}/{\mathcal D}_ω$ is found. The finite dimensionality of the spa…
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…
In this paper, we show that any compact K$ä$hler manifold homotopic to a compact Riemannian manifold with negative sectional curvature admits a K$ä$hler-Einstein metric of general type. Moreover, we prove that, on a compact symplectic manifold $X$ homotopic to a compact Riemannian manifold with negative sectional curvature, for any almost complex structure $J$ compatible with the symplectic form, there is no non-constant $J$-holomorphic entire curve $f:C \rightarrow X$.
In this paper we define a new category of almost complex riemannian 4- manifolds and discuss some basic properties of such pseudo symplectic manifolds. Some motivation based on the Seiberg - Witten theory is imposed.
Is is known that the loop space associated to a Riemannian manifold admits a quasi-symplectic structure. This article shows that this structure is not likely to recover the underlying Riemannian metric by proving a result that is a strong indication of the "almost" independence of the quasi-symplectic structure with respect to the metric. Finally conditions to have contact structures on these spaces are studied.
We study the relations between the projective and the almost conformally symplectic structures on a smooth even dimensional manifold. We describe these relations by a single almost conformally symplectic connection with totally trace--free torsion sharing the geodesics (up to parametrization) with the projective class. This connection generalizes a (conformally) Fedosov structure depending on the remaining torsion of this distinguished connection. In fact, we see these structures as the almost symplectic analogy of the conformal Riemannian structures, because there is an analogy of the class o…
A compact real analytic Riemannian manifold M admits a canonical complexification with plurisubharmonic exhaustion function satisfying the homogeneous complex Monge-Ampere equation, called a Grauert tube. From the point of view of complex analysis, several authors have considered whether a given complex manifold can arise in more than one way from this construction. We show that given a compact M and a finite exhaustion, the underlying Riemannian structure is unique. The proof uses the technique of holomorphic disks spanning two exact Lagrangian submanifolds of the cotangent bundle of M, and S…
The real symplectic Stiefel manifold is the manifold of symplectic bases of symplectic subspaces of a fixed dimension. It features in a large variety of applications in physics and engineering. In this work, we study this manifold with the goal of providing theory and matrix-based numerical tools fit for basic data processing. Geodesics are fundamental for data processing. However, these are so far unknown. Pursuing a Lie group approach, we close this gap and derive efficiently computable formulas for the geodesics both with respect to a natural pseudo-Riemannian metric and a novel Riemannian …
Let $(M,ω)$ be a symplectic manifold admitting a metaplectic structure (a symplectic analogue of the Riemannian spin structure) and a torsion-free symplectic connection $\nabla.$ Symplectic Killing spinor fields for this structure are sections of the symplectic spinor bundle satisfying a certain first order partial differential equation and they are the main topic of this paper. We derive a necessary condition satisfied by a symplectic Killing spinor field. The advantage of this condition consists in the fact that it is expressed by a zeroth order operator. This condition helps us substantiona…
Let M be a compact oriented even-dimensional manifold. This note constructs a compact symplectic manifold S of the same dimension and a map f from S to M of strictly positive degree. The construction relies on two deep results: the first is a theorem of Ontaneda that gives a Riemannian manifold N of tightly pinched negative curvature which admits a map to M of degree equal to one; the second is a result of Donaldson on the existence of symplectic divisors. Given Ontaneda's negatively curved manifold N, the twistor space Z is symplectic. The manifold S is then a suitable multisection of the twi…
On a compact complex manifold $(M, J)$ endowed with a holomorphic Poisson tensor $π_J$ and a deRham class $α\in H^2(M, \mathbb R)$, we study the space of generalized Kähler (GK) structures defined by a symplectic form $F\in α$ and whose holomorphic Poisson tensor is $π_J$. We define a notion of generalized Kähler class of such structures, and use the moment map framework of Boulanger and Goto to extend the Calabi program to GK geometry. We obtain generalizations of the Futaki--Mabuchi extremal vector field and Calabi--Lichnerowicz--Matsushima result for the Lie algebra of the group of automorp…
Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce and study pseudo-Euclidean billiards. In particular, we prove pseudo-Euclidean analogs of the Jacobi-Chasles theorems and show the integrability of the billiard in the ellipsoid and the geodesic flow on …
The main result of this article provides a characterization of reductive homogeneous spaces equipped with some geometric structure (non necessarily pseudo-Riemannian) in terms of the existence of certain connection. The result generalizes the well-known result of Ambrose and Singer for Riemannian homogeneous spaces, as well as its extensions for other geometries found in the literature. The manifold must be connected and simply connected, the connection has to be complete and has to satisfy a set of geometric partial differential equations. If the connection is not complete or the manifold is …
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 reduction procedure for canonical actions on a Poisson manifold that exhibits an interesting interplay with the von Neumann condition previously introduced by the author in his study of singular dual pairs. This condition ensures that the orbits in the momentum space of the optimal …
We prove that if the unit codisc bundle of a closed Riemannian manifold embeds symplectically into a symplectic cylinder of radius one then the length of the shortest nontrivial closed geodesic is at most half the area of the unit disc.
In this paper, we show that the complete scalar-flat Kahler metrics constructed by Abreu and the author on strictly unbounded toric 4-dimensional orbifolds have finite $L^2$ norm of the full Riemannian tensor. In particular, this answers a question of Donaldon's on the corresponding Generalized Taub-NUT metric on $R^4$. This norm is explicitly determined when the underlying toric manifold is the minimal resolution of a cyclic singularity. In the Ricci-flat case corresponding to gravitational instantons, this recovers a recent result of Atiyah-Lebrun.
In this paper, we compute contact homology of some quasi-regular contact structures, which admit Hamiltonian actions of Reeb type of Lie groups. We will discuss the toric contact case, (where the torus is of Reeb type), and the case of homogeneous contact manifolds. In both of these cases the quotients by the Reeb action are Kähler and admit perfect Morse-Bott functions via the moment map. It turns out that the contact homology depends only on the homology of the symplectic base and the bundle data of the contact manifolds as a circle bundle over the base. Moreover we can identify the relevant…
We prove that a compact 4-manifold which supports a circle-invariant fat SO(3)-bundle is diffeomorphic to either S^4 or CP^2-bar. The proof involves studying the resulting Hamiltonian circle action on an associated symplectic 6-manifold. Applying our result to the twistor bundle of Riemannian 4-manifolds shows that S^4 and CP^2-bar are the only 4-manifolds admitting circle-invariant metrics solving a certain curvature inequality. This can be seen as an analogue of Hsiang-Kliener's theorem that only S^4 and CP^2 admit circle-invariant metrics of positive sectional curvature.
It is well known that the twisters, section of twister space, classify the almost complex structure on even dimensional Riemannian manifold $X$. In this paper, it will be proved that a harmonic and anti-holomorphic twister is equivalent ti a symplectic structure on $X$.
We show the existence of a weak bi-invariant symmetric nondegenerate 2-form on the symplectic diffeomorphisms group $\mathcal{D}_ω$ of a symplectic Riemannian manifold $(M,g,ω)$ and study its properties. We describe the Euler's equation on a Lie algebra of group $\mathcal{D}_ω$ and calculate the sectional curvature of $\mathcal{D}_ω(T^n)$.
The notion of Poisson manifold with compatible pseudo-metric was introduced by the author in [1]. In this paper, we introduce a new class of Lie algebras which we call a pseudo-Rieamannian Lie algebras. The two notions are strongly related: we prove that a linear Poisson structure on the dual of a Lie algebra has a compatible pseudo-metric if and only if the Lie algebra is a pseudo-Riemannian Lie algebra, and that the Lie algebra obtained by linearizing at a point a Poisson manifold with compatible pseudo-metric is a pseudo-Riemannian Lie algebra. Furthermore, we give some properties of the sy…
We study iteration maps of recurrence relations arising from mutation periodic quivers of arbitrary period. Combining tools from cluster algebra theory and (pre)symplectic geometry, we show that these cluster iteration maps can be reduced to symplectic maps on a lower dimensional submanifold, provided the matrix representing the quiver is singular. The reduced iteration map is explicitly computed for several new periodic quivers.
We introduce the symplectic twistor operator $T_s$ in symplectic spin geometry, as a symplectic analogue of the twistor operator in Riemannian spin geometry. We focus on the real dimension 2 and compute the space of its solutions on ${\mathbb R}^2$. Our analysis is based on the techniques of metaplectic Howe duality.
We consider the renormalized Bochner Laplacian acting on tensor powers of a positive line bundle on a compact symplectic manifold. We derive an explicit local formula for the spectral density function in terms of coefficients of the Riemannian metric and symplectic form.
We study almost Hermitian 4-manifolds with holonomy algebra, for the canonical Hermitian connection, of dimension at most one. We show how Riemannian 4-manifolds admitting five orthonormal symplectic forms fit therein and classify them. In this set-up we also fully describe almost Kaehler 4-manifolds.
In this note we discuss conditions under which a linear connection on a manifold equipped with both a symmetric (Riemannian) and a skew-symmetric (almost-symplectic or Poisson) tensor field will preserve both structures.
Let (M, g) be a pseudo Riemannian manifold. We consider four geometric structures on M compatible with g: two almost complex and two almost product structures satisfying additionally certain integrability conditions. For instance, if r is a product structure and symmetric with respect to g, then r induces a pseudo Riemannian product structure on M. Sometimes the integrability condition is expressed by the closedness of an associated two-form: if j is almost complex on M and ω(x, y) = g(jx, y) is symplectic, then M is almost pseudo Kähler. Now, product, complex and symplectic structures on M ar…
Using symplectic techniques and spectral analysis of smooth paths of self-adjoint operators, we characterize the set of conjugate instants along a geodesic in an infinite dimensional Riemannian Hilbert manifold.
We study the Calabi-Yau equation on symplectic manifolds. We show that Donaldson's conjecture on estimates for this equation in terms of a taming symplectic form can be reduced to an integral estimate of a scalar potential function. Under a positive curvature condition, we show that the conjecture holds.
For each simple symplectic triple system over the real numbers, the standard enveloping Lie algebra and the algebra of inner derivations of the triple provide a reductive pair related to a semi-Riemannian homogeneous manifold. It is proved that this is an Einstein manifold.
We give a notion of compatibility between a Riemannian structure and a Jacobi structure. We prove that in case of fundamental examples of Jacobi structures : Poisson structures, contact structures and locally conformally symplectic structures, we get respectively Riemann-Poisson structures in the sense of M. Boucetta, 1/2-Kenmotsu structures and locally conformally Kahler structures.
We consider odd Poisson (odd symplectic) structure on supermanifolds induced by an odd symmetric rank $2$ (non-degenerate) contravariant tensor field. We describe the difference between odd Riemannian and odd symplectic structure in terms of the Cartan prolongation of the corresponding Lie algebras, and formulate an analogue of the Levi-Civita theorem for an odd symplectic supermanifold.
The theory of flat Pseudo-Riemannian manifolds and flat affine manifolds is closely connected to the topic of prehomogeneous affine representations of Lie groups. In this article, we exhibit several aspects of this correspondence. At the heart of our presentation is a development of the theory of characteristic classes and characters of prehomogeneous affine representations. We give applications concerning flat affine, as well as Pseudo-Riemannian and symplectic affine flat manifolds.
We introduce a new approach for computing curvature of sub-Riemannian manifolds. Curvature is here meant as symplectic invariants of Jacobi curves of geodesics, as introduced by Zelenko and Li. We describe how they can be expressed using a compatible affine connection and induced tensors, without any restriction on our sub-Riemannian manifold or the choice of connection. In particular, we obtain a universal Bonnet-Myers theorem of Riemannian type. We also give universal formulas for the canonical horizontal frame along each geodesic and an algorithm for computing the curvature in general. Seve…
Given a symplectic form and a pseudo-riemannian metric on a manifold, a non degenerate even Poisson bracket on the algebra of differential forms is defined and its properties are studied. A comparison with the Koszul-Schouten bracket is established.
In this paper, we will see that the symplectic creed by Weinstein "everything is a Lagrangian submanifold" also holds for Hamilton-Poincaré and Lagrange-Poincaré reduction. In fact, we show that solutions of the Hamilton-Poincaré equations and of the Lagrange-Poincaré equations are in one-to-one correspondence with distinguished curves in a Lagrangian submanifold of a symplectic manifold. For this purpose, we will combine the concept of a Tulczyjew triple with Marsden-Weinstein symplectic reduction.
Coadjoint orbits for the group SO(6) parametrize Riemannian G-reductions in six dimensions, and we use this correspondence to interpret symplectic fibrations between these orbits, and to analyse moment polytopes associated to the standard Hamiltonian torus action on the coadjoint orbits. The theory is then applied to describe so-called intrinsic torsion varieties of Riemannian structures on the Iwasawa manifold.
In a preceding paper we introduced a notion of compatibility between a Jacobi structure and a Riemannian structure on a smooth manifold. We proved that in the case of fundamental examples of Jacobi structures : Poisson structures, contact structures and locally conformally symplectic structures, we get respectively Riemann-Poisson structures in the sense of M. Boucetta, (1/2)-Kenmotsu structures and locally conformally Kähler structures. In this paper we are generalizing this work to the framework of Lie algebroids.
We show how to lift a Riemannian metric and almost symplectic form on a manifold to a Riemannian structure on a canonically associated supermanifold known as the antitangent or shifted tangent bundle. We view this construction as a generalisation of Sasaki's construction of a Riemannian metric on the tangent bundle of a Riemannian manifold.