arXiv:1508.00477v2 [math.AC] 26 May 2016

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL
IDEALS
CRISTIANO BOCCI, SUSAN COOPER, ELENA GUARDO, BRIAN HARBOURNE, MIKE
JANSSEN, UWE NAGEL, ALEXANDRA SECELEANU, ADAM VAN TUYL, AND THANH VU
Abstract. Given a squarefree monomial ideal I ⊆ R = k[x1 , . . . , xn ], we show that
α
b(I), the Waldschmidt constant of I, can be expressed as the optimal solution to a
linear program constructed from the primary decomposition of I. By applying results
from fractional graph theory, we can then express α
b(I) in terms of the fractional chromatic number of a hypergraph also constructed from the primary decomposition of I.
Moreover, expressing α
b(I) as the solution to a linear program enables us to prove a
Chudnovsky-like lower bound on α
b(I), thus verifying a conjecture of Cooper-EmbreeHà-Hoefel for monomial ideals in the squarefree case. As an application, we compute
the Waldschmidt constant and the resurgence for some families of squarefree monomial
ideals. For example, we determine both constants for unions of general linear subspaces
of Pn with few components compared to n, and we find the Waldschmidt constant for
the Stanley-Reisner ideal of a uniform matroid.

1. Introduction
During the last decade, there has been a lot of interest in the “ideal containment
problem”: given a nontrivial homogeneous ideal I of a polynomial ring R = k[x1 , . . . , xn ]
over a field k, the problem is to determine all positive integer pairs (m, r) such that
I (m) ⊆ I r . Here I (m) denotes the m-th symbolic power of the ideal, while I r is the
ordinary r-th power of I (formal definitions are postponed until the next section). This
problem was motivated by the fundamental results of [10, 20] showing that containment
holds whenever m ≥ r(n − 1). In order to capture more precise information about these
containments, Bocci and Harbourne [3] introduced the resurgence of I, denoted ρ(I) and
defined as ρ(I) = sup{m/r | I (m) 6⊆ I r }.
In general, computing ρ(I) is quite difficult. Starting with [3], there has been an ongoing
research programme to bound ρ(I) in terms of other invariants of I that may be easier
to compute. One such bound is in terms of the Waldschmidt constant of I. Given any
nonzero homogeneous ideal I of R, we let α(I) = min{d | Id 6= 0}; i.e., α(I) is the smallest
degree of a nonzero element in I. The Waldschmidt constant of I is then defined to be
α(I (m) )
.
m→∞
m

α
b(I) = lim

2010 Mathematics Subject Classification. Primary 13F20; Secondary 13A02, 14N05.
Key words and phrases. Waldschmidt constant, monomial ideals, symbolic powers, graphs, hypergraphs, fractional chromatic number, linear programming, resurgence.
Last updated: Revised Version (May 21, 2016).
1

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

2

This limit exists and was first defined by Waldschmidt [28] for ideals of finite point sets
in the context of complex analysis. In the language of projective varieties, Waldschmidt
was interested in determining the minimal degree of a hypersurface that passed through a
collection of points with prescribed multiplicities, that is, he was interested in determining
α(I (m) ) when I defined a set of points. Over the years, α
b(I) has appeared in many guises
in different areas of mathematics, e.g., in number theory [5, 28, 29], complex analysis [26],
algebraic geometry [3, 4, 11, 24] and commutative algebra [18].
Bocci and Harbourne’s result α(I)/b
α(I) ≤ ρ(I) (see [3, Theorem 1.2]) has renewed
interest in computing α
b(I). For example, Dumnicki [7] finds lower bounds for α
b(I) when
3
I is an ideal of generic points in P , Dumnicki, et al. [8] compute α
b(I) when I defines a
set of points coming from a hyperplane arrangement, Fatabbi, et al. [12] computed α
b(I)
when I defines a special union of linear varieties called inclics, M. Baczyńska, et al. [1]
examine α
b(I) when I is a bihomogeneous ideal defining a finite sets of points in P1 × P1 in
[1]. Guardo, et al. [17] also computed α
b(I) when I is the ideal of general sets of points in
P1 ×P1 . In addition, upper bounds on α
b(I) were studied in [9, 16], along with connections
to Nagata’s conjecture. Even though computing α
b(I) may be easier than computing ρ(I),
in general, computing the Waldschmidt constant remains a difficult problem.
In this paper we focus on the computation of α
b(I) when I is a squarefree monomial
ideal. After reviewing the necessary background in Section 2, in Section 3 we turn to
our main insight: that α
b(I) can be realized as the value of the optimal solution of a
linear program (see Theorem 3.2). To set up the required linear program, we only need
to know the minimal primary decomposition of the squarefree monomial ideal I. The
Waldschmidt constant of monomial ideals (not just squarefree) was first studied in [6]
(although some special cases can be found in [2, 14]) which formulates the computation
of α
b(I) as a minimal value problem on a polyhedron constructed from the generators of I.
Our contribution gives a more effective approach using the well-known simplex method
for computing the Waldschmidt constant (see Remark 3.3 for connections to [6]).
The ability to express α
b(I) as a solution to a linear program has a number of advantages.
First, in Section 4 we relate α
b(I) to a combinatorial invariant. Specifically, we can view
a squarefree monomial ideal I as the edge ideal of a hypergraph H = (V, E) where
V = {x1 , . . . , xn } are the vertices and {xj1 , . . . , xjt } is an edge (i.e., {xj1 , . . . , xjt } ∈ E) if
and only if xj1 · · · xjt is a minimal monomial generator of I. We then have the following
result.
Theorem 1.1 (Theorem 4.6). Suppose that H = (V, E) is a hypergraph with a non-trivial
edge, and let I = I(H). Then
χ∗ (H)
α
b(I) = ∗
.
χ (H) − 1
where χ∗ (H) is the fractional chromatic number of the hypergraph H.
Because the fractional chromatic number of a (hyper)graph is a well-studied object (e.g.,
see the book [23]), Theorem 1.1 enables us to utilize a number of known graph theoretic
results to compute some new values of α
b(I). For example, in Section 6 we compute α
b(I)
when I is an edge ideal for various well-known families of graphs (e.g., bipartite, perfect,
cycles). We also show how to simplify the proof of the main result of [2, 14]. Moreover, we

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

3

establish that the Waldschmidt constant of the edge ideal of a graph admits a lower and
an upper bound in terms of the chromatic number and the clique number of the graph,
respectively.
Second, the reformulation of α
b(I) as a linear program gives us a new proof technique
that allows us to prove a Chudnovsky-like lower bound on α
b(I) in Section 5. Chudnovsky
[5] originally proposed a conjecture on α
b(I) in terms of α(I) and n when I defined a set of
points in Pn . Cooper, et al. [6] proposed a Chudnovsky-like lower bound for all monomial
ideals. We verify this conjecture in the squarefree case:
Theorem 1.2 (Theorem 5.3). Let I be a squarefree monomial ideal with big-height(I) = e.
Then
α(I) + e − 1
α
b(I) ≥
.
e

We give an example to show that this lower bound is sometimes sharp.
In Section 7, we illustrate how our new technique leads to new containment results, thus
returning to the initial motivation for studying Waldschmidt constants. In particular, in
this section we study unions of a small number of general linear varieties, the StanleyReisner ideal of a uniform matroid, and a “monomial star”, a squarefree monomial ideal
of mixed height.
Although we have only focused on squarefree monomial ideals in this paper, our work
has implications for the ideal containment problem for a much larger class of ideals. In
particular, recent work of Geramita, et al. [15] has shown, among other things, that if
I˜ is a specialization of a monomial ideal I, i.e. I˜ is obtained by replacing each variable
by a homogeneous polynomial with the property that these polynomials form a regular
˜ and/or ρ(I)
˜ can be related to α
sequence, then α
b(I)
b(I) and/or ρ(I) of the monomial ideal
(see, for example, [15, Corollary 4.3]).
Acknowledgements. This project was started at the Mathematisches Forschungsinstitut Oberwolfach (MFO) as part of the mini-workshop “Ideals of Linear Subspaces,
Their Symbolic Powers and Waring Problems” organized by C. Bocci, E. Carlini, E.
Guardo, and B. Harbourne. All the authors thank the MFO for providing a stimulating environment. Bocci acknowledges the financial support provided by GNSAGA of
Indam. Guardo acknowledges the financial support provided by PRIN 2011. Harbourne
was partially supported by NSA grant number H98230-13-1-0213. Janssen was partially
supported by Dordt College. Janssen and Seceleanu received support from MFO’s NSF
grant DMS-1049268, “NSF Junior Oberwolfach Fellows”. Nagel was partially supported
by the Simons Foundation under grant No. 317096. Van Tuyl acknowledges the financial
support provided by NSERC.
2. Background Definitions and Results
In this section we review the relevant background. Unless otherwise indicated, R =
k[x1 , . . . , xn ] with k an algebraically closed field of any characteristic. We continue to use
the notation and definitions of the introduction.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

4

2.1. Squarefree monomial ideals and (hyper)graphs. An ideal I ⊆ R is a monomial
ideal if I is generated by monomials. We say that I is a squarefree monomial ideal if it
is generated by squarefree monomials, i.e., every generator has the form xa11 · · · xann with
ai ∈ {0, 1}. When I is a squarefree monomial ideal, the minimal primary decomposition
of I has the form
I = P1 ∩ · · · ∩ Ps with Pi = hxj1 , . . . , xjsj i for j = 1, . . . , s.
A hypergraph is an ordered pair H = (V, E) where V = {x1 , . . . , xn } is the set of
vertices, and E consists of subsets of V such that if ei ⊆ ej , then ei = ej . The elements
of E are called edges. When the hypergraph H is such that |ei | = 2 for all i, it is also
called a graph.
Given any hypergraph H = (V, E), we can associate to H a squarefree monomial ideal
I(H) called the edge ideal of H. Precisely,
I(H) = hxi1 xi2 · · · xit | {xi1 , xi2 , . . . , xit } ∈ Ei.

