Showing papers in "arXiv: Symplectic Geometry in 2005"

Legendrian and Transversal Knots

Abstract: Publisher Summary Contact structures on manifolds and Legendrian and transversal knots in them are very natural objects, born over a century ago, in the work of Huygens, Hamilton, and Jacobi on geometric optics and work of Lie on partial differential equations. This chapter discusses Legendrian and transversal knots in dimension three where their theory is most fully developed and where they are most intimately tied to topology. In this dimension a predominately topological and combinatorial approach may be used to their study. The chapter then examines higher dimensional Legendrian knots. The chapter also explains the concept of Lagrangian protection. Analogous to the definition of finite type invariants of topological knots, finite type invariants of Legendrian knots can be defined. It is then possible to get a global contact isotopy if there is a fixed over twisted disk in the complement of both Legendrian knot. A complete understanding of Legendrian unknots in over twisted contact structures must wait for future work.

Construction of spectral invariants of Hamiltonian paths on closed symplectic manifolds

Abstract: In this paper, we develop a mini-max theory of the action functional over the semi-infinite cycles via the chain level Floer homology theory and construct spectral invariants of Hamiltonian paths on arbitrary, especially on nonexact and nonrational, compact symplectic manifold (M, ω). To each given time dependent Hamiltonian function H and quantum cohomology class 0 ≠ a ∈ QH*(M), we associate an invariant ρ(H; a) which varies continuously over H in the C 0-topology. This is obtained as the mini-max value over the semi-infinite cycles whose homology class is “dual” to the given quantum cohomology class a on the covering space \( \tilde \Omega _0 (M) \) of the contractible loop space Ω0(M). We call them the Novikov Floer cycles. We apply the spectral invariants to the study of Hamiltonian diffeomorphisms in sequels of this paper.

Quasi, twisted, and all that... in Poisson geometry and Lie algebroid theory

Abstract: Motivated by questions from quantum group and field theories, we review structures on manifolds that are weaker versions of Poisson structures, and variants of the notion of Lie algebroid. We give a simple definition of the Courant algebroids and introduce the notion of a deriving operator for the Courant bracket of the double of a proto-bialgebroid. We then describe and relate the various quasi-Poisson structures, which have appeared in the literature since 1991, and the twisted Poisson structures studied by Severa and Weinstein.

Homogeneous coordinate rings and mirror symmetry for toric varieties

Abstract: Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X The corresponding Floer homology groups form a graded algebra under the cup product which is canonically isomorphic to the homogeneous coordinate ring of X

A General Fredholm Theory and Applications

Abstract: We describe a very general (nonlinear) Fredholm theory for a new class of ambient spaces, called polyfolds. This theory is applicable to Gromov-Witten and Floer Theory as well as Symplectic Field Theory. It should also be applicable to a wider range of elliptic problems with analytical limiting behaviour.

A Lagrangian Piunikhin-Salamon-Schwarz morphism and two comparison homomorphisms in Floer homology

Abstract: In this article we address two issues. First, we explore to what extent the techniques of Piunikhin, Salamon and Schwarz in [PSS96] can be carried over to Lagrangian Floer homology. In [PSS96] an isomorphism between Hamiltonian Floer homology and the singular homology is established. In contrast, Lagrangian Floer homology is not isomorphic to the singular homology of the Lagrangian submanifold, in general. Depending on the minimal Maslov number, we construct for certain degrees two homomorphisms between Lagrangian Floer homology and singular homology. In degrees where both maps are defined we prove them to be isomorphisms. Examples show that this statement is sharp. Second, we construct two comparison homomorphisms between Lagrangian and Hamiltonian Floer homology. They underly no degree restrictions and are proven to be the natural analogs to the homomorphisms in singular homology induced by the inclusion map of the Lagrangian submanifold into the ambient symplectic manifold.

Legendrian Contact Homology in P X R

Abstract: A rigorous foundation for the contact homology of Legendrian submanifolds in a contact manifold of the form $P\times \R$ where $P$ is an exact symplectic manifold is established. The class of such contact manifolds include 1-jet spaces of smooth manifolds. As an application, contact homology is used to provide (smooth) isotopy invariants of submanifolds of $\R^n$ and, more generally, invariants of self transverse immersions into $\R^n$ up to restricted regular homotopies. When $n=3$, this application is the first step in extending and providing a contact geometric underpinning for the new knot invariants of Ng

Commuting Hamiltonians and multi-time Hamilton-Jacobi equations

Abstract: We prove that if a sequence of pairs of smooth commuting Hamiltonians converge in the $C^0$ topology to a pair of smooth Hamiltonians, these commute. This allows us define the notion of commuting continuous Hamiltonians. As an application we extend some results of Barles and Tourin on multi-time Hamilton-Jacobi equations to a more general setting.

Duality and triple structures

