Sumsets and Veronese varieties

In this paper, to any subset A⊂Zn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}\subset \mathbb {Z}^{n}$$\end{document} we explicitly associate a unique monomial projection Yn,dA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Y_{n,d_{\mathcal {A}}}$$\end{document} of a Veronese variety, whose Hilbert function coincides with the cardinality of the t-fold sumsets tA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$t\mathcal {A}$$\end{document}. This link allows us to tackle the classical problem of determining the polynomial pA∈Q[t]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_{\mathcal {A}} \in \mathbb {Q}[t]$$\end{document} such that |tA|=pA(t)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$|t\mathcal {A}| = p_{\mathcal {A}}(t)$$\end{document} for all t≥t0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$t \ge t_0$$\end{document} and the minimum integer n0(A)≤t0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n_0(\mathcal {A}) \le t_0$$\end{document} for which this condition is satisfied, i.e. the so-called phase transition of |tA|\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$|t\mathcal {A}|$$\end{document}. We use the Castelnuovo–Mumford regularity and the geometry of Yn,dA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Y_{n,d_{\mathcal {A}}}$$\end{document} to describe the polynomial pA(t)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p_{\mathcal {A}}(t)$$\end{document} and to derive new bounds for n0(A)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n_0(\mathcal {A})$$\end{document} under some technical assumptions on the convex hull of A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {A}$$\end{document}; and vice versa we apply the theory of sumsets to obtain geometric information of the varieties Yn,dA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Y_{n,d_{\mathcal {A}}}$$\end{document}.


