Symplectic manifolds with Lagrangian fibration

A structure theorem is presented for certain kinds of symplectic manifold with a Lagrangian fibration. As a corollary, the class of cotangent bundles is characterized up to the appropriat equivalence, as the type of symplectic manifold considered in the theorem for which in addition, a certain cohomology class vanishes. These results and techniques are then applied to two situations in classical mechanics where symplectic manifolds foliated by Lagrangian submanifolds arise, namely, the Legendre transformation and Hamilton-Jacobi theory.     

On the geometry of reduced cotangent bundles at zero momentum

We consider the problem of cotangent bundle reduction for proper non-free group actions at zero momentum. We show that in this context the symplectic stratification obtained by Sjamaar and Lerman refines in two ways: (i) each symplectic stratum admits a stratification which we call the secondary stratification with two distinct types of pieces, one of which is open and dense and symplectomorphic to a cotangent bundle; (ii) the reduced space at zero momentum admits a finer stratification than the symplectic one into pieces that are coisotropic in their respective symplectic strata.     

Fedosov Deformation Quantization as a BRST Theory

The relationship is established between the Fedosov deformation quantization of a general symplectic manifold and the BFV-BRST quantization of constrained dynamical systems. The original symplectic manifold ℳ is presented as a second class constrained surface in the fibre bundle ?^* _ρℳ which is a certain modification of a usual cotangent bundle equipped with a natural symplectic structure. The second class system is converted into the first class one by continuation of the constraints into the extended manifold, being a direct sum of ?^* _ρℳ and the tangent bundle Tℳ. This extended manifold is equipped with a nontrivial Poisson bracket which naturally involves two basic ingredients of Fedosov geometry: the symplectic structure and the symplectic connection. The constructed first class constrained theory, being equivalent to the original symplectic manifold, is quantized through the BFV-BRST procedure. The existence theorem is proven for the quantum BRST charge and the quantum BRST invariant observables. The adjoint action of the quantum BRST charge is identified with the Abelian Fedosov connection while any observable, being proven to be a unique BRST invariant continuation for the values defined in the original symplectic manifold, is identified with the Fedosov flat section of the Weyl bundle. The Fedosov fibrewise star multiplication is thus recognized as a conventional product of the quantum BRST invariant observables. Received: 28 April 2000 / Accepted: 6 December 2000     

关于Birkhoff逆问题中Santilli方法的研究

研究构造Birkhoff动力学函数的Santilli方法.首先,基于Cauchy-Kovalevskaya型方程解的存在性定理,采用反证法证明自治系统总有自治Birkhoff表示;其次,给出更简洁的方法证明Santilli第二方法可以被简化;找到Santilli第三方法中所隐含的一种等量关系,提出改进的Santilli第三方法,并研究该方法的MATLAB程序化计算;最后,总结全文并对结果进行讨论.     

Gravitational Descendants in Symplectic Field Theory

It was pointed out by Y. Eliashberg in his ICM 2006 plenary talk that the rich algebraic formalism of symplectic field theory leads to a natural appearance of quantum and classical integrable systems, at least in the case when the contact manifold is the prequantization space of a symplectic manifold. In this paper we generalize the definition of gravitational descendants in SFT from circle bundles in the Morse-Bott case to general contact manifolds. After we have shown using the ideas in Okounkov and Pandharipande (Ann Math 163(2):517–560, 2006) that for the basic examples of holomorphic curves in SFT, that is, branched covers of cylinders over closed Reeb orbits, the gravitational descendants have a geometric interpretation in terms of branching conditions, we follow the ideas in Cieliebak and Latschev ( [math.s6], 2007) to compute the corresponding sequence of Poisson-commuting functions when the contact manifold is the unit cotangent bundle of a Riemannian manifold.     

Conformal Hamiltonian systems

Vector fields whose flow preserves a symplectic form up to a constant, such as simple mechanical systems with friction, are called “conformal”. We develop a reduction theory for symmetric conformal Hamiltonian systems, analogous to symplectic reduction theory. This entire theory extends naturally to Poisson systems: given a symmetric conformal Poisson vector field, we show that it induces two reduced conformal Poisson vector fields, again analogous to the dual pair construction for symplectic manifolds. Conformal Poisson systems form an interesting infinite-dimensional Lie algebra of foliate vector fields. Manifolds supporting such conformal vector fields include cotangent bundles, Lie–Poisson manifolds, and their natural quotients.     

