Asymptotic Chow semistability implies Ding polystability for Gorenstein toric Fano varieties

In this paper, we prove that a Gorenstein toric Fano variety $(X, -K_X)$ is asymptotically Chow semistable then it is Ding polystable with respect to toric test configurations (Theorem 1.3). This extends the known result obtained by others (Theorem 1.2) to the case where $X$ admits Gorenstein singularity. We also show the additivity of the Mabuchi constant for the product toric Fano varieties in Proposition 1.5 based on the author's recent work (Ono, Sano and Yotsutani in arXiv:$2305.05924$). Applying this formula to certain toric Fano varieties, we construct infinitely many examples that clarify the difference between relative K-stability and relative Ding stability in a systematic way (Proposition 1.4). Finally, we verify relative Chow stability for Gorenstein toric del Pezzo surfaces using the combinatorial criterion developed in (Yotsutani and Zhou in Tohoku Math. J. 71 ($2019$), $495$-$524$.) and specifying the symmetry of the associated polytopes as well.


INTRODUCTION
Let (X, L) be a polarized projective variety of complex dimension n.One of the outstanding problem in Kähler geometry is to distinguish whether the first Chern class c 1 (L) contains a Kähler metric ω with constant scalar curvature (cscK metric).A parallel reasoning question in algebraic geometry is to study an appropriate notion of stability of (X, L) in the sense of Geometric Invariant Theory (GIT).This leads us to investigate various notions of GIT-stability and study the relation among them.For example, Ross-Thomas clarified the following implications among GIT-stability in their paper [RT07]: Asymptotic Chow stability ⇒ Asymptotic Hilbert stability ⇒ Asymptotic Hilbert semistability ⇒ Asymptotic Chow semistability ⇒ K-semistability.
In [Mab08], Mabuchi proved that Chow stability and Hilbert stability asymptotically coincide.Remark that for a fixed positive integer i ∈ Z + , Chow stability for (X, L ⊗i ) implies Hilbert stability for (X, L ⊗i ) (i.e.not necessarily asymptotic stability case) by the classical result due to Forgaty [Fo69].See also [KSZ92,Corollary 3.4] for more combinatorial description of this result in terms of GIT weight polytopes.
In order to describe our issue more precisely, we first recall that a complex normal variety X is said to be Fano if its anticanonical divisor −K X is ample.It is called Gorenstein if −K X is Cartier.Suppose that X is a smooth Fano variety (i.e. a Fano manifold) with a Kähler metric ω = √ −1g i j dz i ∧ dz j ∈ 2πc 1 (X).
We recall that ω ϕ = ω + √ −1∂ ∂ϕ is Kähler-Einstein if and only if ϕ is a critical point of either the K-energy ν ω or the Ding functional D ω where both functionals defined on the space of Kähler potentials H ω = { ϕ ∈ C ∞ (X) | ω ϕ > 0 }.It is known that these functionals satisfy the inequality D ω ν ω which turns out to be the Ding invariant is less than or equal to the Donaldson-Futaki (DF) invariant [Be16].In the case where X is toric, Yao gave explicit description of the inequality between the Ding invariant and the DF invariant in terms of the associated polytope [Yao21, Proposition 4.6].In particular, Ding polystability implies K-polystability for a toric Fano manifold.Moreover, the converse direction has been also proved in [Fu16] for (not necessarily toric) Fano manifolds.
On the one hand, in differential-geometrical point of view, Theorem 1.1 corresponds to the fact that cscK metrics in the anticanonical classes of Fano manifolds are Kähler-Einstein metrics.Recall that for a compact Kähler manifold X with a fixed Kähler class [ω], ϕ is a critical point of ν ω if and only if ω ϕ is a cscK metric.On the other hand, we conclude that if a Fano manifold X is asymptotically Chow semistable then it is Ding semistable according to the previous argument.In the case where X is a toric Fano manifold, it is known that X is K-semistable if and only if it is K-polystable [Be16,BJ20,WZ04].Summing up these arguments, we have the following.
Theorem 1.2 (Berman, Ono, Yao).Let (X, −K X ) be a smooth toric Fano variety.If (X, −K X ) is asymptotically Chow semistable with respect to toric test configurations, then it is Ding polystable with respect to toric test configurations.
In this article, we show that a more general result by a combinatorial proof.
Theorem 1.3.Let (X, −K X ) be a Gorenstein toric Fano variety.If (X, −K X ) is asymptotically Chow semistable with respect to toric test configurations, then it is Ding polystable with respect to toric test configurations.
Essentially, the proof of Theorem 1.3 is based on the Ehrhart reciprocity law and the fact that any toric Fano variety is K-polystable if and only if the barycenter of the associated reflexive polytope ∆ ⊆ M R is the origin.As we mentioned above, another advantage of our combinatorial approach is that X may admit Gorenstein singularity (i.e.not necessarily smooth) in our main theorem.However, it does not work for a Q-Gorenstein toric variety since the corresponding polytope ∆ contains not only the origin, but also other lattice points.It also should be noted that we only assume (X, −K X ) to be asymptotically Chow semistable and do not assume (X, −K X ) to be asymptotically Chow polystable in Theorem 1.3.
In the following Section 4, we discuss relative stability of toric Fano variety.Recently, we found that there are at least four examples of smooth toric Fano variety which clarify the difference between relative K-stability and relative Ding stability in [NSY23].In order to discover these four examples of a relatively K-polystable toric Fano variety, but which is relatively Ding unstable, the author focused on the geometrical description such that they are all P 1 -bundles over P m .In particular, we consider the case of Picard number one projective toric varieties.Based on a recent argument discussed in [OSY23], we systematically construct such examples in arbitrary dimension.
Proposition 1.4 (See, Corollary 4.9).Fixing a positive integer r, we consider an extremal smooth toric Fano variety X k with the associated polytope In order to prove Proposition 1.4, we shall use the following additive property of the Mabuchi constant M X ∆ for the products of toric Fano varieties.
Proposition 1.5 (See, Corollary 4.6).For the product polytope ∆ of reflexive polytopes ∆ k for k = 1, . . ., r, let M X ∆ and M X ∆ k be the Mabuchi constant defined in (4.9).Then we have the equality We give a purely combinatorial proof of Proposition 1.5 in Section 4.3.In the following Section 4.4, we classify Gorenstein toric del Pezzo surfaces in terms of (asymptotic) relative Chow polystability.We use the criteria (4.3) to verify asymptotic relative Chow stability of polarized toric variety.However, it is very difficult to verify asymptotic relative Chow stability of a given polarized toric variety because we have to prove that there exists t i ∈ R satisfying the equality in (4.3) for any positive integer i.In order to solve this difficulty, we consider the symmetry of the associated polytopes ∆ ⊂ M R which works very well for two dimensional reflexive polygons (16 types).Adapting the symmetry of reflexive polygons and a combinatorial criteria (4.3) investigated by Zhou and the author in [YZ19], we verify relative Chow stability of each Gorenstein toric del Pezzo surfaces.
Proposition 1.6 (See, Proposition 4.7).Among all 16 isomorphism classes of Gorenstein toric del Pezzo surfaces, there are 5 isomorphism classes of asymptotically relatively Chow polystable surfaces and 4 isomorphism classes of asymptotically relatively Chow unstable surfaces.The remaining 7 classes are relatively Chow polystable with respect to the anticanonical polarization.
All the results are listed in Table 1.We also refer the reader to Table 2 for specifying symmetry of each reflexive polygon ∆ ⊂ M R .
This paper is organized as follows.Section 2 is a brief review of Gorenstein toric Fano varieties, Ding stability and asymptotic Chow stability.The proof of Theorem 1.2 is given in Section 3. Section 4 collects the results of relative algebro-geometric stability.In Sections 4.1 and 4.2, we recall the criteria of relative Chow stability of polarized toric variety investigated by the author and B. Zhou in [YZ19].We prove Proposition 1.5 in Section 4.3 by applying the product formulas regarding convex polytopes which was also used in [OSY23].See Lemma 4.4 and the proof of Proposition 4.5 for further details.Section 4.4 is devoted to verify asymptotic relative Chow stability of Gorenstein toric del Pezzo surfaces.All the results and practical values of invariants are summarized in Proposition 4.7 and Table 1.

