5.2.2 Bounded part of the Solomon functional revisited [04FB]
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
5.2.2 Bounded part of the Solomon functional revisited
In section 3.8.3, we discussed a Floer theoretic method to bound the difference between the Solomon functional and the elementary functional. The following alternative method is based on the homological nature of the Solomon functional (20), and has a more geometric measure theory flavour. Holomorphic curves do not feature in this approach, so the automatic transversality and the positivity conditions are not needed, and in fact the discussion works in the weak setting of varifolds and currents. It is vital to this approach that for Stein manifolds, so no homological ambiguity can arise for the bordism current.
Proposition 5.19.
Assume the Lagrangian with potential is quantitatively almost calibrated, homologous to , and satisfies -potential clustering. The elementary functional (45) makes sense verbatim, with no smoothness assumptions. Then has a uniform upper bound independent of .
Proof.
We know is homologous to zero in , and contained in a bounded subset of by Cor. 5.13. By a version of the isoperimetric theorem (cf. Prop. 5.11), we can find some compactly supported integral current with , with mass bound
This has no relation to holomorphic curves. The quantitative almost calibratedness implies a volume bound on (cf. Lemma 2.1), hence is a priori bounded. The homological nature of the Solomon functional (20) gives
The mass bound then implies
Here since is contained in a bounded region, the terms and are bounded. Finally, using the potential clustering bound,
Combining the above shows the a priori bound on . ∎