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.
An optimal control problem associated with the dynamics of the orientation of a bipolar molecule in the plane can be understood by means of tools in differential geometry. For first time in the literature $k$-symplectic formalism is used to provide the optimal control problems associated to some families of partial differential equations with a geometric formulation. A parallel between the classic formalism of optimal control theory with ordinary differential equations and the one with particular families of partial differential equations is established. This description allows us to state and…
On the ground of origins of the theory of Lie groups and Lie algebras, their (co)adjoint representations, and the Pontryagin maximum principle for the time-optimal problem are given an independent foundation for methods of geodesic vector field to search for normal geodesics of left-invariant (sub-)Finsler metrics on Lie groups and to look for the corresponding locally optimal controls in (sub-)Riemannian case, as well as some their applications.
In this paper, we define and study sub-Riemannian structures on Banach manifolds. We obtain extensions of the Chow-Rashevski theorem for exact controllability, and give conditions for the existence of a Hamiltonian geodesic flow despite the lack of a Pontryagin Maximum Principle in the infinite dimensional setting.
The author discusses in some detail the old definitions of the curvature tensors for rigged metrized distributions on manifolds given by Schouten, Wagner, and Solov'ev. To calculate the Solov'ev sectional and Ricci curvatures for homogeneous sub-Riemannian manifolds, the author suggests to use in some cases special riggings of invariant completely non- holonomic distributions on manifolds. As a justification, we find a foliation on the cotangent bundle over a Lie group G whose leaves are tangent to invariant Hamiltonian vector fields for the Pontryagin-Hamilton func- tion. This function was ap…
$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…
Let $FM,\mathcal{M}_M$ be the bundles of linear frames and Riemannian metrics of a manifold $M$, respectively. The existence of a unique $\mathrm{Diff}M$-invariant connection form on $J^1\mathcal{M}_M\times_MFM\to J^1\mathcal{M}_M$, which is Riemannian with respect to the universal metric on $J^1\mathcal{M}_M\times_MTM$, is proved. Aplications to the construction of universal Pontryagin and Euler forms, are given.
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.
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…
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.
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.
The present paper is devoted to the problem of (local) geodesic equivalence of Riemannian metrics and sub-Riemannian metrics on generic corank 1 distributions. Using Pontryagin Maximum Principle, we treat Riemannian and sub-Riemannian cases in an unified way and obtain some algebraic necessary conditions for the geodesic equivalence of (sub-)Riemannian metrics. In this way first we obtain a new elementary proof of classical Levi-Civita's Theorem about the classification of all Riemannian geodesically equivalent metrics in a neighborhood of so-called regular (stable) point w.r.t. these metrics.…
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.
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 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 integral of the top dimensional term of the multiplicative sequence of Pontryagin forms associated to an even formal power series is calculated for special Riemannian metrics on the unit ball of a hermitean vector space. Using this result we calculate the generating function of the reduced Dirac and signature eta-invariants for the family of Berger metrics on the odd dimensional spheres.
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.
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.
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…
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…
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.
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.
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 …
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 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…
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…
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.
The curvature and the reduced curvature are basic differential invariants of the pair (Hamiltonian system, Lagrange distribution) on the symplectic manifold. It is shown that the negativity of the reduced curvature implies the hyperbolicity of any compact invariant set of the Hamiltonian flow restricted to a prescribed energy level. We consider the Hamiltonian flows of the curve of least action of natural mechanical systems in sub-Riemannian structures with symmetries. We give sufficient conditions for the reduced flows (after reduction of the first integrals induced from the symmetries) to be…
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$.
In this work, we use the Sternberg phase space (which may be considered as the classical phase space of particles in gauge fields) in order to explore the dynamics of such particles in the context of Hamilton-Dirac systems and their associated Hamilton-Pontryagin variational principles. For this, we develop an analogue of the Pontryagin bundle in the case of the Sternberg phase space. Moreover, we show the link of this new bundle to the so-called magnetized Tulczyjew triple, which is an analogue of the link between the Pontryagin bundle and the usual Tulczyjew triple. Taking advantage of the s…
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$.
In this paper, we characterize Riemannian 4-manifold in terms of its almost Hermitian twistor spaces $(Z,g_t,\mathbb{J}_{\pm})$. Some special metric conditions (including Balanced metric condition, first Gauduchon metric condition) on $(Z,g_t,\mathbb{J}_{\pm})$ are studied. For the first Chern form of a natural unitary connection on the vertical tangent bundle over the twistor space $Z$, we can recover J. Fine and D. Panov's result on the condition of the first Chern form being symplectic and P. Gauduchon's result on the condition of the first Chern form being a (1,1)-form respectively, by usi…
On a Poisson manifold endowed with a Riemannian metric we will construct a vector field that generalizes the double bracket vector field defined on semi-simple Lie algebras. On a regular symplectic leaf we will construct a generalization of the normal metric such that the above vector field restricted to the symplectic leaf is a gradient vector field with respect to this metric.
For a closed smooth manifold $M$ admitting a symplectic structure, we define a smooth topological invariant $Z(M)$ using almost-Kähler metrics, i.e. Riemannian metrics compatible with symplectic structures. We also introduce $Z(M, [[ω]])$ depending on symplectic deformation equivalence class $[[ω]]$. We first prove that there exists a 6-dimensional smooth manifold $M$ with more than one deformation equivalence classes with different signs of $Z(M, [[ω]] )$. Using $Z$ invariants, we set up a Kazdan-Warner type problem of classifying symplectic manifolds into three categories. We finally prove t…
There are two themes in the present paper. The first one is spelled out in the title, and is inspired by an attempt to find an analogue of Hersch-Yang-Yau estimate for $lambda_1$ of surfaces in symplectic category. In particular we prove that every split symplectic manifold $T^4 times M$ admits a compatible Riemannian metric whose first eigenvalue is arbitrary large. On the other hand for Kahler metrics compatible with a given integral symplectic form an upper bound for $lambda_1$ does exist. The second theme is the study of Hamiltonian symplectic fibrations over the 2-sphere. We construct a n…
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 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.
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.
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.
The concept of soliton, in its most general version, allows us to find canonical or distinguished elements on any set provided with an equivalence relation and an `optimal' tangent direction at each point. We study in this paper solitons on homogeneous spaces, which have consolidated its role as a quite useful tool to find soliton geometric structures in Riemannian, pseudo-Riemannian, complex, symplectic and G2 geometries.
Compact pseudo-Riemannian manifolds that have parallel Weyl tensor without being conformally flat or locally symmetric are known to exist in infinitely many dimensions greater than 4. We prove some general topological properties of such manifolds, namely, vanishing of the Euler characteristic and real Pontryagin classes, and infiniteness of the fundamental group. We also show that, in the Lorentzian case, each of them is at least 5-dimensional and admits a two-fold cover which is a bundle over the circle.
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…
Let M be either a simply connected pseudo-Riemannian space of constant curvature or a rank one Riemannian symmetric space (other than the octonion hyperbolic plane), and consider the space L(M) of oriented geodesics of M. The space L(M) is a smooth homogeneous manifold and in this paper we describe all invariant symplectic structures, (para)complex structures, pseudo-Riemannian metrics and (para)Kaehler structure on L(M).
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…
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.
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.
For a closed symplectic manifold $(M,ω)$ with compatible Riemannian metric $g$ we study the Sobolev $H^1$ geometry of the group of all $H^s$ diffeomorphisms on $M$ which preserve the symplectic structure. We show that, for sufficiently large $s$, the $H^1$ metric admits globally defined geodesics and the corresponding exponential map is a non-linear Fredholm map of index zero. Finally, we show that the $H^1$ metric carries conjugate points via some simple examples.
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…
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.
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…