PRELIMINARY
2.1.Gorenstein toric Fano varieties.We first recall the standard notation and basic definitions of Gorenstein toric Fano varieties, as it can be found in [CLS11].
Let N ∼ = Z n be a lattice of rank n, while M = Hom(N, Z) is the Z-dual of M. Let P ⊆ N R ∼ = R n be a lattice polytope with 0 ∈ Int(P ).We assume that all vertices of P are primitive elements in N.For a subset S of N R , we denote the positive hull of S by pos(S) i.e. pos(S) = v∈S R 0 v. Then forms the fan which is often called the normal fan of P .It is well-known that the fan Σ = Σ P associates a toric variety X Σ with the complex torus T N := Spec C[M] action.
Here and hereafter we denote the associated toric variety by X for simplicity.Recall that the anticanonical divisor of X is given by −K X = ρ D ρ where D ρ is the torus invariant Weil divisor corresponding to a ray ρ ∈ Σ(1).Then the dual polytope of P (w.r.t.−K X ) is defined by which is also an n-dimensional (rational) polytope in M R with 0 ∈ Int(∆).Then ∆ is called reflexive if it is a lattice polytope.There is a bijective correspondence beween isomorphism classes of reflexive polytopes and isomorphism classes of Gorenstein toric Fano varieties.For a fixed dimension n, there are only finitely many isomorphism classes of n-dimensional reflexive polytopes [KS98,KS00].They found 1, 16, 4319 and 473800776 isomorphism classes for n = 1, 2, 3 and 4. Throughout the paper, we assume that a (toric) Fano variety X admits at worst Gorenstein singularities.
2.2.Ding stability for Fano varieties.In this section, we briefly review a notion of Ding stability, see [Be16,Fu16,Yao21] for more details.
Let (X, ω) be an n-dimensional Fano manifold with a Kähler metric ω ∈ 2πc 1 (X).We set V to be the volume V := X ω n of the given Fano manifold X. Recall that the Ding functional D ω : H ω → R is given by where ϕ t is a smooth path in H ω joining 0 with ϕ and ρ ω is the function which satisfies (2.1) Then we readily see that ϕ is a critical point of D ω if and only if ω ϕ is a Kähler-Einstein metric.
Next we recall a notion of a test configuration.A test configuration for a Fano variety (X, −K X ) is a polarized scheme (X , L) with: • a C × -action and a C × -equivariant proper flat morphism π : X → C, where C × acts on the base by multiplication.• a C × -equivariant line bundle L → X which is ample over all fiber X z := π −1 (z) for z = 0, and (X, −K X ) is isomorphic to (X z , L z ) with L z = L| Xz .Taking a Hermitian metric h 0 on O X (−K X ) with positive curvature, we can construct the Phong-Sturm geodesic ray h t which emanates from h 0 in H ω [PS07].In [Be16], Berman defined the Ding invariant as the asymptotic slope of the Ding functional along the geodesic rays.Moreover he showed that where the error term q is non-negative and DF (X , L) is the Donaldson-Futaki invariant.
Then the Ding invariant Ding(X , L) is given by A Gorenstein Fano variety X is said to be Ding-semistable if for any test configuration (X , L) for (X, −K X ), we have Ding(X , L) 0. Moreover X is said to be Ding polystable if X is Ding semistable and Ding(X , L) = 0 if and only if (X , L) is equivariantly isomorphic to (X × C, p * 1 (−K X )) where p 1 : X × C → X is the projection.Now we consider the toric case.Let X be an n-dimensional toric Fano variety and ∆ ⊆ M R the corresponding reflexive polytope with the coordinates , is a test configuration associated with a rational piecewise linear convex function u on ∆, so that iQ is a lattice polytope in M R × R ∼ = R n+1 .Here Q is given by and R is an integer such that u R. Then iQ defines the n + 1-dimensional polarized toric variety (X , L) and a flat morphism X → CP 1 .Hence the family restricted to C gives a torus equivariant test configuration (X , L) for (X, −iK X ).
The toric geodesic ray h t associated to a toric test configuration was described by Song-Zeldich [SoZe12].In [Yao21], Yao detected an explicit description of the Ding invariants of toric Fano varieties.
Theorem 2.1 (Yao).Let (X, −K X ) be a Gorenstein toric Fano variety with the associated reflexive polytope ∆.Let u be a piecewise linear convex function.The Ding invariant of the toric test configuration associated to u is given by (2.2) Then a reflexive polytope ∆ ⊆ M R is said to be Ding polystable if I ∆ (u) 0 for all convex piecewise linear functions u and the equality holds if and only if u is affine linear.One can observe that I ∆ (u) is invariant when we add affine linear functions to convex piecewise linear functions.Hence it suffices to consider normalized convex piecewise linear functions u on ∆ for our purpose, that is, u(x) u(0) = 0.The following observation was given by Yao [Yao21], and we write down the detail for the reader's convenience.
Proposition 2.2 (Yao).If ∆ is a reflexive polytope, then the associated Gorenstein toric Fano variety (X, −K X ) is Ding polystable if and only if the barycenter of ∆ is 0.
Conversely we assume that ∆ x dv = 0. Then for any normalized convex piecewise linear function u, Jensen's inequality implies that Hence ∆ is Ding polystable.