This construction can be reversed, so we have a one-to-one correspondence between hypergraphs H on n vertices and squarefree monomial ideals in n variables.
Remark 2.1. In the above one-to-one correspondence, we need to be cognizant of the
fact that a hypergraph with no edges is different than a hypergraph whose edges are the
isolated vertices. In the first case, H = (V, ∅) is associated to the zero-ideal I(H) = (0),
while in the second case, H = (V, {{x1 }, . . . , {xn }}) is associated to I(H) = hx1 , . . . , xn i.
In the first case, α
b((0)) is not defined, while in the second case, α
b(I(H)) = 1 since I(H)
is generated by a regular sequence. Thus, it is harmless to eliminate these cases by
considering only hypergraphs that have at least one non-trivial edge.
The associated primes of I(H) are related to the maximal independent sets and vertex
covers of the hypergraph H. We say that A ⊆ V is an independent set of H if e 6⊆ A
whenever e ∈ E. It is maximal if it is maximal with respect to inclusion. A subset U ⊆ V
is a vertex cover of a hypergraph if e ∩ U 6= ∅ whenever e ∈ E. A vertex cover is minimal
if it is so with respect to containment.
Lemma 2.2. Suppose that H = (V, E) is a hypergraph with a non-trivial edge, and let
I = I(H). Suppose that I = P1 ∩ · · · ∩ Ps is the minimal primary decomposition of I, and
set Wi = {xj | xj 6∈ Pi } for i = 1, . . . , s. Then W1 , . . . , Ws are the maximal independent
sets of H.
Proof. Any W is a maximal independent set if and only if V \ W is a minimal vertex
cover. We now use the fact that the associated primes of the edge ideal I(H) correspond
to the minimal vertex covers of H (e.g., see the proof [27, Corollary 3.35] for edge ideals
of graphs, which can be easily adapted to hypergraphs).

2.2. Symbolic Powers. We now review the definition of symbolic powers. Recall that
any homogeneous
ideal I ⊆ R has minimal primary decomposition I = Q1 ∩ · · · ∩ Qs
√
where Qi = Pi is√a prime ideal. The set of associated primes of I, denoted Ass(I), is
the set Ass(I) = { Qi | i = 1, . . . , s}. The minimal primes of I, denoted Min(I), is the
set of minimal elements of Ass(I), ordered by inclusion.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

5

Definition 2.3. Let 0 6= I ⊆ R be a homogeneous ideal. The m-th symbolic power of I,
denoted I (m) , is the ideal
\
I (m) =
(I m RP ∩ R),
P ∈Ass(I)

where RP denotes the localization of R at the prime ideal P .

Remark 2.4. In the literature, there is some ambiguity concerning the notion of symbolic
powers. The intersection in the definition of the symbolic power is sometimes taken over
all associated primes and sometimes just over the minimal primes of I. In general, these
two possible definitions yield different results. However, they agree in the case of radical
ideals, thus, in particular, also in the case of squarefree monomial ideals.
We will be concerned with the analysis of generators of minimal degree in the symbolic
powers I (m) of I. While the general definition of the m-th symbolic power of I is based
on localization, for squarefree monomial ideals the following result will prove useful.
Theorem 2.5. Suppose that I ⊆ R is a squarefree monomial ideal with minimal primary
decomposition I = P1 ∩ · · · ∩ Ps . Then for all m ≥ 1,
I (m) = P1m ∩ · · · ∩ Psm .

Proof. This result is a special case of [6, Theorem 3.7].



The next result enables us to determine if a particular monomial belongs to I (m) .
Lemma 2.6. Let I ⊆ R be a squarefree monomial ideal with minimal primary decomposition I = P1 ∩P2 ∩· · ·∩Ps with Pj = hxj1 , . . . , xjsj i for j = 1, . . . , s. Then xa11 · · · xann ∈ I (m)
if and only if aj1 + · · · + ajsj ≥ m for j = 1, . . . , s.
Proof. By Theorem 2.5, I (m) = P1m ∩· · ·∩Psm . So xa11 · · · xann ∈ I (m) if and only if xa11 · · · xann
is in Pjm for all j = 1, . . . , s. This happens if and only if there exists at least one generator
fj ∈ Pjm such that fj divides xa11 · · · xann (for j = 1, . . . , s), which is equivalent to requiring

aj1 + · · · + ajsj ≥ m for j = 1, . . . , s.
2.3. Waldschmidt constants. We complete this section by reviewing some useful results on α
b(I), the Waldschmidt constant of a homogeneous ideal.

Lemma 2.7 (Subadditivity). Let I be a radical homogeneous ideal in R = k[x1 , . . . , xn ].
Then
(i) α(I (c+d) ) ≤ α(I (c) ) + α(I (d) ) for all positive c, d ∈ N.
(m)
(ii) α
b(I) = limm→∞ α(Im ) is the infimum of α(I (m) )/m for m ∈ N.

Proof. The subadditivity of α(−) is a consequence of the fact that symbolic powers of
any radical homogeneous ideal form a graded system, meaning that I (c) I (d) ⊆ I (c+d) for
all c, d ≥ 0 (see e.g [22, Example 2.4.16 (iv)]). The statement in part (ii) then follows
from (i) by means of the general principle of subadditivity in [23, Lemma A.4.1]. See
[19, Remark III.7] or [3, Lemma 2.3.1] for a version of the result in (ii) and its proof.
Alternatively, use Fekete’s Lemma [13] as in [1].


THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

6

3. The Waldschmidt constant and a linear program
When I is a squarefree monomial ideal, we show that α
b(I) can be expressed as the
value to a certain linear program arising from the structure of the associated primes of
I. For the convenience of the reader, we review the relevant definitions concerning linear
programming (we have used [23] for our reference).
A linear program (henceforth LP) is a problem that can be expressed as:
minimize bT y
(⋆)
subject to Ay ≥ c and y ≥ 0
where b is an s-vector, c is an r-vector, 0 is the zero r-vector, and A is an r × s real
coefficient matrix. Here, d ≥ e denotes the partial order where the i-th coordinate entry
of d is larger than the i-th coordinate entry of e for all i. Note that we wish to solve
for the s-vector y. The equation bT y is the constraint equation. Any y that satisfies
Ay ≥ c and y ≥ 0 is called a feasible solution. If y∗ is a feasible solution that optimizes
the constraint equation, then bT y∗ is the value of LP. Associated to the LP (⋆) is its dual
linear program:
maximize cT x
(⋆⋆)
subject to AT x ≤ b and x ≥ 0
A fundamental result in linear programming is that both a linear program and its dual
have the exact same value, i.e., cT x∗ = bT y∗ (see [23, Theorem A.3.1]). In particular, we
shall find the following fact useful.
Lemma 3.1. Consider the LP
minimize bT y
subject to Ay ≥ c and y ≥ 0
and suppose that y∗ is the feasible solution that gives the value of this LP. If x is any
feasible solution of the associated dual LP, then cT x ≤ bT y∗ .
Proof. For any feasible solution x, we have
cT x = xT c ≤ xT Ay∗ = (AT x)T y∗ ≤ bT y∗ .



