Strong Lefschetz property under reduction

Let n > 1 and G be the group SU(n) or Sp(n). This paper constructs compact symplectic manifolds whose symplectic quotient under a Hamiltonian G-action does not inherit the strong Lefschetz property.     

The propagation of non-Lefschetz type, the Gottlieb group and related questions

This is a brief note which indicates how the property of being non-Lefschetz may be propagated by equivariant symplectic maps. We also discuss some questions related to the Gottlieb group and nilpotency of symplectic manifolds. To Vladimir Arnold, who taught me symplectic geometry without knowing it     

The Lefschetz property, formality and blowing up in symplectic geometry

In this paper we study the behaviour of the Lefschetz property under the blow-up construction. We show that it is possible to reduce the dimension of the kernel of the Lefschetz map if we blow up along a suitable submanifold satisfying the Lefschetz property. We use this, together with results about Massey products, to construct compact nonformal symplectic manifolds satisfying the Lefschetz property.

     

Cohomological properties of unimodular six dimensional solvable Lie algebras

In the present paper we study six dimensional solvable Lie algebras with special emphasis on those admitting a symplectic structure. We list all the symplectic structures that they admit and we compute their Betti numbers finding some properties about the codimension of the nilradical. Next, we consider the conjecture of Guan about step of nilpotency of a symplectic solvmanifold finding that it is true for all six dimensional unimodular solvable Lie algebras. Finally, we consider some cohomologies for symplectic manifolds introduced by Tseng and Yau in the context of symplectic Hogde theory and we use them to determine some six dimensional solvmanifolds for which the Hard Lefschetz property holds.     

Cohomologies of locally conformally symplectic manifolds and solvmanifolds

We study the Morse–Novikov cohomology and its almost-symplectic counterpart on manifolds admitting locally conformally symplectic structures. More precisely, we introduce lcs cohomologies and we study elliptic Hodge theory, dualities, Hard Lefschetz condition. We consider solvmanifolds and Oeljeklaus–Toma manifolds. In particular, we prove that Oeljeklaus–Toma manifolds with precisely one complex place, and under an additional arithmetic condition, satisfy the Mostow property. This holds in particular for the Inoue surface of type \(S^0\).     

Sur une généralisation de la notion de V-variété

We consider a topological space which is locally isomorphic to the quotient of R^k by the action of a discrete group and we call it quasifold of dimension k. Quasifolds generalize manifolds and orbifolds and represent the natural framework for performing symplectic reduction with respect to the induced action of any Lie subgroup, compact or not, of a torus. We define quasitori, Hamiltonian actions of quasitori and the moment mapping for symplectic quasifolds, and we show that every simple convex polytope, rational or not, is the image of the moment mapping for the action of a quasitorus on a quasifold.     

Families of simply connected 4-manifolds with the same Seiberg-Witten invariants

This article presents several new constructions of infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic. While the construction gives strong evidence that any two of these manifolds of are not diffeomorphic, they cannot be distinguished by Seiberg-Witten invariants. Whether these manifolds are, or are not, diffeomorphic seems to be a very difficult question to answer. For one of these constructions, each member of the family is symplectic with the further property that each contains nullhomologous tori with the property that infinitely many log transformations on these tori yield nonsymplectic 4-manifolds. This is detected by calculations of Seiberg-Witten invariants. The surgery in question can be performed on any 4-manifold which contains as a codimension 0 submanifold a punctured surface bundle over a punctured surface and a nontrivial loop in the base which has trivial monodromy. A starting point for another class of examples in this paper is a family of examples which show that the Parshin-Arakelov theorem for holomorphic Lefschetz fibrations is false in the symplectic category. Such families are constructed by means of knot surgery on ellipitic surfaces. It is shown that for a fixed homeomorphism type X (of a simply connected elliptic surface) and a fixed integer g?3, there are infinitely many genus g Lefschetz fibrations on nondiffeomorphic 4-manifolds, all homeomorphic to X.     

Symplectic method for the construction of ergodic measures on invariant submanifolds of nonautonomous hamiltonian systems: Lagrangian manifolds, their structure, and mather homologies

We develop a new approach to the study of properties of ergodic measures for nonautonomous periodic Hamiltonian flows on symplectic manifolds, which are used in many problems of mechanics and mathematical physics. Using Mather’s results on homologies of invariant probability measures that minimize some Lagrangian functionals and the symplectic theory developed by Floer and others for the investigation of symplectic actions and transversal intersections of Lagrangian manifolds, we propose an analog of a Mather-type β-function for the study of ergodic measures associated with nonautonomous Hamiltonian systems on weakly exact symplectic manifolds. Within the framework of the Gromov-Salamon-Zehnder elliptic methods in symplectic geometry, we establish some results on stable and unstable manifolds for hyperbolic invariant sets, which are used in the theory of adiabatic invariants of slowly perturbed integrable Hamiltonian systems. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 5, pp. 675–691, May, 2006.     

When is a symplectic quotient an orbifold?