Asymptotic Chow stability of toric varieties.
In this section, let us briefly recall notion of Chow stability, see [On11,Yo16] for more details.
Let X ⊂ CP N be an n-dimensional irreducible complex projective variety of degree d 2. Recall that for a projectively embedded n-dimensional complex subvariety X ⊂ CP N , the degree d of X is a number of intersection of X with a linear subspace L in general position, such that n + dim L = N.Let us denote the Grassmann variety by G(k, CP N ).We define the associated hypersurface of X ⊂ CP N by Remark that the construction of Z X can be regarded as an analog of the projective dual varieties as in [GKZ94, Chapter 1].In fact, it is well known that , we define GIT-stability for the X-resultant R X as follows.
Definition 2.3.Let X ⊂ CP N be an n-dimensional irreducible complex projective variety.X is said to be Chow semistable if the closure of SL(N + 1, C)-orbit of the X-resultant R X does not contain the origin.X is said to be Chow polystable if the orbit Definition 2.4.Let (X, L) be a polarized projective variety.For i ≫ 0, we denote the Kodaira embedding by Ψ i : X → P(H 0 (X, L ⊗i ) * ).(X, L) is said to be asymptotically Chow semistable (resp.polystable) if there is an i 0 such that Ψ i (X) is Chow semistable (resp.polystable) for each i i 0 .(X, L) is called asymptotically Chow unstable if it is not asymptotically Chow semistable.
Next we will give a quick review on Ono's necessary condition for Chow semistability of polarized toric varieties.Let ∆ be an n-dimensional lattice polytope in M R ∼ = R n .The Euler-Maclaurin summation formula for polytopes provides a powerful connection between integral over a polytope ∆ and summation of lattice points in ∆.More specifically, for any polynomial function φ on R n , we would like to see how the summation will behave for a positive integer i.If we take φ to be 1, I(φ, ∆)(i) is so-called the Ehrhart polynomial which counts the number of lattice points in i-th dilation of a polytope ∆: Recall that the Ehrhart polynomial has an expression where ∂∆ is the boundary of a lattice polytope ∆.Similarly if we take φ to be the coordinate functions x = (x 1 , . . ., x n ), then I(φ, ∆)(i) counts the weight of lattice points in i-th dilation of a polytope ∆: (2.4) Similar to the Ehrhart polynomial, it is also known that (2.5) gives the R n -valued polynomial satisfying for any positive integer i.We call s ∆ (t) the lattice points sum polynomial.The following necessary condition of Chow semistability of projective toric varieties was obtained in [On11].
Theorem 2.5 (Ono).Let ∆ be a lattice polytope, E ∆ (t) the Ehrhart polynomial and s ∆ (t) the lattice points sum polynomial.We fix a positive integer i ∈ Z + .If the associated toric variety X with respect to L ⊗i is Chow semistable, then the following equality holds: Suppose a projective polarized toric variety (X, L) associated with a lattice polytope ∆ is asymptotically Chow semistable.Then there is an i 0 ∈ Z + such that (2.6) holds for any positive integer i i 0 .On the other hand, we observe that E ∆ (t) and s ∆ (t) are (R n -valued) polynomials.Hence polynomial identity theorem gives the following (see also [On11, Theorem 1.4]).

