ScalingStacks

Continuity of the Solomon functional [04E9]

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

Continuity of the Solomon functional

Inside Stein manifolds, the Solomon functional can be defined for any Lagrangian LL with potential which is homologous to L0L_{0}, without further Floer theoretic inputs: the formula (20) makes sense after choosing any bordism current 𝒞\mathcal{C} with ∂𝒞=L−L0\partial\mathcal{C}=L-L_{0} in the sense of currents, and the choice does not matter.

Lemma 5.8.

(Continuity of the Solomon functional) All Lagrangians are assumed to be contained in a fixed bounded region of XX, homologous to L0L_{0}, and are quantitatively almost calibrated. Suppse LiL_{i} is a sequence of Lagrangian integral currents with potential fLif_{L_{i}}, such that Li→LL_{i}\to L in the flat norm, and fLi​Lif_{L_{i}}L_{i} converge to fL​Lf_{L}L as currents, then the Solomon functionals converge: 𝒮⁡(Li)→𝒮⁡(L)\mathcal{S}(L_{i})\to\mathcal{S}(L).

Proof.

Since fLi​Lif_{L_{i}}L_{i} converges to fL​Lf_{L}L as currents,

∫LifLi​Ω→∫LfL​Ω.\int_{L_{i}}f_{L_{i}}\Omega\to\int_{L}f_{L}\Omega.

It suffices to justify ∫𝒞iλ∧Ω→∫𝒞λ∧Ω,\int_{\mathcal{C}_{i}}\lambda\wedge\Omega\to\int_{\mathcal{C}}\lambda\wedge\Omega, where ∂𝒞i=Li−L0\partial\mathcal{C}_{i}=L_{i}-L_{0}, and ∂𝒞=L−L0\partial\mathcal{C}=L-L_{0}.

Now the flat norm convergence gives Li−L=Ai+∂BiL_{i}-L=A_{i}+\partial B_{i} for some integral currents Ai,BiA_{i},B_{i}, with M​a​s​s​(Ai)+M​a​s​s​(Bi)→0Mass(A_{i})+Mass(B_{i})\to 0. Since [Li]=[L]=[L0]∈Hn​(X)[L_{i}]=[L]=[L_{0}]\in H_{n}(X), the homology class of AiA_{i} is zero. A version of the isoperimetric theorem (cf. Prop. 5.11 below) then says Ai=∂Bi′A_{i}=\partial B_{i}^{\prime} with M​a​s​s​(Bi′)≤C​M​a​s​s​(Ai)(n+1)/n→0Mass(B_{i}^{\prime})\leq CMass(A_{i})^{(n+1)/n}\to 0. Without loss of generality we absorb Bi′B_{i}^{\prime} into BiB_{i}. Then we can simply choose 𝒞i=𝒞+Bi\mathcal{C}_{i}=\mathcal{C}+B_{i}, which is legitimate since it satisfies ∂𝒞i=Li−L0\partial\mathcal{C}_{i}=L_{i}-L_{0}. The claim follows by

|∫Biλ∧Ω|≤C​M​a​s​s​(Bi)→0.|\int_{B_{i}}\lambda\wedge\Omega|\leq CMass(B_{i})\to 0.

∎

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