Computation of Affine Covariants of Quadratic Bivariate Differential Systems

This paper deals with affine covariants of autonomous differential systems. The main result is the construction of a minimal system of generators of the algebra of affine covariants of quadratic bivariate differential systems which is helpful in qualitative and numerical study. To this end, we establish a theorem (true for general systems of dimension n and degree m) which provides a procedure of construction of systems of generators for affine covariants from those of center-affine invariants. After applying this theorem to the case n=m=2 we give the expansions of the obtained affine covariants in terms of center-affine covariants. All algorithms constitute the package SIB.     

Scalar differential invariants of symplectic Monge-Ampère equations

All second order scalar differential invariants of symplectic hyperbolic and elliptic Monge-Ampère equations with respect to symplectomorphisms are explicitly computed. In particular, it is shown that the number of independent second order invariants is equal to 7, in sharp contrast with general Monge-Ampère equations for which this number is equal to 2. We also introduce a series of invariant differential forms and vector fields which allow us to construct numerous scalar differential invariants of higher order. The introduced invariants give a solution of the symplectic equivalence of Monge-Ampère equations. As an example we study equations of the form u _xy + f(x, y, u _x , u _y ) = 0 and in particular find a simple linearization criterion.     

Symplectic invariants for curves and integrable systems in similarity symplectic geometry

In this paper, similarity symplectic geometry for curves is proposed and studied. Explicit expressions of the symplectic invariants, Frenet frame and Frenet formulae for curves in similarity symplectic geometry are obtained by using the equivariant moving frame method. The relationships between the Euclidean symplectic invariants, Frenet frame, Frenet formulae and the similarity symplectic invariants, Frenet frame, Frenet formulae for curves are established. Invariant curve flows in four-dimensional similarity symplectic geometry are also studied. It is shown that certain intrinsic invariant curve flows in four-dimensional similarity symplectic geometry are related to the integrable Burgers and matrix Burgers equations.     

Gromov–Witten Invariants of Blow-ups Along Surfaces

In this paper, using the gluing formula of Gromov–Witten invariants for symplectic cutting developed by Li and Ruan, we established some relations between Gromov–Witten invariants of a semipositive symplectic manifold M and its blow-ups along a smooth surface.     

Poisson brackets and symplectic invariants

We introduce new invariants associated with collections of compact subsets of a symplectic manifold. They are defined through an elementary-looking variational problem involving Poisson brackets. The proof of the non-triviality of these invariants involves various flavors of Floer theory, including the μ ³-operation in Donaldson-Fukaya category. We present applications to approximation theory on symplectic manifolds and to Hamiltonian dynamics.     

Morse homology for generating functions of Lagrangian submanifolds

The purpose of the paper is to give an alternative construction and the proof of the main properties of symplectic invariants developed by Viterbo. Our approach is based on Morse homology theory. This is a step towards relating the ``finite dimensional' symplectic invariants constructed via generating functions to the ``infinite dimensional' ones constructed via Floer theory in Y.-G. Oh, Symplectic topology as the geometry of action functional. I, J. Diff. Geom. 46 (1997), 499-577.

     

Gromov-Witten invariants of blow-ups along points and curves

Abstract. In this paper, using the gluing formula of Gromov-Witten invariants under symplectic cutting, due to Li and Ruan, we studied the Gromov-Witten invariants of blow-ups at a smooth point or along a smooth curve. We established some relations between Gromov-Witten invariants of M and its blow-ups at a smooth point or along a smooth curve. Received February 4, 1999     

Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry

We first build the moduli spaces of real rational pseudo-holomorphic curves in a given real symplectic 4-manifold. Then, following the approach of Gromov and Witten [3, 19, 11], we define invariants under deformation of real symplectic 4-manifolds. These invariants provide lower bounds for the number of real rational J-holomorphic curves which realize a given homology class and pass through a given real configuration of points. Mathematics Subject Classification (2000) 14N10, 14P25, 53D05, 53D45     

A comparison theorem for Gromov–Witten invariants in the symplectic category

