UNIFORM SYMBOLIC TOPOLOGIES IN NORMAL TORIC RINGS

arXiv:1706.06576v2 [math.AC] 3 Oct 2017

ROBERT M. WALKER

Abstract. Given a normal toric algebra R, we compute a uniform integer D = D(R) > 0 such
that the symbolic power P (DN) ⊆ P N for all N > 0 and all monomial primes P . We compute the
multiplier D explicitly in terms of the polyhedral cone data defining R. In this toric setting, we
draw a connection with the F-signature of R in positive characteristic.

1. Introduction and Conventions for the Paper
Given a Noetherian commutative ring R, when is there an integer D, depending only on R,
such that the symbolic power P (Dr) ⊆ P r for all prime ideals P ⊆ R and all positive integers r?1
In short, when does R have uniform symbolic topologies on primes [18]? Moreover, can we
effectively compute the multiplier D in terms of simple data about R? In this paper, we answer
this last question in the setting of torus-invariant primes in a normal toric (or semigroup) algebra.
The Ein-Lazarsfeld-Smith Theorem [10], as extended by Hochster and Huneke [16], says that if
R is a d-dimensional regular ring containing a field, and D = max{1, d − 1}, then Q(Dr) ⊆ Qr for
all radical ideals Q ⊆ R and all r > 0.2 To what extent does this theme ring true for non-regular
rings? Under mild stipulations, a local ring R regular on the punctured spectrum has uniform
symbolic topologies on primes [17, Cor. 3.10], although explicit values for D remain elusive. Far
less is known for rings with non-isolated singularities.
This manuscript approaches the above questions for the coordinate rings of normal affine toric
varieties. Such algebras are combinatorially-defined, finitely generated, Cohen-Macaulay, normal,
and have rational singularities. We deduce an explicit multiplier D such that for any torus-invariant
prime P in R, P (Dr) ⊆ P r for all r > 0; see Theorems 1.1 and 3.1 for precise statements. Prior
work towards explicit D includes the papers [26, Table 3.3] and [28, Thm. 1.2] for ADE rational
surface singularities and for select domains with non-isolated singularities, respectively; see also [8,
Thm. 3.29, Cor. 3.30] for module-finite direct summands of affine polynomial rings.
To state our main results in a special case, fix a ground field F. We fix a full-dimensional pointed
convex polyhedral cone C ⊆ Rn generated by a finite set G ⊆ Zn , and its dual C ∨ ⊆ Rn . Let RF
be the semigroup algebra of the semigroup C ∨ ∩ Zn . This toric F-algebra associated to C is a
normal domain of finite type over F [7, Thm. 1.3.5] with an F-basis of monomials {χℓ : ℓ ∈ C ∨ ∩Zn }.
An ideal of RF is monomial (or torus-invariant) if it is generated by a subset of these monomials.
In what follows, we use • to denote dot products in Rn .
2010 Mathematics Subject Classification: 13H10, 14C20, 14M25.
Keywords: symbolic powers, rational singularity, toric ring, monomial primes, F-signature, Segre-Veronese.
1For a definition of symbolic powers of prime and radical ideals, see [8].
2This result has been extended to all excellent regular rings, even in mixed characteristic, by Ma-Schwede [20].
1

Theorem 1.1 (Cf., Theorem 3.1). Suppose C ⊆ Rn is a full-dimensional pointed polyhedral cone
as above. Set D := maxw∈B (w • vG ) ∈ Z>0 , where B is a generating set for the semigroup C ∨ ∩ Zn
and vG ∈ Zn is the sum of any (finite) set G of vectors in Zn generating C. Then
P (Dr) ⊆ P (D(r−1)+1) ⊆ P r ,
for all r > 0 and all monomial prime ideals P in the toric ring RF = F[C ∨ ∩ Zn ].
We get the best result in Theorem 1.1 by taking G to consist of the unique set of primitive
generators for C, in which case we write vC in place of vG ; see Section 2. For example, if RF is the
E-th Veronese subring of a polynomial ring of finite type over F, then our D = E in Theorem 1.1.
As another example, for the Segre product of Veronese rings of respective degrees E1 , . . . , Ek , we
P
can take D = ki=1 Ei in Theorem 1.1; see Theorem 4.8.

