Skip to main content
Fixed some typos
Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453

Taking this as two questions, the second being more interesting than the first, I can at least answer the first (less interesting) question. The answer is 'Yes, such maps $\phi:\mathbb{C}^2\to\mathbb{R}^3$ do exist, though they (necessarily) depend on the smooth curve $X$'.

Given a smooth algebraic curve $X\subset\mathbb{C}^2$, suppose that $X$ is defined as the zero locus of an reduced polynomial $F(z,w)$ (i.e., $F$ has no multiple factors). Then, by the assumption that $X$ is smooth (by which I assume that David means 'smooth, embedded'), the polynomials, $F$, $F_z$ and $F_w$ have no common zeros. In fact, for each $x\in X$, the vector $N(x)=\bigl(\,\overline{F_z(x)},\,\overline{F_w(x)}\,\bigr)$ is nonzero and (unitarily) orthogonal to the (complex) tangent line to $X$ at $x$, since the $1$-form $\mathrm{d}F = F_z\,\mathrm{d}z+F_w\,\mathrm{d}w$ vanishes when pulled back to the curve $X$. Let $U(x)= N(x)/|N(x)|$ be the corresponding unit vector.

Now, because $X$ is smooth and algebraic, outside a compact set, it is asymptotic to a finite set of lines, and it is not difficult to see that there is a positive function $e:X\to (0,1)$ such that the mapping $S:X\times\Delta(1)\to\mathbb{C}^2$ (where $\Delta(r)\subset\mathbb{C}$ is the disk of radius $r>0$ about $0$) defined by $$ S(x,t) = x + t\,e(x)U(x) $$ is an injective diffeomorphism. (If all of the asmptotic lines of $X$ are distinct, one can even take $e$ to be a (suitably small) constant.)

Now, we also know that $X$ is a compact (oriented) Riemann surface with a (nonzero) finite number of points removed. (In fact, $X$ has no compact components.) As such, there exists a smooth, closed embedding $\psi: X\to \mathbb{R}^3$ with the property that the normal 'tube' of radius $1$ around $X$$\psi(X)$ is also smoothly embedded. Let $u:X\to S^2$ be a unit normal vector field for the immersion $\phi$$\psi$ and extend $\psi$ to $\psi:X\times [-\tfrac12,\tfrac12]\to\mathbb{R}^3$ by setting $$ \psi(x,t) = \psi(x) + t\,u(x) $$ for $|t|\le \tfrac12$. Now, I claim that there is a smooth map $\phi:S\bigl(X\times \Delta(\tfrac12)\bigr)\to \mathbb{R}^3$ that satisfies $$ \phi\bigl(S(x,t)\bigr) = \psi\bigl(x,\mathrm{Re}(t)\bigr) $$ whenever $|t|\le\tfrac12$ and that it is a smooth submersion on an open neighborhood of $X\subset S\bigl(X\times \Delta(\tfrac12)\bigr)$ and itthat is injective and immersive on $X$ itself.

Now, extend $\phi$ smoothly any way we likeone likes beyond the set $S\bigl(X\times \Delta(\tfrac12)\bigr)\subset\mathbb{C}^2$. (One can even require that $\phi$ take the complement of $S\bigl(X\times \Delta(1)\bigr)$ to a single point of $\mathbb{R}^3$.)

Unfortunately, there may be no simple recipe for choosing $\psi$, which is what youone would really wantneed to giveget an affirmative answer to the second question.

Taking this as two questions, the second being more interesting than the first, I can at least answer the first (less interesting) question. The answer is 'Yes, such maps $\phi:\mathbb{C}^2\to\mathbb{R}^3$ do exist, though they (necessarily) depend on the smooth curve $X$'.

Given a smooth algebraic curve $X\subset\mathbb{C}^2$, suppose that $X$ is defined as the zero locus of an reduced polynomial $F(z,w)$ (i.e., $F$ has no multiple factors). Then, by the assumption that $X$ is smooth (by which I assume that David means 'smooth, embedded'), the polynomials, $F$, $F_z$ and $F_w$ have no common zeros. In fact, for each $x\in X$, the vector $N(x)=\bigl(\,\overline{F_z(x)},\,\overline{F_w(x)}\,\bigr)$ is nonzero and (unitarily) orthogonal to the (complex) tangent line to $X$ at $x$, since the $1$-form $\mathrm{d}F = F_z\,\mathrm{d}z+F_w\,\mathrm{d}w$ vanishes when pulled back to the curve $X$. Let $U(x)= N(x)/|N(x)|$ be the corresponding unit vector.