Hamiltonian reduction and unfolding of dynamical systems with gauge symmetries

We investigate the reduction and unfolding of dynamical systems with gauge symmetries. An application is provided by a non relativistic point charge in the field of a Dirac monopole. The corresponding dynamical system possessing a Kepler type symmetry is associated with the Taub-NUT metric using a reduction procedure of symplectic manifolds with symmetries. The reverse of the reduction procedure is done by stages performing the unfolding of the gauge transformation followed by the Eisenhart lift in connection with scalar potentials.     

Geometric quantization of the BRST charge

In the first half of this paper (Sects. 1–4) we generalise the standard geometric quantization procedure to symplectic supermanifolds. In the second half (Sects. 5, 6) we apply this to two examples that exhibit classical BRST symmetry, i.e., we quantize the BRST charge and the ghost number. More precisely, in the first example we consider the reduced symplectic manifold obtained by symplectic reduction from a free group action with Ad^*-equivariant moment map; in the second example we consider a foliated configuration space, whose cotangent bundle admits the construction of a BRST charge associated to this foliation. We show that the classical BRST symmetry can be described in terms of a hamiltonian supergroup action on the extended phase space, and that geometric quantization gives us a super-unitary representation of this supergroup. Finally we point out how these results are related to reduction at the quantum level, as compared with the reduction at the classical level.Research supported by the Dutch Organization for Scientific Research (NWO)     

Integrating factors and conservation theorem for holonomic nonconservative dynamical systems in generalized classical mechanics

In this paper,we present a general approach to the construction of conservation laws for generalized classical dynamical systems.Firstly,we give the definition of integrating factors and ,secondly,we study in detail the necessary conditions for the existence of conserved quantities.Then we establish the conservation theorem and its inverse for the hamilton‘s canonical equations of motion of holonomic nonconservative dynamical systems in generalized classical mechanics.Finally,we give an example to illustrate the application of the results.     

Geometric quantization of symplectic manifolds with respect to reducible non-negative polarizations

The leafwise complex of a reducible non-negative polarization with values in the prequantum bundle on a prequantizable symplectic manifold is studied. The cohomology groups of this complex is shown to vanish in rank less than the rank of the real part of the non-negative polarization. The Bohr-Sommerfeld set for a reducible non-negative polarization is defined. A factorization theorem is proved for these reducible non-negative polarizations. For compact symplectic manifolds, it is shown that the above complex has finite dimensional cohomology groups, more-over a Lefschetz fixed point theorem and an index theorem for these non-elliptic complexes is proved. As a corollary of the index theorem, we deduce that the cardinality of the Bohr-Sommerfeld set for any reducible real polarization on a compact symplectic manifold is determined by the volume and the dimension of the manifold. Supported in part by NSF grant DMS-93-09653, while the author was visiting University of California Berkeley.     

On the Inverse Mapping of the Formal Symplectic Groupoid of a Deformation Quantization

To each natural star product on a Poisson manifold M we associate an antisymplectic involutive automorphism of the formal neighborhood of the zero section of the cotangent bundle of M. If M is symplectic, this mapping is shown to be the inverse mapping of the formal symplectic groupoid of the star product. The construction of the inverse mapping involves modular automorphisms of the star product.     

Symplectic Structures on Gauge Theory

We study certain natural differential forms and their equivariant extensions on the space of connections. These forms are defined using the family local index theorem. When the base manifold is symplectic, they define a family of symplectic forms on the space of connections. We will explain their relationships with the Einstein metric and the stability of vector bundles. These forms also determine primary and secondary characteristic forms (and their higher level generalizations). Received: 27 February 1996 / Accepted: 7 July 1997     

Special Symplectic Connections and Poisson Geometry

By a special symplectic connection we mean a torsion free connection which is either the Levi-Civita connection of a Bochner-Kähler metric of arbitrary signature, a Bochner-bi-Lagrangian connection, a connection of Ricci type or a connection with special symplectic holonomy. A manifold or orbifold with such a connection is called special symplectic. We show that any special symplectic connection can be constructed using symplectic realizations of quadratic deformations of a certain linear Poisson structure. Moreover, we show that these Poisson structures cannot be symplectically integrated by a Hausdorff groupoid. As a consequence, we obtain a canonical principal line bundle over any special symplectic manifold or orbifold, and we deduce numerous global consequences.     

