A construction of a complete bounded null curve in \(\mathbb C^3\) (Q2452687)

Let \((,)\) (resp. \(\langle , \rangle)\) be the \(\mathbb C\)-bilinear inner product (resp. the Hermitian inner product of \(\mathbb C^3\)), \((x, y)=x_1 y_1 +x_2 y_2 +x_3 y_3\), \(\langle x,y \rangle:=(x, \bar{y})\), where \(x=(x_1, x_2, x_3)\), \(y=(y_1, y_2, y_3)\in \mathbb C^3\), and \(\bar{y}\) denotes the complex conjugate of \(y\). A holomorphic map \(f: D \rightarrow \mathbb C^3\), defined on a domain \(D\) of \(\mathbb C\) is a null immersion if and only if \((\frac{df}{dz}, \frac{df}{dz})=0\) and \(| \frac{df}{dz}|^2=\langle \frac{df}{dz},\frac{df}{dz} \rangle > 0\) and \(z\) is the canonical complex coordinate of \(\mathbb C\). The induced metric of \(f\) is given by \(ds_f^2=\langle \frac{df}{dz},\frac{df}{dz} \rangle = | \frac{df}{dz}|^2| dz|^2\) and can be also expressed using the Weierstrass data of \(f\), \(ds_f^2=\frac{1}{2}(1+| g|^2)^2| \eta|^2| dz|^2\), where \(g\) (resp. \(\eta\)) is a meromorphic function (resp. holomorphic function). The main theorem of this paper is the existence of a holomorphic null immersion \(f: D_1 \rightarrow \mathbb C^3\) such that the induced metric \(ds_f^2\) is complete, and the image \(f(D_1)\) is bounded in \(\mathbb C^3\), where \( D_1=\{ z \in\mathbb C; | z| < 1\}\). The authors give a correction of a proof of theorem A of the paper [\textit{F. Martin} et al., Calc. Var. Partial Differ. Equ. 36, No. 1, 119--139 (2009; Zbl 1172.53007); erratum ibid. 46, No. 1--2, 439--440 (2013)], which is a recovery of it.