PROOF OF THEOREM 1.3
3.1.Ehrhart reciprocity law for polynomial functions.Let ∆ be an n-dimensional lattice polytope in M R ∼ = R n and φ a polynomial function on R n .As in Section 2.3, we consider and for a positive integer i.
The classical result of the Ehrhart reciprocity law says that the following equality holds for any positive integer i ∈ Z + : Brion and Vergne gave the following beautiful generalization of this reciprocity law [BV97].
Theorem 3.1 (Brion-Vergne).Let ∆ be an n-dimensional lattice polytope.If φ is a homogeneous polynomial function of degree d on ∆, then the following reciprocity law holds for any positive integer i ∈ Z + .
we use this result for proving the following.
Lemma 3.2.Let ∆ be an n-dimensional reflexive polytope in M R .Let E ∆ (t) be the Ehrhart polynomial, s ∆ (t) the lattice point sum polynomial respectively.Then we have Proof.We note that Int(∆) ∩ Z n = { 0 } since ∆ is a reflexive polytope.Taking φ = 1 and i = 1 in (3.1), we have Similary, if we take φ = x and i = 1, then (3.1) becomes Corollary 3.3.Let X be a toric Fano orbifold.If (X, −K X ) is asymptotic Chow semistable, then X admits a Kähler-Einstein metric in c 1 (−K X ).
We finish this section with the following example which illustrates the combinatorial proof of Theorem 1.3 by using a Gorenstein toric del Pezzo surface.
Example 1.Let ∆ be the polygon in M R ∼ = R 2 whose vertices are given by which is the polytope labeled with 9 in Table 2. Then the associated polarized toric variety (X, L) is the cubic surface with the anticanonical line bundle L = O X (−K X ).It is known that (X, L ⊗i ) is Chow polystable for any integer i > 0 by Theorem 1.2 (3) in [LLSW19].Thus, (X, −K X ) is asymptotically Chow semistable.
Let us compute the R 2 -valued polynomial function s ∆ (t).Firstly, the straight forward computation shows that for the standard volume form dv = dx ∧ dy of M R .Secondary, we shall compute ∂∆ xdσ (which is equal to the second leading coefficient of s ∆ (t) ) as follows: the polygon ∆ has three facets , 2, 3 whose defining equations are given by ℓ 1 (x) = 1 − x − y, ℓ 2 (x) = 1 + 2x − y, and ℓ 3 (x) = 1 − x + 2y, respectively.Then the boundary measure dσ i on each facet F i is determined by Thus, (3.2) yields that we can take as the boundary measures on ∂∆.Consequently, the x-coordinates of the barycenter of each facet F i is given by and x dx = 0, respectively.By the symmetry of ∆, we find that Hence, s ∆ (t) has the form of for some constants c 1 and c 2 .See, (2.5).In order to determine c 1 and c 2 , we plug the value of s ∆ (1) = 0 0 into (3.3)which yields that c 1 = c 2 = 0. Thus, we see that s ∆ (t) ≡ 0 and this is consistent with the Ehrhart reciprocity low Moreover, we already see that ∆ x dv = 0 0 in the above computation.Consequently, (X, −K X ) is Ding polystable by Proposition 2.2.

