On the geometry and quantization of symplectic Howe pairs

We study the orbit structure and the geometric quantization of a pair of mutually commuting hamiltonian actions on a symplectic manifold. If the pair of actions fulfils a symplectic Howe condition, we show that there is a canonical correspondence between the orbit spaces of the respective moment images. Furthermore, we show that reduced spaces with respect to the action of one group are symplectomorphic to coadjoint orbits of the other group. In the Kähler case we show that the linear representation of a pair of compact connected Lie groups on the geometric quantization of the manifold is then equipped with a representation-theoretic Howe duality.     

Smoothness of isotopy for symplectic pairs

Let M be a 2n-dimensional smooth manifold with a symplectic pair which is a pair of closed 2-forms of constant ranks with complementary kernel foliations. Similar to Moser's stability theorem for symplectic forms, one desires to establish a stability theorem for symplectic pairs. Some sufficient and necessary conditions are obtained by Bande, Ghiggini and Kotschick. In this article, we consider a technical problem relating to the stability theorem. To complete the proof of the stability theorem for symplectic pairs, we verify the smoothness of the isotopy which is ignored in the literature. The Hodge theory for Riemannian foliation is crucial to our discussion.     

Positive divisors in symplectic geometry

In this paper, we first prove a vanishing theorem of relative Gromov-Witten invariant of ?¹-bundle. Based on this vanishing theorem and degeneration formula, we obtain a comparison theorem between absolute and relative Gromov-Witten invariant under some positive condition of the symplectic divisor.     

Local rigidity and nonrigidity of symplectic pairs

It is shown that indefinite strictly almost K?hler and opposite K?hler structures (J, J′) on a four-dimensional manifold with J-invariant Ricci operator are rigid, thus extending a previous result of Apostolov, Armstrong and Drăghici from the positive definite case to the indefinite one. In contrast to this, examples of nonhomogeneous four-dimensional manifolds which admit strictly almost paraK?hler and opposite paraK?hler structures (\mathfrakJ,\mathfrakJ^￠){(\mathfrak{J},\mathfrak{J}^{\prime})} with \mathfrakJ{\mathfrak{J}} -invariant Ricci operator are shown.     

Link homology theories from symplectic geometry

For each positive integer n, Khovanov and Rozansky constructed an invariant of links in the form of a doubly-graded cohomology theory whose Euler characteristic is the sl(n) link polynomial. We use Lagrangian Floer cohomology on some suitable affine varieties to build a similar series of link invariants, and we conjecture them to be equal to those of Khovanov and Rozansky after a collapse of the bigrading. Our work is a generalization of that of Seidel and Smith, who treated the case n=2.     

Lagrangian submanifolds in affine symplectic geometry

We uncover the lowest order differential invariants of Lagrangian submanifolds under affine symplectic maps, and find out what happens when they are constant.     

Relative flux homomorphism in symplectic geometry

In this work we define a relative version of the flux homomorphism, introduced by Calabi in 1969, for a symplectic manifold. We use it to study (the universal cover of) the group of symplectomorphisms of a symplectic manifold leaving a Lagrangian submanifold invariant. We also show that some quotients of the universal covering of the group of symplectomorphisms are stable under symplectic reduction.

     

An extension theorem in symplectic geometry

 We extend the ``Extension after Restriction Principle' for symplectic embeddings of bounded starlike domains to a large class of symplectic embeddings of unbounded starlike domains. Received: 21 January 2002 / Revised version: 5 July 2002 Mathematics Subject Classification (2000): Primary 53D35, Secondary 54C20     

A theorem in complex symplectic geometry

We prove that two simple, closed, real-analytic curves in C²ⁿ that are polynomially convex are equivalent under the group of symplectic holomorphic automorphisms of C²ⁿ if and only if the two curves have the same action integral. Every two simple real-analytic arcs in C²ⁿ are so equivalent.     

Spreads of nonsingular pairs in symplectic vector spaces

Let V be a vector space of dimension 2n, n even, over a field F, equipped with a nonsingular symplectic form. We define a new algebraic/combinatorial structure, a spread of nonsingular pairs, or nsp-spread, on V and show that nsp-spreads exist in considerable generality. We further examine in detail some particular cases.     

A combinatorial identity arising from symplectic geometry

In this note, we give a generalization of the famous combinational identity （-1）^nn! = Σk=1^n （nk）（-1）^kk^n arising from symplectic geometry.     

Metric and isoperimetric problems in symplectic geometry

Our first result is a reduction inequality for the displacement energy. We apply it to establish some new results relating symplectic capacities and the volume of a Lagrangian submanifold in a number of different settings. In particular, we prove that a Lagrange submanifold always bounds a holomorphic disc of area less than , where is some universal constant. We also explain how the Alexandroff-Bakelman-Pucci inequality is a special case of the above inequalities. Our inequality on displacement of reductions is also applied to yield a relation between length of billiard trajectories and volume of the domain. Two simple results concerning isoperimetric inequalities for convex domains and the closure of the symplectic group for the norm are included.
     

Contact-pair neighborhood theorem for submanifolds in symplectic pairs

Let M be a 2n-dimensional smooth manifold associated with the structure of symplectic pair which is a pair of closed 2-forms of constant ranks with complementary kernel foliations. Let Q⊂Mbe a codimension 2 compact submanifold. We show some sufficient and necessary conditions on the existence of the structure of contact pair (α,β) on Q,which is a pair of 1-forms of constant classes whose characteristic foliations are transverse and complementary such that α and β restrict to contact forms on the leaves of the characteristic foliations of βand α,respectively. This is a generalization of the neighborhood theorem for contact-type hypersurfaces in symplectic topology.