For a polynomial ideal $I\subset \mathbb{C}[x\_1,x\_2]$, let $D(I)$ be the smallest degree of any polynomial in $I$.



> 
> How slowly can $D(I^n)$ grow as a function of $n$? For example, if $D(I^n)\leq 1.01n$ for some $n$, does it imply that $I$ contains a linear polynomial?
> 
> 
> 


Note that the single-variable case is trivial: $D(I^n)=n\cdot D(I)$.


I am interested in a more general situation than in the question, but the version is the simplest case where I am stuck.



How slowly can a power of an ideal grow?
Consider $I = (y- x^k, x^{k+1})$.


For $k>1$ this does not contain any linear functions. It contains $xy$ so $D(I)=2$. But I claim $y^{k+1} \in I^k$, so $D(I^k) = k+1$.


By the binomial theorem


$$ y^{k+1} = (y-x^k + x^k)^{k+1} = \sum\_{i=0}^{k+1} \begin{pmatrix} k+1 \\ i \end{pmatrix} \left(y-x^k\right)^i x^{k (k+1-i) } $$


In the exponent:


$$k(k+1-i) =k^2 +k - ik = (k+1)(k-i) + i$$


so this is 


$$(y-x^k)^{k+1} + \sum\_{i=0}^{k} \begin{pmatrix} k+1 \\ i \end{pmatrix} x^i\left(y-x^k\right)^i \left(x^{k+1}\right)^{k-i} \in I^k$$


(Boris pointed out a flaw in my earlier argument, leading me to find this counterexample.)


In general, subadditivity shows $\lim\_{n \to \infty} \frac{D(I^n)}{n}$ exists, and that any fixed value of $\frac{D(I^n)}{n}$ is at least this limit. So one version of this question is about how to compare $D(I)$ to this limit. Here we show the limit can go arbitrarily close to $1$ with $D(I)=2$. By adding random linear factors, the limit can get arbitrarily close to $D(I)-1$. But probably for larger $D(I)$ the limit can be less than $D(I)$ by even more than $1$.




---


Some lower bounds:


In the case where $I$ is radical, if $D(I) \geq 2$, then $D(I^n) \geq (3/2)n$ (and in fact $\lceil (3/2) n \rceil$ is achieved.) $V(I)$ must not be contained in any line, so it must contain $3$ noncolinear points, and we can assume that $I$ is the ideal of $3$ noncolinear points. Then $I^n$ is the ideal of functions vanishing of order $n$ at those $3$ points. This contains a function of degree $(3/2)n$, which is the product of powers of the lines through the points.


This is optimal, because given a polynomial $f$, which is the first line raised to the power $a$ times a polynomial of degree $d−a$, the polynomial of degree $d−a$ must intersect the two points on the first line with multiplicity $n−a$, so $d−a \geq 2(n−a)$ and if $d\leq (3/2)n$, $a \geq n/2$. Then the same is true for the multiplicity of the other $3$ lines, hence $d\geq 3n/2$.




---


Here's another interesting phenomenon. Take $I$ to be the ideal of $k (k+1) /2$ generic points. Then $D(I)= k$ by dimension counting. $I^n$ is the ideal of functions vanishing of order $n$ at $k(k+1)/2$ distinct points, which is an ideal of codimension $n (n+1)/2 \cdot k (k+1)/2$. This is less than $d (d+1)/2$ for $d$ approximately equal to $nk / \sqrt{2}$. So there is a degree $d$ polynomial in $I^n$, and $D(I^n)$ is asymptotically at most $nk/\sqrt{2}$.




---


I can show that if $D(I) \geq 2$, then $\lim\_{n \to \infty} D(I^n)/ n> 1$. Take $I$ maximal with respect to the property $D(I) \geq 2$. Then each local factor of $I$ at a point of $V(I)$ either contains two linear functions, or is maximal with respect to the property of containing one linear function, and hence looks like $(y, x^2)$, or is maximal with respect to the property of containing no linear functions, and hence looks.


What do the last kind of ideals look like? There must be some length $1$ extension, which must contain some linear function $y$, and so it is of the form $(x^k,y)$ for some $n$. Length one extensions of that have the form $(x^{k+1}, xy, y^2, ax^k+ by)$ and we must have $a \neq 0$. If $b =0$, the ideal contains is contained in $(x^2, xy, y^2)$, which is one example of a maximal ideal with this property. Otherwise by scaling $y$, we may put it in the form of my example.


Case 1: $I= (x^2, xy, y^2)$. An element in $I^n$ vanishes to order $2n$ on $I$, hence has degree at least $2n$.


Case 2: $I = (y-x^k, x^{k+1})$. An element in $I^n$ intersects $y-x^k$ with multiplicity $n (k+1)$, hence has degree at least $n (k+1)/k$. Having $(y-x^k)$ divide the element doesn't help because it has degree $k$ but only removes $k+1$ of the intersection.


Case 3: $I$ contained in $(y, x^2)$. Then $I$ must also vanish somewhere else on the line $y=0$. If the degree is at most $(3/2)n$ the intersection multiplicity with the line $x=0$ is at least $2n$ so by the same logic as in the reduced case the polynomial contains a factor of $x^{n/2}$. The remainder of the polynomial must vanish to order $n$ at the other point on the line $y=0$ hence have degree at least $n$, so the minimum is $(3/2)n$.


Case 4: $I$ is contained in none of these and is maximal, hence reducd. We already did this case.


