Holomorphic disk detects a nonzero Liouville class
ID: holomorphic-disk-detects-a-nonzero-liouville-class
For a smooth nonconstant holomorphic disk in with boundary on a Lagrangian submanifold , its symplectic area is . The Cauchy-Riemann equations give , so this is the pullback of the standard symplectic form. The Stokes theorem identifies the area with the period of a primitive along the boundary loop. Thus the Liouville class of a Lagrangian submanifold evaluates nontrivially on this loop and cannot vanish.
New to topics? Read the docs here!