RELATIVE ALGEBRO-GEOMETRIC STABILITY
In order to deal with the existence problem of extremal Kähler metrics, the definition of K-stability was extended by Székelyhidi in [Sz07] to Kähler classes with non-vanishing Futaki invariant which was called relative K-stability.Analogously, we can extend the notion of Chow stability to relative Chow stability which has been also investigated by many researchers [Se17,Ha19].
In this section, we study relative Chow/K-stability of toric Fano varieties which were dealt with in [YZ19,NSY23].The product formulas for potential functions θ ∆ and the additivity of the constant M X ∆ defined in (4.9) are discussed in Section 4.3.Then in Section 4.4, we verify (asymptotic) relative Chow stability of Gorenstein toric del Pezzo surfaces, by applying our combinatorial criterion of relative Chow stability (see, Corollary 4.3) in the toric setting, and list the results in Table 1.In Section 4.5, we systematically construct examples of relatively K-polystable toric Fano manifolds, but which are relatively Ding unstable, building upon the works of [NSY23] and [OSY23].See Corollary 4.9 and Example 2 for more details.4.1.Fundamental results on relative Chow stability.Firstly, we quick review notion of relative Chow stability and related results.See [YZ19] for more detail.
Let us consider a reductive complex algebraic group G with Lie algebra g.Suppose G acts linearly on a finite dimensional complex vector space V.This induces a natural Gaction on P(V).We will abbreviate v ∈ P(V) and its representatives in V. Let T be a torus in G with Lie algebra t.We assume that T fixes the point v.Using an inner product , and the Lie bracket [ , ], we define subalgebras of g by Then the corresponding Lie group of g T (resp.g T ⊥ ) is denoted by G T (resp.G T ⊥ ).Following classical GIT (see Section 2.3), we call v is said to be unstable relative to T if it is not semistable relative to T .Let us consider relative stability of the Chow form.For an irreducible complex projective variety X ⊂ CP N , we choose G = SL(N + 1, C) and T to be C × -action induced by extremal vector field.Definition 4.1.A complex irreducible projective variety X ⊂ CP N is said to be relatively Chow polystable (resp.semistable, unstable) if the X-resultant R X of X is SL(N + 1, C)polystable (resp.semistable, unstable) relative to T .
The definition of asymptotic relative Chow stability is analogous to Definition 2.4, hence we do not repeat the definition in this paper (see [YZ19, Definition 3.6]).