Abstract: We recall the basic theory of double vector bundles and the canonical pairing of their duals, introduced by the author and by Konieczna and Urbanski. We then show that the relationship between a double vector bundle and its two duals can be understood simply in terms of an associated cotangent triple vector bundle structure. In particular, we show that the dihedral group of the triangle acts on this triple via forms of the isomorphisms R, introduced by the author and Ping Xu. We then consider the three duals of a general triple vector bundle and show that the corresponding group is neither the dihedral group of the square nor the symmetry group on four symbols.

Planar open books and Floer homology

Abstract: Giroux has described a correspondence between open book decompositions on a 3--manifold and contact structures. In this paper we use Heegaard Floer homology to give restrictions on contact structures which correspond to open book decompositions with planar pages, generalizing a recent result of Etnyre.

Tight contact structures on some small Seifert fibered 3--manifolds

Abstract: We classify tight contact structures on the small Seifert fibered 3--manifold M(-1; r_1, r_2, r_3) with r_i in (0,1) and r_1, r_2 \geq 1/2. The result is obtained by combining convex surface theory with computations of contact Ozsvath--Szabo invariants. We also show that some of the tight contact structures on the manifolds considered are nonfillable, justifying the use of Heegaard Floer theory.

The modular class of a twisted Poisson structure

Abstract: We study the geometric and algebraic properties of the twisted Poisson structures on Lie algebroids, leading to a definition of their modular class and to an explicit determination of a representative of the modular class, in particular in the case of a twisted Poisson manifold.

Surjectivity for Hamiltonian G-spaces in K-theory

Abstract: Let G be a compact connected Lie group, and (M,\omega) a Hamiltonian G-space with proper moment map \mu. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on \mu. This result is a natural K-theoretic analogue of the Kirwan surjectivity theorem in symplectic geometry. The main technical tool is the K-theoretic Atiyah-Bott lemma, which plays a fundamental role in the symplectic geometry of Hamiltonian G-spaces. We discuss this lemma in detail and highlight the differences between the K-theory and rational cohomology versions of this lemma. We also introduce a K-theoretic version of equivariant formality and prove that when the fundamental group of G is torsion-free, every compact Hamiltonian G-space is equivariantly formal. Under these conditions, the forgetful map K_{G}^{*}(M) \to K^{*}(M) is surjective, and thus every complex vector bundle admits a stable equivariant structure. Furthermore, by considering complex line bundles, we show that every integral cohomology class in H^{2}(M;\Z) admits an equivariant extension in H_{G}^{2}(M;\Z).

Fibered Symplectic Cohomology and the Leray-Serre Spectral Sequence

Abstract: We define Symplectic cohomology groups for a class of symplectic fibrations with closed symplectic base and convex at infinity fiber. The crucial geometric assumption on the fibration is a negativity property reminiscent of negative curvature in complex vector bundles. When the base is symplectically aspherical we construct a spectral sequence of Leray-Serre type converging to the Symplectic cohomology groups of the total space, and we use it to prove new cases of the Weinstein conjecture.

Quantization of pre-quasi-symplectic groupoids and their Hamiltonian spaces

Abstract: We study the prequantization of pre-quasi-symplectic groupoids and their Hamiltonian spaces using S 1-gerbes. We give a geometric description of the integrality condition. As an application, we study the prequantization of the quasi-Hamiltonian G-spaces of Alekseev-Malkin-Meinrenken.

Fiberwise volume growth via Lagrangian intersections

Abstract: We consider Hamiltonian diffeomorphisms $\phi$ of the unit cotangent bundle over a closed Riemannian manifold $(M,g)$ which extend to Hamiltonian diffeomorphisms of $T^*M$ equal to the time-1-map of the geodesic flow for $|p| \ge 1$. For such diffeomorphisms we establish uniform lower bounds for the fiberwise volume growth of $\phi$ which were previously known for geodesic flows and which depend only on $(M,g)$ or on the homotopy type of $M$. More precisely, we show that for each $q \in M$ the volume growth of the unit ball in $T_q^*M$ under the iterates of $\phi$ is at least linear if $M$ is rationally elliptic, is exponential if $M$ is rationally hyperbolic, and is bounded from below by the growth of the fundamental group of $M$. In the case that all geodesics of $g$ are closed, we conclude that the slow volume growth of every symplectomorphism in the symplectic isotopy class of the Dehn--Seidel twist is at least 1, completing the main result of \cite{FS:GAFA}. The proofs use the Lagrangian Floer homology of $T^*M$ and the Abbondandolo--Schwarz isomorphism from this homology to the homology of the based loop space of $M$.

The correspondence between augmentations and rulings for Legendrian knots

Abstract: We strengthen the link between holomorphic and generating-function invariants of Legendrian knots by establishing a formula relating the number of augmentations of a knot's contact homology to the complete ruling invariant of Chekanov and Pushkar.

Minimality and irreducibility of symplectic four-manifolds

Abstract: We prove that all minimal symplectic four-manifolds are essentially irreducible. We also clarify the relationship between holomorphic and symplectic minimality of K\"ahler surfaces. This leads to a new proof of the deformation-invariance of holomorphic minimality for complex surfaces with even first Betti number which are not Hirzebruch surfaces.

A note on equivariant normal forms of Poisson structures

