This question comes from the explicit construction of a smooth projective model of a hyperelliptic curve. Nevertheless it is fully elementary and, to me, more interesting than hyperelliptic curves.

**Notations.** In the following, $k$ will always denote a commutative ring with $1$. "Graded $k$-algebra" will always mean a $k$-algebra graded by $\mathbb N$. Whenever $S$ is a graded $k$-algebra and $d$ is a positive integer, we denote by $S^{(d)}$ the graded $k$-algebra whose $i$-th graded component is $S^{di}$ (this means the $di$-th graded component of $S$) for each $i\in\mathbb N$. The algebra structure on $S^{(d)}$ is inherited from $S$ (since $S^{(d)}$ is a subset of $S$ and easily seen to be a subalgebra). Whenever we speak of "standard polynomial algebras", we mean polynomial $k$-algebras with standard grading (i. e., any indeterminate has degree $1$).

First, here is the fact that helps us construct that projective model:

**Theorem 1.** Let $e$ be a positive integer. Let $k\left[X,Y\right]$ and $k\left[X_0,X_1,...,X_e\right]$ be standard polynomial algebras. Then, the $k$-algebra homomorphism

$k\left[X_0,X_1,...,X_e\right]\to k\left[X,Y\right]^{(e)},$

$X_i\mapsto X^iY^{e-i}$

is graded and surjective. Its kernel is the ideal generated by terms of the form $X_iX_j-X_{i+1}Y_{j-1}$ for $i$ and $j$ satisfying $0\leq i < j-1 < j \leq n$.

This is easily proven combinatorially, by constructing a basis of $k\left[X,Y\right]^{(e)}$ of monomials and lifting it to a basis of $k\left[X_0,X_1,...,X_e\right]$ of monomials.

The natural questions are now:

**Question 2.** Theorem 1 gives $k\left[X,Y\right]^{(e)}$ as a graded quotient $k$-algebra of $k\left[X_0,X_1,...,X_e\right]$. Can we similarly represent $k\left[X,Y,Z\right]^{(e)}$ or $k\left[Y_1,Y_2,...,Y_n\right]^{(e)}$ ?

**Question 3.** Now assume that we grade a polynomial algebra $k\left[T_1,T_2,...,T_e\right]$ in a nonstandard way, i. e., we have $\deg T_i=\alpha_i$ for some positive integers $\alpha_i$. (The ground ring $k$ is still in the $0$-th component.) What is a necessary and sufficient condition on $d$ for the $k$-algebra $k\left[T_1,T_2,...,T_e\right]^{(d)}$ to be generated by its degree-$1$ component (as an algebra over $k$)? Clearly, a necessary condition is for $d$ to be divisible by all $\alpha_i$, but I can't see whether it is sufficient.

Elementary reformulation: If $\alpha_1$, $\alpha_2$, ..., $\alpha_e$ are positive integers, then what conditions do we have to impose on a positive integer $d$ in order for the following to hold: Whenever $\beta_1$, $\beta_2$, ..., $\beta_e$ are nonnegative integers satisfying $d\mid\alpha_1\beta_1+\alpha_2\beta_2+...+\alpha_e\beta_e$, there exist nonnegative integers $\gamma_1\leq \beta_1$, $\gamma_2\leq \beta_2$, ..., $\gamma_e\leq \beta_e$ such that $\alpha_1\gamma_1+\alpha_2\gamma_2+...+\alpha_e\gamma_e = d$.

On the one hand, this looks like elementary number theory; on the other it reminds me of combinatorial facts like the one claiming that a regular bipartite graph can be factored into perfect matchings. None of these helps me proving or disproving the natural conjecture (that the condition is that $d$ is divisible by all $\alpha_i$), though...