ScalingStacks

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 JJ-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 𝒞\mathcal{C} between two Lagrangians L,L′L,L^{\prime}, constructed from universal families of holomorphic curves, such that automatic transversality and the positivity condition hold. In their highly idealized setting, only holomorphic strips Σ≃ℝs×[0,1]t\Sigma\simeq\mathbb{R}_{s}\times[0,1]_{t} appear in the construction of 𝒞\mathcal{C}. We define the holomorphic function FF as usual. The 1-parameter family of totally real submanifolds is given by the constant tt-coordinate slices 𝒞t\mathcal{C}_{t} of 𝒞\mathcal{C}, whose JJ-volume functional is expressible through moduli space integrals

VolJ​(𝒞t)=∫𝒞t|Ω|=∫ℳ∫ℝs×{t}|∂F∂s|​𝑑s.\text{Vol}_{J}(\mathcal{C}_{t})=\int_{\mathcal{C}_{t}}|\Omega|=\int_{\mathcal{M}}\int_{\mathbb{R}_{s}\times\{t\}}|\frac{\partial F}{\partial s}|ds.

Since FF is holomorphic, so is ∂F∂s\frac{\partial F}{\partial s}, whence |∂F∂s||\frac{\partial F}{\partial s}| is subharmonic, which combined with the exponential decay at s→±∞s\to\pm\infty implies the convexity of the function in tt

∫ℝs×{t}|∂F∂s|​𝑑s.\int_{\mathbb{R}_{s}\times\{t\}}|\frac{\partial F}{\partial s}|ds.

Thus VolJ​(𝒞t)\text{Vol}_{J}(\mathcal{C}_{t}) is convex as a function of tt, as Lotay and Pacini observed.

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