We exploit the geometric approach to the virtual fundamental class, due to Fukaya–Ono and Li–Tian, to compare Gromov–Witten invariants of a symplectic manifold and a symplectic submanifold whenever all constrained stable maps to the former are contained in the latter to first order. Various special cases of the comparison theorem in this paper have long been used in the algebraic category; some of them have also appeared in the symplectic setting. Combined with the inherent flexibility of the symplectic category, the main theorem leads to a confirmation of Pandharipande?s Gopakumar–Vafa prediction for GW-invariants of Fano classes in 6-dimensional symplectic manifolds. The proof of the main theorem uses deformations of the Cauchy–Riemann equation that respect the submanifold and Carleman Similarity Principle for solutions of perturbed Cauchy–Riemann equations. In a forthcoming paper, we apply a similar approach to relative Gromov–Witten invariants and the absolute/relative correspondence in genus 0.     

Generalized symplectic Cayley transforms and a higher order formula for the Conley–Zehnder index of symplectic paths

Using a generalized notion of symplectic Cayley transform in the symplectic group, we introduce a sequence of integer valued invariants (higher order signatures) associated with a degeneracy instant of a smooth path of symplectomorphisms. In the real analytic case, we give a formula for the Conley–Zehnder index in terms of the higher order signatures.     

Symplectic modules

A symplectic module is a finite group with a regular antisymmetric form. The paper determines sufficient conditions for the invariants of the maximal isotropic subgroups (Lagrangians), and asymptotic values for a lower bound of a group which contains Lagrangians of all symplectic modules of a fixed orderp ⁿ. These results have application to the splitting fields of universal division algebras.     

Semitoric integrable systems on symplectic 4-manifolds

Let (M,ω) be a symplectic 4-manifold. A semitoric integrable system on (M,ω) is a pair of smooth functions J,H∈C ^∞(M,ℝ) for which J generates a Hamiltonian S ¹-action and the Poisson brackets {J,H} vanish. We shall introduce new global symplectic invariants for these systems; some of these invariants encode topological or geometric aspects, while others encode analytical information about the singularities and how they stand with respect to the system. Our goal is to prove that a semitoric system is completely determined by the invariants we introduce. A. Pelayo was partially supported by an NSF Postdoctoral Fellowship.     

Adiabatic invariants of nonlinear dynamic systems with small parameter

We develop a symplectic method of finding the adiabatic invariants of nonlinear dynamic systems with small parameter. We show that a necessary and sufficient condition for the existence of quasi-Hamiltonian adiabatic invariants of nonlinear dynamic systems with regular dependence on a small parameter is that the Cauchy problem be well-posed for an equation of Lax type in the class of nongradient local functionals on the cotangent manifold of the phase space. It is established that scalar nonlinear dynamic systems always have a priori complete evolution invariants, not only adiabatic invariants. We also consider typical applications in hydrodynamics and oscillatory systems of mathematical physics.Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 35, 1992, pp. 179–185.     

Noncommutative classical invariant theory

In this thesis, we consider some aspects ofnoncommutative classical invariant theory, i.e., noncommutative invariants ofthe classical group SL(2, k). We develop asymbolic method for invariants and covariants, and we use the method to compute some invariant algebras. The subspaceĨ _d ^m of the noncommutative invariant algebraĨ _d consisting of homogeneous elements of degreem has the structure of a module over thesymmetric group S _m . We find the explicit decomposition into irreducible modules. As a consequence, we obtain theHilbert series of the commutative classical invariant algebras. TheCayley—Sylvester theorem and theHermite reciprocity law are studied in some detail. We consider a new power series H(Ĩ _d,t) whose coefficients are the number of irreducibleS _m -modules in the decomposition ofĨ _d ^m , and show that it is rational. Finally, we develop some analogues of all this for covariants.     

Some notes on integral equivalence of combinatorial matrices