The next result covers select non-monomial primes. We note that a toric algebra satisfying the
additional hypothesis below is called simplicial; see the discussion around Theorem 2.5.
Theorem 1.2 (Cf., Theorem 3.2). With notation as in Theorem 1.1, assume moreover that the
divisor class group Cl(RF ) is finite. Set U := lcm{maxw∈B (w • vC ), # Cl(RF )} ∈ Z>0 , where B and
vC are as in Theorem 1.1. Then
P (U (r−1)+1) ⊆ P r
for all r > 0, all monomial primes in RF , and all height one primes in RF .
Tighter containments of the type I (E(r−1)+1) ⊆ I r , as in Theorems 1.1 and 1.2 and first promoted
by Harbourne, hold for all monomial ideals in an affine polynomial ring over any field [5, Ex. 8.4.5];
see also recent work of Grifo-Huneke [15].
At the end of Section 3, we draw connections between the multiplier U and the so-called Fsignature of RF . In Section 4, we discuss the extent to which the multipliers D and U in Theorems
1.1 and 1.2 are sharp.
Conventions: Throughout, F denotes an arbitrary ground field of arbitrary characteristic. All
rings are commutative with identity–indeed, they are normal domains of finite type over F.

Acknowledgements: This paper is part of my Ph.D. thesis at the University of Michigan-Ann
Arbor. My thesis adviser Karen E. Smith, along with Daniel Hernández and Jack Jeffries, suggested
studying precursors for the ideals I• (E) in the proof of Theorem 3.1. I am grateful for this idea. I
acknowledge support from a NSF GRF (Grant No. PGF-031543), NSF RTG grant DMS-0943832,
and a 2017 Ford Foundation Dissertation Fellowship. Several computations were performed using
the Polyhedra package in Macaulay2 [14] to gain an incisive handle on the polyhedral geometry.

2. Toric Algebra Preliminaries
We review notation and relevant facts from toric algebra, citing Cox-Little-Schenck [7, Ch.1,3,4]
and Fulton [12, Ch.1,3]. A lattice is a free abelian group of finite rank. We fix a perfect bilinear
pairing h·, ·i : M × N → Z between two lattices M and N ; this identifies M with HomZ (N, Z) and
N with HomZ (M, Z). Our pairing extends to a perfect pairing of finite-dimensional vector spaces
h·, ·i : MR × NR → R, where MR := M ⊗Z R and NR := N ⊗Z R.
2

Fix an N -rational polyhedral cone and its M -rational dual: respectively, for some finite subset
G ⊆ N − {0} these are closed, convex sets of the form
)
(
X
av · v : each av ∈ R≥0 ⊆ NR , and
C = Cone(G) :=
v∈G

C ∨ := {w ∈ MR : hw, vi ≥ 0 for all v ∈ C} = {w ∈ MR : hw, vi ≥ 0 for all v ∈ G}.

By definition, the dimension of a cone in MR or NR is the dimension of the real vector subspace
it spans; a cone is full(-dimensional) if it spans the full ambient space. A cone in MR or NR is
pointed (or strongly convex) if it contains no line through the origin. A face of C is a convex
polyhedral cone F in NR obtained by intersecting C with a hyperplane which is the kernel of a
linear functional m ∈ C ∨ ; F is proper if F 6= C. When C is both N -rational and pointed, so is
every face F . Each such face F 6= {0} has a uniquely-determined set GF of primitive generators.
By definition, v ∈ N is primitive if k1 · v 6∈ N for all k ∈ Z>1 .
There is a bijective inclusion-reversing correspondence between faces F of C and faces F ∗ of C ∨ ,
where F ∗ = {w ∈ C ∨ : hw, vi = 0 for all v ∈ F } is the face of C ∨ dual to F [12, Sec. 1.2]. Under
this correspondence, either cone is pointed if and only if the other is full, and
dim(F ) + dim(F ∗ ) = dim(NR ) = dim(MR ).

(2.0.1)

Fix an arbitrary ground field F and a cone C as above in NR . The semigroup ring RF = F[C ∨ ∩M ]
is the toric F-algebra associated to C. This ring RF is a normal domain of finite type over
F [7, Thm. 1.3.5]. Note that RF has an F-basis {χm : m ∈ C ∨ ∩ M } of monomials, giving RF an
M -grading, where deg(χm ) := m. A monomial ideal (also called an M -homogeneous or
torus-invariant ideal) in RF is an ideal generated by a subset of these monomials. When C ∨
is pointed, RF also has a non-canonical N-grading obtained by fixing any group homomorphism
M → Z taking positive values C ∨ ∩ M − {0}. The set {χm : m ∈ C ∨ ∩ M − {0}} generates the
unique homogeneous maximal ideal m under this N-grading.
Remark 2.1. In forming the toric algebra F[C ∨ ∩ M ], there is no loss of generality in assuming C
is pointed in NR . Indeed, because C ∨ ∩ M = C ∨ ∩ M ′ where M ′ = M ∩ {R-span of C ∨ in MR }, we
may replace M by M ′ to assume C ∨ is full in (M ′ )R . Now, replacing N and C by the duals of M ′
and C ∨ , we may assume that C is pointed in N ′ = HomZ (M ′ , Z). See [7, Thm. 1.3.5] for details.
Fix a face F of a pointed cone C: [12, p.53] records a surjective M -graded ring map
(
χm if hm, vi = 0 for all v ∈ F
∨
∗
m
φF : RF = F[C ∩ M ] ։ F[F ∩ M ], φF (χ ) =
0
if hm, vi > 0 for some v ∈ F.
Both rings are domains. The monomial prime ideal of F , PF := ker(φF ), has height equal to
dim(F ). Conversely, any monomial prime of RF corresponds bijectively to a face of C.
Lemma 2.2. Fix a face F of a pointed cone C, and the
P monomial prime PF ⊆ RF above. Let GF
be the set of primitive generators of F , and set vF := v∈GF v ∈ F ∩ N . Then
PF = ({χm : m ∈ C ∨ ∩ M and the integer hm, vF i > 0})RF .

(2.0.2)

Proof. First, in defining φF (χm ) above, notice we can work with v ∈ GF without loss of generality.
Now, fix m ∈ C ∨ ∩ M . Then hm, vi ∈ Z≥0 for all v ∈ C ∩ N . As h·, ·i is bilinear, (2.0.2) follows
since a sum of nonnegative integers is positive if and only if one of the summands is positive. 
3

2.0.1. Hilbert Bases. First, suppose the pointed cone C from Remark 2.1 is full. Then there is a
uniquely-determined minimal generating set B for C ∨ ∩M , in the sense that any other generating set
contains B. The set B is called the Hilbert basis of the semigroup, and consists of the irreducible
vectors m ∈ C ∨ ∩ M − {0}; a vector v ∈ C ∨ ∩ M is irreducible if it cannot be expressed as a sum
of two vectors m ∈ C ∨ ∩ M − {0}. See [7, Prop. 1.2.17] and [7, Prop. 1.2.23] for details.
In general, the pointed cone C need not be full. Thus the next proposition is handy.
Proposition 2.3. Let NR′ by the R-span of a pointed cone C ⊆ NR . Set N ′ = NR′ ∩N , and consider
C as a full-dimensional cone in NR′ (relabeled as C ′ ). Let M ′ = HomZ (N ′ , Z) be the dual lattice.
The toric ring RF := F[C ∨ ∩ M ] is isomorphic to RF′ ⊗F L where the toric ring RF′ := F[(C ′ )∨ ∩ M ′ ]
and L is a Laurent polynomial ring over F. In particular, there is a bijective correspondence between
the monomial primes of RF′ and RF given by expansion and contraction of ideals along the faithfully
flat ring map ϕ : RF′ ֒→ RF′ ⊗ L = RF .
Proof. Combine [7, Proof of Prop. 3.3.9] with [27, Discussion/Proof preceding Lem. 3.1].



2.0.2. Toric Divisor Theory. Given a Noetherian normal domain R, the divisor class group
Cl(R) = Cl(Spec(R)) is the free abelian group on the set of height one prime ideals of R modulo
P
T
(a )
relations ri=1 ai Pi = 0 when the ideal ri=1 Pi i is principal. Note Cl(R) is trivial if and only if
R is a UFD, i.e., all height one primes in R are principal. We recall the following
Lemma 2.4 (Cf., Lem. 1.1 of [27]). When every element of Cl(R) := Cl(Spec(R)) is annihilated
by an integer D > 0, written as D · Cl(R) = 0, the symbolic power P (D(r−1)+1) ⊆ P r for all r > 0
and all prime ideals P ⊆ R of height one.
Working over an algebraically closed field F, fix a pointed cone C as in Remark 2.1 and the pair
of rings RF and RF′ as in Proposition 2.3. When C 6= {0}, each ρ ∈ Σ(1), the collection of rational
rays (one-dimensional faces) of C, yields a unique primitive generator uρ ∈ ρ ∩ N for C and a
torus-invariant height one prime ideal L
Pρ in RF′ ; cf., [7, Thm. 3.2.6]. The torus-invariant height one
primes generate a free abelian group
ρ∈Σ(1) ZPρ which maps surjectively onto the divisor class
′
group of RF . More precisely, we record the following well-known theorem; see [7, Ch. 4].3
Theorem 2.5. With notation as in Proposition 2.3, let C ⊆ NR be a pointed cone with primitive
generators Σ(1) as described above. Then there is a short exact sequence
φ M
(2.0.3)
ZPρ → Cl(RF′ ) → 0,
0 → M′ →
ρ∈Σ(1)

′
where φ(m) = div(χm ) =
ρ∈Σ(1) hm, uρ iPρ . Furthermore, Cl(RF ) and Cl(RF ) are isomorphic,
Cl(RF ) is finite abelian if and only if C is simplicial, and trivial if and only if C is smooth.

P

By definition, the cone C ⊆ NR is simplicial (respectively, smooth) if C = {0} or the primitive
ray generators form part of an R-basis for NR (resp., a Z-basis for N ). We also apply the adjectives
simplicial and smooth to the corresponding toric algebra RF and the toric F-variety Spec(RF ).
3This result follows from [7, Prop. 3.3.9, Prop. 4.1.1-4.1.2, Thm. 4.1.3, Exer. 4.1.1-4.1.2, Prop. 4.2.2, Prop. 4.2.6,
and Prop. 4.2.7], essentially consolidating what facts we need to bear in mind going forward in the manuscript.
4

3. Main Results
Maintaining all notation conventions from the last section, we now state our main results.
Theorem 3.1. Let C ⊆ NR be a full pointed rational polyhedral cone. Let RF = F[C ∨ ∩ M ] be the
associated toric algebra over a field F. Set D := maxm∈B hm, vC i, where B is the minimal generating
set for C ∨ ∩ M and vC ∈ N is the sum of the primitive generators for C. Then
P (D(r−1)+1) ⊆ P r
for all r > 0, and all monomial primes P in RF .
Theorem 3.2. With notation as in Theorem 3.1, we assume further that C is simplicial. Define
T := max {maxm∈B hm, vC i, D} , where D is any positive integer such that D · Cl(RF ) = 0. Then
P (T (r−1)+1) ⊆ P r
for all r > 0, all monomial primes, and all height one primes in RF . In particular, we can take
D = # Cl(RF ).
Remark 3.3. If the cone C in Theorem 3.2 is smooth, then T = 1 and P (r) = P r for all r > 0, all
monomial primes, and all height one primes in RF . As C is smooth, C and C ∨ are generated by a
Z-basis for N and the dual basis for M , respectively. Also, # Cl(RF ) = # Cl(RF ) = 1. Note that
in general, this means our multiplier T will not confirm uniform symbolic topologies for all primes
P in a toric algebra. For example, even in a polynomial ring of dimension three, there are height
two primes for which P (r) 6= P r for some r ≥ 2; [8, p.2 of Intro] gives an example.
Remark 3.4. Two-dimensional toric algebras are always simplicial with cyclic class class group.
In this case, the conclusion of Theorem 3.2 holds using the multiplier # Cl(RF ). This multiplier is
sharp by Proposition 4.1.
Remark 3.5. Theorems 3.1-3.2 can be adapted to the non-full case by replacing RF with RF′ as
in Proposition 2.3, and applying [28, Prop. 2.6] to the faithfully flat map ϕ from Proposition 2.3.
Proof of Theorem 3.1. We may fix a face F 6= {0} of C, and P = PF the corresponding monomial
prime in R = RF . Per Lemma 2.2 (2.0.2), a monomial χm ∈ P = PF if and only if hm, vF i ∈ Z>0 ,
where vF ∈ F ∩ N is the sum of the primitive generators for F .
(E)

Lemma 3.6. For each integer E ≥ 1, PF

⊆ IF (E), where IF (E) := (χm : hm, vF i ≥ E) R.

First, IF (E) is PF -primary for all E ≥ 1, i.e., if sf ∈ IF (E) for some s ∈ R − PF , then f ∈ IF (E).
As IF (E) is monomial, we may test this by fixing χm ∈ IF (E)RPF ∩ R and χq ∈ R − PF such that
χm · χq = χm+q ∈ IF (E): hq, vF i = 0, while E ≤ hm + q, vF i = hm, vF i + hq, vF i = hm, vF i , so
(E)
χm ∈ IF (E). Thus all IF (E) are PF -primary, and certainly PFE ⊆ IF (E). Thus PF ⊆ IF (E),
being the smallest PF -primary ideal containing PFE , proving the lemma.
Certainly, 1 ≤ maxm∈B hm, vF i ≤ maxm∈B hm, vC i, for B and D as above. The conclusion of the
theorem follows by [27, Lem. 3.3], once we verify the left-hand containments in the next
⌈E/D ′ ⌉

Lemma 3.7. For each integer E ≥ 1, IF (E) ⊆ PF

⌈E/D⌉

⊆ PF

where D ′ = maxm∈B hm, vF i .

P
Fix any monomial χℓ ∈ IF (E), say ℓ = m∈B am · m with am ∈ Z≥0 . Let S ⊆ B consist of those
m ∈ B such that the monomials χm form a minimal generating set for P . By linearity of h•, vF i,
X
X
X
X
E ≤ hℓ, vF i =
am hm, vF i =
am hm, vF i ≤
am · D ′ =⇒
am ≥ ⌈E/D ′ ⌉.
m∈B

m∈S

m∈S

5

m∈S

P

Thus χm ∈ PF

m∈S

am

⌈E/D ′ ⌉

⊆ PF

⌈E/D ′ ⌉

. Being a monomial ideal, it follows that IF (E) ⊆ PF

.



Remark 3.8. In passing, we invite the reader to compare the ideals IF (•) in Lemma 3.6 with
Bruns and Gubeladze’s terminology and description [6, Ch. 4, p. 149] for the symbolic powers of
the height one monomials primes in terms of a full pointed cone. Lemma 3.6 works in any height.
Lemma 3.9. With notation as in Theorem 3.1, the class groups Cl(RF ) ∼
= Cl(R ) are isomorphic.
F

Proof. Since C is a full pointed cone in Theorem 3.1, RF admits an N-grading; see the passage above
Remark 2.1. We may then cite Fossum [11, Cor. 10.5 on p.43] to conclude that up to isomorphism,
Cl(RF ) ⊆ Cl(RF ) as a subgroup. This is an equality for toric rings because the divisor classes of
height one monomial primes belong to both groups and generate the latter by Theorem 2.5.

Proof of Theorem 3.2. Since C is simplicial, # Cl(RF ) is finite by Lemma 3.9 and Theorem 2.5.
Now we simply combine Theorem 3.1 with Lemma 2.4, and take the maximum of the values. 
Example 3.10. Fix an arbitrary ground field F and integers n ≥ 2 and E ≥ 2. Let
F[x1 , . . . , xn , z]
.
R= E
(z − x1 · · · xn )
Then P (T (r−1)+1) ⊆ P r for all r > 0, all monomials primes, and all height one primes in R, where
T = max{n, E}. Indeed, R is a toric algebra arising from the simplical full pointed cone C ⊆ Rn
spanned by
{en , E · ei + en : i = 1, . . . , n − 1} ⊆ Zn ,
where e1 , . . . , en denote the standard basis vectors in Rn . We may apply Theorem 3.2, noting that:
• In the notation of Theorem 3.1, B = {e1 , . . . , en−1 , en , E · en − e1 − · · · − en−1 } ⊆ Zn and
the vector vC = n · en + E · (e1 + · · · + en−1 ) ∈ Zn .
• Cl(R) ∼
= (Z/EZ)n−1 , so E · Cl(R) = 0; see [27, Sec. 4] for this class group computation.
3.0.1. Von Korff ’s Toric F-Signature Formula. Now fix a perfect field K of positive characteristic
p. Given an F-finite N-graded domain R of finite type over K, for each integer e ≥ 0, we have an
e
R-module isomorphism R1/p ∼
= Rae ⊕ M where M has no free summand, and the integer ae ≤ ped
where d = dim R. By definition, the F-signature of R is (see [19] and [24])
ae
ae
s(R) := lim sup ed = lim ed , 0 ≤ s(R) ≤ 1.
e→∞ p
e→∞ p
The F-signature has ties to measuring F-singularities: for instance, s(R) is positive if and only if
R is strongly F-regular [1], and s(R) = 1 if and only if R is regular [24, Thm. 4.16].
Over the perfect field K, any normal toric ring is strongly F-regular and its F-signature is rational
[23]. We now state Von Korff’s result [25, Thm. 3.2.3]; see also Watanabe-Yoshida [29, Thm. 5.1]
and Yao [30, Rem. 2.3(4)]:
Theorem 3.11 (cf., Von Korff [25, Thm. 3.2.3]). With notation as in Proposition 2.3, we define a
convex polytope, PC ′ := {w ∈ MR′ : 0 ≤ hw, vi < 1, ∀v ∈ G} $ (C ′ )∨ , where G is the set of primitive
generators of C ′ 6= {0}. Then over any perfect field K of positive characteristic, the F-signature
′ ) = Vol(P ′ ) ∈ Q , where the volume form Vol on M ′ is chosen so that a hypercube
s(RK ) = s(RK
>0
C
R
spanned by primitive generators of M ′ has volume one.
′ ) = 1/D where the integer
Remark 3.12. When the cone C ′ in Theorem 3.11 is simplicial, s(RK
′
′
D = # Cl(RK ) = # Cl(RK ); cf., [26, Cor. 3.2]. The latter equality holds by Lemma 3.9.
6

Given Theorem 3.11, we could opt to replace the invariant T from Theorem 3.2 with the possibly
larger invariant U = lcm{maxm∈B hm, vC i, # Cl(RK )} ∈ Z>0 , the least common multiple considered
in Theorem 1.2. The latter is an integer multiple of the reciprocal 1/s(RK ) = # Cl(RK ) of the
F-signature of RK that controls the asymptotic growth of symbolic powers.
4. Examples of (Non-)Sharp Multipliers; Segre-Veronese algebras
To start, we deduce a result that occasionally provides sharp multipliers in the toric setting.
Proposition 4.1. With notation as in Theorem 3.2, we assume C is a simplicial full pointed
rational polyhedral cone. We now set B := maxw∈PG hw, vC i where PG ⊆ B consists of the primitive
generators of C ∨ . There exists a monomial prime P in R = RF of height one such that:
(1) P (B(r−1)) 6⊆ P r for some r ≥ 2;
′
(2) There is no positive integer D ′ < B such that P (D (r−1)+1) ⊆ P r for all r > 0.
Proof. Let v1 , . . . , vn ∈ N and w1 , . . . , wn ∈ M denote the primitive generators for C and for C ∨ ,
respectively. We index these generators so that the nonnegative integer hwj , vi i is positive if and
only if i = j: we may do this citing the notion of facet normals [7, after Prop. 1.2.8]. In deference
to Lemma 2.2(2.0.2), let Pj (1 ≤ j ≤ n) be the height one monomial prime in RF such that a
monomial χm ∈ Pj if and only if hm, vj i > 0. In particular, χwj ∈ Pj for each j.
Lemma. For each 1 ≤ j ≤ n, hwj , vj i is the order of the element in Cl(RF ) corresponding to Pj .
We may leverage exact sequence (2.0.3) from Theorem 2.5, since Lemma 3.9 allows us reduce to
the case where F is algebraically closed. For 1 ≤ j ≤ n, we have 0 = [div(χwj )] = hwj , vj i[Dρj ],
(hwj ,vj i)

where ρj is the rational ray of C generated by vj . Thus Pj
(Ej )

[Dρj ] is the smallest Ej > 0 such that Pj
(hw ,v i)

= (χwj )R. Since the order of

= (χmj )R is principal for some mj ∈ C ∨ ∩ M − {0},

(E )

Ej divides hwj , vj i, and Pj j j = (Pj j )L where L = hwj , vj i/Ej . Since C ∨ is strongly convex,
we may conclude that χwj = χL·mj , and L = 1 since wj is an irreducible vector in C ∨ ∩ M ; see
Subsection 2.0.1. This proves the lemma.
(B)

To prove (1), notice B = hwj0 , vj0 i for some 1 ≤ j0 ≤ n. Then (*): (χwj0 )R = Pj0 6⊆ Pj20 .
We recall from Section 2 that when the cone C is full-dimensional in NR , the semigroup algebra
RF = F[C ∨ ∩M ] can be N-graded. This means that any minimal generator f of a homogeneous ideal
I satisfies f ∈ I − I 2 by Nakayama’s lemma. In our situation, I = Pj0 and f = χwj0 . Observation
(*) also gives part (2), arguing by contradiction and using [27, Lem. 3.3] accordingly.

We offer several examples to show that establishing sharpness of our bilinear multipliers is a
delicate matter meriting further study.
Example 4.2. We fix integers n ≥ 2 and E ≥ 2, and an arbitrary field F. Let VE,n be the E-th
Veronese subalgebra of the polynomial ring F[x1 , . . . , xn ], that is, the F-algebra generated by all
monomials of degree E in x1 , . . . , xn . Then P (E(r−1)+1) ⊆ P r for all r > 0, all monomial primes,
and all primes of height one by Theorem 3.2. See [27, Sec. 4] for details. However, for any E ′ < E,
the proof of Proposition 4.1 guarantees that we can find a prime P ⊆ VE,n (monomial, height one)
′
such that P (E (r−1)+1) 6⊆ P r for some r ≥ 2, namely, for r = 2. In fact, this last observation holds
for all monomial primes in VE,n , aside from the zero ideal and the maximal monomial ideal for
which E ′ = 1 will do; the proof of [27, Thm. 4.3] confirms this explicitly.
7

Despite Example 4.2, Theorem 3.2 does not give sharp multipliers in general. For example,
Example 4.3. For any n > 2, let R = F[Z, X1 , . . . , Xn ]/(Z 2 − X1 · · · Xn ) as in Example 3.10.
Citing the proof of [27, Thm. 4.1], when P ⊆ R is any monomial prime of height at least 2:
• P (r) = P r for all r > 0; however,
• The multiplier D ′ corresponding to P in Lemma 3.7 always satisfies D ′ ≥ 2.
Theorem 3.1 gives a uniform multiplier D that works for all monomial primes. Even when this
multiplier is sharp across all monomial primes, it need not be best possible for all monomial primes
of a given height, contrasting with the situation of Example 4.2. For example,
Example 4.4. Let R = F[C ∨ ∩ Z3 ] = F[x, y, z, w]/(xy − zw), for the non-simplicial cone C ⊆ R3
with e1 , e2 , e1 +e3 , e2 +e3 as primitive generators. Theorem 3.1 says P (2r−1) ⊆ P r for all r > 0 and all
monomial primes in R, observing that C ∨ ∩ Z3 is minimally generated by B = {e1 , e2 , e3 , (1, 1, −1)}.
Given any height two monomial prime P in R, these containments cannot be improved to P (r) = P r
for all r ≥ 2. For instance, if P = (x, y, z)R, then for any s ≥ 1, z s ∈ P (2s) − P 2s and z s+1 ∈
P (2s+1) − P 2s+1 : indeed, ws ∈ R − P and R can be standard graded, so the least degree of a
homogeneous element of P r is r. By contrast, P (r) = P r for all r and for any height one monomial
prime P in R: the invariant D ′ = 1 in Lemma 3.7 via direct computation.
4.0.1. Final Example Computation: Segre-Veronese algebras. In what follows, F is a fixed arbitrary
field. For more on Segre products, [13] is often cited as a standard reference.
Definition 4.5. Fix a family A1 , . . . , Ak of k standard graded algebras of finite type over F, with
Ai = F[ai,1 , . . . , ai,bi ] in terms of algebra generators. Their Segre product over F is the ring
S = (#F )ki=1 Ai generated up to isomorphism as an F-algebra by all k-fold products of the ai,j .
Definition 4.6. We fix integers E ≥ 1 and m ≥ 2. Suppose A = F[x1 , . . . , xm ] is a standard
graded polynomial ring in m variables over a field F. Let VE,m ⊆ A denote the E-th Veronese
subring of A, the standard graded F-subalgebra generated by all monomials of degree E in the xi .
such monomials; this number is the embedding dimension of VE,m .
There are m−1+E
E
(Z≥1 )k and m = (m1 , . . . , mk ) ∈ (Z≥2 )k of
Definition 4.7. Fix k-tuples E = (E1 , . . . , Ek ) ∈
P
j
integers, with k ≥ 1. Furthermore, we set d(j) =
i=1 mi − (j − 1) for each 1 ≤ j ≤ k: d(k)

is the Krull dimension of the Segre product SV E, m = (#F )ki=1 VEi ,mi of k Veronese rings in
m1 , . . . , mk variables, respectively; this is a Segre-Veronese algebra with degree sequence E.

Over any perfect field K, a Segre-Veronese algebra has uniform symbolic topologies on all primes,
per [10, Thm. 2.2], [16, Thm. 1.1], and [17, Cor. 3.10]. However, explicit D are elusive unless k = 1;
see [8, Cor. 3.30]. We provide an effective D for the monomial primes, which is sharp as suggested
by Examples 4.2 and 4.4, the latter being the Segre product of polynomial rings in two variables:

Theorem 4.8. Suppose A = SV E, m is a Segre-Veronese algebra over F with degree sequence
P
E = (E1 , . . . , Ek ). Let D := ki=1 Ei . Then P (D(r−1)+1) ⊆ P r for all r > 0 and all monomial
primes P in A.
Proof. Given a lattice N ∼
= Zd we will use e1 , . . . , ed ∈ N to denote a choice of basis for N will dual
∗
∗
basis e1 , . . . , ed for M . In the setup of Theorem 3.1, the cardinality of the minimal generating set
B of C ∨ ∩ M is the embedding dimension of the toric algebra RF = F[C ∨ ∩ M ]; we refer the
reader to [7, Sec. 1.0, Proof of Thm. 1.3.10].
8

Lemma. For A as stated, there exists a lattice N and a full pointed rational polyhedral cone
C ⊆ NR such that A = F[C ∨ ∩ M ] up to isomorphism.
P

j
Proof. Fix k-tuples E ∈ (Z≥1 )k and m ∈ (Z≥2 )k . Set d(j) =
i=1 mi − (j − 1) for 1 ≤ j ≤ k,

while d(0) = 0. Given SV E, m = (#F )ki=1 VEi ,mi , we fix a lattice N ∼
= Zd(k) and record a cone

C = C E, m ⊆ NR ∼
= Rd(k) as stipulated with RF = F[C ∨ ∩ M ] ∼
= SV E, m . Specifically,
consider the cone C ⊆ NR generated by the following irredundant collection of primitive vectors:
[
A=
Aj , where A1 = {e1 , . . . , em1 −1 , −e1 − · · · − em1 −1 + E1 · em1 },
1≤j≤k

and for each 2 ≤ j ≤ k,

Aj =




d(j)
X

eh , Ej · em1 −



h=d(j−1)+1



eh : d(j − 1) + 1 ≤ h ≤ d(j) .


The semigroup C ∨ ∩ M is generated by the following set of irreducible vectors:


mj −1
j −1
k m


X
X
X
B = e∗m1 +
aj,ℓ · e∗d(j−1)+ℓ : 0 ≤
aj,ℓ ≤ Ej for 1 ≤ j ≤ k .


j=1 ℓ=1

Indeed, #B =

Qk

j=1

mj −1+Ej 
Ej

ℓ=1

, the embedding dimension of SV (E, m). Finally, one can record a

bijection between the monomial generators of RF and those typically used to present SV (E, m);
cf., [27, Proof of Lem. 4.2] for how the bijection would look in the coordinates aj,ℓ for each j. 
Feeding vC =

P

u∈A u

P
P
= ( kj=1 Ej )·em1 and B into Theorem 3.1 yields D = kj=1 Ej . We win! 

In passing, we note that the corresponding class of varieties (Segre-Veronese varieties) form
a cornerstone of a lot of investigations in classical and applied algebraic geometry, often being
varieties for which one has a more incisive handle on some specified computational- or other task.
As a sampling of recent investigations in this vein, we include [2, 3, 4, 9, 22] among our references.
References
[1] I.M. Aberbach and G.J. Leuschke. The F-signature and strong F-regularity. Math. Res. Lett. 10 (2003), no. 1,
pp. 51–56.
[2] E. Ballico, A. Bernardi. On the ranks of the third secant variety of Segre-Veronese embeddings. arXiv/1701.06845
[3] E. Ballico, A. Bernardi, L. Chiantini. On the dimension of contact loci and the identifiability of tensors.
arXiv/1706.02746
[4] E. Ballico, A. Bernardi, F. Gesmundo. A note on the cactus rank for Segre-Veronese varieties. arXiv/1707.06389
[5] T. Bauer, S. Di Rocco, B. Harbourne, M. Kapustka, A.L. Knutsen, W. Syzdek, T. Szemberg. A primer on Seshadri
constants. Contemporary Mathematics 496 (2009), pp. 33-70.
[6] W. Bruns, and J. Gubeladze. Polytopes, rings, and K-theory. Springer Science & Business Media, 2009.
[7] D.A. Cox, J.B Little, and H.K. Schenck. Toric Varieties (2011), Graduate Studies in Mathematics 124.
American Mathematical Society, Providence, RI.
[8] H. Dao, A. De Stefani, E. Grifo, C. Huneke, L. Nuñez-Betancourt. Symbolic Powers of Ideals. arXiv/1708.0301
[9] E. Dufresne, J. Jeffries. Mapping toric varieties into low dimensional spaces. Trans. Amer. Math. Soc. (2017). To
appear. arXiv/1602.07585
[10] L. Ein, R. Lazarsfeld, and K. Smith. Uniform bounds and symbolic powers on smooth varieties. Invent. Math.
144 (2001), pp. 241-252.
[11] R.M. Fossum. The divisor class group of a Krull domain (1973), Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 74. Springer, Berlin, Heidelberg.
9

[12] W. Fulton. Introduction to Toric Varieties (1993), Annals of Math. Studies 131. Princeton University Press,
Princeton, NJ.
[13] S. Goto and K. Watanabe. On graded rings, I. J. Math. Soc. Japan 30 (1978), no. 2, 179–213.
[14] D.R. Grayson and M.E. Stillman. Macaulay 2, a software system for research in algebraic geometry. Available
at http://www.uiuc.edu/Macaulay2/.
[15] E. Grifo and C. Huneke. Symbolic powers of ideals defining F-pure and strongly F-regular rings. arXiv/1702.06876
[16] M. Hochster and C. Huneke. Comparison of ordinary and symbolic powers of ideals. Invent. Math. 147 (2002),
pp. 349-369.
[17] C. Huneke, D. Katz, and J. Validashti. Uniform equivalence of symbolic and adic topologies. Illinois J. Math. 53
(2009), no. 1, pp. 325–338.
[18] C. Huneke, D. Katz, and J. Validashti. Uniform symbolic topologies and finite extensions. J. Pure Appl. Algebra
219 (2015), no. 3, pp. 543–550.
[19] C. Huneke and G. J. Leuschke. Two theorems about maximal Cohen-Macaulay modules. Math. Ann 324 (2002),
no. 2, pp. 391–404.
[20] L. Ma and K. Schwede. Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers.
arXiv/1705.02300
[21] C. Raicu. Secant Varieties of Segre–Veronese Varieties. Algebra & Number Theory 6, no. 8:1817-1868, 2012.
arXiv/1011.5867
[22] F.-O. Schreyer. Horrocks splitting on Segre-Veronese varieties. arXiv/1707.00249
[23] A.K. Singh. The F-Signature of an affine semigroup ring. J. Pure Appl. Algebra 196 (2005), no. 2-3, pp. 313–321.
[24] K. Tucker. F-Signature Exists. Invent. Math. 190 (2012), no. 3, pp. 743–765. arXiv/1103.4173
[25] M. Von Korff. The F -Signature of Toric Varieties. Dissertation. ProQuest Link arXiv/1110.0552
[26] R.M. Walker. Rational Singularities and Uniform Symbolic Topologies. To appear in Illinois J. Math (2017).
arXiv/1510.02993
[27] R.M. Walker. Uniform Harbourne-Huneke Bounds via Flat Extensions. arXiv/1608.02320
[28] R.M. Walker. Uniform Symbolic Topologies via Multinomial Expansions. arXiv/1703.04530
[29] K.-i. Watanabe and K.-i. Yoshida. Minimal relative Hilbert-Kunz multiplicity. Illinois J. Math. 48 (2004), no.1,
pp. 273-294. Project Euclid link
[30] Y. Yao. Observations on the F-signature of local rings of characteristic p. J. Algebra 299 (2006), no.1, pp.
198-218.
Department of Mathematics, University of Michigan, Ann Arbor, MI, 48109
E-mail address: robmarsw@umich.edu

10