Toric reduction of relative Chow stability.
We consider the toric case.In particular, we are interested in the case where X is an n-dimensional Gorenstein toric Fano variety with the associated reflexive polytope ∆ ⊆ M R ∼ = R n .As in [Yao21], the Ricci affine function ℓ ∆ associated to ∆ is the unique function determined by ∆ ℓ ∆ u dv = u(0) for any affine linear function u, namely, one can solve the linear system in order to find ℓ ∆ (x) = a i x i + c with a i and c.Let us define the potential function of ∆ by (4.1) Then, we consider its average where { a 1 , . . ., a N +1 } are lattice points in ∆.Denoting in R N +1 , we can show the following.
Theorem 4.2 (Theorem 3.8 in [YZ19]).Let Ch(∆) be the Chow polytope of an n-dimensional Gorenstein toric Fano variety X ∆ ⊂ CP N .Then X ∆ is relatively Chow polystable in the toric sense if and only if there exists t ∈ R such that Defining d i∆ and θi∆ by we obtain a necessary condition for the associated polarized toric variety to be asymptotically relatively Chow semistable.
Corollary 4.3 (Corollary 3.11 in [YZ19]).If (X ∆ , −K X ∆ ) is asymptotically relatively Chow semistable, then for any i ∈ Z + , there exists t i ∈ R satisfying 4.3.Product formulas for potential functions.Recently, Ono, Sano and the author proved that the only Bott manifolds such that the Futaki invariant vanishes for any Kähler class are isomorphic to the products of the projective lines [OSY23].The key to prove the main theorem in [OSY23] is the analysis of the product of two polytopes.By applying this technique to potential functions in (4.1), we derive the product formula in this section.Now let us discuss the product of two (or more) convex polytopes.For this, we consider the full dimensional polytopes ∆ 1 ⊆ R n 1 and ∆ 2 ⊆ R n 2 , and define Setting ∆ = ∆ 1 × ∆ 2 , we see that ∆ is a polytope of dimension n 1 + n 2 (= n), whose any nonempty face is given by the product of a nonempty face F of ∆ 1 , and a nonempty face G of ∆ 2 .For i = 1, 2, let dv i be the standard volume form of R n i .Then, dv = dv 1 ∧ dv 2 defines the volume form of ∆.
For a given arbitrary (not necessarily product) convex polytope P with dim P = n, we consider the functional L P (u) defined by Here u is a convex function, θ P is the potential function defined in (4.1), and dσ is the (n − 1)-dimensional Lebesgue measure of ∂P defined as follows: let ℓ j (x) = x, v j + c j be the defining equation of a facet F j of P , where c j ∈ Z and v j is a primitive vector.
Recall that dv = dx 1 ∧ • • • ∧ dx n is the standard volume form of R n .On each facet Then dσ is uniquely determined as the (n − 1)-dimensional Lebesgue measure of ∂P so that dσ j = dσ| F j , up to the sign.Let us go back to the product polytope ∆ = ∆ 1 × ∆ 2 .Let dσ 1 (resp.dσ 2 ) be the (n 1 − 1)-dimensional (resp.(n 2 − 1)-dimensional) Lebesgue measure of ∂∆ 1 (resp.∂∆ 2 ) defined in (4.5).Since any nonempty face of ∆ is obtained by the product of a nonempty face F ∆ 1 and a nonempty face G ∆ 2 , we see that the boundary of ∆ is written as Also see, (4.18) in [OSY23].In particular, we find the following equalities by direct computations.

