ScalingStacks

Proposition 7.6 [03MB]

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

Proposition 7.6

In the notation above, suppose that a>0a>0 and b,c,x∈ℝb,c,x\in\mathbin{\mathbb{R}} with ua,b​(x,0)=0u_{a,b}(x,0)=0. Then

D={(z1,0,x+ic):z1∈ℂ,|z1|2⩽a}D=\bigl\{(z_{1},0,x+ic):z_{1}\in\mathbin{\mathbb{C}},\quad|z_{1}|^{2}\leqslant a\bigr\} (58)

is a holomorphic disc in ℂ3\mathbin{\mathbb{C}}^{3} with boundary in Na,b,cN_{a,b,c}, and

D′={(0,z2,x+ic):z2∈ℂ,|z2|2⩽a}D^{\prime}=\bigl\{(0,z_{2},x+ic):z_{2}\in\mathbin{\mathbb{C}},\quad|z_{2}|^{2}\leqslant a\bigr\} (59)

is a holomorphic disc in ℂ3\mathbin{\mathbb{C}}^{3} with boundary in N−a,b,cN_{-a,b,c}. Furthermore, all holomorphic discs in ℂ3\mathbin{\mathbb{C}}^{3} with boundary in N±a,b,cN_{\pm a,b,c} and invariant under the U(1)\mathbin{\rm U}(1)-action (52) are of this form.

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