Introduction
In additive number theory, a t-fold sumset tA ⊂ Z n is the set of sums of t non necessarily different elements of a finite non empty subset A ⊂ Z n .A classical problem concerning sumsets consists of determining the behaviour of the cardinality function ϕ A (t) = |tA| as t grows.A central result of Khovanskii [23] shows that there exists a polynomial p A (t) ∈ Q[t], of degree at most n, such that ϕ A (t) = p A (t) for t sufficiently large.He also determines the leading coefficient of p A (t) in terms of the volume of the convex hull associated to the subset A ⊂ Z n and the index of the additive subgroup in Z n generated by the difference set A − A ⊂ Z n .Notwithstanding, Khovanskii's result sheds no light on the polynomial p A (t), excepting the leading coefficient, nor the phase transition of ϕ A (t).In view of these considerations, many contributions have been made to these topics as one can see, for instance, in [4,8,9,13,14,15,24,27,28,29].
Most of the results regarding the polynomial p A (t) and the phase transition n 0 (A) are based on the study of the structure of t-fold sumsets tA as sets of lattice points, being particularly useful for finite subsets of integers.The case A ⊂ Z can be reduced to finite subsets A = {0, a 1 , . . ., a k } ⊂ Z with 0 < a 1 < • • • < a k and GCD(a 1 , . . ., a k ) = 1.The structure of the t−fold sumset tA is completely determined for t sufficiently large and it produces upper bounds for n 0 (A) (see, for instance, [4,9,13,28]).On the other hand, Khovanskii's result assures that p A (t) = a k t + b ∈ Z[t].However, when dealing with subsets A ⊂ Z n in arbitrary dimension n ≥ 2, the structure of t-fold sumsets tA is considerably more complex (see [8,14,15]), and it becomes less effective to determine p A (t) or to produce, in general, a suitable bound for n 0 (A).That being said, the authors of [8] give a complete solution for subsets A ⊂ Z n of n + 2 elements and such that the different set A − A Date: February 3, 2022.The first and third author have been partially supported by the grant PID2020-113674GB-I00.The second author has been partially supported by the grant PID2019-104844GB-I00.
generates Z n .The structure of the t−fold sumsets tA has played a significant role on establishing bounds for n 0 (A) when the convex hull of the subset A ⊂ Z n is an n−simplex.Overall, the polynomial p A (t) and its coefficients remain less understood.
In this paper, we stress the link between sumsets and the geometry of projective varieties, outlined for instance in [9,22,26].Our aim is twofold.First, to any finite subset A ⊂ Z n , we explicitly associate a unique projective toric variety Y n,d A in P |A|−1 whose Hilbert function HF Y n,d A (t) coincides with the cardinality function ϕ A (t) for any t ≥ 0. The variety Y n,d A turns out to be a monomial projection of a Veronese variety (see Section 2).This identification and the geometric knowledge of monomial projections of Veronese varieties allows us to go ahead with the study of the polynomial p A (t) and to provide bounds for the phase transition n 0 (A) of subsets A ⊂ Z n in arbitrary dimension n ≥ 2. Second, we make use of the theory of sumsets to derive new geometric information about the varieties Y n,d A and, in particular of the so called RL−variety (see Section 5).This relationship between additive number theory and projective geometry will allow us to go back and forth and to use algebraic and geometric results on monomial projections of Veronese varieties to recover and improve results on additive combinatorics and vice versa.
Since the cardinality of a t-fold sumset is invariant under translations, we can assume that A ⊂ Z n ≥0 .We set d A := min{d ∈ Z ≥0 | n i=1 a i ≤ d, ∀a = (a 1 , . . ., a n ) ∈ A} and we define: . ., a n ) ∈ A} = {m 1 , . . ., m |A| }, a set of monomials of degree d A in R = K[x 0 , . . ., x n ].Moreover, applying a suitable translation, we can also assume that GCD(m 1 , . . ., m |A| ) = 1.We denote by Y n,d A the variety image of the rational map P n P |A|−1 defined by the parameterization (m 1 : . . .: m |A| ).We establish that the homogeneous coordinate ring A(Y n,d A ) of Y n,d A is isomorphic to the semigroup ring of monomials K[Ω n,d A ], which in turn gives a description of A(Y n,d A ) and the homogeneous ideal I(Y n,d A ) of Y n,d A in terms of A (Section 3).As a result of these facts, we deduce that ϕ A (t) = HF Y n,d A (t) for any t ≥ 0 (Proposition 3.3).Consequently, ϕ A (t) is a polynomial in Q[t] for t sufficiently large and, hence, p A (t) is the Hilbert polynomial of the monomial projection Y n,A .Both facts provide further information on ϕ A (t) and p A (t) (( 3) and ( 4)).For instance, a new geometric description of the leading coefficient of p A (t) (Proposition 3.10) and a complete solution for any subset A of n + 1 and n + 2 elements, respectively, associated to an n−dimensional monomial projection Y n,d A (Proposition 3.7), recovering the corresponding results in [8].In this setting, n 0 (A) translates into the regularity of the Hilbert function HF , which we denote by reg(A), bounds n 0 (A) ≤ reg(A) + 1 (see [3] for the definition and basic properties of the Castelnuovo-Mumford regularity).Taking advantage of this fact and the results of [19,20], we provide new estimations for n 0 (A) when the convex hull of A is an n−simplex with vertexes 0, (d A , 0 . . ., 0), . . ., (0, . . ., 0, d A ), or equivalently when K[Ω n,d A ] is the semigroup ring of a simplicial affine semigroup (Theorems 4. 5, 4.6 and 4.11).
The arguments developed so far do not consider any further particularity of the subset A. In this sense, the bounds established for the phase transition n 0 (A) are often very far from the actual value of n 0 (A).Motivated by this fact, in the last part of this paper we introduce GT −subsets and GT −sumsets (Definition 5.2).They form a family of t-fold sumsets uniquely determined by a linear system of congruences.The algebraic structure of GT −sumsets tA as solutions of a linear system of congruences allows to significantly improve the bound for n 0 (A) (Proposition 5.3).In addition, they provide a good field to delve into the polynomial p A (t), which is completely determined in several interesting cases (Propositions 5.4 and 5.5).Finally, we apply this new approach and recent results on sumsets to compute the degree and the Hilbert polynomial of RL−varieties (Proposition 5.6), a family of rational smooth projective varieties introduced in [7] and intrinsically related to GT −subsets whose geometry is barely known.
The content of this paper is organized as follows.In Section 2, we gather the basic definitions and notations needed in the body of this article.Given a finite subset A ⊂ Z n , we introduce the notion of t-fold sumsets tA ⊂ Z n and the cardinality function ϕ A (t) = |tA|.We recall Khovanskii's result on the polynomial growth of ϕ A (t), i.e. the existence of a polynomial p A (t) ∈ Q[t] such that ϕ A (t) = p A (t) for t sufficiently large, along to the so called phase transition n 0 (A) of ϕ A and illustrating examples.Afterwards, we introduce Veronese varieties X n,d ⊂ P ( n+d n )−1 and monomial projections Y n,d of X n,d , which play a central role through this work.
In Section 3, to any subset A ⊂ Z n , we explicitly associate a monomial projection Y n,d A of the Veronese variety X n,d A whose Hilbert function agrees with the cardinality function ϕ A (t).This link allows us, on one hand, to describe the homogeneous coordinate ring A(Y n,d A ) and the homogeneous ideal I(Y n,d A ) of Y n,d A in terms of the t-fold sumsets tA and, on the other hand, to interpret the function ϕ A (t) and the polynomial p A (t) in terms of the variety Y n,d A (Proposition 3.3).Through this identification, we obtain further information on the general structure of p A (t) and we provide a combinatorial and a geometric formula for the leading coefficient of p A (t) (Proposition 3.10 and ( 7)).Using purely geometric techniques, we determine p A (t) and n 0 (A) when A contains n + 1 and n + 2 elements and Y n,d A is an n−dimensional projective variety, recovering some of the results in [8].
In Section 4, we focus our attention on subsets A ⊂ Z n whose associated convex hull conv(A) is an n−simplex (Definition 4.1) and we gather the bounds known so far for n 0 (A) in this case (Theorem 4.2 and Proposition 4.3).Using the Castelnuovo-Mumford regularity reg(A) of A(Y n,d A ), we provide improved bounds for n 0 (A) under some technical assumptions on the convex hull of A (Theorems 4.5, 4.6 and 4.11).We end this section with Example 4.12 where we compare our results with previous bounds for the phase transition n 0 (A).
In Section 5, we focus our attention on how far are the bounds for n 0 (A) from its real value.We introduce the notions of GT −subsets and GT −sumsets (Definition 5.2), they are uniquely determined by the Z n+1 ≥0 −solutions of linear systems of congruences.We show that this algebraic property allows to improve significantly the bound for n 0 (A) (Proposition 5.3) and, in several cases, to actually compute the polynomial p A (t) (Propositions 5.4 and 5.5).Finally, we use the connection between sumsets and geometry to estimate the Castelnuovo-Mumford regularity and to compute the degree and the Hilbert Polynomial of RL−varieties (Theorem 5.6), a family of smooth rational monomial projections of X n,d A introduced in [7].RL−varieties are actually monomial projections image of embeddings of P n .Using this fact along with the combinatorial structure of the subset defining them, in [7] it is determined the cohomology of the normal bundle of any RL−variety.
Notation.Throughout this paper K will be an algebraically closed field of characteristic zero and we set R := K[x 0 , . . ., x n ].Let A = i≥0 A i be an standard K = A 0 algebra, i.e.A = K[A 1 ].We denote by HF A the Hilbert function of A, i.e.HF A (i) = dim K A i for all i ≥ 0. It is well known that there exists a rational coefficient polynomial HP A , the Hilbert polynomial of A, such that HP A (i) = HF A (i) for i ≫ 0.
Given integers n, d ≥ 1, we define the d−th binomial expansion of n as where m d > • • • > m e ≥ e ≥ 1 are uniquely determined integers (see [3,Lemma 4.2.6]).We write