Moreover, for the product
As it was described in [YZ19, p.496], the potential function θ ∆ is uniquely determined by solving the n + 1-linear system where L ∆ (u) is the function defined in (4.4).Since θ ∆ k is the potential function of ∆ k for each k = 1, 2, we have In order to prove our assertion, it suffices to show that θ ∆ (x, y) := θ ∆ 1 (x) + θ ∆ 2 (y) satisfies the (n + 1)-equalities in (4.7) using our assumption (4.8).Firstly, we find that which equals 0, by our assumption Secondly, for i = 1, . . ., n 1 , we prove that L ∆ (x i ) = 0. To see this, we compute that By applying Lemma 4.4 into ∂∆ x i dσ, we find that where we used (4.8) for the last equality.Finally, for j = 1, . . ., n 2 , we have L ∆ (y j ) = vol(∆ 1 )L ∆ 2 (y j ) = 0 in the same manner as the above computation.This completes the proof of θ In order to see the second assertion for the product polytope ∆ = r k=1 ∆ k , we use the inductive argument.Hence the assertion is verified.
For later use, we consider the value of constant (4.9) which verifies relative Ding stability of the corresponding toric (Fano) variety.See Section 4.5 for further discussion.After posting this version of the paper on arXiv (version 5, arXiv:1711.10113v5), the author found that the following additivity of the constant M X ∆ is mentioned by Mabuchi in [Mab21, Theorem 9.9] for general (not necessarily toric) Fano manifold.However, it is worth to mention that we derive a direct combinatorial proof for the case of toric Fano manifolds from Proposition 4.5 and (4.9).
Corollary 4.6.Let ∆ = r k=1 ∆ k be the product of (reflexive) polytopes.Then the constant of M X ∆ has the additive property such that 4.4.Asymptotic relative Chow stability of Gorenstein toric del Pezzo surfaces.As we mentioned in Section 2.1, there are 16 isomorphism classes of Gorenstein toric del Pezzo surfaces.See [N05] for more details.On the one hand, relative Ding stability of Gorenstein toric del Pezzo surfaces has been verified in [Yao21, Example 5.14].On the other hand, it is difficult to verify asymptotic relative Chow stability of polarized toric variety because we have to show there exists t i ∈ R satisfying (4.3) for any positive integer i (cf.[LLSW19] for (not relative) Chow stability case).However, we can solve this difficulty in the case of 2 dimension, by using symmetry of the associated reflexive polytopes.See Case 3 in the proof of Proposition 4.7 below.As a consequence, we verify relative Chow stability of each Gorenstein toric del Pezzo surface.We list all the results in Table 1.
Proposition 4.7.Among all 16 isomorphism classes of Gorenstein toric del Pezzo surfaces, there are 5 isomorphism classes of asymptotically relatively Chow polystable surfaces and 4 isomorphism classes of asymptotically relatively Chow unstable surfaces.The remaining 7 classes are relatively Chow polystable with respect to the anticanonical polarization (i = 1).
Proof.Case 1.Note that any toric surface has at worst orbifold singularities.There are 5 isomorphism classes of Kähler-Einstein Gorenstein toric del Pezzo surfaces with the vanishing Futaki character, that is, CP 2 , CP 1 × CP 1 , S 6 , CP 1 × CP 1 /Z 2 and CP 2 /Z 3 .Hence relative Chow stability coincides with Chow stability for these 5 classes of del Pezzo surfaces.In particular, the vanishing Futaki character i.e. ∆ x dv = 0 implies θ ∆ ≡ 0. This means θi∆ (a) = 0 for any i ∈ Z + and a necessary condition of asymptotic relative Chow semistability of a polarized toric variety (4.3) becomes for all i ∈ Z + .Hence we obtained the same equality in (2.6).Moreover, ∆ x dv = 0 implies that a∈∆∩(Z/i) n ia = 0 for any i ∈ Z + .Remark that this is equivalent to the Hence we verified the assertion for these 3 classes.For the remaining two orbifolds cases X = CP 2 /Z 3 (labeled 9 in Table 1) and CP 1 × CP 1 /Z 2 (labeled 8A in Table 1), asymptotic Chow polystability of (X, −K X ) has been verified in Theorem 1.2 (3) in [LLSW19].We remark that the minimal embeddings of these del Pezzo surfaces are iven by with three A 2 singularities, and with four A 1 singularities, respectively.See [KN09] for further details.
We claim that X is asymptotically relatively Chow unstable by using Corollary 4.3.Hence it suffices to show that there is no t 1 ∈ R satisfying (4.3) for i = 1.See Remark 3.12 and Proposition 5.4 in [YZ19].We readily see that This yields that there is no t 1 ∈ R satisfying (4.3).
Case 3. Let X be a weighted projective space CP (1, 1, 2).This is a Gorenstein toric del Pezzo surface labeled with 8C in Table 1 and the corresponding reflexive polytope ∆ is We prove that (X, −K X ) is relatively Chow polystable.A straightforward computation shows that and θ∆ = 1 6 .
Taking i = 1 in (4.3), we find that t 1 = −3/19 satisfies the equation Moreover ∆ is invariant under unimodular transformation 1 0 0 −1 which gives the coordinate interchange x 2 → −x 2 .By this symmetry we conclude that there exists t i for any i ∈ Z + such that (4.3) holds.
(1) Using symmetry of polytopes, one can verify the existence of t i for i ≫ 0 satisfying (4.3) of each case (4B, 4C, 5A, 6B, 7A, 8B and 8C in Table 1).We mention that this is only a necessary condition for (X, L) to be asymptotically relatively Chow semistable (Corollary 4.3).
(2) On the other hand, Ch(i∆) will be a huge number of vertices in a multidimensional Euclidean space if i > 0 is a sufficiently large positive integer.Hence, it is generally impossible to verify the condition for arbitrary positive integer i. See [KSZ92] and [GKZ94] for more combinatorial descriptions of Ch(∆).
4.5.Relative Ding/K-stability.In [NSY23], we found that there are several examples of toric Fano manifolds which clarify the difference between relative K-stability and relative Ding stability.More specifically, we verified that if X is one of • a toric Fano 3-fold B 1 = P P 2 (O ⊕ O(2)), or • toric Fano 4-folds (which are all P 1 -bundles over P 3 ) B 1 = P )), then (X, −K X ) is relatively K-polystable, but it is relatively Ding unstable.In order to prove that these four examples (B 1 , B 1 , B 2 and L 1 ) admit extremal Kähler metrics in their first Chern classes, which in turn to be relatively K-polystable, we focused on their geometric structure such as projective bundles, Bott structures, etc [ACGT-F08, BCT-F19, Gu95,Hw94].On the one hand, relative Ding stability of toric Fano manifolds is determined by the value of constant M X ∆ defined in (4.9) is larger than 1 or not, due to the work of Yao [Yao21].On the other hand, Proposition 4.5 implies that the products of (higher dimensional) toric extremal manifolds are more likely to be relatively Ding unstable, by the additive property of M X ∆ (see, (4.10) and Corollary 4.9).In this section, we systematically construct examples of a relatively K-polystable toric Fano manifold, but it is relatively Ding unstable.
Let us quick review the notion of relative K-stability and relative Ding stability for (smooth) toric Fano variety.Remark that we only consider toric (or T -equivariant) test configuration for the definitions of relative Ding/K-stability.This is because for polarized toric varieties, it suffices to check only toric test configurations of relative Ding/K-stability as in [De20] and [LL22].We refer the reader to Section 2 in [NSY23], for more details.
Let ∆ ⊆ M R be an n-dimensional reflexive Delzant polytope.In this case, the average of the scalar curvature, i.e., S = vol(∂∆)/vol(∆) equals to n, and hence the functional defined in (4.4) will be where u is a convex function of ∆.A convex function u : ∆ → R is called rational PL convex if u has the form of u(x) = max { f 1 (x), . . ., f m (x) } with each f k a rational affine function.The associated anticanonically polarized smooth toric Fano variety (X ∆ , −K X ∆ ) is relatively K-polystable if L ∆ (u) 0 for any rational PL convex function u, and the equality holds if and only if u is affine linear.Let M X ∆ be the Mabuchi constant defined in (4.9).(X ∆ , −K X ∆ ) is relatively Ding polystable if M X ∆ 1. Conversely, it is called relatively Ding unstable if M X ∆ > 1. See, [Yao21] and [NSY23, Proposition 1.2] for further details.
On the other hand, Corollary 4.6 implies that X ∆ is more likely to be relatively Ding unstable if the dimension of X ∆ is getting higher and higher.Meanwhile, for given extremal Kähler manifolds (X k , g k ) with 1 k r, the product manifold X = r k=1 X k admits the product extremal Kähler metric r k=1 g k .Thus, (X, −K X ) must be relatively K-polystable.In particular, X is Fano.From this observation, one can expect that there are more examples of toric Fano manifolds which clarify the difference between relative K-stability and relative Ding stability.As a consequence of (4.10), we systematically construct infinitely many examples of relatively K-polystable extremal toric Fano manifolds which are relatively Ding unstable.
Corollary 4.9.For 1 k r, let X k be an extremal toric Fano manifold with the associated polytope ∆ k and let θ ∆ k (x k ) be the potential function of ∆ k satisfying 1 r θ ∆ k < 1.Let ∆ be the product of polytopes ∆ k for 1 k r.Then the associated anticanonically polarized toric Fano manifold (X ∆ , −K X ∆ ) is relatively K-polystable, but it is relatively Ding unstable.
Using Table 3 in [NSY23], we obtain the following examples.
Example 2. Let dP 9−i denote a smooth del Pezzo surface with degree (9 − i) which is obtained by the blow-up of P 2 at i points.Fixing a positive integer r, we denote a copy of dP 8 by X k for 1 k r.It is known that X k admits an extremal Kähler metric in every Kähler class [Ca82], and this yields that X = r k=1 X k also admits the extremal Kähler metric in its first Chern class.Hence (X, −K X ) is relatively K-polystable for any positive integer r.

TABLE 1 .
Relative Chow stability of Gorenstein toric del Pezzo surfaces CP 2 , CP 1 × CP 1 and S 6 due to the result in [Mab05, Main Theorem].

TABLE 2 .
Combinatorial data and the delta invariant of Gorenstein toric del Pezzo surfaces Label∆ ⊆ M R Symmetry of ∆ in[N05]