Abstract: We prove an equivariant version of the local splitting theorem for tame Poisson structures and Poisson actions of compact Lie groups. As a consequence, we obtain an equivariant linearization result for Poisson structures whose transverse structure has semisimple linear part of compact type.

A relative Seidel morphism and the Albers map

Abstract: In this note, we introduce a relative (or Lagrangian) version of the Seidel homomorphism that assigns to each homotopy class of paths in Ham(M), starting at the identity and ending on the subgroup that preserves a given Lagrangian submanifold L, an element in the Floer homology of L. We show that these elements are related to the absolute Seidel elements by the Albers map. We also study for later use, the effect of reversing the signs of the symplectic structure as well as the orientations of the generators and of the operations on the Floer homologies.

Convexity theorems for varieties invariant under a Borel subgroup

Abstract: Atiyah proved that the moment map image of the closure of an orbit of a complex torus action is convex. Brion generalized this result to actions of a complex reductive group. We extend their results to actions of a maximal solvable subgroup.

Notes on the contact Ozsvath--Szabo invariants

Abstract: We prove various results on contact structures obtained by contact surgery on a single Legendrian knot in the standard contact three--sphere. Our main tool are the contact Ozsvath--Szabo invariants.

Symplectic torus bundles and group extensions

Abstract: Symplectic torus bundles ξ : T 2 → E → B are classified by the second cohomology group of B with local coefficients H1(T 2). For B a com- pact, orientable surface, the main theorem of this paper gives a necessary and sufficient condition on the cohomology class corresponding to ξ for E to admit a symplectic structure compatible with the symplectic bundle structure of ξ: namely, that it be a torsion class. The proof is based on a group-extension- theoretic construction of J. Huebschmann, 1981. A key ingredient is the notion of fibrewise-localization.

Thompson’s conjecture for real semisimple Lie groups

Abstract: Aproof of Thompson’s conjecture for real semisimple Lie groups has been given by Kapovich, Millson, and Leeb. In this paper, we give another proof of the conjecture by using a theorem of Alekseev, Meinrenken, and Woodward from symplectic geometry.

Poisson Equivalence over a Symplectic Leaf

Abstract: We study the equivalence of Poisson structures around a given symplectic leaf of nonzero dimension. Some criteria of Poisson equivalence are derived from a homotopy argument for coupling Poisson structures. In the case when the transverse Lie algebra of the symplectic leaf is semisimple of compact type, we show that an obstruction to the linearizability is the cohomology class of a Casimir 2-cocycle. This allows us to obtain a semilocal analog of the Conn linearization theorem and to clarify examples of nonlinearizable Poisson structures due to \cite{DW}.

Geometric quantization and non-perturbative Poisson sigma model

Abstract: In this note we point out the striking relation between the conditions arising within geometric quantization and the non-perturbative Poisson sigma model. Starting from the Poisson sigma model, we analyze necessary requirements on the path integral measure which imply a certain integrality condition for the Poisson cohomology class $[\alpha]$. The same condition was considered before by Crainic and Zhu but in a different context. In the case when $[\alpha]$ is in the image of the sharp map we reproduce the Vaisman's condition for prequantizable Poisson manifolds. For integrable Poisson manifolds we show, with a different procedure than in Crainic and Zhu, that our integrality condition implies the prequantizability of the symplectic groupoid. Using the relation between prequantization and symplectic reduction we construct the explicit prequantum line bundle for a symplectic groupoid. This picture supports the program of quantization of Poisson manifold via symplectic groupoid. At the end we discuss the case of a generic coisotropic D-brane.

Circle and torus actions on equal symplectic blow-ups of CP^2

Abstract: A manifold obtained by k simultaneous symplectic blow-ups of CP^2 of equal sizes epsilon (where the size of CP^1 \subset CP^2 is one) admits an effective two dimensional torus action if k <= 3 and admits an effective circle action if (k-1)epsilon < 1. We show that these bounds are sharp if 1/epsilon is an integer.

On some completions of the space of Hamiltonian maps

Abstract: We study the completions of the space of Hamiltonian diffeomorphisms of the standard linear symplectic space, for Viterbo's distance and some others derived from it, we study their different inclusions and give some of their properties. In particular, we give a convergence criterion for these distances. This allows us to prove that the completions contain non-ordinary elements, as for example, discontinuous Hamiltonians. We also prove that some dynamical properties of Hamiltonian systems are preserved in the completions.

Dirac submanifolds of Jacobi manifolds

Abstract: The notion of a Dirac submanifold of a Poisson manifold studied by Xu is interpreted in terms of a general notion of tensor fields soldered to a normalized submanifold. This interpretation is used to define the notion of a Dirac submanifold of a Nambu—Poisson and Jacobi manifold. Several properties and examples are discussed.

Geometric invariants of fanning curves

Abstract: We study the geometry of an important class of generic curves in the Grassmannian manifolds of $n$-dimensional subspaces and Lagrangian subspaces of $R^{2n}$ under the action of the linear and linear symplectic group.