Now, because $X$ is smooth and algebraic, outside a compact set, it is asymptotic to a finite set of lines, and it is not difficult to see that there is a positive function $e:X\to (0,1)$ such that the mapping $S:X\times\Delta(1)\to\mathbb{C}^2$ (where $\Delta(r)\subset\mathbb{C}$ is the disk of radius $r>0$ about $0$) defined by $$ S(x,t) = x + t\,e(x)U(x) $$ is an injective diffeomorphism. (If all of the asmptotic lines of $X$ are distinct, one can even take $e$ to be a (suitably small) constant.)

Now, we also know that $X$ is a compact (oriented) Riemann surface with a (nonzero) finite number of points removed. (In fact, $X$ has no compact components.) As such, there exists a smooth, closed embedding $\psi: X\to \mathbb{R}^3$ with the property that the normal 'tube' of radius $1$ around $X$ is also smoothly embedded. Let $u:X\to S^2$ be a unit normal vector field for the immersion $\phi$ and extend $\psi$ to $\psi:X\times [-\tfrac12,\tfrac12]\to\mathbb{R}^3$ by setting $$ \psi(x,t) = \psi(x) + t\,u(x) $$ for $|t|\le \tfrac12$. Now, I claim that there is a smooth map $\phi:S\bigl(X\times \Delta(\tfrac12)\bigr)\to \mathbb{R}^3$ that satisfies $$ \phi\bigl(S(x,t)\bigr) = \psi\bigl(x,\mathrm{Re}(t)\bigr) $$ whenever $|t|\le\tfrac12$ and it is a smooth submersion on an open neighborhood of $X\subset S\bigl(X\times \Delta(\tfrac12)\bigr)$ and it is injective and immersive on $X$ itself.

Now, extend $\phi$ smoothly any way we like beyond the set $S\bigl(X\times \Delta(\tfrac12)\bigr)\subset\mathbb{C}^2$. (One can even require that $\phi$ take the complement of $S\bigl(X\times \Delta(1)\bigr)$ to a single point of $\mathbb{R}^3$.)

Unfortunately, there may be no simple recipe for choosing $\psi$, which is what you would really want to give an affirmative answer to the second question.

Taking this as two questions, the second being more interesting than the first, I can at least answer the first (less interesting) question. The answer is 'Yes, such maps $\phi:\mathbb{C}^2\to\mathbb{R}^3$ do exist, though they (necessarily) depend on the smooth curve $X$'.

Given a smooth algebraic curve $X\subset\mathbb{C}^2$, suppose that $X$ is defined as the zero locus of an reduced polynomial $F(z,w)$ (i.e., $F$ has no multiple factors). Then, by the assumption that $X$ is smooth (by which I assume that David means 'smooth, embedded'), the polynomials, $F$, $F_z$ and $F_w$ have no common zeros. In fact, for each $x\in X$, the vector $N(x)=\bigl(\,\overline{F_z(x)},\,\overline{F_w(x)}\,\bigr)$ is nonzero and (unitarily) orthogonal to the (complex) tangent line to $X$ at $x$, since the $1$-form $\mathrm{d}F = F_z\,\mathrm{d}z+F_w\,\mathrm{d}w$ vanishes when pulled back to the curve $X$. Let $U(x)= N(x)/|N(x)|$ be the corresponding unit vector.

Now, because $X$ is smooth and algebraic, outside a compact set, it is asymptotic to a finite set of lines, and it is not difficult to see that there is a positive function $e:X\to (0,1)$ such that the mapping $S:X\times\Delta(1)\to\mathbb{C}^2$ (where $\Delta(r)\subset\mathbb{C}$ is the disk of radius $r>0$ about $0$) defined by $$ S(x,t) = x + t\,e(x)U(x) $$ is an injective diffeomorphism. (If all of the asmptotic lines of $X$ are distinct, one can even take $e$ to be a (suitably small) constant.)

