We prove that the norm-square of a moment map associated to a linear action
of a compact group on an affine variety satisfies a certain gradient
inequality. This allows us to bound the gradient flow, even if we do not assume
that the moment map is proper. We describe how this inequality can be extended
to hyperkahler moment maps in some cases, and use Morse theory with the
norm-squares of hyperkahler moment maps to compute the Betti numbers and
cohomology rings of all toric hyperkahler orbifolds.
In this article we study the problem of counting real curves in symplectic
manifolds with respect to a ?fixed point free involution. Orientation problem
in this case is new and has not been studied before. We will calcu- late some
examples of these invariants in three dimensional projective space and compare
them to the open Gromov-Witten invariants of $\mathbb{P}^3$ defi?ned via
counting J-holomorphic discs.
Let $\gamma$ be an $S^1$-subgroup in $Ham (M, \omega)$ generated by a Morse
Hamiltonian $H$. We give a simple proof of the conjecture stated in
\cite{virtmorse}, relating the Morse index of $ \gamma$, as a critical point of
the Hofer length functional, with the Conley Zehnder index of the extremizer
$x_{\max}$ of $ H$, considered as a periodic orbit of $H$.
Given two Lagrangian spheres in an exact symplectic manifold, we find
conditions under which the Dehn twists about them generate a free non-abelian
subgroup of the symplectic mapping class group. This extends a result of Ishida
for Riemann surfaces. The proof generalises the categorical version of Seidel's
long exact sequence to arbitrary powers of a fixed Dehn twist. We also show
that the Milnor fibre of any isolated degenerate hypersurface singularity
contains such pairs of spheres.
We answer the natural question: when are a regular Poisson structure along
with a complex structure transverse to its leaves induced by generalized
complex structure? The leafwise symplectic form and transverse complex
structure determine an obstruction class in a certain cohomology, which
vanishes if and only if our question has an affirmative answer. We first study
a component of this obstruction, which gives the condition that the leafwise
cohomology class of the symplectic form must be transversely pluriharmonic.
Let $J$ be an almost complex structure on a 4-dimensional and unimodular Lie
algebra $\mathfrak{g}$. We show that there exists a symplectic form taming $J$
if and only if there is a symplectic form compatible with $J$. We also
introduce groups $H^+_J(\mathfrak{g})$ and $H^-_J(\mathfrak{g})$ as the
subgroups of the Chevalley-Eilenberg cohomology classes which can be
represented by $J$-invariant, respectively $J$-anti-invariant, 2-forms on
$\mathfrak{g}$.
We compute the Floer cohomology of monotone tori in the Stein surfaces
obtained by a linear plumbing of cotangent bundles of spheres, also known as
the Milnor fibre associated with the complex surface singularity of type A_n.
We next study some finite quotients of the A_n Milnor fibre which coincide with
the Stein surfaces that appear in Fintushel and Stern's rational blowdown
construction.
Let $(X, \omega)$ be a compact symplectic manifold and $L$ be a Lagrangian
submanifold. Suppose $(X, L)$ has a Hamiltonian $S^1$ action with moment map
$\mu$. Take an invariant $\omega$-compatible almost complex structure, we
consider tuples $(C, P, A, \varphi)$ where $C$ is a smooth bordered Riemann
surface of fixed topological type, $P\to C$ is an $S^1$-principal bundle, $A$
is a connection on $P$ and $\varphi$ is a section of $P\times_{S^1} X$
satisfying $\ov\partial_A \varphi=0,\ \iota_\nu F_A+ \mu(\varphi)=c$ with
boundary condition $\varphi(\partial C) \subset P \times_{S^1} L$.
We give Chern-Weil definitions of the Maslov indices of bundle pairs over a
Riemann surface \Sigma with boundary, which consists of symplectic vector
bundle on \Sigma and a Lagrangian subbundle on \partial{\Sigma} as well as its
generalization for transversely intersecting Lagrangian boundary conditions. We
discuss their properties and relations to the known topological definitions. As
a main application, we extend Maslov index to the case with orbifold interior
singularites, via curvature integral, and find also an analogous topological
definition in these cases.
We present a Hamiltonian framework for higher-dimensional vortex filaments
(or membranes) and vortex sheets as singular 2-forms with support of
codimensions 2 and 1, respectively, i.e. singular elements of the dual to the
Lie algebra of divergence-free vector fields. It turns out that the localized
induction approximation (LIA) of the hydrodynamical Euler equation describes
the skew-mean-curvature flow on vortex membranes of codimension 2 in any
dimension, which generalizes the classical binormal, or vortex filament,
equation in 3D.
Let $M$ be an exact symplectic manifold with contact type boundary such that
$c_1(M)=0$. In this paper we show that the cyclic cohomology of the Fukaya
category of $M$ has the structure of an involutive Lie bialgebra.Inspired by a
work of Cieliebak-Latschev we show that there is a Lie bialgebra homomorphism
from the linearized contact homology of $M$ to the cyclic cohomology of the
Fukaya category. Our study is also motivated by string topology and
2-dimensional topological conformal field theory.
We find a non-displaceable Lagrangian torus fiber in a semi-toric system,
which is superheavy with respect to certain symplectic quasi-state. In
particular, this proves Lagrangian $\RR P^2$ is not a stem in $\CC P^2$,
answering a question of Entov and Polterovich.
We give an h-principle type result for a class of Legendrian embeddings in
contact manifolds of dimension at least 5. These Legendrians, referred to as
loose, have trivial pseudo-holomorphic invariants. We demonstrate they are
classified up to ambient contact isotopy by smooth embedding class equipped
with an almost complex framing. This result is inherently high dimensional:
analogous results in dimension 3 are false.
Let $M$ be a compact real-analytic manifold, equipped with a real-analytic
Riemannian metric $g,$ and let $\beta$ be a closed real-analytic 2-form on $M$,
interpreted as a magnetic field. Consider the Hamiltonian flow on $T^*M$ that
describes a charged particle moving in the magnetic field $\beta$. Following an
idea of T.
We study symplectic embeddings of ellipsoids into balls. In the main
construction, we show that a given embedding of 2m-dimensional ellipsoids can
be suspended to embeddings of ellipsoids in any higher dimension. In dimension
6,s if the ratio of the areas of any two axes is sufficiently large then the
ellipsoid is flexible in the sense that it fully fills a ball. We also show
that the same property holds in all dimensions for sufficiently thin ellipsoids
E(1,..., a).
We prove Homological Mirror Symmetry for a smooth d-dimensional Calabi-Yau
hypersurface in projective space, for any d > 2 (for example, d = 3 is the
quintic three-fold).
We prove Conjecture 1.1 in [Chan-Lau-Leung] for toric Calabi-Yau manifolds of
the form $K_Y$ where $Y$ is a toric Fano manifold. In particular, we show that
the coefficients of the Taylor series expansions of the inverse mirror map for
$K_Y$ can be expressed in terms of disk open Gromov-Witten invariants defined
by Fukaya-Oh-Ohta-Ono.
We derive a relative version of the slicing Bennequin inequalities for
cobordant Legendrian knots, and review a few proofs of the result.
We prove that any closed connected exact Lagrangian manifold L in a connected
cotangent bundle T*N is up to a finite covering space lift a homology
equivalence. We prove this by constructing a fibrant parametrized family of
ring spectra FL parametrized by the manifold N. The homology of FL will be
(twisted) symplectic cohomology of T*L. The fibrancy property will imply that
there is a Serre spectral sequence converging to the homology of FL and the
product combined with intersection product on N induces a product on this
spectral sequence.
We study constructions of vector fields with properties which are
characteristic to Reeb vector fields of contact forms. In particular, we prove
that all closed oriented odd-dimensional manifold have geodesible vector
fields.
Consider a Stein manifold M obtained by plumbing cotangent bundles of
manifolds of dimension greater than or equal to 3 at points. We prove that the
Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is
generated by the compact cores of the plumbing.
For a Legendrian knot L in R^3 with a chosen Morse complex sequence (MCS) we
construct a differential graded algebra (DGA) whose differential counts "chord
paths" in the front projection of L. The definition of the DGA is motivated by
considering Morse-theoretic data from generating families. In particular, when
the MCS arises from a generating family we give a geometric interpretation of
our chord paths as certain broken gradient trajectories which we call "gradient
staircases". Given two equivalent MCS's we prove the corresponding linearized
complexes of the DGA are isomorphic.
The restricted planar three-body problem has a rich history, yet many
unanswered questions still remain. In the present paper we prove the existence
of a global surface of section near the smaller body in a new range of energies
and mass ratios for which the Hill's region still has three connected
components. The approach relies on recent global methods in symplectic geometry
and contrasts sharply with the perturbative methods used until now.
This is a sequel to [OZ1] in which we studied the adiabatic degeneration of
Floer trajectories to "disk-flow-disk" configurations and the recovering
gluing, where the gradient flow part had length 0. In the present paper we
study the case when the gradient flow part has a positive length. Unlike the
standard gluing problem, we study the problem of gluing 1-dimensional gradient
segments and 2-dimensional (perturbed) J-holomorphic curves.
In the spectral theory of positive elliptic operators, an important role is
played by certain smoothing kernels, related to the Fourier transform of the
trace of a wave operator, which may be heuristically interpreted as smoothed
spectral projectors asymptotically drifting to the right of the spectrum. In
the setting of Toeplitz quantization, we consider analogues of these, where the
wave operator is replaced by the Hardy space compression of a linearized
Hamiltonian flow, possibly composed with a family of zeroth order Toeplitz
operators.
We prove that completely integrable systems are normalisable in the C
infinity category near focus-focus singularities.
For $g>0$, we construct $g+1$ Legendrian embeddings of a surface of genus $g$
into $J^1(R^2)=R^5$ which lie in pairwise distinct Legendrian isotopy classes
and which all have $g+1$ transverse Reeb chords ($g+1$ is the conjecturally
minimal number of chords). Furthermore, for $g$ of the $g+1$ embeddings the
Legendrian contact homology DGA does not admit any augmentation over $Z/2Z$,
and hence cannot be linearized. We also investigate these surfaces from the
point of view of the theory of generating families.
We study the local symplectic algebra of the 1-dimensional isolated complete
intersection singularity of type S{\mu}. We use the method of algebraic
restrictions to classify symplectic S{\mu} singularities. We distinguish these
symplectic singularities by discrete symplectic invariants. We also give the
geometric description of them.
We reduce the computation of Poisson traces on quotients of symplectic vector
spaces by finite subgroups of symplectic automorphisms to a finite one, by
proving several results which bound the degrees of such traces as well as the
dimension in each degree. This applies more generally to traces on all
polynomial functions which are invariant under invariant Hamiltonian flow.
We exhibit many examples of closed symplectic manifolds on which there is an
autonomous Hamiltonian whose associated flow has no nonconstant periodic orbits
(the only previous explicit example in the literature was the torus T^2n (n\geq
2) with an irrational symplectic structure).
Let the circle act in a Hamiltonian fashion on a compact symplectic manifold
$(M, \omega)$. Assume that the fixed point set $M^{S^1}$ has exactly two
components, $X$ and $Y$. We first show that, if $\dim(X) + \dim(Y) +2 =
\dim(M)$, then $M$ is simply connected. Using this result and the results in
\cite{LT} on the integral cohomology ring and the Chern classes of $M$, we
obtain further classification results for such manifolds using techniques from
surgery theory. In particular, we prove that up to diffeomorphism there are at
most finitely many such manifolds in each dimension.
In this paper, we generalize Medos-Wang's arguments and results on the mean
curvature flow deformations of symplectomorphisms of $\CP^n$ in \cite{MeWa} to
complex Grassmann manifold $G(n, n+m;\C)$ and compact totally geodesic
K\"ahler-Einstein submanifolds of $G(n, 2n;\C)$ such as irreducible Hermitian
symmetric spaces $SO(2n)/U(n)$ and $Sp(n)/U(n)$ (in the terminology of \cite[p.
518]{He}). Our pinched condition is weaker, even if for $\CP^n$. We also give
an abstract result and discuss the case of complex tori.
We extend the Local-to-Global-Principle used in the proof of convexity
theorems for momentum maps to not necessarily closed maps whose target space
carries a convexity structure which need not be based on a metric. Using a new
factorization of the momentum map, convexity of its image is proved without
local fiber connectedness, and for almost arbitrary spaces of definition.
In this paper we study Lagrangian Floer theory on toric manifolds from the
point of view of mirror symmetry. We construct a natural isomorphism between
the Frobenius manifold structures of the (big) quantum cohomology of the toric
manifold and of Saito's theory of singularities of the potential function
constructed in \cite{fooo09} via the Floer cohomology deformed by ambient
cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten
theory of one-loop.
In this short note we give a complete characterization of a certain class of
compact corank one Poisson manifolds, those equipped with a closed one-form
defining the symplectic foliation and a closed two-form extending the
symplectic form on each leaf. If such a manifold has a compact leaf, then all
the leaves are compact, and furthermore the manifold is a mapping torus of a
compact leaf. These manifolds and their regular Poisson structures admit an
extension as the critical hypersurface of a b-Poisson manifold as we consider
in another paper.
Given a closed, oriented surface, possibly with boundary, and a mapping
class, we obtain sharp lower bounds on the number of fixed points of a surface
symplectomorphism (i.e. area-preserving map) in the given mapping class, both
with and without nondegeneracy assumptions on the fixed points. This
generalizes the Poincar\'e-Birkhoff fixed point theorem to arbitrary surfaces
and mapping classes. These bounds often exceed those for non-area-preserving
maps.
In this note we discuss the effect of the symplectic sum along spheres in
symplectic four-manifolds on the Kodaira dimension of the underlying symplectic
manifold. We find that the Kodaira dimension is non-decreasing. Moreover, we
are able to obtain precise results on the structure of the manifold obtained
from the blow down of an embedded symplectic -4-sphere.
The objective of this note is to prove the existence result for brake orbits
in classical Hamiltonian systems (which is first proved by Bolotin) by using
Floer theory. To this end, we compute an open string analogue of symplectic
homology (so called wrapped Floer homology) of some domains in cotangent
bundles, which appear naturally in study of classical Hamiltonian systems. The
main part of the computations is to show invariance of wrapped Floer homology
under certain handle attaching to domains.
We study the class of norms on the space of smooth functions on a closed
symplectic manifold, which are invariant under the action of the group of
Hamiltonian diffeomorphisms. Our main result shows that any such norm that is
continuous with respect to the $C^{\infty}$-topology, is dominated from above
by the $L_{\infty}$-norm.
In this work we present a construction for symplectically reducing
quasi-morphisms on the universal cover $\widetilde{Ham}(M)$ of the Hamiltonian
group for certain symplectic K\"ahler manifolds, to quasi-morphisms on
$\widetilde{Ham}(\Si)$, where $\Si$ is a complex hypersurface of $M$. Along the
way we show that quasi-morphisms on $\widetilde{Ham}(M)$ that arise from
spectral invariants are the Calabi homomorphism when restricted to Hamiltonians
supported on stably displaceable sets.
We use symplectic cohomology to study the non-uniqueness of symplectic
structures on the smooth manifolds underlying affine varieties. Starting with a
Lefschetz fibration on such a variety and a finite set of primes, the main new
tool is a method, which we call homologous recombination, for constructing a
Lefschetz fibration whose total space is smoothly equivalent to the original
variety, but for which symplectic cohomology with coefficients in the given set
of primes vanishes (there is also a simpler version that kills symplectic
cohomology completely).
We give some generalizations of Gromov's theorems on K-area, particularly in
the symplectic and Hamiltonian context. Our main methods involve Gromov-Witten
theory and previously defined quantum characteristic classes.
The Runge approximation theorem for holomorphic maps (U -> C) is a
fundamental result in complex analysis. The aim of this article is to prove
such a result for (pseudo-)holomorphic maps from a compact Riemann surface to a
compact (almost-)complex manifold M under certain assumptions. Though the
setting is definitively that of pseudo-holomorphic maps it also covers some
complex varieties.
There is a classical relationship in algebraic geometry between a
hyperelliptic curve and an associated pencil of quadric hypersurfaces. We
investigate symplectic aspects of this relationship, with a view to
applications in low-dimensional topology. We construct a derived equivalence
between the Fukaya category of a curve and the nilpotent summand of the Fukaya
category of the associated complete intersection of two quadrics. This
essentially determines the instanton Floer homology of a 3-manifold fibred by
genus two curves.
Rabinowitz Floer homology has been investigated on a submanifold of contact
type. The contact condition, however, is quite restrictive. For example, a
product of contact hypersurfaces is rarely of contact type. In this article, we
study Rabinowitz Floer homology for a class of non-contact submanifolds. We
show for this example that there are infinitely many leafwise intersection
points by proving a K\"unneth formula for Rabinowitz Floer homology.
We discuss a correspondence between certain contact pairs on the one hand,
and certain locally conformally symplectic forms on the other. In particular,
we characterize these structures through suspensions of contactomorphisms. If
the contact pair is endowed with a normal metric, then the corresponding lcs
form is locally conformally Kaehler, and, in fact, Vaisman. This leads to
classification results for normal metric contact pairs.
In this paper we discuss the change in contact structures as their supporting
open book decompositions have their binding components cabled. To facilitate
this and applications we define the notion of a rational open book
decomposition that generalizes the standard notion of open book decomposition
and allows one to more easily study surgeries on transverse knots. As a
corollary to our investigation we are able to show there are Stein fillable
contact structures supported by open books whose monodromies cannot be written
as a product of positive Dehn twists.
We prove that Hamiltonian characteristic classes defined as fibre integrals
of powers of the coupling class are algebraically independent for generic
coadjoint orbits.
One constructs lagrangian fibrations on the flag variety $F^3$ and proves
that the fibrations are special.
In this paper we consider aspherical manifolds with torsion-free virtually
polycyclic fundamental groups, constructed by Baues. We prove that if those
manifolds are cohomologically symplectic then they are symplectic. As a
corollary cohomologically symplectic solvmanifolds are symplectic.
Given a front projection of a Legendrian knot $K$ in $\mathbb{R}^{3}$ which
has been cut into several pieces along vertical lines, we assign a differential
graded algebra to each piece and prove a van Kampen theorem describing the
Chekanov-Eliashberg invariant of $K$ as a pushout of these algebras. We then
use this theorem to construct maps between the invariants of Legendrian knots
related by certain tangle replacements, and to describe the linearized contact
homology of Legendrian Whitehead doubles.
Twist tori are examples of exotic monotone lagrangian tori, presented in [1].
This tree of examples grew up over the first one --- the torus $\Theta \in
\R^4$, constructured in [2] and [3]. On the other hand, in [4] and [5] we
proposed a new structure which generalizes the notion of toric structure. One
calls this generalization pseudo toric structure, and several examples were
given which show that certain toric symplectic manifolds can carry the structre
and that certain non toric symplectic manifolds do the same.
This thesis studies the pre-quantization of quasi-Hamiltonian group actions
from a cohomological viewpoint. The compatibility of pre-quantization with
symplectic reduction and the fusion product are established, and are used to
understand the sufficient conditions for the pre-quantization of $M_G(\Sigma)$,
the moduli space of flat $G$-bundles over a closed surface $\Sigma$. For a
simply connected, compact, simple Lie group $G$, $M_G(\Sigma)$ is known to be
pre-quantizable at integer levels.
We show that for any convex surface S in a contact 3-manifold, there exists a
metric on S and a neighbourhood contact isotopic to $S \times I$ with contact
structure given as $\ker(ud - \star du)$ where u is an eigenfunction of the
Laplacian on S, and $\star$ is the Hodge star from the metric on $S$. This
answers a question posed by Komendarczyk.
We prove homological mirror symmetry for Lefschetz fibrations obtained as
disconnected sums of polynomials of types A or D. The proof is based on the
behavior of the Fukaya category under the addition of a polynomial of type D.
We study the infinitesimal aspects of the following problem. Let H be a
Hamiltonian of \R^{2n} whose energy surface {H=1} encloses a compact starshaped
domain of volume equal to that of the unit ball in \R^{2n}. Does the energy
surface {H=1} carry a periodic orbit of the Hamiltonian system associated to H
with action less than or equal to \pi ?
The study of fixed points is a classical subject in geometry and dynamics. If
the circle acts in a Hamiltonian fashion on a compact symplectic manifold M,
then it is classically known that there are at least 1 + dim(M)/2 fixed points;
this follows from Morse theory for the momentum map of the action.
We consider Open Gromov-Witten invariants for noncompact Calabi-Yau in the
case the Lagrangian has the topology of $\R^2 \times S^1$. The definition of
the invariant involves the choice of a frame for the Lagrangian, in accord with
string theory.
Our result applies to the examples arising from Large $N$-duality. In
particular it leads to knot and link invariants counting holomorphic curves.
This paper deals with multiplicity of rotation type solutions for Hamiltonian
systems on $T^\ell\times \mathbb{R}^{2n-\ell}$. It is proved that, for every
spatially periodic Hamiltonian system, i.e., the case $\ell=n$, there exist at
least $n+1$ geometrically distinct rotation type solutions with given energy
rotation vector.
We show that any simple holomorphic disc admits the annulus property, i.e.,
each interior point is surrounded by an arbitrary small annulus consisting
entirely of injective points. As an application we show that interior
singularities of holomorphic discs can be resolved after slight perturbation of
the involved almost complex structure. Moreover, for boundary points the
analogue notion, the half-annulus property, is introduced and studied in
detail.
We review first Azumaya geometry and D-branes in the realm of algebraic
geometry along the line of Polchinski-Grothendieck Ansatz from our earlier work
and then use it as background to introduce Azumaya $C^{\infty}$-manifolds with
a fundamental module and morphisms therefrom to a projective complex manifold.
This gives us a description of D-branes of A-type. Donaldson's picture of
Lagrangian and special Lagrangian submanifolds as selected from the zero-locus
of a moment map on a related space of maps can be merged into the setting.
We consider a manifold endowed with a certain geometric structure -- a higher
analogue of Dirac structure -- and associate to it a Lie 2-algebra (a
particular kind of L-infinity algebra). This extends recent work of Baez,
Hoffnung and Rogers on multisymplectic forms. We make some observations on
higher analogues of Courant algebroids and on the relation to the L-infinity
algebras associated to them.
In this paper we generalize the Rabinowitz Floer theory which has been
established in the hypersurfaces case. We apply it to the coisotropic
intersection problem which interpolates between the Lagrangian intersection
problem and the closed orbit problem. More specifically, we study leafwise
intersections on a contact submanifold and the displacement energy of a stable
submanifold. Moreover we prove that the Rabinowitz action functional is
generically Morse, so that Rabinowitz Floer homology is well-defined.
In her PhD thesis Milin developed an equivariant version of the contact
homology groups constructed by Eliashberg, Kim and Polterovich and used it to
prove an equivariant contact non-squeezing theorem. In this article we
re-obtain the same result in the setting of generating functions, starting from
the homology groups studied in arXiv:0901.3112. As Milin showed, this result
implies orderability of lens spaces.
This survey wants to give a short introduction to the transversality problem
in symplectic field theory and motivate to approach it using the new Fredholm
theory by Hofer, Wysocki and Zehnder. With this it should serve as a lead-in
for the user's guide to polyfolds, which will appear soon and is the result of
a working group organized by J. Fish, R. Golovko and the author at MSRI
Berkeley in fall 2009.
We compute the sheaf of automorphisms of a multiplicity free Hamiltonian
manifold over its momentum polytope and show that its higher cohomology groups
vanish. Together with a theorem of Losev, arXiv:math/0612561, this implies a
conjecture of Delzant: a compact multiplicity free Hamiltonian manifold is
uniquely determined by its momentum polytope and its principal isotropy group.
In this article we prove that for a smooth fiberwise convex Hamiltonian, the
asymptotic Hofer distance from the identity gives a strict upper bound to the
value at 0 of Mather's $\beta$ function, thus providing a negative answer to a
question asked by K. Siburg in \cite{Siburg1998}. However, we show that
equality holds if one considers the asymptotic distance defined in
\cite{Viterbo1992}.
Kontsevich and Soibelman has proved a relation between a non-degenerate
cyclic homology element of an A-infinity algebra A and its cyclic inner
products on the minimal model of A. We find an explicit formula of this
correspondence, in terms of the strong homotopy inner products and negative
cyclic cohomology of A. We prove that an equivalence class of the induced
strong homotopy inner product depends only on the given negative cyclic
cohomology class. Also, we extend such a correspondence to the case of gapped
filtered A-infinity algebras.
Schwarz showed that when a closed symplectic manifold (M,\om) is
symplectically aspherical (i.e. the symplectic form and the first Chern class
vanish on \pi_2(M)) then the spectral invariants, which are initially defined
on the universal cover of the Hamiltonian group, descend to the Hamiltonian
group Ham (M,\om). In this note we describe less stringent conditions on the
Chern class and quantum homology of M under which the (asymptotic) spectral
invariants descend to Ham (M,\om).
We prove that on a restricted contact type hypersurface the number of
leaf-wise intersections is bounded from below by a certain cup-length.
We consider Lagrangian Floer cohomology for a pair of Lagrangian submanifolds
in a symplectic manifold M. Suppose that M carries a symplectic involution,
which preserves both submanifolds. Under various topological hypotheses, we
prove a localization theorem for Floer cohomology, which implies a Smith-type
inequality for the Floer cohomology groups in M and its fixed point set. Two
applications to symplectic Khovanov cohomology are included.
In 1997, Chekanov gave the first example of a Legendrian nonsimple knot type:
the m(5_2) knot. Epstein, Fuchs, and Meyer extended his result by showing that
there are at least n different Legendrian representatives of the m((2n+1)_2)
knot with maximal Thurston-Bennequin number. In this paper we give a complete
classification of Legendrian and transverse representatives of twist knots.
In this article, using the idea of toric degeneration and the computation of
the full potential function of Hirzebruch surface $F_2$, which is \emph{not}
Fano, we produce a continuum of Lagrangian tori in $S^2 \times S^2$ which are
non-displaceable under the Hamiltonian isotopy.
In this paper, we generalize construction of Seidel's long exact sequence of
Lagrangian Floer cohomology to that of compact Lagrangian submanifolds with
vanishing Malsov class on general Calabi-Yau manifolds. We use the framework of
anchored Lagrangian submanifolds developed in \cite{fooo:anchor} and some
compactness theorem of \emph{smooth} $J$-holomorphic sections of Lefschetz
Hamiltonian fibration for a generic choice of $J$.
Consider the cotangent bundle of a Riemannian manifold $(M,g)$ endowed with a
twisted symplectic structure defined by a closed weakly exact 2-form $\sigma$
on $M$ whose lift to the universal cover of $M$ admits a bounded primitive. We
compute the Rabinowitz Floer homology of energy hypersurfaces
$\Sigma_{k}=H^{-1}(k)$ of mechanical (kinetic energy + potential) Hamiltonians
$H$ for the case when the energy value k is greater than the Mane critical
value c.
We introduce the notion of a tropical coamoeba which gives a combinatorial
description of the Fukaya category of the mirror of a toric Fano stack. We show
that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra
gives a tropical coamoeba for the mirror of the projective space, and use it to
prove a torus-equivariant version of homological mirror symmetry for the
projective space. As a corollary, we obtain homological mirror symmetry for
toric orbifolds of the projective space.
Given a collection of exact Lagrangians in a Liouville manifold, we construct
a map from the Hochschild homology of the Fukaya category that they generate to
symplectic cohomology. Whenever the identity in symplectic cohomology lies in
the image of this map, we conclude that every Lagrangian lies in the idempotent
closure of the chosen collection. The main new ingredients are (1) the
construction of operations controlled by discs with two outputs on the Fukaya
category, and (2) the Cardy relation.
We use contact fiber sums of open book decompositions to define an infinite
hierarchy of filling obstructions for contact 3-manifolds, known as planar
$k$-torsion for integers $k \ge 0$, all of which cause the contact invariant in
Embedded Contact Homology to vanish. Planar 0-torsion is equivalent to
overtwistedness, while every contact manifold with Giroux torsion also has
planar 1-torsion, and we give examples of contact manifolds that have planar
$k$-torsion for any $k \ge 2$ but no Giroux torsion, leading to many new
examples of nonfillable contact manifolds.
Rabinowitz Floer homology is the semi-infinite dimensional Morse homology
associated to the Rabinowitz action functional used in the pioneering work of
Rabinowitz. Gradient flow lines are solutions of a vortex-like equation. In
this survey article we describe the construction of Rabinowitz Floer homology
and its applications to symplectic and contact topology, global Hamiltonian
perturbations and the study of magnetic fields.
A real Bott manifold is the total space of an iterated $\RP ^1$-bundles over
a point, where each $\RP^1$-bundle is the projectivization of a Whitney sum of
two real line bundles. In this paper, we characterize real Bott manifolds which
admit a symplectic form. In particular, it turns out that a real Bott manifold
admits a symplectic form if and only if it is cohomologically symplectic. In
this case, it admits even a K\"{a}hler structure. We also prove that any
symplectic cohomology class of a real Bott manifolds can be represented by a
symplectic form.
We present a discrete analog of the recently introduced Hamilton-Pontryagin
variational principle in Lagrangian mechanics. This unifies two, previously
disparate approaches to discrete Lagrangian mechanics: either using the
discrete Lagrangian to define a finite version of Hamilton's action principle,
or treating it as a symplectic generating function. This is demonstrated for a
discrete Lagrangian defined on an arbitrary Lie groupoid; the often encountered
special case of the pair groupoid (or Cartesian square) is also given as a
worked example.
We study the local symplectic algebra of curves. We use the method of
algebraic restrictions to classify symplectic $T_7$ singularities. We define
discrete symplectic invariants - the Lagrangian tangency orders. We use these
invariants to distinguish symplectic singularities of classical $A-D-E$
singularities of planar curves, $S_5$ singularity and $T_7$ singularity. We
also give the geometric description of these symplectic singularities.
In [EH89, Theorem 1] Ekeland-Hofer prove that for a centrally symmetric,
restricted contact type hypersurface in R^{2n} and for any global, centrally
symmetric Hamiltonian perturbation there exists a leaf-wise intersection point.
In this note we show that if we replace restricted contact type by star-shaped
there exists infinitely many leaf-wise intersection points or a leaf-wise
intersection point on a closed characteristic.
Infinite dimensional Hamiltonian systems appear naturally in the rich
algebraic structure of Symplectic Field Theory. Carefully defining a
generalization of gravitational descendants and adding them to the picture, one
can produce an infinite number of symmetries of such systems .
Spectral invariant were introduced in Hamiltonian Floer homology by Viterbo,
Oh, and Schwarz. We extend this concept to Rabinowitz Floer homology. As an
application we derive new quantitative existence results for leaf-wise
intersections. The importance of spectral invariants for the presented
application is that spectral invariants allow us to derive existence of
critical points of the Rabinowitz action functional even in degenerate
situations where the functional is not Morse.
We prove using symplectic field theory that if the suspension of a hyperbolic
diffeomorphism of the two-torus Lagrangian embeds in a closed uniruled
symplectic six-manifold, then its image contains the boundary of a symplectic
disc with vanishing Maslov index. This prevents such a Lagrangian submanifold
to be monotone, for instance the real locus of a smooth real Fano manifold. It
also prevents any Sol manifold to be in the real locus of an orientable real
Del Pezzo fibration over a curve, confirming an expectation of J.
We describe families of monotone symplectic manifolds constructed via the
symplectic cutting procedure of Lerman from the cotangent bundle of manifolds
endowed with a free circle action. We also give obstructions to the monotone
Lagrangian embedding of some compact manifolds in these symplectic manifolds.
We consider contact structures on simply-connected 5-manifolds which arise as
circle bundles over simply-connected symplectic 4-manifolds and show that
invariants from contact homology are related to the divisibility of the
canonical class of the symplectic structure. As an application we find new
examples of inequivalent contact structures in the same equivalence class of
almost contact structures with non-zero first Chern class.
We relate previously defined quantum characteristic classes to Morse
theoretic aspects of the Hofer length functional on $\ls$. As an application we
prove a theorem which can be interpreted as stating that this functional
behaves "virtually" as a perfect Morse-Bott functional with a flow. This can be
applied to study topology and Hofer geometry of $ \text {Ham}(M, \omega)$. We
also use this to give a prediction for the index of some geodesics for this
functional, which was recently partially verified by Yael Karshon and Jennifer
Slimowitz.
In this paper we explore loops of non-autonomous Hamiltonian diffeomorphisms
with degenerate fixed maxima. We show that such loops can not have totally
degenerate fixed global maxima. This has applications for the Hofer geometry of
the group of Hamiltonians for certain symplectic 4 manifolds and also gives
criteria for certain 4 manifolds to be uniruled.
We prove that an arbitrary Poisson structure omega^{ij}(u) and an arbitrary
closed 3-form T_{ijk}(u) generate the local Poisson structure A^{ij}(u,u_x) =
M^i_s(u,u_x)omega^{sj}(u), where M^i_s(u,u_x)(delta^s_j +
omega^{sp}(u)T_{pjk}(u)u^k_x) = delta^i_j, on the corresponding loop space. We
obtain also a special graded epsilon-deformation of an arbitrary Poisson
structure omega^{ij}(u) by means of an arbitrary closed 3-form T_{ijk}(u).
Symplectic Khovanov homology is an invariant of oriented links defined by
Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I
define morphisms (up to a global sign ambiguity) between symplectic Khovanov
homology groups, corresponding to isotopy classes of smooth link cobordisms in
4D between a fixed pair of links. These morphisms define a functor from the
category of links and such cobordisms to the category of abelian groups and
group homomorphisms up to a sign ambiguity.
Here we develop some basic analytic tools to study compactness properties of
$J$-curves (i.e.
We prove a version of Gromov's compactness theorem for pseudo-holomorphic
curves which holds locally in the target symplectic manifold. This result
applies to sequences of curves with an unbounded number of free boundary
components, and in families of degenerating target manifolds which have
unbounded geometry (e.g. no uniform energy threshold). Core elements of the
proof regard curves as submanifolds (rather than maps) and then adapt methods
from the theory of minimal surfaces.
This (partially expository) paper discusses Lagrangian Floer cohomology in
the context of Lefschetz fibrations, with emphasis on the algebraic structures
encountered there. In addition to the well-known directed A_infinity algebras
which appear in this situation, one has additional information encoded in a
certain bimodule homomorphism. There are two approaches to constructing this
homomorphism: in terms of the (noncompact) Lefschetz thimbles in the total
space, or else in terms of vanishing cycle in the fibre.
In this short note, we compute the Betti numbers of the moduli stack of flat
SU(3)-bundles over a Klein bottle. We also handle the general compact group
case over RP^2. In all cases the cohomology is found to be equivariantly
formal, supporting a conjecture from the author's doctoral thesis. Our results
also verify conjectural formulas obtained by Ho-Liu using Yang-Mills Morse
theory.
Starting from the work of Bhupal, we extend to the contact case the Viterbo
capacity and Traynor's construction of symplectic homology. As an application
we get a new proof of the Non-Squeezing Theorem of Eliashberg, Kim and
Polterovich.
We use Bott periodicity to relate previously defined quantum classes to
certain "exotic Chern classes" on $BU$. This provides a remarkable
computational and theoretical framework for some Gromov-Witten invariants
connected with cohomological field theories, and is intimately connected to
study of Gromov K-area, to be discussed in future joint work with Polterovich.
We assign to each nondegenerate Hamiltonian on a closed symplectic manifold a
Floer-theoretic quantity called its "boundary depth," and establish basic
results about how the boundary depths of different Hamiltonians are related. As
applications, we prove that certain Hamiltonian symplectomorphisms supported in
displaceable subsets have infinitely many nontrivial geometrically distinct
periodic points, and we also significantly expand the class of coisotropic
submanifolds which are known to have positive displacement energy.
We prove that a certain bilinear pairing (analagous to the Poincare-Lefschetz
intersection pairing) between filtered sub- and quotient complexes of a
Floer-type chain complex and of its "opposite complex" is always nondegenerate
on homology. This implies a duality relation for the Oh-Schwarz-type spectral
invariants of these complexes which (in Hamiltonian Floer theory) was
established in the special case that the period map has discrete image by Entov
and Polterovich.
The main purpose of the present paper is a study of orientations of the
moduli spaces of pseudo-holomorphic discs with boundary lying on a \emph{real}
Lagrangian submanifold, i.e., the fixed point set of an anti-symplectic
involutions $\tau$ on a symplectic manifold. We introduce the notion of
$\tau$-relatively spin structure for an anti-symplectic involution $\tau$, and
study how the orientations on the moduli space behave under the involution
$\tau$. We also apply this to the study of Lagrangian Floer theory of real
Lagrangian submanifolds.
We prove that the moduli space of gauge equivalence classes of symplectic
vortices with uniformly bounded energy in a compact Hamiltonian manifold admits
a Gromov compactification by polystable vortices. This extends results of
Mundet i Riera and Tian for circle actions to the case of arbitrary compact Lie
groups. Our argument relies on an a priori estimate for vortices that allows us
to apply techniques used by McDuff and Salamon in their proof of Gromov
compactness for pseudoholomorphic curves. As an intermediate result we prove a
removable singularity theorem for vortices.
A presymplectic structure on odd dimensional manifold is given by a closed
2-form which is nondegenerate, i.e., of maximal rank. We investigate geometry
of presymplectic manifolds. Some basic theorems analogous to those in
symplectic and contact topology are given and applied to study constructions of
presymplectic manifolds. In particular, we describe how to glue presymplectic
manifolds along a presymplectic submanifold, including surgery along a
presymplectic circles.
We prove a generalization of the Conley conjecture: Every Hamiltonian
diffeomorphism of a closed symplectic manifold has infinitely many periodic
orbits if the first Chern class vanishes over the second fundamental group. In
particular, we this removes the rationality condition from similar results. The
proof in the irrational case involves several new ideas including the
definition and the properties of the filtered Floer homology for Hamiltonians
on irrational manifolds.
We associate an A-infinity category with a dimer model, and show that it is
derived-equivalent to the category of representations of the quiver with
relations associated with the dimer model if the dimer model is consistent. We
also associate an exact Lefschetz fibration with a pair of a dimer model and an
internal perfect matching on it, and use it to prove a version of homological
mirror symmetry for two-dimensional toric Fano stacks.
Scale spaces were defined by H.Hofer, K.Wysocki, and E.Zehnder. In this note
we introduce a subclass of scale spaces and explain why we believe that this
subclass is the right class for a general setup of Floer theory.
We show that the Hamiltonian Lagrangian monodromy group, in its homological
version, is trivial for any weakly exact Lagrangian submanifold of a symplectic
manifold. The proof relies on a sheaf approach to Floer homology given by a
relative Seidel morphism.
These lectures centered around the Kempf-Ness theorem, which describes the
equivalence between notions of quotient in symplectic and algebraic geometry.
The text also describes connections to invariant theory, such work of Knutson,
Tao, and the author on existence of invariants in tensor produces of simple
GL(n)-modules, and Teleman's improved version of quantization commutes with
reduction.
This paper calculates the function $c(a)$ whose value at $a$ is the infimum
of the size of a ball that contains a symplectic image of the ellipsoid
$E(1,a)$. (Here $a \ge 1$ is the ratio of the area of the large axis to that of
the smaller axis.) The structure of the graph of $c(a)$ is surprisingly rich.
The volume constraint implies that $c(a)$ is always greater than or equal to
the square root of $a$, and it is not hard to see that this is equality for
large $a$.
We further study the Seidel-Smith invariant of links and tangle. We associate
homomorphisms to elementary cobordisms between tangles and equip the invariant
assigned to an $(m,n)$-tangle with an $(H^m,H^n)$-bimodule structure. We also
obtain an exact triangle for the Seidel-Smith invariant similar to that of
Khovanov.
We define relative Ruan invariants that count embedded connected symplectic
submanifolds which contact a fixed stable symplectic hypersurface V in a
symplectic 4-manifold (X,w) at prescribed points with prescribed contact orders
(in addition to insertions on X\V) for stable V. We obtain invariants of the
deformation class of (X,V,w). Two large issues must be tackled to define such
invariants: (1) Curves lying in the hypersurface V and (2) genericity results
for almost complex structures constrained to make V pseudo-holomorphic (or
almost complex).
In this paper we attempt a self-contained approach to infinite dimensional
Hamiltonian systems appearing from holomorphic curve counting in Gromov-Witten
theory. It consists of two parts. The first one is basically a survey of
Dubrovin's approach to bihamiltonian tau-symmetric systems and their relation
with Frobenius manifolds. We will mainly focus on the dispersionless case, with
just some hints on Dubrovin's reconstruction of the dispersive tail. The second
part deals with the relation of such systems to rational Gromov-Witten and
Symplectic Field Theory.
The theorem of Chekhanov asserts that a Lagrangian submanifold L has positive
displacement energy under natural assumptions on the symplectic topology at
infinity. It is greater than or equal to the minimal area of holomorphic disks
bounded by L. This estimate was obtained by Y.V. Chekhanov in 1998. Section 1
presents a direct proof based on the use of holomorphic curves and their
Hamiltonian perturbations. In section 2, we define a filtered version of the
Lagrangian Floer homology, without any assumption on L.
We prove that the derived Fukaya category of the Lefschetz fibration defined
by a Brieskorn-Pham polynomial is equivalent to the triangulated category of
singularities associated with the same polynomial together with a grading by an
abelian group of rank one. Symplectic Picard-Lefschetz theory developed by
Seidel is an essential ingredient of the proof.
The aim of this paper is to address the following question: given a contact
manifold $(\Sigma, \xi)$, what can be said about the aspherical symplectic
manifolds $(W, \omega)$ bounded by $(\Sigma, \xi)$ ? We first extend a theorem
of Eliashberg, Floer and McDuff to prove that under suitable assumptions the
map from $H_{*}(\Sigma)$ to $H_{*}(W)$ induced by inclusion is surjective. We
then apply this method in the case of contact manifolds having a contact
embedding in $ {\mathbb R}^{2n}$ or in a subcritical Stein manifold.
Quantization problems suggest that the category of symplectic manifolds and
symplectomorphisms be augmented by the inclusion of canonical relations as
morphisms. These relations compose well when a transversality condition is
satisfied, but the failure of the most general compositions to be smooth
manifolds means that the canonical relations do not comprise the morphisms of a
category. We discuss several existing and potential remedies to the
nontransversality problem.
This is the first of a series of papers on foundations of Floer theory. We
give an axiomatic treatment of the geometric notion of a semi-infinite cycle.
Using this notion, we introduce a bordism version of Floer theory for the
cotangent bundle of a compact manifold M. Our construction is geometric and
does not require the compactness and gluing results traditionally used to setup
Floer theory. Finally, we prove a bordism version of Viterbo's theorem relating
Floer bordism of the cotangent bundle to the ordinary bordism groups of the
free loop space of M.
We study the natural Poisson structure on the Lie group SU(1,1) and related
questions. In particular, we give an explicit description of the
Ginzburg-Weinstein isomorphism for the sets of admissible elements.
The aim of this paper is to explain a link between symplectic isotopies of
open objects such as balls and flexibility properties of symplectic
hypersurfaces. We get connectedness results for spaces of symplectic ellipsoids
or maximal packings of $P^2$.