Skip to main content
add link
Source Link
j.c.
  • 13.6k
  • 3
  • 52
  • 90

As Chris Gerig indicates in his comment, the correct notion is that of a contact-type hypersurface. These always exist, even locally. You could just take the boundary of a Darboux ball, which always exists. This is a contact-type hypersurface. Or, if you can find a Lagrangian submanifold (which you always can, e.g. a small torus in a Darboux ball) then the boundary of a Weinstein neighbourhood is a contact-type hypersurface. Or, if you are in a projective variety and can find an ample normal crossing divisor PoincarePoincaré dual to the symplectic form then the boundary of a neighbourhood of the divisor is a contact-type hypersurface (see Seidel's "Biased viewpoint on symplectic cohomology"Seidel's "A biased view of symplectic cohomology").

As Chris Gerig indicates in his comment, the correct notion is that of a contact-type hypersurface. These always exist, even locally. You could just take the boundary of a Darboux ball, which always exists. This is a contact-type hypersurface. Or, if you can find a Lagrangian submanifold (which you always can, e.g. a small torus in a Darboux ball) then the boundary of a Weinstein neighbourhood is a contact-type hypersurface. Or, if you are in a projective variety and can find an ample normal crossing divisor Poincare dual to the symplectic form then the boundary of a neighbourhood of the divisor is a contact-type hypersurface (see Seidel's "Biased viewpoint on symplectic cohomology").

As Chris Gerig indicates in his comment, the correct notion is that of a contact-type hypersurface. These always exist, even locally. You could just take the boundary of a Darboux ball, which always exists. This is a contact-type hypersurface. Or, if you can find a Lagrangian submanifold (which you always can, e.g. a small torus in a Darboux ball) then the boundary of a Weinstein neighbourhood is a contact-type hypersurface. Or, if you are in a projective variety and can find an ample normal crossing divisor Poincaré dual to the symplectic form then the boundary of a neighbourhood of the divisor is a contact-type hypersurface (see Seidel's "A biased view of symplectic cohomology").

Source Link
Jonny Evans
  • 7k
  • 1
  • 40
  • 48

As Chris Gerig indicates in his comment, the correct notion is that of a contact-type hypersurface. These always exist, even locally. You could just take the boundary of a Darboux ball, which always exists. This is a contact-type hypersurface. Or, if you can find a Lagrangian submanifold (which you always can, e.g. a small torus in a Darboux ball) then the boundary of a Weinstein neighbourhood is a contact-type hypersurface. Or, if you are in a projective variety and can find an ample normal crossing divisor Poincare dual to the symplectic form then the boundary of a neighbourhood of the divisor is a contact-type hypersurface (see Seidel's "Biased viewpoint on symplectic cohomology").