Now, we also know that $X$ is a compact (oriented) Riemann surface with a (nonzero) finite number of points removed. (In fact, $X$ has no compact components.) As such, there exists a smooth, closed embedding $\psi: X\to \mathbb{R}^3$ with the property that the normal 'tube' of radius $1$ around $\psi(X)$ is also smoothly embedded. Let $u:X\to S^2$ be a unit normal vector field for the immersion $\psi$ and extend $\psi$ to $\psi:X\times [-\tfrac12,\tfrac12]\to\mathbb{R}^3$ by setting $$ \psi(x,t) = \psi(x) + t\,u(x) $$ for $|t|\le \tfrac12$. Now, I claim that there is a smooth map $\phi:S\bigl(X\times \Delta(\tfrac12)\bigr)\to \mathbb{R}^3$ that satisfies $$ \phi\bigl(S(x,t)\bigr) = \psi\bigl(x,\mathrm{Re}(t)\bigr) $$ whenever $|t|\le\tfrac12$ and that it is a smooth submersion on an open neighborhood of $X\subset S\bigl(X\times \Delta(\tfrac12)\bigr)$ that is injective and immersive on $X$ itself.

Now, extend $\phi$ smoothly any way one likes beyond the set $S\bigl(X\times \Delta(\tfrac12)\bigr)\subset\mathbb{C}^2$. (One can even require that $\phi$ take the complement of $S\bigl(X\times \Delta(1)\bigr)$ to a single point of $\mathbb{R}^3$.)

Unfortunately, there may be no simple recipe for choosing $\psi$, which is what one would really need to get an affirmative answer to the second question.

Source Link
Robert Bryant
  • 108.4k
  • 8
  • 342
  • 453

Taking this as two questions, the second being more interesting than the first, I can at least answer the first (less interesting) question. The answer is 'Yes, such maps $\phi:\mathbb{C}^2\to\mathbb{R}^3$ do exist, though they (necessarily) depend on the smooth curve $X$'.

Given a smooth algebraic curve $X\subset\mathbb{C}^2$, suppose that $X$ is defined as the zero locus of an reduced polynomial $F(z,w)$ (i.e., $F$ has no multiple factors). Then, by the assumption that $X$ is smooth (by which I assume that David means 'smooth, embedded'), the polynomials, $F$, $F_z$ and $F_w$ have no common zeros. In fact, for each $x\in X$, the vector $N(x)=\bigl(\,\overline{F_z(x)},\,\overline{F_w(x)}\,\bigr)$ is nonzero and (unitarily) orthogonal to the (complex) tangent line to $X$ at $x$, since the $1$-form $\mathrm{d}F = F_z\,\mathrm{d}z+F_w\,\mathrm{d}w$ vanishes when pulled back to the curve $X$. Let $U(x)= N(x)/|N(x)|$ be the corresponding unit vector.

Now, because $X$ is smooth and algebraic, outside a compact set, it is asymptotic to a finite set of lines, and it is not difficult to see that there is a positive function $e:X\to (0,1)$ such that the mapping $S:X\times\Delta(1)\to\mathbb{C}^2$ (where $\Delta(r)\subset\mathbb{C}$ is the disk of radius $r>0$ about $0$) defined by $$ S(x,t) = x + t\,e(x)U(x) $$ is an injective diffeomorphism. (If all of the asmptotic lines of $X$ are distinct, one can even take $e$ to be a (suitably small) constant.)

Now, we also know that $X$ is a compact (oriented) Riemann surface with a (nonzero) finite number of points removed. (In fact, $X$ has no compact components.) As such, there exists a smooth, closed embedding $\psi: X\to \mathbb{R}^3$ with the property that the normal 'tube' of radius $1$ around $X$ is also smoothly embedded. Let $u:X\to S^2$ be a unit normal vector field for the immersion $\phi$ and extend $\psi$ to $\psi:X\times [-\tfrac12,\tfrac12]\to\mathbb{R}^3$ by setting $$ \psi(x,t) = \psi(x) + t\,u(x) $$ for $|t|\le \tfrac12$. Now, I claim that there is a smooth map $\phi:S\bigl(X\times \Delta(\tfrac12)\bigr)\to \mathbb{R}^3$ that satisfies $$ \phi\bigl(S(x,t)\bigr) = \psi\bigl(x,\mathrm{Re}(t)\bigr) $$ whenever $|t|\le\tfrac12$ and it is a smooth submersion on an open neighborhood of $X\subset S\bigl(X\times \Delta(\tfrac12)\bigr)$ and it is injective and immersive on $X$ itself.

Now, extend $\phi$ smoothly any way we like beyond the set $S\bigl(X\times \Delta(\tfrac12)\bigr)\subset\mathbb{C}^2$. (One can even require that $\phi$ take the complement of $S\bigl(X\times \Delta(1)\bigr)$ to a single point of $\mathbb{R}^3$.)

Unfortunately, there may be no simple recipe for choosing $\psi$, which is what you would really want to give an affirmative answer to the second question.