We now have the machinery to state and prove the first main result of this paper.
Theorem 3.2. Let I ⊆ R be a squarefree monomial ideal with minimal primary decomposition I = P1 ∩ P2 ∩ · · · ∩ Ps with Pj = hxj1 , . . . , xjsj i for j = 1, . . . , s. Let A be the
s × n matrix where
(
1 if xj ∈ Pi
Ai,j =
0 if xj 6∈ Pi .
Consider the following LP:
minimize 1T y
subject to Ay ≥ 1 and y ≥ 0
and suppose that y∗ is a feasible solution that realizes the optimal value. Then
α
b(I) = 1T y∗ .

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

7

That is, α
b(I) is the value of the LP.


Proof. Suppose that (y∗ )T = y1∗ y2∗ · · · yn∗ is the feasible solution that realizes the
∗
optimal solution
 a1 a2 to theaLP.
 Because the entries of y are rational numbers, we can write
n
∗ T
(y ) = b1 b2 · · · bn with integers ai , bi for i = 1, . . . , n.
Set b = lcm(b1 , . . . , bn ). Then A(by) ≥ b where b is an s-vector of b’s. So, (by) is a
feasible integer solution to the system Az ≥ b. In other words, for each j = 1, . . . , s,
!
ajsj
bajsj
baj1
aj1
b
=
≥ b.
+···+
+···+
bj1
bjsj
bj1
bjsj
It then follows by Lemma 2.6 that
ba1
b

ba2
b

ban

x1 1 x2 2 · · · xnbn ∈ I (b) .

Thus,

α(I (b) ) ≤

ban
ba1 ba2
+
+···+
,
b1
b2
bn

or equivalently (by Lemma 2.7),
α(I (b) )
an
a1 a2
α
b(I) ≤
+
+···+
= 1T y ∗ .
≤
b
b1
b2
bn

To show the reverse inequality,
for a contradiction that α
b(I) < 1T y∗ . By
 suppose
(m)
Lemma 2.7 we have α
b(I) = inf α(I )/m m∈N . In particular, there must exist some m
such that
an
a1 a2
α(I (m) )
+
+···+
= 1T y ∗ .
<
m
b1
b2
bn
Let xe11 xe22 · · · xenn ∈ I (m) be a monomial with e1 + · · · + en = α(I (m) ). Then, by Lemma
2.6, we have
ej1 + · · · + ejsj ≥ m for all j = 1, . . . , s.
In particular, if we divide all the s equations by m, we have
ejs
ej1
+ · · · + j ≥ 1 for all j = 1, . . . , s.
m
m
But then
T

wT = em1 · · · ems
satisfies Aw ≥ 1 and w ≥ 0. In other words, w is a feasible solution to the LP, and
(m)
furthermore, α(Im ) = 1T w < ab11 + ab22 + · · · + abnn = 1T y∗ , contradicting the fact that 1T y∗
is the value of the LP.

Remark 3.3. The set of feasible solutions of the LP in Theorem 3.2 is the symbolic
polyhedron for the monomial ideal I as defined in [6, Definition 5.3]:
\
Q=
conv L(Q⊆P ).
P ∈max Ass(I)

Here,√Q⊆P is the intersection of all primary ideals Qi in the primary decomposition of I
with Qi ⊆ P , L(Q⊆P ) is the set of lattice points a ∈ Nn with xa = xa11 · · · xann ∈ Q⊆P ,

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

8

and conv(−) denotes the convex hull. When I is a squarefree monomial ideal I, then
Ass(I) = max Ass(I) and Q⊆P = P for any P ∈ Ass(I). So we have L(Q⊆P ) = L(P ) =
{x | xT≥ 0, ai · x ≥ 1}, where ai is the i-th row of the matrix A in Theorem 3.2. Clearly
then i L(Q⊆P ) = {x | x ≥ 0, Ax ≥ 1}.
Furthermore, the optimal value of our LP is the same as α(Q) as defined in [6] before
Corollary 6.2, thus Theorem 3.2 is a (useful!) restatement (with easier proof) of [6,
Corollary 6.3].
Remark 3.4. Because the set of optimal solutions to an integer LP consists of points with
rational coordinates, Theorem 3.2 allows us to conclude that the Waldschmidt constant
of any squarefree monomial ideal is rational. The same is true for arbitrary monomial
ideals by making use of the symbolic polyhedron described above.
4. The Waldschmidt constant in terms of a fractional chromatic number
As shown in the last section, the Waldschmidt constant α
b(I) of a squarefree monomial
ideal I ⊆ R = k[x1 , . . . , xn ] is the optimal value of a linear program. On the other
hand, a squarefree monomial ideal can also be viewed as the edge ideal of a hypergraph
H = (V, E) where V = {x1 , . . . , xn } and {xi1 , . . . , xit } ∈ E is an edge if and only if
b(I) can be expressed in terms
xi1 · · · xit is a minimal generator of I. We now show that α
of a combinatorial invariant of H, specifically, the fractional chromatic number of H.
Recall that we are assuming that all our hypergraphs H = (V, E) have a non-trivial edge.
We begin by defining the fractional chromatic number of a hypergraph H = (V, E). Set
W = {W ⊆ V | W is an independent set of H}.
Definition 4.1. Let H = (V, E) be a hypergraph. Suppose that W = {W1 , . . . , Wt } is
the set of all independent sets of H. Let B be the n × t matrix given by
(
1 if xi ∈ Wj
Bi,j =
0 if xi 6∈ Wj .

The optimal value of the following LP, denoted χ∗ (H),
minimize yW1 + yW2 + · · · + yWt = 1T y
subject to By ≥ 1 and y ≥ 0
is the fractional chromatic number of the hypergraph H.

Remark 4.2. If H = (V, E) is a hypergraph with a non-trivial edge, then χ∗ (H) 6= 1.
Remark 4.3. A colouring of a hypergraph H = (V, E) is an assignment of a colour to
every x ∈ V so that no edge is mono-coloured. The minimum number of colours needed
to give H a valid colouring is the chromatic number of H, and is denoted χ(H). The value
of χ(H) can also be interpreted as the value of the optimal integer solution to the LP in
the previous definition. In other words, the fractional chromatic number is the relaxation
of the requirement that the previous LP have integer solutions.
We next give a lemma which may be of independent interest due to its implications
on computing fractional chromatic numbers. Our lemma shows that the dual of the LP

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

9

that defines the fractional chromatic number can be reformulated in terms of a smaller
number of constraints.
Lemma 4.4. Let H = (V, E) be a hypergraph. Suppose that W ′ = {W1 , . . . , Ws } is the
set of all maximal independent sets of H. Let B ′ be the n × s matrix given by
(
1 if xi ∈ Wj
′
Bi,j
=
0 if xi 6∈ Wj .
and let B be the matrix defined in 4.1. Then the following two linear programs have the
same feasible solution sets and the same optimal values:
maximize w1 + · · · + wn = 1T w
maximize w1 + · · · + wn = 1T w
subject to B T w ≤ 1 and w ≥ 0
subject to B ′T w ≤ 1 and w ≥ 0
In particular, the fractional chromatic number χ∗ (H) can also be computed as the optimal
value of the second linear program.
Proof. It is clear from the definitions that there is a block decomposition


B = B′ C

where C is a n × (t − s) matrix corresponding to non-maximal independent sets. The
feasible set for the first LP is thus given by the constraints B ′T w ≤ 1, C T w ≤ 1 and
w ≥ 0. It is clear that any feasible solution of the first LP is also feasible for the
second. For the converse we need to observe that the constraint equations C T w ≤ 1
are all redundant. To see why, note that any row in C T corresponds to a non-maximal
independent set W ′ . So, there is a maximal independent set W such that W ′ ⊆ W , and
if w satisfies the constraint corresponding to the row W , it will also have to satisfy the
constraint coming from the row corresponding to W ′ . In particular, this tells us that
B ′ T w ≤ 1 implies C T w ≤ 1, and consequently the two LPs have the same feasible sets.
Since the LPs also have the same objective function, their optimal values will be the same.
Since the first LP is the dual of the LP in Definition 4.1, the common value of these LPs
is equal to χ∗ (H).

Our goal is now to show that if I is any squarefree monomial ideal of R, and if H is
the hypergraph such that I = I(H), then α
b(I) can be expressed in terms of χ∗ (H). To
do this, we relate the matrix A with the matrix B ′ of Lemma 4.4.

Lemma 4.5. Let H = (V, E) be a hypergraph with edge ideal I = I(H). Suppose that
W = {W1 , . . . , Ws } are the maximal independent sets of H. Let A be the s × n matrix of
the LP of Theorem 3.2 constructed from I(H), and let B ′ be the n × s matrix of Lemma
4.4. Then
B ′ = (I − A)T and A = (I − B ′ )T
where I denotes an appropriate sized matrix with every entry equal to one.

Proof. By Lemma 2.2, a set of variables generates a minimal prime ideal containing I if
and only if its complement is a maximal independent set of H, i.e., there is a one-toone correspondence between the associated primes P1 , . . . , Ps of I(H) and the maximal

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

10

independent sets of H. This complementing is represented by the formula I − A or I − B ′ ,
while transposition occurs since the variables index rows for B ′ and columns for A.

Theorem 4.6. Suppose that H = (V, E) is a hypergraph with a non-trivial edge, and let
I = I(H). Then
χ∗ (H)
α
b(I) = ∗
.
χ (H) − 1
Proof. Consider LP introduced in Lemma 4.4, namely
maximize w1 + · · · + wn = 1T w
subject to B ′T w ≤ 1 and w ≥ 0.
By Lemma 4.4, the optimal value of this LP is χ∗ (H). Let w∗ denote an optimal
1
w∗ is a feasible solution for the LP defining
solution for this LP. We claim that χ∗ (H)−1
α
b(I). Indeed, using Lemma 4.5, we have
1 =
=
In particular, 1 ≤ A

1

χ∗ (H)
1
χ∗ (H)



−1
−1

1
χ∗ (H)−1

α
b(I) ≤

(χ∗ (H)1 − 1) ≤
(I − B ′ )T w∗ =

1

χ∗ (H)
1

χ∗ (H)

−1

−1

(Iw∗ − B ′T w∗ )

Aw∗ .


w∗ , where 1 is an appropriate sized vector of 1’s. Thus

χ∗ (H)
1
(w
+
·
·
·
+
w
)
=
.
1
n
χ∗ (H) − 1
χ∗ (H) − 1

A similar computation shows that, if y∗ is the optimal solution for the LP
minimize y1 + · · · + yn = 1T y
subject to Ay ≥ 1 and y ≥ 0

1
that is, 1T y∗ = α
b(I), then αb(I)−1
y∗ is a feasible solution for the dual LP described in the
beginning of this proof. Indeed, using Lemma 4.5 we have




1
1
∗
∗
′T
= (I − A)
y
y
B
α
b(I) − 1
α
b(I) − 1
1
1
(I − A)y∗ =
(b
α(I)1 − Ay∗ ) .
=
α
b(I) − 1
α
b(I) − 1


1
Because Ay∗ ≥ 1, we now have B ′T αb(I)−1
y∗ ≤ 1. Thus Lemma 3.1 yields the inequality

χ∗ (H) ≥

α
b(I)
1
(y1 + · · · + yn ) =
α
b(I) − 1
α
b(I) − 1

and by elementary manipulations this inequality is equivalent to α
b(I) ≥

χ∗ (H)
.
χ∗ (H)−1

We end this section with an application that illustrates the power of Theorem 4.6.



THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

11

Corollary 4.7. Suppose that I and J are two squarefree monomial ideals of the ring
R = k[x1 , . . . , xn , y1 , . . . , yn ]. Furthermore, suppose that I is generated by monomials only
in the xi ’s and J is generated by monomials only in the yj ’s. Then
α
b(I + J) = min{b
α(I), α
b(J)}.

Proof. We can view I as the edge ideal of a hypergraph H on the vertices {x1 , . . . , xn }
and J as the edge ideal of a hypergraph K on the vertices {y1 , . . . , yn }. Thus I + J is the
edge ideal of the hypergraph H ∪ K where H and K are disjoint. But then
χ∗ (H ∪ K) = max{χ∗ (H), χ∗ (K)},

which is equivalent to the statement

χ∗ (H ∪ K)
= min
χ∗ (H ∪ K) − 1

Now apply Theorem 4.6.



χ∗ (H)
χ∗ (K)
,
χ∗ (H) − 1 χ∗ (K) − 1



.


5. A Chudnovsky-like lower bound on α
b(I)

Chudnovsky [5] first proposed a conjectured lower bound on α
b(I) when I is the ideal
of a set of points in a projective space. Motivated by this conjecture, Cooper, et al. [6]
formulated an analogous conjecture for all monomial ideals. Recall that the big height of
I, denoted big-height(I), is the maximum of the heights of P ∈ Ass(I).
Conjecture 5.1 ([6, Conjecture 6.6]). Let I be a monomial ideal with big-height(I) = e.
Then
α(I) + e − 1
α
b(I) ≥
.
e
Remark 5.2. In the original formulation, the authors make a conjecture about α(Q) of
the symbolic polyhedron Q of I as introduced in Remark 3.3. It is enough to know that
in our context, α(Q) = α
b(I).
By taking the viewpoint that α
b(I) is the solution to a LP, we are able to verify the
above conjecture for all squarefree monomial ideals.
Theorem 5.3. Let I be a squarefree monomial ideal with big-height(I) = e. Then
α
b(I) ≥

α(I) + e − 1
.
e

Proof. By Theorem 3.2, α
b(I) is the optimum value of the LP that asks to minimize
y1 + · · · + yn subject to the constraints Ay ≥ 1 and y ≥ 0, with A obtained from the
primary decomposition of I. It is enough to show that any feasible solution y for this LP
satisfies
n
X
α(I) + e − 1
yi ≥
e
i=1
in order to conclude that the optimal solution satisfies the same inequality, hence the
.
optimal value of the program satisfies the desired inequality α
b(I) ≥ α(I)+e−1
e

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

12

Let I = P1 ∩ P2 ∩ · · · ∩ Ps be the primary decomposition for I, where the Pi are
prime ideals generated by a subset of the variables. Since P1 P2 · · · Ps ⊆ I, we must have
α(P1 P2 · · · Ps ) ≥ α(I), hence s ≥ α(I). The feasible set of the above LP is thus defined
by at least α(I) inequalities. Since big-height(I) = e, each of these inequalities involves
at most e of the variables. Both of these observations will be used in the proof.
Let y be a feasible solution for the above LP. If α(I) = 1, then because any constraint
P
equation implies y1 + · · · + yn ≥ 1, the inequality ni=1 yi ≥ α(I)+e−1
= 1 is satisfied. So,
e
we can assume that α(I) ≥ 2.
We will show that there exist distinct indices k1 , . . . , kα(I)−1 so that yki ≥ 1e for 1 ≤
i ≤ α(I) − 1. The proof of this claim is by induction. For the base case, we need to
find one index k1 such that yk1 ≥ 1e . Let yi1 + · · · + yie ≥ 1 be the constraint equation
constructed from the height e associated prime. Since y is a feasible solution, at least one
of yi1 , . . . , yie must be ≥ 1e . Let k1 be the corresponding index. This proves our base case.
Now let 1 < j ≤ α(I) − 1 and suppose that there exist pairwise distinct indices
k1 , . . . , kj−1 so that yki ≥ 1e for 1 ≤ i ≤ j − 1. Note that the monomial xk1 xk2 · · · xkj−1
of degree j − 1 ≤ α(I) − 2 is not an element of I. Consequently there exists a prime
Pℓ among the associated primes of I that does not contain the monomial xk1 xk2 · · · xkj−1 ,
thus Pℓ contains none of the variables xk1 , xk2 , . . . , xkj−1 . Consider the inequality of the
LP corresponding to the prime Pℓ
yℓ1 + yℓ2 + · · · + yℓsℓ ≥ 1.
This inequality involves at most e of the entries of y, thus yℓt ≥ 1e for some t. Since
xℓt ∈ Pℓ and none of the variables xk1 , xk2 , . . . xkj−1 are in Pℓ , we conclude that ℓt must be
distinct from any of the indices k1 , . . . , kj−1. Setting kj = ℓt gives a pairwise distinct set
of indices k1 , . . . , kj so that yki ≥ 1e for 1 ≤ i ≤ j. This finishes the proof of our claim.
Now consider the monomial xk1 xk2 · · · xkα(I)−1 , which has degree α(I) − 1 and consequently is not an element of I. Then there exists an associated prime Pu of I so that none
of the variables xk1 , xk2 , . . . , xkα(I)−1 are in Pu . The inequality in the LP corresponding to
the prime Pu
yu1 + yu2 + · · · + yusu ≥ 1
together with the previously established inequalities
1
1
1
yk1 ≥ , yk2 ≥ , . . . , ykα(I)−1 ≥
e
e
e
and the non-negativity conditions yi ≥ 0 for 1 ≤ i ≤ n yield
n
X
i=1

yi ≥ yk1 + yk2 + . . . + ykα(I)−1 + yu1 + yu2 + . . . + yusu
≥

α(I) − 1
α(I) + e − 1
+1=
.
e
e

The first inequality also uses the fact that {k1 , k2, . . . , kα(I)−1 } ∩ {u1 , u2 , . . . , usu } = ∅.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

Since α
b(I) =

Pn

∗
i=1 yi

13

∗

for some feasible solution y of the LP, we now have
α
b(I) =

n
X
i=1

yi∗ ≥

α(I) + e − 1
.
e


Remark 5.4. The lower bound in the above theorem is optimal; see Theorem 7.5 and
Remark 7.6.
6. The Waldschmidt constant for edge ideals
In this section, we apply our methods to examine the Waldschmidt constant for edge
ideals for several families of finite simple graphs, and relate this algebraic invariant to
invariants of the graph.
In the following, let G = (V, E) be a finite simple graph with vertex set V = {x1 , . . . , xn }
and edge set E. Let k be a field and set R = k[x1 , . . . xn ]. The edge ideal of G is then the
squarefree quadratic monomial ideal
I(G) = hxi xj | {xi , xj } ∈ Ei ⊆ R,
i.e., this is the special case of an edge ideal first introduced in Section 2. All terminology
in that section can therefore be applied to graphs. In particular, the notion of vertex cover
specializes to graphs as well as the correspondence outlined in Lemma 2.2 which gives a
bijection between minimal associated primes of I(G) and minimal vertex covers of G.
Definition 6.1. A k-colouring for G is an assignment of k labels (or colours) to the
elements of V so that no two adjacent vertices are given the same label. The chromatic
number of G, χ(G), is the smallest integer k so that G admits a k-colouring.
Definition 6.2. A clique of G is a set of pairwise adjacent vertices of G. A maximum
clique of G is a clique such that G admits no clique with more vertices. The clique number
ω(G) is the number of vertices in a maximum clique in G.
We obtain the following bound on α
b(I(G)) in terms of these invariants.

Theorem 6.3. Let G be a non-empty graph with chromatic number χ(G) and clique
number ω(G). Then
χ(G)
ω(G)
≤α
b(I(G)) ≤
.
χ(G) − 1
ω(G) − 1

Proof. The fractional chromatic number χ∗ (G) of the graph G is the solution to the LP
of Defintion 4.1. Now χ(G) is the integer solution to this LP, while ω(G) is the integer
solution to the dual of this LP. This implies that ω(G) ≤ χ∗ (G) ≤ χ(G), and so the result
∗ (G)
follows from Theorem 4.6 which gives α
b(I(G)) = χ∗χ(G)−1
.

The above lower bound improves the lower bound from Theorem 5.3.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

14

Theorem 6.4. Let I(G) be the edge ideal of a graph G and let big-height(I(G)) = e.
Then
χ(G)
e+1
α(I(G)) + e − 1
α
b(I(G)) ≥
≥
=
.
χ(G) − 1
e
e

Proof. Theorem 6.3 already shows the first inequality, so it suffices to verify the second
inequality χ(G)/(χ(G) − 1) ≥ (e + 1)/e.
Let P be the associated prime of I(G) with height e. If P = hxi1 , . . . , xie i, then
W = {x1 , . . . , xn } \ {xi1 , . . . , xie } is an independent set of G. We can now colour G with
e + 1 colours by colouring the vertices of W one colour, and then colour each vertex of

{xi1 , . . . , xie } with a distinct colour. So χ(G) ≤ e + 1, which gives the result.

We now turn to the computation of the Waldschmidt constant for various families of
simple graphs. In particular, we examine perfect graphs, k-partite graphs, cycles, and
complements of cycles. We will use these results to give a simplified proof to a result of
Bocci and Franci [2, 14].
We now recall the definitions of the family of graphs we wish to study. If G = (V, E)
is a graph and A ⊆ V , then the induced subgraph of G on A, denoted GA , is the graph
GA = (A, EA ) where EA = {e ∈ E | e ⊆ A}. We say a graph G is perfect if ω(GA ) = χ(GA )
for all A ⊆ V . A graph G = (V, E) is a k-partite graph if there exists a k-paritition
V = V1 ∪ · · · ∪ Vk such that no e ⊆ Vi for any i. When k = 2, we call G bipartite.
The complete k-partite graph is a graph with k-paritition V = V1 ∪ · · · ∪ Vk and all
edges of the form {vi , vj } with vi ∈ Vi and vj ∈ Vj and i 6= j. The complete graph on
n vertices, denoted Kn , is the graph on the vertex set V = {x1 , . . . , xn } and edge set
{{xi , xj } | 1 ≤ i < j ≤ n}. The cycle on n vertices, denoted Cn , is a graph on V =
{x1 , . . . , xn } and edge set {{x1 , x2 }, {x2 , x3 }, . . . , {xn−1 , xn }, {xn , x1 }}. The complement
of a graph G = (V, E), denoted Gc , is the graph with the same vertex set as G, but edge
set {{xi , xj } | {xi , xj } 6∈ E}.
We will use the following result to compute (or bound) χ∗ (G).
Definition 6.5. A graph G is vertex-transitive if for all u, v ∈ V (G) there is an automorphism π of G with π(u) = v.
(G)|
Theorem 6.6 ([23, Proposition 3.1.1]). If G is any graph, then χ∗ (G) ≥ |Vα(G)
, where
α(G) is the independence number of G (i.e. the size of the largest independent set in G).
Equality holds if G is vertex-transitive.

Examples of vertex-transitive graphs are complete graphs, cycles, and their complements. We are now able to compute α
b(I(G)) for a large number of families of graphs.

Theorem 6.7. Let G be a non-empty graph.

χ(G)
(i) If χ(G) = ω(G), then α
b(I(G)) = χ(G)−1
. In particular, this equality holds for all
perfect graphs.
k
(ii) If G is k-partite, then α
b(I(G)) ≥ k−1
. In particular, if G is a complete k-partite
k
graph, then α
b(I(G)) = k−1 .
(iii) If G is bipartite, then α
b(I(G)) = 2.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

(iv) If G = C2n+1 is an odd cycle, then α
b(I(C2n+1 )) =
c
(v) If G = C2n+1
, then α
b(I(G)) = 2n+1
.
2n−1

15

2n+1
.
n+1

Proof. (i) This result follows immediately from Theorem 6.3. Note that perfect graphs
have the property that ω(G) = χ(G).
(ii). If G is a k-partite graph, then χ(G) ≤ k; indeed, if V = V1 ∪ · · · ∪ Vk is the
k-parititon, colouring all the vertices of Vi the same colour gives a valid colouring. By
χ(G)
k
≥ k−1
. If G is a complete k-partite graph, then χ(G) ≤
Theorem 6.3, α
b(I(G)) ≥ χ(G)−1
k = ω(G) and the desired equality follows by a direct application of Theorem 6.3.
(iii) For any bipartite graph G, χ(G) = ω(G) = 2, so apply (i).
(iv) For an odd cycle C2n+1 , χ∗ (C2n+1 ) = 2 + 1/n by Theorem 6.6. Now apply Theorem
4.6.
(v) For the complement G of C2n+1 , χ∗ (G) = 2n+1
by Theorem 6.6. Again, apply
2
Theorem 4.6.

Remark 6.8. The fact that α
b(I(G)) = 2 when G is bipartite is well-known. In fact, the
much stronger result that I(G)(m) = I(G)m for all m holds when G is bipartite (see [25]).

Bocci and Franci [2] recently computed the Waldschmidt constant of the StanleyReisner ideal of the so-called n-bipyramid. We illustrate the strength of our new techniques by giving a simplified proof of their main result using the above results.

Definition 6.9. The bipyramid over a polytope P , denoted bipyr(P ), is the convex hull
of P and any line segment which meets the interior of P at exactly once point.
Bocci and Franci considered the bipyramid of an n-gon. Specifically, let Qn be an n-gon
in R2 , with vertices {1, . . . , n}, containing the origin and embedded in R3 . We denote by
Bn the bipyramid over Qn , i.e., the convex hull
Bn = bipyr(Qn ) = conv(Qn , (0, 0, 1), (0, 0, −1)).
For a simplicial complex ∆ with vertices {1, . . . , n}, we may identify a subset
Q σ ⊆
{1, . . . , n} with the n-tuple in {0, 1}n and we adopt the convention that xσ = i∈σ xi .
The Stanley-Reisner ideal of a simplicial complex ∆ on vertices {1, . . . , n} is defined to
be I∆ = hxσ | σ ∈
/ ∆i, i.e., it is generated by the non-faces of ∆.
We view Bn as a simplicial complex on the vertex set {x1 , . . . , xn , y, z} where the xi ’s
correspond to the vertices of the n-gon, and y and z correspond to the end points of the
line segment that meets the interior of the n-gon at one point. Because the bipyramid
Bn is a simplicial complex, we let In = IBn be the Stanley-Reisner ideal associated to Bn .
Bocci and Franci [2, Proposition 3.1] described the generators of In ; in particular,
(6.1)

In = hyzi + hxi xj | i and j non-adjacent in Qn i.

Note that In can be viewed as the edge ideal of some graph since all the generators are
quadratic squarefree monomials. Using the results of this section, we have shown:
Theorem 6.10 ([2, Theorem 1.1]). Let In be the Stanley-Reisner ideal of the n-bipyramid
n
Bn . Then α
b(In ) = n−2
for all n ≥ 4.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

16

Proof. The ideal In is an ideal in the polynomial ring R = k[x1 , . . . , xn , y, z]. By (6.1)
In can be viewed as the edge ideal of the graph Gn where Gn = H ∪ Cnc consists of
two disjoint components. In particular, H is the graph of a single edge {y, z} and Cnc
is the complement of the n-cycle Cn . By Corollary 4.7 to compute α
b(In ) it suffices to
compute χ∗ (Gn ) = max{χ∗ (H), χ∗(Cnc )}. A graph consisting of a single edge is perfect,
so χ∗ (H) = 2. On the other hand,
(
m
if n = 2m
χ∗ (Cnc ) =
1
m + 2 if n = 2m + 1
So, if n > 3, χ∗ (Gn ) = χ∗ (Cnc ).
m
=
Thus, if n = 2m, α
b(In ) = m−1
In other words, α
b(In ) =

n
n−2

n
.
n−2

And if n = 2m + 1, then

m+
α
b(In ) =
m−

1
2
1
2

=

n
.
n−2

for all n ≥ 4.



We close this section with some comments about the Alexander dual.

Definition 6.11. Let I = P1 ∩ · · · ∩ Ps be a squarefree monomial ideal with Pi =
hxj1 , . . . , xjsj i for j = 1, . . . , s. Then the Alexander dual of I, denoted I ∨ , is the monomial
ideal I ∨ = hxj1 · · · xjsj | j = 1, . . . , s i.
In combinatorial commutative algebra, the Alexander dual of a monomial ideal I is
used quite frequently to deduce additional information about I. It is thus natural to ask
if knowing α
b(I) of a squarefree monomial ideal allows us to deduce any information about
∨
α
b(I ). As the next example shows, simply knowing α
b(I) gives no information on α
b(I ∨ ).

Example 6.12. Let s ≥ 1 be an integer, and let Gs = Ks,s be the complete bipartite
graph on the vertex set V = {x1 , . . . , xs } ∪ {y1 , . . . , ys }. Now α
b(I(Gs )) = 2 by Theorem
6.7 for all s ≥ 1. On the other hand, since I(Gs ) = hx1 , . . . , xs i ∩ hy1 , . . . , ys i, we have
I(Gs )∨ = hx1 · · · xs , y1 · · · ys i.

But the ideal I(Gs )∨ is a complete intersection so (I(Gs )∨ )(m) = (I(Gs )∨ )m for all m. In
particular, α((I(Gs )∨ )(m) = α((I(Gs )∨ )m = sm. So α
b(I(Gs )∨ ) = s.
We see that if we only know that α
b(I) = 2, then α
b(I ∨ ) can be any positive integer. We
require further information about I to deduce any information about α
b(I ∨ ).
7. Some applications to the ideal containment problem

As mentioned in the introduction, the renewed interest in the Waldschmidt constant
grew out of the activity surrounding the containment problem for ideals of subschemes X
of Pn , i.e., determine all positive integer pairs (m, r) such that I (m) ⊆ I r where I = I(X).
We apply our technique for computing α
b(I) to examine the containment problem for
three families of monomial ideals: (1) a union of a small number (when compared to n)
of general linear varieties, (2) the Stanley-Reisner ideal of a uniform matroid, and (3) a

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

17

family of monomial ideals of mixed height. Note that for this section, we shall assume
that R = k[Pn ] = k[x0 , . . . , xn ].
Before turning to our applications, we recall some relevant background. To study the
containment problem, Bocci and Harbourne [3] introduce the resurgence of I, that is,
nm
o
ρ(I) = sup
| I (m) 6⊆ I r .
r
An asymptotic version of resurgence was later defined by Guardo, Harbourne, and Van
Tuyl [16] as
o
nm
I (mt) 6⊆ I rt for all t ≫ 0.
ρa (I) = sup
r
These invariants are related to the Waldschmidt constant of I as follows.
Lemma 7.1 ([16, Theorem 1.2]). Let I ⊆ R = k[x0 , . . . , xn ] be a homogeneous ideal.
Then
(i) 1 ≤ α(I)/b
α(I) ≤ ρa (I) ≤ ρ(I).
(ii) If I is the ideal of a smooth subscheme of Pn , then ρa (I) ≤ ω(I)/b
α(I) where ω(I)
denotes the largest degree of a minimal generator.
7.1. Unions of general linear varieties. In [16, Theorem 1.5], the values of α
b(I) and
ρ(I) are established when I is the ideal of certain linear subschemes of Pn in general
position. The key idea is that when the number of linear varieties is small, we can assume
that the defining ideal of I is a monomial ideal. By using Theorem 3.2 to compute the
Waldschmidt constant, we are able to recover and extend the original result.
Theorem 7.2. Let X be the union of s general linear subvarieties L1 , . . . , Ls , each of
dimension t − 1. Assume st ≤ n + 1 and set I = I(X). Then
(
1
if 1 ≤ st < n + 1
α
b(I) =
n+1
if st = n + 1.
n+1−t

Additionally, if s ≥ 2, then the resurgences are
ρ(I) = ρa (I) =

2 · (s − 1)
.
s

Furthermore,
α(I)
= ρa (I) = ρ(I) =
α
b(I)
α(I)
< ρa (I) = ρ(I) <
α
b(I)

ω(I)
,
if n + 1 = st
α
b(I)
ω(I)
, if st ≤ n and s ≥ 3.
α
b(I)

Remark 7.3. If s = 1, then the ideal I of Theorem 7.2 is generated by variables, and so
ρ(I) = ρa (I) = 1. Thus, the assumption s ≥ 2 is harmless. The case t = 1 in Theorem
7.2 was first proved in [3], while the case t = 2 is found in [16].
The final assertion of Theorem 7.2 gives examples where neither the lower bound nor
the upper bound for the asymptotic resurgence in Lemma 7.1 are sharp.
As preparation, we note the following observation.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

18

Lemma 7.4. Let 0 6= I ⊂ R be a monomial ideal, and let y be a new variable. Consider
the ideal (I, y) in S = R[y]. Then
ρ ((I, y)) = ρ(I)

and

ρa ((I, y)) = ρa (I).

Proof. First we show ρ((I, y)) ≥ ρ(I) and ρa ((I, y)) ≥a ρ(I). To this end, assume I (mt) *
I rt for some positive integers m, r and t. Thus, there is a monomial xa = xa00 · · · xann ∈ I (mt)
with xa ∈
/ I rt . It follows that xa ∈ (I, y)(mt) , but xa ∈
/ (I, y)rt, which implies both
ρ((I, y)) ≥ ρ(I) and ρa ((I, y)) ≥ ρa (I).
Second, we prove ρ((I, y)) ≤ ρ(I). Consider positive integers m and r with mr > ρ(I).
It suffices to show (I, y)(m) ⊆ (I, y)r . To this end consider a minimal generator xa y b of
(I, y)(m) . If b ≥ r, then clearly xa y b ∈ (I, y)r , and we are done. Otherwise, b < r < m,
and xa y b ∈ (I, y)(m) gives xa ∈ I (m−b) . Now m−b
≥ mr > ρ(I) implies I (m−b) ⊆ I r−b , and
r−b
hence xa ∈ I r−b . It follows that xa y b is in (I, y)r , which shows (I, y)(m) ⊆ (I, y)r .
Similarly, one establishes ρa ((I, y)) ≤ ρa (I)

Proof of Theorem 7.2. Because the linear varieties Li are in general position, we may
assume
I(Li ) = (x0 , x1 , . . . , x
b(i−1)t , . . . , x
bit−1 , xit , . . . , xn ),
T
where the b denotes an omitted variable. In particular, I(X) = si=1 I(Li ) is a squarefree
monomial ideal, so we can apply Theorem 3.2 to calculate α
b(I(X)).
If 1 ≤ st < n + 1, we wish to minimize x0 + x1 + · · · + xn subject to

x0 + x1 + · · · + x
b(i−1)t + · · · + x
bit−1 + · · · + xn ≥ 1 for i = 1, . . . , s.


Since st < n + 1, the vector yT = 0 · · · 0 1 is a feasible solution, so the minimum is
at most 1. On the other hand, because x0 + · · · + xn ≥ xt + · · · + xn ≥ 1, the minimum
solution is at least 1. So α
b(I(X)) = 1 in this situation.
If st = n + 1, then the matrix A of Theorem 3.2 is an s × (n + 1) matrix whose i-th row
consists of (i − 1)t 1’s, followed by t 0’s, followed by n + 1 − it 1’s. The vector y with

 1
1
· · · n+1−t
yT = n+1−t
|
{z
}
n+1

n+1
is a feasible solution to the linear program of Theorem 3.2, and so α
b(I(X)) ≤ n+1−t
. The
T
associated dual linear program is as follows: maximize y0 + · · · + yn such that A y ≤ 1.
We claim that the s-tuple y with

 t
t
· · · n+1−t
yT = n+1−t

t
is a feasible solution. Indeed, observe that in each entry, AT y is (s − 1) n+1−t
=


t
st
n+1
n+1−t
= 1, and thus α
b(I(X)) ≥ n+1−t = n+1−t . Combining inequalities gives
t
n+1−t
us the desired result for the Waldschmidt constant.
For the remaining claims, we consider first the case where n + 1 = st. Note that then
. It follows that 2(t − 1) =
α(I(X)) = ω(I(X)) = 2. Moreover, s ≥ 2 implies t ≤ n+1
2

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

19

dim Li + dim Lj < n, and thus X is smooth. Hence, Lemma 7.1 gives
ρa (I(X)) =

α(I(X))
2
2 · (s − 1)
=
=
≤ ρ(I(X)).
α
b(I(X))
(n + 1)/(n + 1 − t)
s

Thus, in order to determine ρ(I(X)) it suffices to show: If m and r are positive integers
with mr > 2·(s−1)
, then I(X))(m) ⊂ I(X)r . To this end we adapt the argument employed
s
in the proof of [16, Theorem 1.5]. Consider the ring homomorphism
ϕ : R → S = k[y0 , . . . , ys−1 ], defined by xi 7→ yj if jt ≤ i < (j + 1)t.

Note that, for each i ∈ [s] = {1, . . . , s}, the ideal of S generated by ϕ(I(Li )) is Pi =
(y0 , . . . , ybi−1, . . . , ys−1). Thus, J = P1 ∩ · · · ∩ Ps is the ideal of the s coordinate points in
Ps−1 .
T
Consider a monomial xa = xa00 · · · xann ∈ R. Then xa is in I (m) = si=1 I(Li )m if and
only if deg(xa ) − (a(i−1)t + a(i−1)t+1 + · · · + ait−1 ) ≥ m for each i ∈ [s]. Furthermore, a
T
bs−1
monomial y b = y0b0 · · · ys−1
∈ S is in J (m) = si=1 Pim if and only if deg(y b ) − bi−1 ≥ m for
every i ∈ [s]. It follows that
(7.1)

xa ∈ I (m) if and only if ϕ(xa ) ∈ J (m) .

Consider now any monomial xa in I (m) . The equivalence (7.1) gives ϕ(xa ) ∈ J (m) .
Since ρ(J) = 2·(s−1)
by [3, Theorem 2.4.3], our assumption mr > 2·(s−1)
yields J (m) ⊆ J r .
s
s
Hence, we can write ϕ(xa ) = π1 · · · πr , where each πj is a monomial in J. Equivalence
(7.1) implies now that there are monomials µ1 , . . . , µr ∈ I such that ϕ(µj ) = πj for each
j and xa = µ1 · · · µr . It follows that xa ∈ I r , and hence I (m) ⊂ I r , as desired.
Finally, assume n ≥ st. Then I(X) is the sum of n + 1 − st variables and the extension
ideal I(Y )R of the ideal of the union Y of s general (t−1)-dimensional linear subspaces in
Pst−1 . Thus, Lemma 7.4 yields ρ(I(X)) = ρ(I(Y )) and ρa (I(X)) = ρa (I(Y )), and hence
ρ(I(X)) = ρa (I(X)) = 2·(s−1)
. However, αα(I(X))
= 11 = 1 and αω(I(X))
= 21 = 2.

s
b(I(X))
b(I(X))
7.2. Stanley-Reisner ideals of uniform matroids. We use our methods to determine
the Waldschmidt constant of the Stanley-Reisner ideal In+1,c of a uniform matroid ∆ on
n + 1 vertices whose facets are all the cardinality n + 1 − c subsets of the vertex set.
These ideals were also recently studied by Geramita, Harbourne, Migliore, and Nagel [15]
and Lampa-Baczyńska and Malara [21]. The ideal In+1,c is generated by all squarefree
monomials of degree n + 2 − c in R. Equivalently,
\
(7.2)
In+1,c =
(xi1 , xi2 , . . . , xic ).
0≤i1 <i2 <···<ic ≤n

Theorem 7.5. The Stanley-Reisner ideal of a (n − c)-dimensional uniform matroid on
n + 1 vertices has Waldschmidt constant
n+1
α
b(In+1,c ) =
.
c

Proof. This follows by [3, Lemma 2.4.1, Lemma 2.4.2 and the proof of Theorem 2.4.3].
However, we wish to provide a direct argument here.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

We use Theorem 3.2. By Equation (7.2), each left-hand side of the
in Ay ≥ 1 is a sum of c distinct variables in {y1 , . . . , yn+1}. Thus,
y1 = · · · = yn+1 =

1
c



s+1
c

20

inequalities

is a feasible solution, which gives α
b(In+1,c ) ≤ n+1
.
 c
n
Now observe that each yi appears in c−1 inequalities of Ay ≥ 1. Hence, summing
over all these inequalities we get




n+1
n
,
[y1 + · · · + yn+1 ] ≥
c
c−1
 n  n+1

which yields α
b(In+1,c ) ≥ n+1
/ c−1 = c , completing the argument.
c

Remark 7.6. The ideal In+1,c give an example of a family of squarefree monomial
ideals that achieves the lower bound of Theorem 5.3. Indeed, big-height(In+1,c ) = c
and α(In+1,c ) = n + 2 − c, so
α(I) + c − 1
n+1
=
.
c
c

α
b(In+1,c ) =

7.3. A binomial-like theorem for symbolic powers of monomial ideals. In this
subsection we introduce some results which will be useful in Subsection 7.4. They are
also of independent interest.
Lemma 7.7. Let I1 and I2 be squarefree monomial ideals whose generators are expressed
in terms of disjoint sets of variables x1 , . . . , xn and y1 , . . . , ym , respectively. Let Ass(I1 ) =
{P1 , . . . , Pa } and Ass(I2 ) = {Q1 , . . . , Qb }. Then
\
(s) (t)
I1 I2 =
Pis Qtj .
i,j

Proof. All of these ideals are monomial. Since Pis and Qtj are ideals written in terms of
(s)
(t)
(s) (t)
distinct sets of variables, Pis ∩ Qtj = Pis Qtj and by the same reasoning I1 ∩ I2 = I1 I2 .
Thus
!
!
\
\
\
\
(s)
(t)
(s) (t)
Pis Qtj = (Pis ∩ Qtj ) =
Pis ∩
Qtj = I1 ∩ I2 = I1 I2 .
i,j

i,j

i

j


From here, we deduce the symbolic binomial theorem.
Theorem 7.8. Let I1 and I2 be squarefree monomial ideals in variables x1 , . . . , xn and
y1 , . . . , ym , respectively. Set I = I1 + I2 . Then
I

(m)

=

m
X
j=0

(m−j) (j)
I2 .

I1

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

21

Proof. Using the notation of Lemma 7.7, the associated primes of I are of the form Pi +Qj
for all i, j. Thus,
\
\
I (m) = (Pi + Qj )m = (Pim + Pim−1 Qj + · · · + Pi Qm−1
+ Qm
j )
j
i,j

=

\

Pim

i

=

(m)
I1

+

\

i,j

Pim−1 Qj

i,j

+

(m−1)
I1
I2

+···+

+···+

\

Pi Qm−1
+
j

i,j

(m−1)
I1 I2

\

Qm
j

j

+

(m)
I2 ,

where the third equality follows by use of the modular law for monomial ideals (i.e.
L ∩ (J + K) = L ∩ J + L ∩ K for monomial ideals J, K, L) and the last equality follows
from Lemma 7.7.

We give to applications for this theorem.
Corollary 7.9. If G1 and G2 are disjoint graphs, then
m
X
(m)
I(G1 ∪ G2 ) =
I(G1 )(m−j) I(G2 )(j) .
j=0

As a second application, we are able to give a new proof for Corollary 4.7. Unlike our
first proof, which is combinatorial, the methods of this new proof are entirely algebraic.
Corollary 7.10. Suppose that I and J are two squarefree monomial ideals of the ring
R = k[x1 , . . . , xn , y1 , . . . , yn ]. Furthermore, suppose that I is generated by monomials only
in the xi ’s and J is generated by monomials only in the yj ’s. Then
α
b(I + J) = min{b
α(I), α
b(J)}.

Proof. Since I (n) ⊆ (I + J)(n) , we deduce that α(I (n) ) ≥ α((I + J)(n) ) for all n ≥ 0. Thus
we also have the inequality α
b(I) ≥ α
b(I + J) and similarly we obtain α
b(J) ≥ α
b(I + J).
For the reverse inequality, from Theorem 7.8, we deduce that

α((I +J)(n) ) = min α(I (m) J (n−m) ) ≥ min (mb
α(I)+(n−m)b
α(J)) ≥ n·min(b
α(I), α
b(J)),
0≤m≤n

0≤m≤n

which allows to conclude α
b(I + J) ≥ min(b
α(I), α
b(J)).



7.4. Monomial ideals of mixed height. For many families of ideals I for which we
know α
b(I) (or ρa (I) and ρ(I)), the ideal I is unmixed, i.e., all of the associated primes of
I have the same height. In this final part of the paper, we present some initial results on
the problem of computing these invariants for ideals of mixed height.
In particular, as a case study we focus on the scheme Z ⊂ Pn (n ≥ 2) defined by n
general (n − 2)–planes in an (n − 1)–plane and one point out of the plane (a “monomial
star”). This scheme is similar to the type of varieties studied by Fatabbi, Harbourne, and
Lorenzini [12]. Specifically, we wish to consider the family of ideals
IZ = (x0 xn , x1 xn , . . . , xn−1 xn , x0 x1 · · · xn−1 )

= (x0 · · · xn−1 , xn ) ∩ (x0 , . . . , xn−1 ) = P0 ∩ P1 ∩ · · · ∩ Pn−1 ∩ Pn ,

where for 0 ≤ i ≤ n − 1 Pi = (xi , xn ) for i = 1, . . . , n and Pn = (x0 , . . . , xn−1 ).

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

22

(m)

We wish to obtain information about containments of the form IZ ⊆ IZr . Theorem 3.2
enables us to easily compute the Waldschmidt constant for these ideals, and consequently,
a lower bound on the (asymptotic) resurgence.
Lemma 7.11. With Z ⊆ Pn defined as above, we have
2n − 1
α
b(IZ ) =
.
n

Proof. The second statement follows from Theorem 7.1. We know that α
b(IZ ) is the value
of the LP obtained by minimizing bT y = 1T y subject to Ay ≥ 1 = c and y ≥ 0 where


1 0 0 ··· 0 0 1
 0 1 0 ··· 0 0 1 
 . . . . . . . 

A=
 .. .. .. .. .. .. ..  .
 0 0 0 ··· 0 1 1 
1 1 1 ··· 1 1 0

A feasible solution is



yT = n1 n1 · · · n1 n−1
.
n
To see that this solution is optimal, note that the matrix A is symmetric and b = c = 1,
and so this solution is also a feasible solution to the dual linear program. Therefore,
α
b(IZ ) = 1T y = (2n − 1)/n.

We will compute the resurgence for the ideals IZ .

Lemma 7.12. Let 0 6= I ⊂ R be a squarefree monomial ideal such that I (m) = I m for all
m ≥ 0. Let y be a new variable and consider the ideal (I, y) in S = R[y]. Then
(I, y)(m) = (I, y)m for all ≥ 0.

Proof. By Theorem 7.8, we have
X
(I, y)(m) =
I (m1 ) (y)(m2 ) =
m1 +m2 =m

X

I m1 y m2 = (I, y)m .

m1 +m2 =m



We now collect together a number of results that we will require regarding the symbolic
and ordinary powers of IZ .
Lemma 7.13. With Z ⊆ Pn defined as above, we have
(m)

(i) IZ = (x0 x1 · · · xn−1 , xn )m ∩ (x0 , x1 , . . . , xn−1 )m .
P
P⌊ (n−1)m
⌋ i
n
xn (x0 · · · xn−1 )m−i + m
xi (x · · · xn−1 )m−i (x0 , . . . , xn−1 )ni−(n−1)m
(ii) IZ(m) = i=0
i=⌊ (n−1)m
⌋+1 n 0
n
P
s
(iii) I s = i=0 xin (x0 · · · xn−1 )s−i (x0 , . . . , xn−1 )i .

Proof. For (i), by Lemma 7.12 we have
(m)

IZ

= (x0 , xn )m ∩ (x1 , xn )m ∩ . . . ∩ (xn−1 , xn )m ∩ (x0 , . . . , xn−1 )m

= (x0 · · · xn−1 , xn )(m) ∩ (x0 , . . . , xn−1 )m = (x0 · · · xn−1 , xn )m ∩ (x0 , . . . , xn−1 )m .

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

23

For (ii) we have
I (m)

=

(x0 · · · xn−1 , xn )m ∩ (x0 , . . . , xn−1 )m =
⌊(n−1)m/n⌋

=

X

xin (x0 · · · xn−1 )m−i +

i=0

X
i=0

xin (x0 · · · xn−1 )m−i +

i=0

xin (x0 · · · xn−1 )m−i ∩ (x0 , . . . , xn−1 )m



m
X

xin (x0 · · · xn−1 )m−i (x0 , . . . , xn−1 )m−n(m−i)

m
X

xin (x0 · · · xn−1 )m−i (x0 , . . . , xn−1 )ni−(n−1)m .

i=⌊(n−1)m/n⌋+1

⌊(n−1)m/n⌋

=

m
X

i=⌊(n−1)m/n⌋+1

Finally, for (iii), we have
I s = (x0 · · · xn−1 , x0 xn , x1 xn , . . . , xn−1 xn )s
s
s
X
X
xin (x0 · · · xn−1 )s−i (x0 , . . . , xn−1 )i .
=
(x0 · · · xn−1 )s−i (xn (x0 , . . . , xn−1 ))i =
i=0

i=0



Theorem 7.14. With Z ⊆ Pn defined as above, let I = IZ . Then
2

n
(i) if m, s are positive integers with ms ≥ n2 −n+1
, then I (m) ⊆ I s
2
2
(ii) I (n k) 6⊆ I (n −n+1)k+1 , for all integers k ≥ 0.

Consequently, ρ(IZ ) = ρa (IZ ) =

n2
.
n2 −n+1

Proof. For (i) it suffices to prove that each term in the decomposition of I (m) of Lemma
7.13 is contained in I s . By Lemma 7.13 we have to analyze the following cases:
⌋, we will prove that
Case 1: if 0 ≤ i ≤ ⌊ (n−1)m
n

xin (x0 · · · xn−1 )m−i ∈ xin (x0 · · · xn−1 )s−i (x0 , . . . , xn−1 )i .

This is equivalent to (x0 · · · xn−1 )m−s ∈ (x0 , . . . , xn−1 )i , which is further equivalent to
n(m − s) ≥ i. To prove the latter inequality holds, it is sufficient to show that n(m − s) ≥
(n−1)m
. Elementary manipulations show that this inequality is equivalent to the hypothesis
n
n2
m
≥ n2 −n+1
.
s

Case 2: if ⌊ (n−1)m
⌋ + 1 ≤ i ≤ min{m, s}, we will prove that
n

xin (x0 · · · xn−1 )m−i (x0 , . . . , xn−1 )ni−(n−1)m ⊆ xin (x0 · · · xn−1 )s−i (x0 , . . . , xn−1 )i .

This is equivalent to (x0 · · · xn−1 )m−s ∈ (x0 , . . . , xn−1 )(n−1)(m−i) . The latter is equivalent
to n(m − s) ≥ (n − 1)(m − i), or m + (n − 1)i ≥ ns, which holds true since m + (n − 1)i >
2
n2
= m· n −n+1
≥ ns. The last inequality uses the hypothesis ms ≥ n2 −n+1
.
m+(n−1)· (n−1)m
n
n
Case 3: if min{m, s} < i ≤ m, we will prove that
xin (x0 · · · xn−1 )m−i (x0 , . . . , xn−1 )ni−(n−1)m ⊆ xsn (x0 , . . . , xn−1 )s .

For that, it suffices to prove that n(m − i) ≥ s + (n − 1)m − ni, which is equivalent to
m ≥ s. Either this inequality is satisfied or else this case is vacuous.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

24

For (ii) the following notation will be used in the proof. For a monomial f , deg1 f
denotes the total degree of the monomial part involving the variables x0 , . . . , xn−1 , while
deg2 f denotes exponent of xn in f . For two monomials f and g, if f is a multiple of g,
then clearly deg1 f ≥ deg1 g, and deg2 f ≥ deg2 g.
(n−1)nk

2

Consider the monomial f = (x0 · · · xn−1 )nk xn
in I (n k) . Now assume that f ∈ I s ,
2
where s = (n − n + 1)k + 1. Then there exists a minimal generator g in I s such that g|f .
tn−1 α
Such a monomial g has the form (x0 · · · xn−1 )s−α xt00 · · · xn−1
xn , where t0 , . . . , tn−1 are nonnegative integers such that t0 + · · · + tn−1 = α. We have deg2 f = (n − 1)nk ≥ deg2 g = α.
Furthermore, deg1 f = n2 k ≥ deg1 g = n(s − α) + α. In particular, this implies

n(s − nk)
n(n2 − 2n + 1)k
>
= n(n − 1)k,
n−1
n−1
which is a contradiction, so (ii) follows.
The non-containment relations in part (ii) yield


n2 k
n2 k
n2
ρ(I) ≥ sup
|
k
>
0
=
lim
=
,
k→∞ (n2 − n + 1)k + 1
(n2 − n + 1)k + 1
n2 − n + 1
α≥

while part (i) shows that the opposite inequality holds. We conclude that ρ(IZ ) =
As for the asymptotic resurgence, since ρa (I) ≤ ρ(I), we have ρa (I) ≤
2
2
part (ii), since I ((n −n+1)k+1)t ⊆ I ((n −n+1)kt+1 for t ≥ 1, we deduce
I (n

It follows that

2 kt)

6⊆ I ((n

2 −n+1)k+1)t

n2
.
n2 −n+1

From

for t ≥ 1.

n2 k
n2
ρa (I) ≥ lim 2
= 2
,
k→∞ (n − n + 1)k + 1
n −n+1

allowing us to conclude that ρa (IZ ) =

n2
.
n2 −n+1

n2
.
n2 −n+1



Remark 7.15. Similar to Remark 7.3, we have the following inequalities
α(IZ )
= ρa (IZ ) = ρ(IZ ) =
α
b(IZ )
α(IZ )
2n
=
< ρa (IZ ) = ρ(IZ ) <
2n − 1
α
b(IZ )

ω(IZ )
4
= , if n = 2
α
b(IZ )
3
ω(IZ )
n2
=
, if n > 2
α
b(IZ )
2n − 1

for the family of ideals IZ . The case n = 2 corresponds to Z being a set of 3 points in P2 .
References
[1] M. Baczyńska, M. Dumnicki, A. Habura, G. Malara, P. Pokora, T. Szemberg, J. Szpond, H. TutajGasińska, Points fattening on P1 × P1 and symbolic powers of bi-homogeneous ideals. J. Pure Appl.
Algebra 218 (2014), no. 8, 1555–1562.
[2] C. Bocci, B. Franci, Waldschmidt constants for Stanley-Reisner ideals of a class of simplicial complexes. J. Algebra Appl. 15 (2016), no. 6, 1650137 (13 pages)
(2015) Preprint. arXiv:1504.04201v1
[3] C. Bocci, B. Harbourne, Comparing powers and symbolic powers of ideals. J. Algebraic Geom. 19
(2010), no. 3, 399–417.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

25

[4] C. Bocci and B. Harbourne, The resurgence of ideals of points and the containment problem. Proc.
Amer. Math. Soc. 138 (2010), no. 4, 1175–1190.
[5] G. V. Chudnovsky, Singular points on complex hypersurfaces and multidimensional Schwarz lemma.
Seminar on Number Theory, Paris 1979–80, pp. 29–69, Progr. Math., 12, Birkhäuser, Boston, Mass.,
1981.
[6] S. M. Cooper, R. J. D. Embree, H. T. Hà, A. H. Hoefel, Symbolic Powers of Monomial Ideals. (2013)
To appear in Proc. Edinb. Math. Soc. (2). arXiv:1309.5082v3
[7] M. Dumnicki, Containments of symbolic powers of ideals of generic points in P3 . Proc. Amer. Math.
Soc. 143 (2015), no. 2, 513–530.
[8] M. Dumnicki, B. Harbourne, U. Nagel, A. Seceleanu, T. Szemberg, H. Tutaj-Gasińska, Resurgences
for ideals of special point configurations in PN coming from hyperplane arrangements. J. Algebra
443 (2015), 383–394.
[9] M. Dumnicki, B. Harbourne, T. Szemberg, H. Tutaj-Gasińska, Linear subspaces, symbolic powers
and Nagata type conjectures. Adv. Math. 252 (2014), 471–491.
[10] L. Ein, R. Lazarsfeld and K. Smith. Uniform Behavior of Symbolic Powers of Ideals. Invent. Math.
144 (2001), no. 2, 241–252.
[11] H. Esnault and E. Viehweg. Sur une minoration du degré d’hypersurfaces s’annulant en certains
points. Math. Ann. 263 (1983), no. 1, 75–86.
[12] G. Fatabbi, B. Harbourne, A. Lorenzini, Inductively computable unions of fat linear subspaces.
(2015) To appear in J. Pure Appl. Algebra.
[13] H. Fekete, Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen
Koeffizienten. Math. Z. 17 (1923), no. 1, 228–249.
[14] B. Franci, Costanti di Waldschmidt di Ideali di Stanley-Reisner di Bipiramidi. Tesi di Laurea, Università di Siena 2014.
[15] A. V. Geramita, B. Harbourne, J. Migliore, U. Nagel, Matroid configurations and symbolic powers
of their ideals. (2015) To appear in Trans. Amer. Math. Soc. arXiv:1507.00380v1
[16] E. Guardo, B. Harbourne, A. Van Tuyl, Asymptotic resurgences for ideals of positive dimensional
subschemes of projective space. Adv. Math. 246 (2013) 114–127.
[17] E. Guardo, B. Harbourne, A. Van Tuyl, Symbolic powers versus regular powers of ideals of general
points in P1 × P1 . Canad. J. Math. 65 (2013), no. 4, 823–842.
[18] B. Harbourne, C. Huneke, Are symbolic powers highly evolved? J. Ramanujan Math. Soc. 28A
(2013), 247–266.
[19] B. Harbourne, J. Roé, Computing multi-point Seshadri constants on P2 . Bull. Belg. Math. Soc.
Simon Stevin 16 (2009), no. 5, 887–906.
[20] M. Hochster and C. Huneke. Comparison of symbolic and ordinary powers of ideals. Invent. Math.
147 (2002), no. 2, 349–369.
[21] M. Lampa-Baczyńska, G. Malara, On the containment hierarchy for simplicial ideals. J. Pure Appl.
Algebra 219 (2015), no. 12, 5402–5412.
[22] R. Lazarsfeld, Positivity in algebraic geometry. I. Springer-Verlag, Berlin, 2004.
[23] E. Scheinerman, D. Ullman, Fractional graph theory. A rational approach to the theory of graphs.
John Wiley & Sons, Inc., New York, 1997.
[24] K. Schwede, A canonical linear system associated to adjoint divisors in characteristic p > 0. J. Reine
Angew. Math. 696 (2014), 69–87.
[25] A. Simis, W. Vasconcelos, R. Villareal, On the ideal theory of graphs. J. Algebra 167 (1994), no. 2,
389–416.
[26] H. Skoda, Estimations L2 pour l’opérateur ∂b et applications arithmétiques. In: Séminaire P. Lelong
(Analyse), 1975/76, Lecture Notes Math. 578, Springer, 1977, 314–323.
[27] A. Van Tuyl, A beginner’s guide to edge and cover ideals. In: Monomial ideals, computations and
applications, Lecture Notes Math. 2083, Springer, 2013, 63–94.
[28] M. Waldschmidt, Propriétés arithmétiques de fonctions de plusieurs variables. II. In Séminaire P.
Lelong (Analyse), 1975/76, Lecture Notes Math. 578, Springer, 1977, 108–135.

THE WALDSCHMIDT CONSTANT FOR SQUAREFREE MONOMIAL IDEALS

26

[29] M. Waldschmidt. Nombres transcendants et groupes algébriques, Astérisque 69/70, Socéte
Mathématiqué de France, 1979.
Department of Information Engineering and Mathematics, University of Siena, Via
Roma, 56 Siena, Italy
E-mail address: cristiano.bocci@unisi.it
Department of Mathematics, North Dakota State University, NDSU Dept #2750, PO
Box 6050, Fargo, ND 58108-6050, USA
E-mail address: susan.marie.cooper@ndsu.edu
Dipartimento di Matematica e Informatica, Viale A. Doria, 6, 95100 - Catania, Italy
E-mail address: guardo@dmi.unict.it
Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA
E-mail address: bharbourne1@unl.edu
Department of Mathematics, Statistics, and Computer Science, Dordt College, Sioux
Center, IA 51250, USA
E-mail address: mike.janssen@dordt.edu
Department of Mathematics, University of Kentucky, 715 Patterson Office Tower,
Lexington, KY 40506-0027, USA
E-mail address: uwe.nagel@uky.edu
Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA
E-mail address: aseceleanu@unl.edu
Department of Mathematics and Statistics, McMaster University, Hamilton, ON, L8S
4L8, Canada
E-mail address: vantuyl@math.mcmaster.ca
Department of Mathematics, University of Nebraska, Lincoln, NE 68588-0130, USA
E-mail address: tvu@unl.edu

