Proof. [04JJ]

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

Proof.

It is just a matter of applying Lemmas 4.14 and 4.15 to find suitable $\mathcal{F}$ . Since both positive and generic singular fibrations have a Lagrangian section, the result follows from Corollary 3.4. ∎