Addendum to answer Shachar's question in the comments to the original question.
Here is why I think that the degree of $\pi(X)$ matters:
1) Your definition of degree seems to agree with the following: Take the projective closure of $X$ and take the degree of that in $\mathbb P^n$.
2) To determine the degree of $X$ you need a linear space of appropriate dimension in general position. That may be described as the intersection of an appropriate number of hyperplanes in the target space of the projection which would give $\mathrm{deg} \pi(X)$ number of points.
3) The intersection of the hyperplanes that project onto these ones would give the same number of fibers. To get down to finitely many points, just take the appropriate remaining number of hyperplanes to intersect.
4) So now we have $\deg X$ number of points on $\deg\pi(X)$ number of fibers, therefore the expected number of points on a single fiber is $\deg X/\deg\pi(X)$.
5) The reason I'd prefer to work projectively is that then the intersections would always give the right number of points counted with multiplicities.
6) This is not a rigorous argument, but it seems convincing to me. Cheers!
|
3 | added 1222 characters in body | ||
|
|
||||
|
|
2 | edited body | ||
|
This is an interesting idea, but I think there are some issues with it. First of all, it seems to me that if the image $\pi(X)$ has degree $>1$, then all fibers will have strictly smaller degree than $\mathrm{deg}X$. So one might ask, if it is true that the fibers with access excess dimension have smaller degree than those fibers whose dimension is the expected one. However, this actually fails. Example: Let $X\subseteq \mathbb A^5$ be defined by $x_1=x_3x_4,x_2=x_3x_5$, and $x_4x_5=1$ and project to the first three coordinates. For points on $\pi(X)$ with $x_3\neq 0$ the fiber consists of the single point $\bigg(x_1,x_2,x_3,\dfrac{x_1}{x_3}, \dfrac{x_2}{x_3}\bigg)$. If $x_3=0$, then the first two equations of $X$ imply that $x_1=x_2=0$ as well, so the only point on $\pi(X)$ with $x_3=0$ is $(0,0,0)$. The fiber over that is the conic $\{(0,0,0,t,u) | tu=1 \}$. So, the general fiber has degree $1$, while the (only) higher dimensional fiber has degree $2$. This degree is still smaller than the degree of $X$, but perhaps suggest that the defect is not a consequence of the access excess dimension. In fact, notice that $\pi(X)\subseteq \mathbb A^3$ is contained in the quadric cone defined by $x_1x_2=x_3^2$, and my guess is that a proper degree estimate would have to take the degree of the image into account. |
||||
|
|
1 |
|
||
|
This is an interesting idea, but I think there are some issues with it. First of all, it seems to me that if the image $\pi(X)$ has degree $>1$, then all fibers will have strictly smaller degree than $\mathrm{deg}X$. So one might ask, if it is true that the fibers with access dimension have smaller degree than those fibers whose dimension is the expected one. However, this actually fails. Example: Let $X\subseteq \mathbb A^5$ be defined by $x_1=x_3x_4,x_2=x_3x_5$, and $x_4x_5=1$ and project to the first three coordinates. For points on $\pi(X)$ with $x_3\neq 0$ the fiber consists of the single point $\bigg(x_1,x_2,x_3,\dfrac{x_1}{x_3}, \dfrac{x_2}{x_3}\bigg)$. If $x_3=0$, then the first two equations of $X$ imply that $x_1=x_2=0$ as well, so the only point on $\pi(X)$ with $x_3=0$ is $(0,0,0)$. The fiber over that is the conic $\{(0,0,0,t,u) | tu=1 \}$. So, the general fiber has degree $1$, while the (only) higher dimensional fiber has degree $2$. This degree is still smaller than the degree of $X$, but perhaps suggest that the defect is not a consequence of the access dimension. In fact, notice that $\pi(X)\subseteq \mathbb A^3$ is contained in the quadric cone defined by $x_1x_2=x_3^2$, and my guess is that a proper degree estimate would have to take the degree of the image into account. |
||||
