Non standard algebraic geometry: shadows of varieties In this question $\mathbb F$ is a field and $P({\mathbb F}^{n+1})$ is the projective space of dimension $n$ over $\mathbb F$. The term  algebraic variety means a subset of $P({\mathbb F}^{n+1})$  which is the set of zeroes of finitely many homogeneous polynomials with coefficients in $\mathbb F$. The field $\mathbb K$ is the field of non-standard complex numbers (real and imaginary parts are hyperreal) and $\mathbb C$ is the subfield of complex numbers. If V is a variety in $P({\mathbb K}^{n+1})$, is the shadow of V a variety in $P({\mathbb C}^{n+1})$ ?  A point is in the shadow of V means it has some projective coordinates in ${\mathbb C}^{n+1}$ infinitesimally close to some projective coordinates in ${\mathbb K}^{n+1}$ of some point in V.
 A: The answer is "yes" if $V$ is the projective zero-set $Z(f)$ of a single homogeneous polynomial $f$. Perhaps an expert in several complex variables will provide a more general answer.
Without loss of generality, every coefficient of $f$ is finite (i.e., they all have modulus less than some standard $R$) and at least one coefficient is not infinitesimal.
Let $st(f)$ be the "standard part" of $f$ obtained by replacing every coefficient with its standard part. Let $W$ be the shadow of $V$. I claim that $Z(st(f))=W$ where $Z(st(f))$ is the set of standard projective zeroes of $st(f)$.
The easy half, which generalizes to all algebraic varieties, is that $W\subseteq Z(st(f))$.
Let $x\approx y$ iff $\lvert x-y\rvert$ is infinitesimal.
If $[\vec w]\in W$ and (without loss of generality) all coordinates of $\vec w$ are finite, 
then $f(w)\approx 0$ by continuity of $f$, so $st(f)(\vec w)\approx 0$, so 
$st(f)(\vec w)=0$ because $st(f)(\vec w)$ is standard.
To prove the other half, suppose $[\vec u]\in Z(st(f))$. Choose a standard unit vector $\vec e$
such that $h(z)=st(f)(\vec u+z\vec e)$ is not constant on any open disc
$D_r=\{z\in\mathbb{K}:\lvert z\rvert< r\}$ where $r>0$ is standard.
Since $h$ has only finitely many roots, 
we may choose an arbitrarily small standard $r$ such 
that $h$ has no root on $\partial D_r$. 
Let $M$ be the (necessarily standard) minimum modulus of the $h$-image of $\partial D_r$. Setting $p(z)=f(\vec u+z\vec e)$, we have $p(z)\approx h(z)$ for all $z\in\mathbb{K}$. 
Hence, $\lvert p(z)-h(z)\rvert< M\leq\lvert h(z)\rvert$ for all $z\in\partial D_r$. 
By Rouche's Theorem, $h$ and $p$ have the same number of roots (counting multiplicities) 
in $D_r$. By overspill, $h$ and $p$ have the same number of roots in $D_\delta$ 
for some positive infinitesimal $\delta$. 
In particular, $p$ has an infinitesimal root, so $f$ has a root infinitely close 
to $\vec u$.