Preliminaries
In this section, we gather the main notations, definitions and results we use in this paper.The reader can look at [10,11,27] for more details.
2.1.Sumsets.Let n ≥ 1 be an integer and A ⊂ Z n a non-empty finite subset.For any t ∈ N, a t-fold sumset tA is defined as follows: As usual, we set 0A = {0}.A longstanding problem in additive combinatorics is to determine the cardinality |tA| of the t-fold sumset tA as t grows.To this end, we introduce the cardinality function The coefficients of the polynomial p A (t) and the value of ϕ A (t) for small t are barely known.Another interesting problem is to determine the phase transition n 0 (A) of ϕ A .The case n = 1 has lately received a lot of attention and our goal is to address the general case, i.e. n ≥ 1.First, we deal with arbitrary subsets A ⊂ Z n and, later in Section 5, we restrict our attention to suitable subsets (GT −subsets) to improve previous results.
Let us start with easy examples which show that the behaviour of |tA| for small t, the coefficients of p A (t) and the phase transition strongly depend on the structure of A.
Next goal is to identify p A (t) with the Hilbert polynomial of a suitable monomial projection Y n,d of the Veronese variety X n,d ; and use the geometry of Veronese varieties and their monomial projections to determine upper bounds for the phase transition as well as for identifying certain coefficients of p A (t).For sake of completeness we recall below the basic facts on Veronese varieties.2.2.Veronese varieties.We fix integers n, d ≥ 1 and we set N n,d := n+d n .We consider the set M n,d = {m 0 , . . ., m N n,d −1 } ⊂ R of all monomials of degree d in R, ordered lexicographically.The Veronese variety X n,d ⊂ P N n,d −1 is defined as the image of the Veronese embedding of P n ν n,d : for further details see, for instance, [17]).
We take new variables w 0 , . . ., w N n,d −1 and we set S := K[w 0 , . . ., w N n,d −1 ].The homogeneous ideal I(X n,d ) ⊂ S of the Veronese variety X n,d ⊂ P N n,d −1 is the homogeneous binomial prime ideal generated by all binomials of degree 2 of the form: (1) Example 2.3.We take an integer d ≥ 1 and we set S = K[w 0 , . . ., w d ].The rational normal curve of degree d is the Veronese curve X 1,d ⊂ P d .It is the image of the morphism .
The homogeneous ideal I(X 1,d ) ⊂ S of X 1,d is the binomial prime ideal generated by the d 2 quadrics obtained from the 2 × 2 minors of the matrix These quadrics correspond to the 2 × 2 minors of the matrix of rank 1 An easy computation shows that the Hilbert polynomial of X 1,d is: the rational map defined by Ω n,d which sends a point p = (x 0 : is the monomial projection of the Veronese variety X n,d parameterized by Ω n,d .So, we have the commutative diagram: where π is the projection of the Veronese variety X n,d ⊂ P N n,d −1 from the linear subspace generated by the coordinate points (0 : . The simple monomial projection Y 1,4 ⊂ P 3 parameterized by Ω 1,4 is the rational quartic in P 3 obtained as the monomial projection of the rational normal curve X 1,4 of degree 4 in P 4 = Proj(K[w 0 , w 1 , w 2 , w 3 , w 4 ]) from the coordinate point (0 : 0 : 1 : 0 : 0) to the hyperplane V (w 2 ) ⊂ P 4 .

Sumsets and monomial projections of Veronese varieties
The goal of this section is to associate to any finite subset A ⊂ Z n a monomial projection Y n,d A of the Veronese variety X n,d A whose Hilbert function HF Y n,d A (t) models the cardinality function ϕ A (t) = |tA| and, hence, allows to conclude that there is a polynomial p For simplicity, we use the notation Y n,d A , notwithstanding the reader has to be aware of the fact that Y n,d A depends on A and not just on d A .
Remark 3.2.Given a finite subset A ⊂ Z n , there is a unique translation τ : In fact, τ is the translation defined by −C where the i-th component of C is the minimum of the i-th components of the elements a ∈ A. We have: for all t ≥ 0. Hence, without loss of generality we will assume in the sequel that Given an integer n ≥ 1 and a finite subset A ⊂ Z n ≥0 , we consider Ω n,d A = {m 1 , . . ., m |A| } ⊂ R the set of monomials determined by A. We take w 1 , . . ., w |A| new variables and It is a binomial prime ideal of S generated by ([21, pag 335]): (2) To simplify, we denote by HF A the Hilbert function of A(Y n,d A ) (see [3,Chapter 4] for further details).Recall that for any integer t ≥ 0, HF Moreover, we have: Proposition 3.3.For any integer n ≥ 1 and any finite subset A ⊂ Z n ≥0 , it holds: This perspective provides that for t large enough, ϕ of degree r and, hence, a geometrical interpretation of its leading coefficient . In addition, the phase transition n 0 (A), known also as the regularity of the Hilbert function, is bounded by the Castelnuovo-Mumford regularity reg(A) plus one (see also [3] for further details).
The numerical functions H : N −→ N that are Hilbert functions of standard K-algebras were characterized by Macaulay, [3].Indeed, given a numerical function H : N −→ N the following conditions are equivalent: (i) There exists a K-algebra A such that H = HF A , (ii) H(0) = 1 and H(t + 1) ≤ H(t) <t> for all t ≥ 1.
Hence, for any finite subset A ⊂ Z n ≥0 , the growth of the cardinality function ϕ A (t) = |tA| satisfies: (3) The polynomials p(t) ∈ Q[t] that are Hilbert polynomials are characterized as those admitting a Gotzmann development (see [12] and [16]).Recall that p(t) ∈ Q[t] admits a Gotzmann development if p = 0 or there exist integers Moreover, this representation is unique.From [2, Theorem 4.4] we have that the following conditions are equivalent: is the Hilbert polynomial of a standard K-algebra A (ii) p(t) admits a Gotzmann development.
The integer s is an upper bound of the Castelnuvo-Mumford regularity reg(A) of A (see [3]).In general this bound is far to be optimal.In fact, the Eisenbud-Goto conjecture claims that if A is an integral K-algebra then Although this bound has been disproved ( [25]), it is true for several types of rings covering some of the considered in this paper, see [30] and the references therein.See also Section 4 for further results on the phase transition of finite sets A ⊂ Z n ≥0 .
Since Y n,d A is a monomial projection of the n-dimensional Veronese variety X n,d A , its dimension is bounded by n and its degree by the degree d n A of X n,d A .However, the following examples show that both the dimension and the degree of the variety Y n,d A can be smaller than those of the Veronese variety X n,d A .
Proof.(i) By hypothesis A defines a rational map ψ : P n P n and the closure Y n,d A of its image is an n-dimensional subvariety of P n .Therefore, Y n,d A = P n and (ii) In this case, A defines a rational map ψ : P n P n+1 and the closure Y n,d A of its image is a hypersurface of degree d of P n+1 defined by I(Y n,d A ) = (F ).Using the exact sequence where ×F : S(−d) → S denotes the multiplication map by F and S = K[w 0 , . . ., w n+1 ], we get the claim.The last equality follows from the fact that in [23] and [24] it is established that if Z(A − A) has maximal rank, then the leading coefficient of the polynomial p .
To explicitly determine the function ϕ A (t), the coefficients of the polynomial p A (t) and the phase transition n 0 (A) of ϕ A (t) for arbitrary finite subsets A ⊂ Z n with more than n + 2 elements is out of reach.In the remaining part of this section, we will focus our attention on the leading coefficient of the polynomial p A (t).
So far we have a description of the degree deg(Y n,d A ) of Y n,d A in terms of the set A and the difference set A − A. By [23] and [24], if Z(A − A) has maximal rank, then (5) deg .
On the other hand, since Y n,d A is a toric variety, deg(Y n,d A ) can also be described combinatorially as follows.From now on, given a finite subset A ⊂ Z n , we set We denote by M the (n + 1) × |A| matrix whose columns correspond to the points of A. By [31, Theorem 2.13 and 4.5], we have: (7) deg where r = rk(M ), vol(conv(A)) is the volume of the convex hull of A ∪ {0} and ∆ r is the greatest common divisor of all the non-zero r × r minors of M .
Expressions ( 5) and ( 7) provide two different ways to determine the degree of Y n,d A in terms of subsets.Both involve the volume of convex polyhedrons and the Smith normal form of certain matrix (see, for instance, [31]).Let us see some examples where we compute the Hilbert function and polynomial and, hence, the degree of Y n,d A .
We end this section with a purely geometric approach to calculate the leading term of the polynomial p A (t) ∈ Q[t] associated to any finite subset A ⊂ Z n ≥0 .The result is based on the following observation: we consider two finite subsets [17,, 259], we have: Iterating this process we can compute the leading term of the polynomial p A (t) ∈ Q[t] associated to any finite subset A ⊂ Z n ≥0 .To this end, we need to fix some extra notation.Given any finite subset A ⊂ Z n ≥0 with r := |A|, we consider a chain where Call π i,i−1 such a projection.We define Proposition 3.10.Let p A (t) ∈ Q[t] be the polynomial of a finite subset A ⊂ Z n ≥0 with associated n-dimensional projective Y n,d A and let a n be its leading coefficient.With the above notation it holds: Proof.It immediately follows from (8) taking into account that deg X n,d = d n .
Next example illustrates the above results.

Bounds for the phase transition
In Section 3, we have studied the leading coefficient of p A (t) and we have provided combinatorial and geometric interpretations of it.Notwithstanding, for arbitrary n ≥ 1 and A ⊂ Z n , the phase transition n 0 (A) and the polynomial p A (t) are barely known.We will use the Castelnuovo-Mumford regularity reg(A) of A(Y n,d A ) to derive new bounds for n 0 (A) under some technical assumptions on A.
Following [15] and [8], we gather a series of known bounds for the phase transition in the following setting: finite subsets A ⊂ Z n ≥0 whose convex hull conv(A) is an n−simplex.In this case, the bounds on the phase transition n 0 (A) are expressed in terms of n, |A|, vol(conv(A)) and a constant K(A, B), which depends further on A and its associated semigroup H(A) ⊂ Z n ≥0 .
Definition 4.1.Let A ⊂ Z n ≥0 be a finite subset.The convex hull conv(A) of A is an n−simplex if there is a subset B = {v 1 , . . ., v n+1 } ⊂ A of n + 1 elements such that the difference set B − B generates R n and conv(A) = conv(B).Theorem 4.2.Let A ⊂ Z n ≥0 be a finite subset with conv(A) an n−simplex.We have:
Next, we establish new bounds for the phase transition using the geometric approach we have developed in Section 3. The first bounds we provide for n 0 (A) are expressed in terms of n, |A| and deg(Y n,d A ), and they can be easily compared with the previous ones using (5).The last bound we give is based on the reduction number r(A) of K[Y n,d A ] which, as the constant K(A, B), depends further on the subset A.
Through the rest of this section, we consider subsets A ⊂ Z n ≥0 such that A ⊂ Z n+1 ≥0 generates a simplicial affine semigroup H(A), i.e. e 0 := (d A , 0, . . ., 0), . . ., e n := (0, . . ., 0, , which is the simplicial semigroup ring associated to the affine semigrop H(A) ⊂ Z n+1 ≥0 .This is equivalent to consider subsets A ⊂ Z n ≥0 containing the origin 0 ∈ Z n and the elements, which we fix in the sequel, In particular, Z(A − A) has maximal rank, hence (( 5) and ( 7)): We have: Theorem 4.5.Let A ⊂ Z n ≥0 be a finite subset such that {0, v 1 , . . ., v n } ⊂ A. If one of the following conditions yields, If Y n,d A is a smooth variety, then we have further Proof.Under the hypothesis of the statement, the Eisenbud-Goto conjecture for the Castelnuovo-Mumford regularity reg(A) of K[Ω n,d A ] holds (see [20,Corollary 3.6 and Proposition 3.7] and [19, Theorem 1.1 and Corollary 1.3]).Therefore, the proof now follows from the general fact: In general, Theorem 4.6.Let A ⊂ Z n ≥0 be a finite subset such that {0, v 1 , . . ., v n } ⊂ A. Then, Proof.The result follows from [20, Theorem 3.2 and Theorem 3.5].
Overall, combining Theorems 4.2, 4.5 and 4.6 we obtain finer bounds for the phase transition n 0 (A).For instance, subsets A ⊂ Z n ≥0 containing {0, v 1 , . . ., v n } and moreover any point of the form (0, . . ., α(d A − 1), . . ., β, . . ., 0) with α, β ∈ {0, 1} give rise to a smooth monomial projection Y n,d A of the Veronese variety X n,d A .In this case, Z(A − A) = Z n and we have deg  [15] and the bound (n + 1) deg(Y n,A )− 3n − 1 given in [8] when |A| > n + 2. On the other hand, for those subsets A satisfying one of the hypothesis of Theorem 4.5, we have n 0 (A) ≤ deg(Y n,d A ) − |A| + n + 2 which beats the prior bounds in almost all cases and it is close to the bound n 0 (A) ≤ deg(Y n,A ) − |A| + 2 conjectured in [8].In particular, when Y n,A is a smooth variety we have n 0 The last expressions are more difficult to compare in general.Notwithstanding, for this kind of monomial projections, it is often the case deg(Y n,A ) = d n A , or equivalently [Z n : Z(A − A)] = 1.For instance, as we have seen before, Y n,d A is a degree d n A smooth variety when A contains any point of the form (0, . . ., α(d A − 1), . . ., β, . . ., 0) with α, β ∈ {0, 1}.In this setting, we have n(d In [20], the authors provide bounds for reg(A) in terms of the reduction number r(A) of K[Ω n,d A ]. We will relate r(A) to the constant K(A, B), with B = {0, v 1 , . . ., v n }, and we will provide bounds for n 0 (A) in terms of r(A) that improve the one given in Proposition 4.3.Definition 4.8.Let A ⊂ Z n ≥0 be a finite subset such that {0, v 1 , . . ., v n } ⊂ A. The reduction number r(A) of the semigroup ring K[Ω n,d A ] is the least positive integer r such that (r + 1)A = {e 0 , . . ., e n } + rA.Remark 4.9.Notice that for any r ≥ r(A), we obtain inductively that (r + 1)A = {e 0 , . . ., e n } + rA.
In the next result we relate r(A) to K(A, B): Proof.To prove the result, we check the inequalities r(A) ≤ K(A, B) and K(A, B) ≤ r(A).Let r ≥ K(A, B) be an integer and a = (a 1 , . . ., a n ) ∈ (r + 1)A.We set and we denote a = (a 0 , a 1 , . . ., a n ) ∈ (r + 1)A.By hypothesis, there exists v i such that a Now, let r ≥ r(A) be an integer and assume that a ∈ S(A, B) has height N a = r + 1, i.e. a ∈ (r + 1)A is B−minimal and a / ∈ r ′ A for any r ′ ≤ r + 1.By hypothesis, (r + 1)A = {e 0 , . . ., e n } + rA, so a − e i ∈ rA for some 0 ≤ i ≤ n.Since a is B−minimal, it follows that a − e i / ∈ rA for any 1 ≤ i ≤ n.Thus, a−e 0 ∈ rA.In particular, we obtain that a ∈ rA which contradicts the hypothesis N a = r + 1.As a result, any B−minimal element has height N a ≤ r(A), so K(A, B) ≤ r(A).
We have:  To determine K(A, B), or equivalently r(A), could be cumbersome depending on the subset A. In [15], the authors provide a bound for K(A, B) in terms of the Davenport constant of a certain group.On the other hand, for subsets A ⊂ Z n ≥0 with {0, v 1 , . . ., v n } ⊂ A, the constant r(A) can be also bounded as follows: Proposition 4.13.Let A ⊂ Z n ≥0 be a finite subset such that {0, v 1 , . . ., v n } ⊂ A. (i) If H(A) contains all integral points of an i-dimensional face of conv(A), then r(A) ≤ Proof.See [20, Lemma 1.2 and 1.3].

GT-sumsets and RL-varieties
The aim of this section is to illustrate how the relationship between additive number theory and algebraic geometry allows us to go back and forth and solve interesting open problems.First, we introduce the notions of GT −subsets and GT -sumsets associated to linear systems of congruences.For this kind of subsets A ⊂ Z n ≥0 and using the geometry of Y n,d A , we provide a low bound for the phase transition n 0 (A) and families of examples for which the function ϕ A (t) and polynomial p A (t) are completely determined.Second, we present RL−varieties, they are monomial projections of the Veronese variety X n,d intrinsically related to GT −subsets and GT −sumsets.Using properties of sumsets, we are able to compute their degree and their Hilbert polynomial.Notation 5.1.Let 1 ≤ n, d 1 , . . ., d s be integers and let M = (a i,j ) be a s×(n+1) matrix of integers with 0 ≤ a i,0 , . . ., a i,n < d i and GCD(a i,0 , . . ., a i,n , d i ) = 1, for each 1 ≤ i ≤ s.We set d := d 1 • • • d s and we denote by (M, d 1 , . . ., d s ) the linear system of congruences For each t ≥ 1, we denote by (M, d 1 , . . ., d s ; t) the linear system: The set of all Z n+1 ≥0 −solutions of a system of congruences (M, d 1 , . . ., d s ) is an affine semigroup H ⊂ Z n+1 ≥0 .By [7,Theorem 2.2.11] the associated subset A minimally generates the semigroup H. Thus, for each t ≥ 1 the GT −sumset tA is uniquely determined by the set of Z n+1 ≥0 −solutions of the system (M, d 1 , . . ., d s ; t) and, hence, In addition, the above construction can be also interpreted from invariant theory point of view.Given a system of congruences (M, d 1 , . . ., d s ), we set e a dth primitive root of 1 ∈ K.For each 1 ≤ i ≤ s we denote e i = e d/d i and by M d i ;a i,0 ,...,a i,n the diagonal (n + 1) × (n + 1) matrix diag(e a i,0 i , . . ., e a i,n i ).Since by hypothesis GCD(a i,0 , . . ., a i,n , d i ) = 1, each matrix M d i ;a i,0 ,...,a i,n generates a cyclic subgroup Γ i of GL(n+1, K) of order d i .We take which is an abelian group of order d acting diagonally on R and we denote by G ⊂ GL(n + 1, K) its cyclic extension, the abelian group generated by G and the diagonal matrix diag(e, . . ., e).The ring Furthermore, the structure of GT −sumsets allows to completely determine the function ϕ A (t), the polynomial p A (t) and the phase transition n 0 (A) in many cases.The first approach consists of counting the number of solutions of the systems (M, d 1 , . . ., d s ; t).This method depends on the system (M, d 1 , . . ., d s ) and it is out of reach for large values of n.Nevertheless, for n = 2, 3 it often leads to a complete solution.For instance, Proposition 5.4.Let 2 ≤ n < d be integers and (M, d) the system of congruences: Then, the phase transition n 0 (A) for the GT −subset A ⊂ Z 2 ≥0 of (M, d) is zero and Proof.The function ϕ A (t) coincides with the number of solutions of the system (M, d; t) and the result follows from [5, Theorem 4.12].
The second approach is based on the computation of the Hilbert series HS The Hilbert series can be obtained from the Molien series of G as follows: which is an expression that only depends on (M, d 1 , . . ., d s ) (see, for instance, [3]).The expansion of the Molien series of G gives the function ϕ A (t) and the polynomial p A (t).For instance we have the following result, for sake of completeness we include a simple proof.
Proposition 5.5.Let 2 ≤ n < d be integers with d prime and (M, d) a system of congruences: Then, the phase transition n 0 (A) for the GT −subset A ⊂ Z n ≥0 associated to (M, d) is zero and Proof.For any t ∈ Z ≥0 , we have that ϕ A (t) = |(M, d 1 , . . ., d s ; t)| which is the number of monomial invariants of G of degree td.Since it coincides with the number of monomial invariants of G of degree td, it is enough to consider the expansion of the Molien series of G in degree td: Since d is prime and the exponents 0 (1 − e j z), which gives us the following expression: The expansion of the first summand at z td provides td+n n .For each 1 ≤ k ≤ d − 1, j =ka 1,i mod d i=0,...,n (1 − e j z) is a polynomial in z of degree strictly smaller than d, so the second provides d − 1 at z td and the result follows.
In the last part of this paper, we will use the results of sumsets obtained so far to derive new results about RL−varieties; RL−varieties were introduced and studied in [6] and [7].They are a family of smooth rational monomial projections of the Veronese variety X n,d naturally related to GT −subsets.Basic information as the degree of an RL−variety was unknown and the approach and techniques we have presently developed will allow us to obtain new information about this family of varieties and, in particular, to compute their degree and their Hilbert polynomial.| a 0 + • • • + a n = td}.Indeed, let t ≥ n + 1 be an integer and a = (a 0 , . . ., a n ) ∈ Z n+1 ≥0 be such that a 0 + • • • + a n = td.We prove that a ∈ trl(A) c .Notice that if some a i = 0, then it is immediate that a ∈ trl(A) c since rl(A) c contains all points {(a 0 , . . ., a n ) ∈ Z n+1 ≥0 | a 0 + • • • + a n = d and a i = 0}.So, we can assume that a 0 ≥ 1, . . ., a n ≥ 1 and, without loss of generality, we consider a 0 = min{a 0 , . . ., a n }.Since |a| = a 0 +• • •+a n ≥ (n+1)d, there is a i such that a i ≥ d, otherwise |a| < (n+1)d and we get a contradiction.We set a 0 = t ′ d+k 0 with k 0 ∈ {0, . . ., d − 1} and we distinguish two cases.We end this section with an illustrating example.

Definition 3 . 1 .
for t sufficiently large.For any integer n ≥ 1 and any finite subset A ⊂ Z n ≥0 , we denote by d A the minimum of the integers δ ≥ 0 such that any element a d} and the associated monomial projection is the Veronese variety X n,d .It is straightforward to see that rk(M ) = n+1 and vol(conv(A)) = d n+1 the height of a is the minimum of the integers t ≥ 0 such that a ∈ tA, we denote it by N a .The class of a modulo Z(B) can be represented by an element of π a ∈ Π B and we denote by S π the set of elements of H(A) which are congruent to π a modulo Z(B).An element a ∈ S π is said to be B−minimal if a − v i / ∈ H(A) for any i = 1, . . ., n + 1.The set of all B−minimal elements of H(A) is denoted by S(A, B).Keeping this notation:Proposition 4.3.[15, Theorem 4.1] If S(A, B) is finite, then n 0 (A) ≤ (n + 1)(K(A, B) − 1) + 1,where K(A, B) := max a∈S(A,B) N a .In next example, we compute the bounds given in Theorem 4.2 and Proposition 4.3 and we show that both bounds are far from the real value of n 0 (A).

ϕ
A (t) = |tA| = |(M, d 1 , . . ., d s , t)|.Geometrically, the coordinate ring of the monomial projection Y n,d A of the Veronese variety X n,d parameterized by the set Ω n,d of monomials associated to the GT −subset A of (M, d 1 , . . ., d s ) is the semigroup ring K[H].
2.11], Ω n,d is a minimal set of generators of the ring R G = K[H].So, for the phase transition n 0 (A) of a GT-subset we have: Proposition 5.3.Let A be the GT −subset associated to a linear system of congruences (M, d 1 , . . ., d s ).Then, n 0 (A) ≤ n + 1. Proof.By [7, Theorem 3.3.5],it holds that reg(R G ) + 1 = reg(A) + 1 ≤ n + 1.Since n 0 (A) ≤ reg(A) + 1, the result follows.The Castelnuovo-Mumford regularity reg(A) gives us a bound for the phase transition n 0 (A) for GT −sumsets which is considerable low compared to the bounds we have in Section 4. Indeed, R G = K[H] is a Cohen-Macaulay ring, so we have by Theorem 4.5 that n 0 (A) ≤ deg(Y n,d ) − |A| + n + 2. Now, by [7, Proposition 3.1.2]we have that deg(Y n,d ) ≥ |A| − 1 and, hence, the claim deg(Y n,d ) − |A| + n + 2 ≥ n + 1 follows.
[23] now onward, we restrict our attention to finite subsets A ⊂ Z n ≥0 associated to n−dimensional monomial projections Y n,d A of X n,d A .This restriction is quite natural and well controlled since we have the following,[23], Proposition 3.5.Let A ⊂ Z n ≥0 be a finite set.Then, the associated variety Y n,d A has dimension n if and only if Z(A − A) has maximal rank.Remark 3.6.We also have a geometrical version of Proposition 3.5.Indeed, by [1, Pag.186], given A ⊂ Z n ≥0 a finite set, then the associated variety Y n,d A ⊂ P |A|−1 has dimension n if and only if rank((∂m i /∂x j )) i=1,...,|A| j=0,...,n = n + 1, where {m i } i=1,...,|A| are the monomials parameterizing Y n,d A .It immediately follows that for any finite set A ⊂ Z n ≥0 associated to an n−dimensional monomial projection Y n,d A of X n,d A we have |A| ≥ n + 1.Our first goal is to study ϕ A (t) = |tA| for small values of |A|, i.e. |A| = n + 1 and |A| = n + 2 and, to provide easier and new proofs of known formulae.To this purpose, we need to fix some notation.We denote by conv(A) the convex hull of A and let [Z n 2 ≥0 .We have d A 2 = |A 2 | = 4 and the associated monomial projection Y 2 2,4 ⊂ P 3 of X 2,4 ⊂ P 14 is the cubic surface parameterized by Ω 3 − w 2 w 2 1 (see (2)).