Let K be a compact Lie group of positive dimension. We show that for most unitary K-modules the corresponding symplectic quotient is not regularly symplectomorphic to a linear symplectic orbifold (the quotient of a unitary module of a finite group). When K is connected, we show that even a symplectomorphism to a linear symplectic orbifold does not exist. Our results yield conditions that preclude the symplectic quotient of a Hamiltonian K  -manifold from being locally isomorphic to an orbifold. As an application, we determine which unitary _SU2${\mathrm{SU}}_2$-modules yield symplectic quotients that are Z⁺${\mathbb{Z}}^{+}$-graded regularly symplectomorphic to a linear symplectic orbifold. We similarly determine which unitary circle representations yield symplectic quotients that admit a regular diffeomorphism to a linear symplectic orbifold.     

Semifree symplectic circle actions on -orbifolds

A theorem of Tolman and Weitsman states that all symplectic semifree circle actions with isolated fixed points on compact symplectic manifolds must be Hamiltonian and have the same equivariant cohomology and Chern classes of equipped with the standard diagonal circle action. In this paper, we show that the situation is much different when we consider compact symplectic orbifolds. Focusing on -orbifolds with isolated cone singularities, we show that such actions, besides being Hamiltonian, can now be obtained from either or a weighted projective space, or a quotient of one of these spaces by a finite cyclic group, by a sequence of special weighted blow-ups at fixed points. In particular, they can have any number of fixed points.

     

On fundamental groups of symplectically aspherical manifolds II: Abelian groups

We describe all abelian groups which can appear as the fundamental groups of closed symplectically aspherical manifolds. The proofs use the theory of symplectic Lefschetz fibrations.      

A quantum cup-length estimate for symplectic fixed points

A new lower bound for the number of fixed points of Hamiltonian automorphisms of closed symplectic manifolds (M,ω) is established. The new estimate extends the previously known estimates to the class of weakly monotone symplectic manifolds. We prove for arbitrary closed symplectic manifolds with rational symplectic class that the cup-length estimate holds true if the Hofer energy of the Hamiltonian automorphism is sufficiently small. For arbitrary energy and on weakly monotone symplectic manifolds we define an analogon to the cup-length based on the quantum cohomology ring of (M,ω) providing a quantum cup-length estimate. Oblatum 12-IX-1997     

Formality of Donaldson submanifolds

We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n−1), is formal if and only if M is (n−1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson submanifolds of symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic submanifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem. An erratum to this article is available at .     

Non-symplectic smooth circle actions on symplectic manifolds

We construct smooth circle actions on symplectic manifolds with non-symplectic fixed point sets or cyclic isotropy sets. All such actions are not compatible with any symplectic form on the manifold in question. In order to cover the case of non-symplectic fixed point sets, we use two smooth 4-manifolds (one symplectic and one non-symplectic) which become diffeomorphic after taking the products with the 2-sphere. The second type of actions is obtained by constructing smooth circle actions on spheres with non-symplectic cyclic isotropy sets, which (by the equivariant connected sum construction) we carry over from the spheres on products of 2-spheres. Moreover, by using the mapping torus construction, we show that periodic diffeomorphisms (isotopic to symplectomorphisms) of symplectic manifolds can provide examples of smooth fixed point free circle actions on symplectic manifolds with non-symplectic cyclic isotropy sets.     

Nilpotent flows of S1-invariant Hamiltonian systems on 4-dimensional symplectic manifolds

We investigate S¹-invariant Hamiltonian systems on compact 4-dimensional symplectic manifolds with free symplectic action of a circle. We show that, in a rather general case, such systems generate ergodic flows of types (quasiperiodic and nilpotent) on their isoenergetic surfaces. We solve the problem of straightening of these flows. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 1, pp. 122–140, January, 1997.     

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.     

Odd symplectic flag manifolds

We define the odd symplectic Grassmannians and flag manifolds, which are smooth projective varieties equipped with an action of the odd symplectic group, analogous to the usual symplectic Grassmannians and flag manifolds. Contrary to the latter, which are the flag manifolds of the symplectic group, the varieties we introduce are not homogeneous. We argue nevertheless that in many respects the odd symplectic Grassmannians and flag manifolds behave like homogeneous varieties; in support of this claim, we compute the automorphism group of the odd symplectic Grassmannians and we prove a Borel-Weil-type theorem for the odd symplectic group.     

Theta functions on <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript>-bundles over <Emphasis Type="Italic">T</Emphasis><Superscript>2</Superscript> with the zero Euler class

We construct an analog of the classical theta function on an abelian variety for the closed 4-dimensional symplectic manifolds that are T ²-bundles over T ² with the zero Euler class. We use our theta functions for a canonical symplectic embedding of these manifolds into complex projective spaces (an analog of the Lefschetz theorem).     

Lefschetz decomposition for de Rham cohomology on weakly Lefschetz symplectic manifolds

For a compact symplectic manifold which is s-Lefschetz which is weaker than the hard Lefschetz property, we prove that the Lefschetz decomposition for de Rham cohomology also holds.     

A splitting result for compact symplectic manifolds

We consider compact symplectic manifolds acted on effectively by a compact connected Lie group K in a Hamiltonian fashion. We prove that the squared moment map ∥μ∥² is constant if and only if K is semisimple and the manifold is K-equivariantly symplectomorphic to a product of a flag manifold and a compact symplectic manifold which is acted on trivially by K. In the almost-Kähler setting the symplectomorphism turns out to be an isometry.