ScalingStacks

Proof. [047T]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

After C∞C^{\infty}-small Hamiltonian perturbation we may assume any intersection point pp between LL and L′L^{\prime} is transverse. We can write the tangent planes of L,L′L,L^{\prime} inside Tp​X≃ℂnT_{p}X\simeq\mathbb{C}^{n} in the standard form

Tp​L=ℝn⊂ℂn,Tp​L′=(ei​ϕ1,…​ei​ϕn)​ℝn⊂ℂn,0<ϕi<π.T_{p}L=\mathbb{R}^{n}\subset\mathbb{C}^{n},\quad T_{p}L^{\prime}=(e^{i\phi_{1}},\ldots e^{i\phi_{n}})\mathbb{R}^{n}\subset\mathbb{C}^{n},\quad 0<\phi_{i}<\pi.

The Floer degree of the intersection point pp is

μL,L′​(p)=1π​(θL−θL′+∑1nϕi)>0,\mu_{L,L^{\prime}}(p)=\frac{1}{\pi}(\theta_{L}-\theta_{L^{\prime}}+\sum_{1}^{n}\phi_{i})>0,

whence H​Fk​(L,L′)=0HF^{k}(L,L^{\prime})=0 for k≤0k\leq 0. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.