In this paper we find connection between the Hofer's metric of the group of Hamiltonian diffeomorphisms of a closed symplectic manifold, with an integral symplectic form, and the geometry, defined in a paper by Eliashberg and Polterovich, of the quantomorphisms group of its prequantization manifold. This gives two main results: First, we calculate, partly, the geometry of the quantomorphisms groups of a prequantization manifolds of an integral symplectic manifold which admits certain Lagrangian foliation. Second, for every prequantization manifold we give a formula for the distance between a point and a distinguished curve in the metric space associated to its group of quantomorphisms.
Moreover, our first result is a full computation of the geometry related to the symplectic linear group which can be considered as a subgroup of the contactomorphisms group of suitable prequantization manifolds of the complex projective space.
In the course of the proof we use in an essential way the Maslov quasimorphism.
We prove a version of Sandon's conjecture on the number of translated points of contactomorphisms for the case of prequantization bundles over certain closed monotone symplectic toric manifolds. Namely we show that any contactomorphism of such a prequantization bundle lying in the identity component of the contactomorphism group possesses at least $N$ translated points, where $N$ is the minimal Chern number of the symplectic toric manifold. The proof relies on the theory of generating functions coupled with equivariant cohomology, whereby we adapt Givental's approach to the Arnold conjecture f…
We study Reeb dynamics on prequantization circle bundles and the filtered (equivariant) symplectic homology of prequantization line bundles, aka negative line bundles, with symplectically aspherical base. We define (equivariant) symplectic capacities, obtain an upper bound on their growth, prove uniform instability of the filtered symplectic homology and touch upon the question of stable displacement. We also introduce a new algebraic structure on the positive (equivariant) symplectic homology capturing the free homotopy class of a closed Reeb orbit -- the linking number filtration -- and use …
We establish multiplicity results for geometrically distinct contractible closed Reeb orbits of non-degenerate contact forms on a broad class of prequantization bundles. The results hold under certain index requirements on the contact form and are sharp for unit cotangent bundles of CROSS's. In particular, we generalize and put in the symplectic-topological context a theorem of Duan, Liu, Long, and Wang for the standard contact sphere. We also prove similar results for non-hyperbolic contractible closed orbits and briefly touch upon the multiplicity problem for degenerate forms. On the combina…
We present a geometric construction of central S^1-extensions of the quantomorphism group of a prequantizable, compact, symplectic manifold, and explicitly describe the corresponding lattice of integrable cocycles on the Poisson Lie algebra. We use this to find nontrivial central S^1-extensions of the universal cover of the group of Hamiltonian diffeomorphisms. In the process, we obtain central S^1-extensions of Lie groups that act by exact strict contact transformations.
Gravitational descendants in symplectic field theory
Y. Eliashberg在他的ICM 2006全体会议上的演讲中指出，辛域论丰富的代数形式导致了量子和经典可积系统的自然出现，至少在接触流形是辛流形的预量子化空间的情况下。本文将SFT中引力子族的定义从Morse-Bott情形的圆丛推广到一般的切触流形。在我们证明了对于SFT中全纯曲线的基本例子，即闭Reeb轨道上的柱体的分支覆盖，引力子体具有分支条件的几何解释之后，我们计算了当接触流形是黎曼流形的单位余切丛时相应的Poisson交换函数序列.
We show that the $L^{\infty}$-norm of the contact Hamiltonian induces a non-degenerate right-invariant metric on the group of contactomorphisms of any closed contact manifold. This contact Hofer metric is not left-invariant, but rather depends naturally on the choice of a contact form $α,$ whence its restriction to the subgroup of $α$-strict contactomorphisms is bi-invariant. The non-degeneracy of this metric follows from an analogue of the energy-capacity inequality. We show furthermore that this metric has infinite diameter in a number of cases by investigating its relations to previously de…
In the symplectic realm, a distance between open starshaped domains in Liouville manifolds was recently defined. This is the symplectic Banach-Mazur distance. It was proposed by Ostrover and Polterovich and developed by Ostrover, Polterovich, Usher, Gutt, Zhang and Stojisavljević. The natural question is, can an analogous distance in the contact realm be defined? One idea is to define the distance on contact hypersurfaces of Liouville manifolds and another one on contact forms supporting isomorphic contact structures. Rosen and Zhang recently defined such a distance working with manifolds that…
In these notes we discuss Lorentz-Finsler metrics, a notion originated in relativity theory, on certain groups of symplectic and contact transformations. Some basic geometric questions arising in this context concerning distance, geodesics and their conjugate points, and existence of a time function, turn out to be related to a variety of subjects including the contact systolic problem, group quasi-morphisms, the Monge-Ampère equation, and a subtle interplay between symplectic rigidity and flexibility. We discuss these interrelations, providing necessary preliminaries, and formulate a number o…
We define gauge transformations of Jacobi structures on a manifold. This is related to gauge transformations of Poisson structures via the Poissonization. Finally, we discuss how the contact structure of a contact groupoid is effected by a gauge transformation of the Jacobi structure on its base.
We prove that every non-degenerate Reeb flow on a closed contact manifold $M$ admitting a strong symplectic filling $W$ with vanishing first Chern class carries at least two geometrically distinct closed orbits provided that the positive equivariant symplectic homology of $W$ satisfies a mild condition. Under further assumptions, we establish the existence of two geometrically distinct closed orbits on any contact finite quotient of $M$. Several examples of such contact manifolds are provided, like displaceable ones, unit cosphere bundles, prequantization circle bundles, Brieskorn spheres and …
In this work we show that a Legendre transformation is nothing but a mere change of contact polarization from the point of view of contact geometry. Then, we construct a set of Riemannian and pseudo-Riemannian metrics on a contact manifold by introducing almost contact and para-contact structures and we analyze their isometries. We show that it is not possible to find a class of metric tensors which fulfills two properties: on the one hand, to be polarization independent i.e. the Legendre transformations are the corresponding isometries and, on the other, that it induces a Hessian metric into …
We are proposing Tulczyjew's triple for contact dynamics. The most important ingredients of the triple, namely symplectic diffeomorphisms, special symplectic manifolds, and Morse families, are generalized to the contact framework. These geometries permit us to determine so-called generating family (obtained by merging a special contact manifold and a Morse family) for a Legendrian submanifold. Contact Hamiltonian and Lagrangian Dynamics are recast as Legendrian submanifolds of the tangent contact manifold. In this picture, the Legendre transformation is determined to be a passage between two d…
We construct a dynamical quantization for contact manifolds in terms of a flat connection acting on a Hilbert tractor bundle. We show that this contact quantization, which is independent of the choice of contact form, can be obtained by quantizing the Reeb dynamics of an ambient strict contact manifold equivariantly with respect to an R+-action. The contact quantization further determines a certain contact tractor connection whose parallel sections determine a distinguished choice of Reeb dynamics and their quantization. This relationship relies on tractor constructions from parabolic geometri…
It has been shown that contact geometry is the proper framework underlying classical thermodynamics and that thermodynamic fluctuations are captured by an additional metric structure related to Fisher's Information Matrix. In this work we analyze several unaddressed aspects about the application of contact and metric geometry to thermodynamics. We consider here the Thermodynamic Phase Space and start by investigating the role of gauge transformations and Legendre symmetries for metric contact manifolds and their significance in thermodynamics. Then we present a novel mathematical characterizat…
In this paper, we determine the group of contact transformations modulo contact isotopies for Legendrian circle bundles over closed surfaces of nonpositive Euler characteristic. These results extend and correct those presented by the first author in a former work. The main ingredient we use is connectedness of certain spaces of embeddings of surfaces into contact 3-manifolds. In the third section, this connectedness question is studied in more details with a number of (hopefully instructive) examples.
We explain a connection between the algebraic and geometric properties of groups of contact transformations, open book decompositions, and flexible Legendrian embeddings. The main result is that, if a closed contact manifold $(V, ξ)$ has a supporting open book whose pages are flexible Weinstein manifolds, then the connected component $G$ of the identity in its automorphism group is a uniformly simple group: for every non-trivial element $g$, every other element is a product of at most $128(\dim V + 1)$ conjugates of $g^{\pm 1}$. In particular any conjugation invariant norm on this group is bou…
We define Maslov--type indices associated to contact and symplectic transformation groups. There are two such families of indices. The first class of indices are maps from the homotopy groups of the contactomorphism or symplectomorphism group to a quotient of the integers. These are based on a generalization of the Maslov index. The second class of indices are maps from the homotopy groups of the space of contact structures or the space of cohomologous symplectic forms to the homotopy groups of a simple homogeneous space. We provide a detailed construction and describe some properties of these…
Instituto de Matemáticas, Universidad Nacional Autónoma de México（墨西哥国立自治大学数学研究所）；Department of Mathematics, Instituto Tecnológico Autónomo de México（墨西哥自治理工学院数学系）
