We obtain tight bounds for the minimal number of generators of an ideal with bounded-degree generators in a polynomial ring K[X_1,\dots,X_n], as well as a sharp quantification of the maximum possible size of a minimal generating set of bounded degree. Our bounds are sharp for all fields of size greater than the degree. Moreover, we provide explicit constructions reaching the tightness constraints for all fields of characteristic 0, and for all sufficiently large fields in the one- and two-variable case. Additionally, we fully solve the one-variable case, and conjecture the asymptotics in the multivariate case, for all finite fields.
Given an ideal I=(f_j)_{j\in J}\subset K[X_1,X_2,\dots,X_n] such that \deg\, f_j\leq d for all j\in J, we have \mu(I)\leq\binom{n+d-1}{d}, with all generating polynomials chosen to all have degree at most d. This bound is sharp, i.e. equality is achieved, for all choices of K,n,d.
Every minimal generating set S\subset K[X_1,\dots,X_n] such that \deg f\leq d for all f\in S satisfies \left|S\right|\leq\binom{n+d}{d}. This bound is sharp, i.e. equality is achieved, for all K,n,d such that \left|K\right|>d (in particular, if K is infinite).
Any minimal generating set S\subset\mathbb{F}_q[X] such that \deg f\leq d for all f\in S satisfies \left|S\right|\leq\lambda_q(d)=\frac{dq^{O(1)}}{\log d}. Equality is achieved for all q by an explicit construction.
Every minimal generating set S\subset\mathbb{F}_q[X_1,\dots,X_n] such that \deg f\leq d for all f\in S satisfies \left|S\right|\leq\Theta_{n,q}\left(d/\log d\right)^n, and equality is achieved for all n,q.
Any minimal generating set S\subset\mathbb{F}_q[X] such that \deg f\leq d for all f\in S satisfies \left|S\right|\leq\lambda_q(d)=\frac{dq^{O(1)}}{\log d}. Equality is achieved for all q by an explicit construction.
Every minimal generating set S\subset\mathbb{F}_q[X_1,\dots,X_n] such that \deg f\leq d for all f\in S satisfies \left|S\right|\leq\Theta_{n,q}\left(d/\log d\right)^n, and equality is achieved for all n,q.
If K has characteristic 0, then an ideal I\subset K[X_1,\dots,X_n] with minimal generating set \{f_1,\dots,f_{\binom{n+d}{d}}\} can be explicitly constructed by considering evaluation points (d_1,d_2,\dots,d_n)\in\mathbb{N}_0^n satisfying d_1+\cdots+d_n\leq d.
In general, the \binom{n+d}{d}-many evaluation points form an n-dimensional discrete simplex of depth d+1, and the polynomials constructed all have d-many linear factors; for each factor, the condition that it is nonzero ‘peels off’ one layer of the simplex.
For any two nonnegative integers i,j satisfying i+j\leq d, define P_{ij}=\left(\frac{x^i-y^i}{x^i},\frac{x^j-y^j}{y^j}\right)\in K(x,y)^2. If a pair (x,y)\in(K^*)^2 can be chosen such that x^n\neq y^n for 1\leq n\leq d, then an ideal I\subset K[X,Y] with minimal generating set \{f_1,\dots,f_{\binom{n+2}{2}}\} can be explicitly constructed by considering evaluation points P_{ij}.
The text on this page is from arXiv:2509.16523v1 by Andrei Mandelshtam, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2509/2509.16523.jsonl.