欧拉-拉格朗日系统的jet辛算法

研究了在欧拉-拉格朗日系统上的jet辛算法.证明了第二作者在1998年给出的一个离散的欧拉-拉格朗日(DEL)方程存在一个离散形式的几何结构,它沿着解是不变的,这个结构可以通过对离散的作用量函数求导得到.由此,可以给出此格式的jet辛性质.利用这个结构证明了与此DEL方程相关的离散Nother定理.最后,给出了一个欧拉-拉格朗日方程上的jet辛差分格式的数值算例,并与其它的差分格式进行了比较.     

Hamilton's equations for constrained dynamical systems

We derive expressions for the conjugate momenta and the Hamiltonian for classical dynamical systems subject to holonomic constraints. We give an algorithm for correcting deviations of the constraints arising in numerical solution of the equations of motion. We obtain an explicit expression for the momentum integral for constrained systems.     

On Quantization of Complex Symplectic Manifolds

Let X be a complex symplectic manifold. By showing that any Lagrangian subvariety has a unique lift to a contactification, we associate to X a triangulated category of regular holonomic microdifferential modules. If X is compact, this is a Calabi-Yau category of complex dimension dim X + 1. We further show that regular holonomic microdifferential modules can be realized as modules over a quantization algebroid canonically associated to X.     

A gauged nonlinear sigma-model realization of the symplectic blowing up

In this paper a two dimensional non-linear sigma model with a general symplectic manifold with isometry as target space is used to study symplectic blowing up of a point singularity on the zero level set of the moment map associated with a quasi-free Hamiltonian action. We discuss in general the relation between symplectic reduction and gauging of the symplectic isometries of the sigma model action. In the case of singular reduction, gauging has the same effect as blowing up the singular point by a small amount. Using the exponential mapping of the underlying metric, we are able to construct symplectic diffeomorphisms needed to glue the blow-up to the global reduced space which is regular, thus providing a transition from one symplectic sigma model to another one free of singularities.Alexander von Humboldt fellow, on leave from Zhejiang University. Institute of Modern Physics, Hangzhou, China. Address after 1October, 1994; Department of Mathematical Sciences University of Durham, South Road, Durham, England.     

A Generalization of the Goldberg–Sachs theorem and its consequences

The Goldberg–Sachs theorem is generalized for all four-dimensional manifolds endowed with torsion-free connection compatible with the metric, the treatment includes all signatures as well as complex manifolds. It is shown that when the Weyl tensor is algebraically special severe geometric restrictions are imposed. In particular it is demonstrated that the simple self-dual eigenbivectors of the Weyl tensor generate integrable isotropic planes. Another result obtained here is that if the self-dual part of the Weyl tensor vanishes in a Ricci-flat manifold of (2,2) signature the manifold must be Calabi–Yau or symplectic and admits a solution for the source-free Einstein–Maxwell equations.     

Structures symplectiques, structures complexes, spineurs symplectiques et transformation de Fourier

Planck's constant is very useful in the development of the theory of symplectic Clifford algebras introduced by the author in 1977 [1,a], and to solve many connected problems for example the Poisson Lie algebra deformations [1,c]. In this paper we give a precise link between a complex structure J and the Fourier transform which is nothing but the natural left action of the covering J? of J in a symplectic convenient spinor space (modulo a constant factor).Thus Fourier transform becomes a geometric transformation separated from integration technics, good peculiarity for global problems. We explain nice algebraic properties of the Fourier transform taking them in the symplectic context with adapted metric in any signature. Some applications are given: Hermite's functions, Plancherel-Parseval's theorem, covariance problemes … . Our approach is particularly convenient for explain results in Maslov's theory [1,b] and the difficulties in defining a global Fourier transform over a symplectic manifold.     

Quantum Dynamical R-Matrices and Quantum Frobenius Group

We propose an algebraic scheme for quantizing the rational Ruijsenaars-Schneider model in the R-matrix formalism. We introduce a special parametrization of the cotangent bundle over . In new variables the standard symplectic structure is described by a classical (Frobenius) r-matrix and by a new dynamical -matrix. Quantizing both of them we find the quantum L-operator algebra and construct its particular representation corresponding to the rational Ruijsenaars-Schneider system. Using the dual parametrization of the cotangent bundle we also derive the algebra for the L-operator of the hyperbolic Calogero-Moser system. Received: 24 January 1997 / Accepted: 17 March 1997