3.8.1 Lotay-Pacini convexity [04CG]
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
3.8.1 Lotay-Pacini convexity
Lotay and Pacini proved the convexity of their -functional (cf. Prop. 2.13) through rather heavy calculations, so it is instructive to see that in the Calabi-Yau case, this result has a much simpler conceptual argument.
We interpret their ‘geodesic’ as a bordism current between two Lagrangians , constructed from universal families of holomorphic curves, such that automatic transversality and the positivity condition hold. In their highly idealized setting, only holomorphic strips appear in the construction of . We define the holomorphic function as usual. The 1-parameter family of totally real submanifolds is given by the constant -coordinate slices of , whose -volume functional is expressible through moduli space integrals
Since is holomorphic, so is , whence is subharmonic, which combined with the exponential decay at implies the convexity of the function in
Thus is convex as a function of , as Lotay and Pacini observed.