ScalingStacks

Claim 3.29 . [04BK]

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

Claim 3.29.

Clockwise along ∂Σ\partial\Sigma, the function Re ​F\text{Re }F is decreasing on the LL boundary portion, but increasing on the L′=L1∪L2L^{\prime}=L_{1}\cup L_{2} boundary portion. In particular,

0=Re ​F​(q)≥Re ​F≥Re ​F​(p).0=\text{Re }F(q)\geq\text{Re }F\geq\text{Re }F(p).

More intrinsically, the real part of the complex volume forms on the moduli spaces at such u:Σ→Xu:\Sigma\to X are nonpositive.

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