Geometric proof of the \(\lambda\)-lemma (Q268505): Difference between revisions

A holomorphic motion in dimension one is a family of injections \(f_\lambda: A\rightarrow \hat{\mathbb{C}}\) over a complex manifold \(\Lambda\ni \lambda\). The \(\lambda\)-lemma says that for any \(A\subset \hat{\mathbb{C}}\), any holomorphic motion \(f: \Delta\times A\rightarrow \hat{\mathbb{C}}\) extends to a holomorphic motion \(\Delta\times \hat{\mathbb{C}}\rightarrow \hat{\mathbb{C}}\). In the paper under review, the authors give a geometric proof of the \(\lambda\)-lemma. The first step is to reduce the \(\lambda\)-lemma to the \(\lambda\)-lemma for finitely many points. The second step is to reduce the finite \(\lambda\)-lemma to a Filling Theorem. The heart of the proof is then to prove Hölder estimates for disks trapped inside pesudoconvex domains and to construct such trapping pseudoconvex domains for ``graphical tori''.