Given a flat metric one may generate a local Hamiltonian structure via the fundamental result of Dubrovin and Novikov. More generally, a flat pencil of metrics will generate a local bi-Hamiltonian structure, and with additional quasi-homogeneity conditions one obtains the structure of a Frobenius manifold. With appropriate curvature conditions one may define a curved pencil of compatible metrics and these give rise to an associated non-local bi-Hamiltonian structure. Specific examples include the F-manifolds of Hertling and Manin equipped with an invariant metric. In this paper the geometry supporting such compatible metrics is studied and interpreted in terms of a multiplication on the cotangent bundle. With additional quasi-homogeneity assumptions one arrives at a so-called weak $\F$-manifold - a curved version of a Frobenius manifold (which is not, in general, an F-manifold). A submanifold theory is also developed.
We prove that a local Hamiltonian operator of hydrodynamic type K_1 is compatible with a nondegenerate local Hamiltonian operator of hydrodynamic type K_2 if and only if the operator K_1 is locally the Lie derivative of the operator K_2 along a vector field in the corresponding domain of local coordinates. This result gives a natural invariant definition of the class of special flat manifolds corresponding to all the class of compatible Dubrovin--Novikov Hamiltonian operators (the Frobenius--Dubrovin manifolds naturally belong to this class). There is an integrable bi-Hamiltonian hierarchy cor…
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.
Submanifolds of Frobenius manifolds are studied. In particular, so-called natural submanifolds are defined and, for semi-simple Frobenius manifolds, classified. These carry the structure of a Frobenius algebra on each tangent space, but will, in general, be curved. The induced curvature is studied, a main result being that these natural submanifolds carry a induced pencil of compatible metrics. It is then shown how one may constrain the bi-Hamiltonian hierarchies associated to a Frobenius manifold to live on these natural submanifolds whilst retaining their, now non-local, bi-Hamiltonian struc…
We introduce the notion of Hamiltonian spaces for Manin pairs over manifolds, using the so-called generalized Dirac structures. As an example, we describe Hamiltonian spaces of a quasi-Lie bialgebroid using this general framework. We also discuss reduction of Hamiltonian spaces of this general type.
In the paper we present results about generalized Berwald surfaces involving the intrinsic characterization, some topological obstructions for the base manifold and examples.
We show that the almost complex structure underlying a non-Kahler, nearly Kahler 6-manifold (in particular, the standard almost complex structure of S^6) cannot be compatible with any symplectic form, even locally.
We study bi-Hamiltonian systems of hydrodynamic type with non-singular (semisimple) non-local bi-Hamiltonian structures and prove that such systems of hydrodynamic type are diagonalizable. Moreover, we prove that for an arbitrary non-singular (semisimple) non-locally bi-Hamiltonian system of hydrodynamic type, there exist local coordinates (Riemann invariants) such that all the related matrix differential-geometric objects, namely, the matrix V^i_j(u) of this system of hydrodynamic type, the metrics g^{ij}_1(u) and g^{ij}_2(u) and the affinors (w_{1, n})^i_j(u) and (w_{2,n})^i_j(u) of the non-…
In this paper, we show the existence of (co-oriented) contact structures on certain classes of $G_2$-manifolds, and that these two structures are compatible in certain ways. Moreover, we prove that any seven-manifold with a spin structure (and so any manifold with $G_2$-structure) admits an almost contact structure. We also construct explicit almost contact metric structures on manifolds with $G_2$-structures.
Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its metric connection with mechanical structures produces some features which are absent in the case of general (non-Riemannian) manifolds. The aim of present paper is to discuss these features and develop special language for describing Newtonian, Lagrangian, and Hamiltonian dynamic…
We determine the Hamiltonian vector field on an odd dimensional manifold endowed with almost cosymplectic structure. This is a generalization of the corresponding Hamiltonian vector field on manifolds with almost transitive contact structures, which extends the contact Hamiltonian systems. Applications are presented to the equations of motion on a particular five-dimensional manifold, the extended Siegel-Jacobi upper-half plane $\tilde{\mathcal{X}}^J_1$. The $\tilde{\mathcal{X}}^J_1$ manifold is endowed with a generalized transitive almost cosymplectic structure, an almost cosymplectic structu…
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…
A linear connection on a Finsler manifold is called compatible to the Finsler function if its parallel transports preserve the Finslerian length of tangent vectors. Generalized Berwald manifolds are Finsler manifolds equipped with a compatible linear connection. In the paper we present a general and intrinsic method to characterize the compatible linear connections on a Finsler manifold of dimension three. We prove that if a compatible linear connection is not unique then the indicatrices must be Euclidean surfaces of revolution. The surplus freedom of choosing compatible linear connections is…
We introduce certain homology and cohomology subgroups for any almost complex structure and study their pureness, fullness and duality properties. Motivated by a question of Donaldson, we use these groups to relate J-tamed symplectic cones and J-compatible symplectic cones over a large class of almost complex manifolds, including all Kahler manifolds, almost Kahler 4-manifolds and complex surfaces.
Generalised (bi-)Hamiltonian structures of hydrodynamic type and (bi-)flat F-manifolds
Università degli Studi di Milano-Bicocca（米兰比可卡大学）；INFN sezione di Milano-Bicocca（意大利国家核物理研究所米兰比可卡分部）；RIKEN Center for Interdisciplinary Theoretical and Mathematical Sciences (iTHEMS)（理化学研究所交叉理论与数学科学中心（iTHEMS））
Motivated by Wick-rotations of pseudo-Riemannian manifolds, we study real geometric invariant theory (GIT) and compatible representations. We extend some of the results from earlier works \cite{W2,W1}, in particular, we give some sufficient as well as necessary conditions for when pseudo-Riemannian manifolds are Wick-rotatable to other signatures. For arbitrary signatures, we consider a Wick-rotatable pseudo-Riemannian manifold with closed $O(p,q)$-orbits, and thus generalise the existence condition found in \cite{W1}. Using these existence conditions we also derive an invariance theorem for W…
We study a class of Poisson tensors on a fibered manifold which are compatible with the fiber bundle structure by the so-called almost coupling condition. In the case of a $5$-dimensional orientable fibered manifolds with $2$-dimensional bases, we describe a global behavior of almost coupling Poisson tensors and their singularities by using a bigraded factorization of the Jacobi identity. In particular, we present some unimodularity criteria and describe a class of gauge type transformations preserving the almost coupling property.
Given a Poisson structure (or, equivalently, a Hamiltonian operator) $P$, we show that its Lie derivative $L_τ(P)$ along a vector field $τ$ defines another Poisson structure, which is automatically compatible with $P$, if and only if $[L_τ^2(P),P]=0$, where $[\cdot,\cdot]$ is the Schouten bracket. We further prove that if $\dim\ker P\leq 1$ and $P$ is of locally constant rank, then all Poisson structures compatible with a given Poisson structure $P$ on a finite-dimensional manifold $M$ are locally of the form $L_τ(P)$, where $τ$ is a local vector field such that $L_τ^2(P)=L_{\tildeτ}(P)$ for s…
We present a simple way of generating the infinite set of Jacobi tensors, compatible with a given one, via the "gauge transformations" of the functions on Jacobi manifold. We consider also some applications of this result to the construction of bi-Hamiltonian systems on Jacobi manifolds.
In this paper, we develop results in the direction of an analogue of Sjamaar and Lerman's singular reduction of Hamiltonian symplectic manifolds in the context of reduction of Hamiltonian generalized complex manifolds (in the sense of Lin and Tolman). Specifically, we prove that if a compact Lie group acts on a generalized complex manifold in a Hamiltonian fashion, then the partition of the global quotient by orbit types induces a partition of the Lin-Tolman quotient into generalized complex manifolds. This result holds also for reduction of Hamiltonian generalized Kähler manifolds.
Generalized Berwald manifolds are Finsler manifolds admitting linear connections such that the parallel transports preserve the Finslerian length of tangent vectors (compatibi\-li\-ty condition). By the fundamental result of the theory \cite{V5} such a linear connection must be metrical with respect to the averaged Riemannian metric given by integration of the Riemann-Finsler metric on the indicatrix hypersurfaces. Therefore the linear connection (preserving the Finslerian length of tangent vectors) is uniquely determined by its torsion. If the torsion is zero then we have a classical Berwald …
It is shown that the existence of an $ω$-compatible Einstein metric on a compact symplectic manifold $(M,ω)$ imposes certain restrictions on the symplectic Chern numbers. Examples of symplectic manifolds which do not satisfy these restrictions are given. The results offer partial support to a conjecture of Goldberg.
A Hamiltonian stationary Lagrangian submanifold of a Kaehler manifold is a Lagrangian submanifold whose volume is stationary under Hamiltonian variations. We find a sufficient condition on the curvature of a Kaehler manifold of real dimension four that guarantees the existence of a family of small Hamiltonian stationary Lagrangian tori.
By making use of the symplectic reduction and the cohomogeneity method, we give a general method for constructing Hamiltonian minimal submanifolds in Kaehler manifolds with symmetries. As applications, we construct infinitely many nontrivial complete Hamiltonian minimal submanifolds in CP^n and C^n.
Finsler metrics are direct generalizations of Riemannian metrics such that the quadratic Riemannian indicatrices in the tangent spaces of a manifold are replaced by more general convex bodies as unit spheres. A linear connection on the base manifold is called compatible with the Finsler metric if the induced parallel transports preserve the Finslerian length of tangent vectors. Finsler manifolds admitting compatible linear connections are called generalized Berwald manifolds. Compatible linear connections are the solutions of the so-called compatibility equations containing the torsion compone…
In this work, we prove a compactness theorem on the space of all Hamiltonian stationay Lagrangian submanifolds in a compact symplectic manifold with uniform bounds on area and total extrinsic curvature.
In this paper we generalize examples of Hamiltonian stationary Lagrangian submanifolds constructed by Lee and Wang in $\mathbb{C}^m$ to toric almost Calabi-Yau manifolds. We construct examples of weighted Hamiltonian stationary Lagrangian submanifolds in toric almost Calabi-Yau manifolds and solutions of generalized Lagrangian mean curvature flows starting from these examples. We allow these flows to have some singularities and topological changes.
A (quasi-)Hamiltonian manifold is called multiplicity free if all of its symplectic reductions are 0-dimensional. In this paper, we classify multiplicity free Hamiltonian actions for (twisted) loop groups or, equivalently, multiplicity free (twisted) quasi-Hamiltonian manifolds for simply connected compact Lie groups. As a result we recover old and find new examples of these structures.
Let K be a connected Lie group and M a Hamiltonian K-manifold. In this paper, we introduce the notion of convexity of M. It implies that the momentum image is convex, the moment map has connected fibers, and the total moment map is open onto its image. Conversely, the three properties above imply convexity. We show that most Hamiltonian manifolds occuring "in nature" are convex (e.g., if M is compact, complex algebraic, or a cotangent bundle). Moreover, every Hamiltonian manifold is locally convex. This is an expanded version of section 2 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian…
Generalized Berwald manifolds are Finsler manifolds admitting linear connections such that the parallel transports preserve the Finslerian length of tangent vectors. By the fundamental result of the theory \cite{V5} such a linear connection must be metrical with respect to the averaged Riemannian metric given by integration of the Riemann-Finsler metric on the indicatrix hypersurfaces. Therefore the linear connection is uniquely determined by its torsion tensor. If the torsion is zero then we have a classical Berwald manifolds. Otherwise the torsion is a strange data we need to express in term…
On a manifold equipped with a bivector field, we introduce for every Hamiltonian a Lagrangian on paths valued in the cotangent space whose stationary points projects onto Hamiltonian vector fields. We show that the remaining components of those stationary points tell whether the bivector field is Poisson or at least defines an integrable distribution - a class of bivector fields generalizing twisted Poisson structures that we study in detail.
This paper, sixth in a series of eight, uses the geometric calculus on manifolds developed in previous papers of the series to introduce through the concept of a metric extensor field g a metric structure for a smooth manifold M. The associated Christoffel operators, a notable decomposition of that object and the associated Levi-Civita connection field are given. The paper introduces also the concept of a geometrical structure for a manifold M as a triple (M,g,gamma), where gamma is a connection extensor field defining a parallelism structure for M . Next, the theory of metric compatible covar…
We prove that $π_1(\text{Ham}(M))$ contains an infinite cyclic subgroup, where $\text{Ham}(M)$ is the Hamiltonian group of the one point blow up of ${\Bbb C}P^3$. We give a sufficient condition for the group $π_1(\text{Ham}(M))$ to contain an infinite cyclic subgroup, when $M$ is a general toric manifold.
We compute the sheaf of automorphisms of a multiplicity free Hamiltonian manifold over its momentum polytope and show that its higher cohomology groups vanish. Together with a theorem of Losev, arXiv:math/0612561, this implies a conjecture of Delzant: a compact multiplicity free Hamiltonian manifold is uniquely determined by its momentum polytope and its principal isotropy group.
Let M be a simple hyperkahler manifold. Kuga-Satake construction gives an embedding of H^2(M,C) into the second cohomology of a torus, compatible with the Hodge structure. We construct a torus T and an embedding of the graded cohomology space H^*(M,C) \to H^{*+l}(T,C) for some l, which is compatible with the Hodge structures and the Poincare pairing. Moreover, this embedding is compatible with an action of the Lie algebra generated by all Lefschetz sl(2)-triples on M.
In this paper, we prove that any $C^{1}$-regular Hamiltonian stationary Lagrangian submanifold in a symplectic manifold is smooth. More broadly, we develop a regularity theory for a class of fourth order nonlinear elliptic equations with two distributional derivatives. Our fourth order regularity theory originates in the geometrically motivated variational problem for the volume functional, but should have applications beyond.
In this paper the Gromov-Witten invariants on a class of noncompact symplectic manifolds are defined by combining Ruan-Tian's method with that of McDuff-Salamon. The main point of the arguments is to introduce a method dealing with the transversality problems in the case of noncompact manifolds. Moreover, the techniques are also used to study the topological rigidity of Hamiltonian loops with compact support on a class of noncompact symplectic manifolds.
First, we review the notion of a Poisson structure on a noncommutative algebra due to Block-Getzler and Xu and introduce a notion of a Hamiltonian vector field on a noncommutative Poisson algebra. Then we describe a Poisson structure on a noncommutative algebra associated with a transversely symplectic foliation and construct a class of Hamiltonian vector fields associated with this Poisson structure.
A linear connection on a Finsler manifold is called compatible to the metric if its parallel transports preserve the Finslerian length of tangent vectors. Generalized Berwald manifolds are Finsler manifolds equipped with a compatible linear connection. Since the compatibility to the Finslerian metric does not imply the unicity of the linear connection in general, the first step of checking the existence of compatible linear connections on a Finsler manifold is to choose the best one to look for. A reasonable choice is introduced in \cite{V14} called the extremal compatible linear connection, w…
A classical theorem of Frankel for compact Kähler manifolds states that a Kähler S^1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when Hodge theory holds on non-compact manifolds, then Frankel's theorem still holds. Finally, we present several concrete situations in which the assumptions of the metatheorem hold.
In this paper I construct, using off the shelf components, a compact symplectic manifold with a non-trivial Hamiltonian circle action that admits no Kaehler structure. The non-triviality of the action is guaranteed by the existence of an isolated fixed point. The motivation for this work comes from the program of classification of Hamiltonian group actions. The Audin-Ahara-Hattori-Karshon classification of Hamiltonian circle actions on compact symplectic 4-manifolds showed that all of such manifolds are Kaehler. Delzant's classification of $2n$-dimensional symplectic manifolds with Hamiltonian…
Let M be a paracompact smooth manifold, A a Weil algebra and M^{A} the associated Weil bundle. In this paper, we give a characterization of hamiltonian field on M^{A} in the case of Poisson manifold and of Symplectic manifold.
In this paper we describe a method to establish when a symplectic manifold $M$ with semi-free Hamiltonian $S^{1}$-action is unique up to isomorphism (equivariant symplectomorphism). This will rely on a study of the symplectic topology of the reduced spaces. We prove that if the reduced spaces satisfy a rigidity condition, then the manifold $M$ is uniquely determined by fixed point data. In particular we can prove that there is a unique family up to isomorphism of 6-dimensional symplectic manifolds with semi-free $S^1$-action and isolated fixed points.
For a Hamiltonian, proper and free action of a Lie group $G$ on a Dirac manifold $(M,L)$, with a regular moment map $μ:M\to \mathfrak{g}^*$, the manifolds $M/G$, $μ^{-1}(0)$ and $μ^{-1}(0)/G$ all have natural induced Dirac structures. If $(M,L)$ is an integrable Dirac structure, we show that $M/G$ is always integrable, but $μ^{-1}(0)$ and $μ^{-1}(0)/G$ may fail to be integrable, and we describe the obstructions to their integrability.
Given a projective sequence of Banach bundles, each one provided with a of weak symplectic form, we look for conditions under which, the corresponding sequence of weak symplectic forms gives rise to weak symplectic form on the projective limit bundle. Then we apply this results to the tangent bundle of a projective limit of Banach manifolds. This naturally leads to ask about conditions under which the Darboux Theorem is also true on the projective limit of Banach manifolds. We will give some necessary and some sufficient conditions so that such a result is true. Then we discuss why, in general…
In this paper we construct six-dimensional compact non-Kähler Hamiltonian circle manifolds which satisfy the strong Lefschetz property themselves but nevertheless have a non-Lefschetz symplectic quotient. This provides the first known counter examples to the question whether the strong Lefschetz property descends to the symplectic quotient. We also give examples of Hamiltonian strong Lefschetz circle manifolds which have a non-Lefschetz fixed point submanifold. In addition, we establish a sufficient and necessary condition for a finitely presentable group to be the fundamental group of a stron…
Reformulations of Donaldson's "tamed to compatible" question are obtained in terms of spaces of exact forms on a compact almost complex manifold $(M^{2n},J)$. In dimension 4, we show that $J$ admits a compatible symplectic form if and only if $J$ admits tamed symplectic forms with arbitrarily given $J$-anti-invariant parts. Some observations about the cohomology of $J$-modified de Rham complexes are also made.
We study pairs of structures, such as the Poisson-Nijenhuis structures, on the tangent bundle of a manifold or, more generally, on a Lie algebroid or a Courant algebroid. These composite structures are defined by two of the following, a closed 2-form, a Poisson bivector or a Nijenhuis tensor, with suitable compatibility assumptions. We establish the relationships between such composite structures. We then show that the non-degenerate Monge-Ampère structures on 2-dimensional manifolds satisfying an integrability condition provide numerous examples of such structures, while in the case of 3-dime…
We classify the periodic Hamiltonian flows on compact four dimensional symplectic manifolds up to isomorphism of Hamiltonian S^1 spaces. Additionally, we show that all these spaces are Kaehler, that every such space is obtained from a simple model by a sequence of symplectic blowups, and that if the fixed points are isolated then the space is a toric variety.
Let L be a Lagrangian submanifold of a pseudo- or para-Kähler manifold which is H-minimal, i.e. a critical point of the volume functional restricted to Hamiltonian variations. We derive the second variation of the volume of L with respect to Hamiltonian variations. We apply this formula to several cases. In particular we observe that a minimal Lagrangian submanifold L in a Ricci-flat pseudo- or para-Kähler manifold is H-stable, i.e. its second variation is definite and L therefore a local extremizer of the volume with respect to Hamiltonian variations. We also give a stability criterion for sp…
