7
$\begingroup$

Let $V$ be a closed subvariety of $\mathbb{A}^n$. Let $\pi:\mathbb{A}^n\to \mathbb{A}^1$ be the projection map that forgets the last $n-1$ coordinates (say). Assume that the Zariski closure of $\pi(V)$ is $\mathbb{A}^1$. Then $\pi(V)$ must be of the form $\mathbb{A}^1\setminus S$, where $S$ is a finite set of points in $\mathbb{A}^1$. What sort of useful bound can we give on the number of points $|S|$ in $S$?

I am looking for a bound of the form $|S|\leq (\deg V)^D$, where $D$ is a function of $n$. It would be very nice if $D$ were bounded by a polynomial on $n$. (I think I already know how to get a horrific $D$.)

Improve this question
$\endgroup$
8
  • $\begingroup$ Question arising from work with my former postdoc Jitendra Bajpai and my former student Daniele Dona. The formulation is Daniele's. $\endgroup$
    – H A Helfgott
    Nov 26, 2020 at 14:22
  • $\begingroup$ Sure, that's what I meant. (Let's not get distracted, but there must be some difference here depending on your foundations; if you are just using classical foundations and define a variety as a closed algebraic subset of $\mathbb{A}^n$ or $\mathbb{P}^n$, there's of course no difference. You mean an embedding of an abstract variety in affine space?) $\endgroup$
    – H A Helfgott
    Nov 26, 2020 at 14:43
  • $\begingroup$ Ah, right, good point. Changed the wording. $\endgroup$
    – H A Helfgott
    Nov 26, 2020 at 14:49
  • 1
    $\begingroup$ If $V \subset \mathbb{A}^2$ I would say that the maximum number is $\deg V$. Compactifying, we get a projection $\pi \colon \bar{V} \to \mathbb{P}^1$. If there are missing points in the image of the original projection, they come from the points at infinity that I add to $V$. If these points are $x_1, \ldots, x_d$, where $d=\deg V$, then the maximum number of missing points occurs when $\pi$ is the projection from $x_1$ (say) and all the secant lines $x_1x_j$ are distinct (included the case $j=1$, giving a tangent line to $\bar{V}$). In this case we have $d$ missing points. $\endgroup$
    – Francesco Polizzi
    Nov 26, 2020 at 14:53
  • $\begingroup$ uhm...not sure anymore of what I have said. If the line $x_1x_j$ intersects $\bar{V}$ in a further point $y \in V$, then there is no missing point corresponding to this line... $\endgroup$
    – Francesco Polizzi
    Nov 26, 2020 at 15:06

1 Answer 1

Reset to default
1
$\begingroup$

It seems to me that one can bound $|S|\leq (n-1) \deg(V)$.

First, note that we can work projectively, that is, we will be able to work with the projective closure $\overline{V}\subset \mathbb{P}^n$. In the end, the points of $\overline{V}\setminus V$ will only contribute a point at infinity in $\mathbb{P}^1$, and we are not counting that point anyhow. We will write $V$ instead of $\overline{V}$ henceforth.

We can define a map $\pi_n:\mathbf{P}^n\setminus P_{0,n}\to \mathbf{P}^{n-1}$ by $\pi_n(x_0:x_1:\dotsc:x_n) = (x_0:\dotsc:x_{n-1})$, where $P_{0,n}\in \mathbf{P}^n$ is the point $(0:0:\dotsc:0:*)$. As pointed out in How many holes may a projection of an algebraic variety have?, either (a) $\dim(\overline{\pi_n(V)})=\dim(V)$ and $\pi_n(V)$ contains $\overline{\pi_n(V)}\setminus W$, where $W$ is a variety of dimension $\leq \dim(V)-1$ and degree $\leq \deg(V)$, or (b) $V$ is a cone whose vertex contains $P_{0,n}$, and so $\pi_n(V)$ is closed and of dimension $\dim(V)-1$. Clearly $\deg(\overline{\pi_n(V)})\leq \deg(V)$.

We iterate: we define $\pi_{n-1}:\mathbf{P}^{n-1}\setminus P_{0,n-1}\to\mathbf{P}^{n-2}$ just as above. If we are now in case (a), we have $\dim(\overline{\pi_{n-1}(\pi_n(V))})=\dim(\overline{\pi_n(V)})$, and $\pi_{n-1}(\pi_n(V))$ contains $\pi_n(\pi_{n-1}(V))\setminus (W' \cup \overline{\pi_{n-1}(W)})$, where $\deg(W')\leq \deg(V)$ and $\dim(W')\leq \dim(\overline{\pi_n(V)})-1$, and $W$ is as above (and is empty if we were in case (b) before). If we are in case (b), then we need not remove a new variety $W'$, and we also notice that what we must remove from $\pi_{n-1}(\overline{\pi_n(V)})$ is the variety consisting of the points of $\pi_{n-1}(W)$ whose preimage under $\pi_{n-1}$ is contained in $W$. That variety is either empty or of dimension $\leq \dim(W)-1$; its degree is presumably $\leq \deg(W)$.

We iterate further, and are done.

Improve this answer
$\endgroup$
3
  • 1
    $\begingroup$ I think you even have $|S|\leq \deg(V)-1$. This follows from your argument and the observations that, assuming $V$ is not a cone over the point of projection, we have $\deg W + \deg \pi(V)=\deg V$. So the total amount of degree you pick up in the "variety of possibly missing points" by your sequence of projections is $\deg V -1$. (Thanks to Aaron Landesman for pointing out that the degree of $V$ should go down by projecting from a point on $V$!) $\endgroup$
    – Nikolas Kuhn
    Dec 4, 2020 at 1:20
  • $\begingroup$ Humor my slow brain: I take that $\deg(W) + \deg \pi_n(V) = \deg V$ follows from the observation that $\deg(W)$ equals the multiplicity of $V$ at $P_{0,n})$? (Thus, a space of dimension complementary to that of $V$ going through $P_{0,n}$ contains in fact $\deg(W)$ copies of $P_{0,n}$, and thus can have at most $\deg(V)-\deg(W)$ points of intersection with $V\setminus P_0$? $\endgroup$
    – H A Helfgott
    Dec 4, 2020 at 22:43
  • $\begingroup$ Right, you need the relation between the multiplicity and the degree of $W$. A reference is Harris' "Algebraic geometry" p. 259, Ch. 20 in the part titled Multiplicity. The main point is that the class of the proper transform of $V$ is given by $[\widetilde{V}]=\deg V [L]-m[\Lambda]$, where $L$ is a linear subspace of $\mathbb{P}^n$ and $\Lambda$ a linear subspace of the exceptional divisor (both with the same dimension as $V$). $\endgroup$
    – Nikolas Kuhn
    Dec 5, 2020 at 2:20

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.