Recent work on integral equivalence of Hadamard matrices and block designs is generalized in two directions. We first determine the two greatest invariants under integral equivalence of the incidence matrix of a symmetric balanced incomplete block design. This enables us to write down all the invariants in the case wherek −λ is square-fre. Some other results on the sequence of invariants are presented. Secondly we consider the existence of inequivalent Hadamard matrices under integral equivalence. We show that if there is a skew-Hadamard matrix of order 8m then there are two inequivalent Hadamard matrices of order 16m, that and there are precisely eleven inequivalent Hadamard matrices of order 32.     

Structure preservation of exponentially fitted Runge–Kutta methods

The preservation of some structure properties of the flow of differential systems by numerical exponentially fitted Runge–Kutta (EFRK) methods is considered. A complete characterisation of EFRK methods that preserve linear or quadratic invariants is given and, following the approach of Bochev and Scovel [On quadratic invariants and symplectic structure, BIT 34 (1994) 337–345], the sufficient conditions on symplecticity of EFRK methods derived by Van de Vyver [A fourth-order symplectic exponentially fitted integrator, Comput. Phys. Comm. 174 (2006) 255–262] are obtained. Further, a family of symplectic EFRK two-stage methods with order four has been derived. It includes the symplectic EFRK method proposed by Van de Vyver as well as a collocation method at variable nodes that can be considered as the natural collocation extension of the classical RK Gauss method. Finally, the results of some numerical experiments are presented to compare the relative merits of several fitted and nonfitted fourth-order methods in the integration of oscillatory systems.     

Some properties of locally conformal symplectic structures

We show that the d_w d_{\omega} -cohomology is isomorphic to a conformally invariant usual de Rham cohomology of an appropriate cover. We also prove a Moser theorem for locally conformal symplectic (lcs) forms. We point out a connection between lcs geometry and contact geometry. Finally, we show the connections between first kind, second kind, essential, inessential, local, and global conformal symplectic structures through several invariants.     

Monodromy Invariants – From Symplectic to Smooth Manifolds

Recently, together with Auroux and Donaldson, we have introduced some new invariants of four-dimensional symplectic manifolds. Building on the Moishezon–Teicher braid factorization techniques, we show how to compute fundamental groups of compliments to a ramification curve of generic projection. We also show that these fundamental groups are only homology invariants and outline the computations in some examples.Demonstrating the ubiquity of algebra, we go further and, using Braid factorization, we compute invariants of a derived category of representations of the quiver associated with the Fukaya–Seidel category of the vanishing cycles of a Lefschetz pencil and a structure of a symplectic four-dimensional manifold. This idea is suggested by the homological mirror symmetry conjecture of Kontsevich. We do not use it in our computations, although everything is explicit. We outline a procedure for finding homeomorphic, nonsymplectomorphic, four-dimensional symplectic manifolds with the same Saiberg–Witten invariants. This procedure defines invariants in the smooth category as well.     

The permutation action of finite symplectic groups of odd characteristic on their standard modules

We study the space of functions on a finite-dimensional vector space over a field of odd order as a module for a symplectic group. We construct a basis of this module with the following special properties. Each submodule generated by a single basis element under the symplectic group action is spanned as a vector space by a subset of the basis and has a unique maximal submodule. From these properties, the dimension and composition factors of the submodule generated by any subset of the basis can be determined. These results apply to incidence geometry of the symplectic polar space, yielding the symplectic analogue of Hamada's additive formula for the p-ranks of the incidence matrices between points and flats. A special case leads to a closed formula for the p-rank of the incidence matrix between the points and lines of the symplectic generalized quadrangle over a field of odd order. Together with earlier results on the 2-ranks, this result completes the determination of the p-ranks for these quadrangles.     

Butcher's simplifying assumption for symplectic integrators

Implicit Runge-Kutta methods with vanishingM matrix are discussed for preserving the symplectic structure of Hamiltonian systems. The number of the order conditions independent of the number of stages can be reduced considerably for the symplectic IRK method through the analysis utilizing the rooted tree and the corresponding elementary differentials. Butcher's simplifying condition further reduces the number of independent order conditions.