Holomorphic disk detects a nonzero Liouville class (source code)

= Holomorphic disk detects a nonzero Liouville class

For a smooth nonconstant holomorphic disk $h$ in $\mathbb C^n$ with boundary on a <Lagrangian submanifold> $L$, its symplectic area is $\int_{D^2}|\partial_sh|^2\,ds\,dt>0$. The <Cauchy-Riemann equations> give $\partial_th=J\partial_sh$, 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.