Expected resurgences and symbolic powers of ideals
Elo\'isa Grifo, Craig Huneke, Vivek Mukundan

TL;DR
This paper provides explicit criteria to determine when the resurgence of a self-radical ideal is less than its codimension, leading to new results on symbolic powers and applications to space monomial curves.
Contribution
It introduces explicit criteria for the resurgence of certain ideals and applies these to families including space monomial curves, advancing understanding of symbolic power containments.
Findings
Resurgence of self-radical ideals can be explicitly bounded.
Criteria imply the stable Harbourne's conjecture for these ideals.
New bounds for symbolic powers of space monomial curves.
Abstract
We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This criterion is used to give several explicit families of such ideals, including the defining ideals of space monomial curves. Other results generalize known theorems concerning when the third symbolic power is in the square of an ideal, and a strong resurgence bound for some classes of space monomial curves.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Expected resurgences and symbolic powers of ideals
Eloísa Grifo
Department of Mathematics, University of California, Riverside, Riverside, CA 92521, USA
Department of Mathematics, University of Virginia, Charlottesville, VA 22904-4135, USA
,
Craig Huneke
and
Vivek Mukundan
Abstract.
We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne’s conjecture holds for such ideals. One criterion is used to give several explicit families of such ideals, including the defining ideals of space monomial curves. Other results generalize known theorems concerning when the third symbolic power is in the square of an ideal, and a strong resurgence bound for some classes of space monomial curves.
Key words and phrases:
symbolic powers, containment problem, Harbourne’s Conjecture, space monomial curves
2010 Mathematics Subject Classification:
Primary: 13A15. Secondary: 13H05
Huneke was partially supported by NSF grant DMS-1460638. Grifo was partially supported by an AMS Simons Travel Grant.
1. Introduction
In this paper we build off of recent work by the first author [Gri], which studied what is called the stable Harbourne conjecture. A full discussion of this conjecture is contained in that paper; here we highlight some of the relevant facts. The original conjecture of Harbourne states the following:
Conjecture 1.1**.**
[BRH*+*09, HH13] (Harbourne). Let be a self-radical ideal of big height in a regular ring . Then for all ,
[TABLE]
In the above conjecture, denotes the -th symbolic power of the ideal which is defined by . The big height of a radical ideal is the largest height (or codimension) of any minimal prime of the ideal. For example, the height or codimension of the ideal in a polynomial ring in three variables is one, while its big height is two. Of course, if the ideal is prime, or more generally equidimensional, then the big height is equal to the height.
The motivation for this conjecture and ensuing work on the comparison of symbolic powers and usual powers comes from the fact that for regular rings, for every self-radical ideal of big height due to [ELS01], [HH02], and [MS17]. In fact, the value suggested by Harbourne’s conjecture is very natural. Hochster and Huneke’s proof [HH02] that for regular rings containing a field uses the fact that in prime characteristic p, whenever . In particular, for all such . However, Conjecture 1.1 can fail; Dumnicki, Szemberg and Tutaj-Gasińska [DSTG13] found the first counterexample to for certain configurations of points in projective space . Their ideal is a self-radical ideal of big height . Other examples followed, such as generalizations of the original counterexample [HS15], including self-radical ideals of big height in for any , examples over the reals [CGoM*+*16], or certain configurations of lines in [MS18].
However, many nice classes of ideals verify Harbourne’s Conjecture: those defining general points in [HH13] and [Dum15], squarefree monomial ideals, or more generally ideals defining F-pure rings in characteristic , or defining rings of dense F-pure type in equicharacteristic [math] [GH19]. This last class contains ideals defining Veronese rings, locally acyclic cluster algebras [BMRS15], or certain ladder determinantal varieties [GS95], among others. In fact, ideals defining F-pure rings satisfy Harbourne’s Conjecture in more generality, over Gorenstein F-finite rings provided that their projective dimension is finite, as shown in work by the first author, Ma, and Schwede [GMS19].
Moreover, as discussed in [Gri], there are no counterexamples known to the stable version of Harbourne’s conjecture, namely whether
[TABLE]
must hold for all sufficiently large. In fact, this stable version of Harbourne’s Conjecture holds for very general and generic point configurations in [TX19, Theorem 2.2 and Remark 2.3], and more general sufficient conditions for the stable Harbourne Conjecture are given in [Gri]. An important invariant in the comparison of symbolic and usual powers was introduced by Bocci and Harbourne:
Definition 1.2** (Bocci-Harbourne [BH10a]).**
The resurgence of an ideal is given by
[TABLE]
Notice that in particular, if , then one is guaranteed that . The resurgence of an ideal can be bounded by other invariants [BH10a, Theorem 1.2.1], and it has been explicitly computed for certain ideals [BH10b, DHN*+*15, BDRH*+*16]. Related invariants have also been studied, such as the asymptotic resurgence [GHVT13], which can be computed via integral closures [DFMS18].
Grifo [Gri18, Remark 4.17] observed that if the resurgence of is strictly less than its big height, then the stable Harbourne conjecture is true. Our work in this paper is directed at providing criteria for the resurgence of to be less than its big height. We also observe in Proposition 2.11 that even if the potentially weaker condition that the asymptotic resurgence of an ideal is strictly less than its big height, then the stable Harbourne conjecture is true. In Section 2 we develop our criterion. Our main result in this section is Corollary 2.8, which states that if the symbolic powers coincide with the saturations with respect to the maximal ideal, and if one can improve the theorem of [ELS01, HH02, MS17] to include coefficients in a sufficiently deep power of the maximal ideal, then the resurgence is strictly less than the big height.
In Section 3 we give some classes of ideals to which the criterion of the previous section apply. One surprising result is that if Harbourne’s conjecture can be verified for a single value to say that , then the resurgence is less than the big height and consequently the stable Harbourne conjecture is true.
In Section 4 we apply the results of the previous sections to the case of space monomial curves. We prove in general that their resurgence is strictly smaller than their codimension, and consequently all of them satisfy the stable Harbourne conjecture. Grifo had previously proved that for the defining ideals for space monomial curves [Gri, Theorem 4.1]. In Section 5 we generalize this latter fact to ideals defined by the minors of a matrix in a regular ring such that the ideal of entries of the matrix is generated by at most elements. This result is based on work of Seceleanu [Sec15, Theorem 3.3] as extended by Grifo [Gri, Theorem 3.12].
Section 6 computes a strong bound for the resurgence of certain self-linked space monomial curves of . Since there are example of such curves with , this bound is in general sharp.
2. Criteria for Expected Resurgence
In this section we develop a criterion which forces the resurgence of an ideal to be strictly less than its big height. The main result is Corollary 2.8, which we will then apply in the next sections.
Remark 2.1**.**
Let be a radical ideal of big height in a regular ring. Then , where the second inequality follows from [ELS01, HH02, MS17].
In [BH10a, Cor. 1.1.1], Bocci and Harbourne gave infinite sequences of examples that show that if one takes the supremum of over all homogeneous radical ideals of a fixed codimension , then in fact that supremum is exactly . However, this does not preclude the very real possibility that no one ideal can have resurgence equal to its codimension. We say that the resurgence of is expected if it is strictly less than the big height of .
Remark 2.2**.**
If , then for ; more generally, given any , for (cf. [Gri18, Lemma 4.16] or [Gri, Remark 2.7]).
Example 2.3**.**
The Fermat [DHN*+*15, Theorem 2.1], Klein and Wiman [BDRH*+*16, Theorem 1.4] configurations all have resurgence . In particular, all of these satisfy for all .
In general, explicitly computing the resurgence of a given ideal can be quite difficult, but there are still no examples of ideals of unexpected resurgence. For other classes of ideals whose resurgence has been explicitly computed, see [GHM13, Theorem 4.11] or [BH10b, Theorem 2.4.3].
Our first lemma gives what turns out to be a useful result to bound the resurgence away from the codimension. We prove this lemma in the more general context in which the symbolic powers of an ideal are cofinal with the usual powers. In this case Swanson [Swa00] proved that the symbolic powers of are linearly equivalent to the powers of : there exists a constant such that for all . We codify this constant in the next definition.
Definition 2.4**.**
For a radical ideal in a Noetherian ring , we define the Swanson constant of to be the least integer such that for all , provided that the symbolic and adic topologies of are the same.
We refer to [Swa00, HKV09] for more on the study of Swanson constants. If the ring is regular, [ELS01, HH02, MS17] show that , the big height of , and in particular, that the Swanson constant is finite. More generally, as mentioned above, the Swanson constant is finite whenever the the symbolic and adic topologies of are equivalent [Swa00].
Lemma 2.5**.**
Let be a radical ideal with Swanson constant . If for some fixed with and all , then .
Proof.
Consider the set
[TABLE]
First, we claim that if then . Indeed, if and are positive integers with , then
[TABLE]
Recall that . If this supremum is achieved as a maximum, meaning if for some , then we have . If is not computed by an explicit pair , then we can still choose sequences of positive integers and such that is strictly increasing, for all , and .
For each , consider integers such that and . By assumption,
[TABLE]
where the last containment follows from the hypothesis.
Since , we must have . Therefore,
[TABLE]
Note that since , we must have . As a consequence, we obtain
[TABLE]
Therefore,
[TABLE]
∎
To apply Lemma 2.5, we first give sufficient conditions for the hypothesis to hold. In what follows, note that over any noetherian ring, ) is a finite set by [Bro79]. Note also that by [Ree61] (see also [SH06, Theorem 9.1.2]), if is an analytically ramified Noetherian local ring, then there exists , depending on , such that such that for all ; in fact, these two conditions are equivalent. Under suitable circumstances, such as taking to be essentially of finite type over an excellent Noetherian local, such can be taken to uniformly [Hun92, Theorem 4.13].
Theorem 2.6**.**
Let be a self-radical ideal in a analytically unramified Noetherian local ring . Let be all the primes that are embedded to for some , and . Assume that there exists an integer and an such that
[TABLE]
Then for some fixed and all .
Proof.
We will first prove the following corollary of [Swa97, Main Theorem]: under our assumptions, there exists a constant , not depending on , such that .
Given and , if is associated to , write for a -primary ideal appearing in a primary decomposition of such that . Such exists by [Swa97, Main Theorem]. If is not associated to , write , so that still holds trivially. Now for each we have . Moreover,
[TABLE]
Now the corollary of [Swa97, Main Theorem] follows:
[TABLE]
Also, by [Ree61], there exists , depending on , such that
[TABLE]
Thus it is enough to show that for some fixed and all . For all , and , our assumption that guarantees that
[TABLE]
Fix . For , let where . Now
[TABLE]
Applying (2.3), we obtain
[TABLE]
Combining with (2.5), we obtain
[TABLE]
for any and . Now choose an integer such that , where . Thus
[TABLE]
Pick any integer such that
[TABLE]
For all , we have
[TABLE]
Equation 2.7 can also be reduced to
[TABLE]
By (2.6), we have
[TABLE]
This shows that , as desired. ∎
Remark 2.7**.**
In the proof of the above theorem, the choice of can be sharpened to satisfy . But the reasoning takes a couple of steps longer and does not make any significant improvements to the proof.
Corollary 2.8**.**
Let be an ideal in a regular local ring of dimension , and let have big height . Let be the intersection of all the embedded primes of for some . If there exists an such that
[TABLE]
Then .
In particular, if for every prime ideal and there exists an such that
[TABLE]
then .
Proof.
By Theorem 2.6, there exists integers with and . Lemma 2.5 finishes the proof. If for every prime ideal , we have , and we can take in Theorem 2.6. ∎
Remark 2.9**.**
Corollary 2.8 shows that one of the conjectures made in [HH13] implies the stable Harbourne property. Namely, in [HH13, Conjecture 2.1] the authors conjectured that if is the ideal of a finite set of points in projective -space, and is the homogeneous maximal ideal, then holds for all . Such ideals have codimension and clearly satisfy the hypothesis of the corollary. Thus, if this conjecture is true, all such ideals satisfy the stable Harbourne conjecture.
Remark 2.10**.**
The condition in Lemma 2.5 is closely related to the asymptotic resurgence, first defined in [GHVT13]. We recall that this invariant is defined as follows: The asymptotic resurgence of an ideal is given by
[TABLE]
In our next Proposition we prove that if the asymptotic resurgence of an ideal is strictly less than its big height then the stable Harbourne conjecture holds, generalizing Grifo’s observation [Gri18, Lemma 4.16]. Potentially, this invariant could be used to improve some of the results in our paper. However, we found that using the resurgence gives us stronger results using the methods in this paper.
Proposition 2.11**.**
Let be a radical ideal in either a regular local ring containing a field, or a quasi-homogeneous radical ideal in a polynomial ring over a field with irrelevant maximal ideal . Let be the big height of . If , then
[TABLE]
for any positive integer and all . In particular,
[TABLE]
for all .
Proof.
Set equal to the dimension of and . Consider any . It follows that . By definition of asymptotic resurgence, this means that for infinitely many , we must have that . In particular, , from which it follows that is in the integral closure of . By the Briançon-Skoda theorem, we obtain that . But then . Replacing by , we have for all large that , as desired. ∎
3. Ideals with Expected Resurgence
In this section we apply the various criteria of the previous section to give classes of ideals with expected resurgence. All such ideals will satisfy the stable Harbourne conjecture, as shown by Grifo [Gri18, Lemma 4.16]. We chiefly use Corollary 2.8. In the homogeneous case, it turns that if the degrees of the generators are small compared to the codimension, then the condition in the corollary is satisfied.
Theorem 3.1**.**
Let be a field and be a polynomial ring of dimension and . Let be an ideal of big height such that is a complete intersection for primes , and such that is generated by forms of degree . Then . In particular, all such ideals satisfy the stable Harbourne conjecture.
Proof.
By repeated use of Euler’s formula, we can show that . Since is generated by forms of degree , we have . Thus
[TABLE]
We can now apply Corollary 2.8 with to finish the proof. ∎
For squarefree monomial ideals , [HT19, Corollary 3.6] or [DFMS18, Theorem 3.17] shows that the resurgence is bounded above by the maximal degree of a minimal generating set of the ideal .
Recall that if the resurgence is expected, then the stable version of Harbourne’s conjecture must hold. It is natural to ask [Gri18, Conjecture 4.2] if Harbourne’s conjecture holds for a single value, does it hold in general? Remarkably, the next theorems come close to this statement:
Theorem 3.2**.**
Let be a radical ideal of big height in either a regular local ring containing a field, or a quasi-homogeneous radical ideal of big height in a polynomial ring over a field with irrelevant maximal ideal . If
[TABLE]
then
[TABLE]
for all and . In other words, .
Proof.
Note that
[TABLE]
By [Joh14, Theorem 4.3 (1)] with , and ,
[TABLE]
By assumption, , and thus
[TABLE]
∎
Theorem 3.3**.**
Let be a radical ideal of big height in a regular local ring containing a field, or a quasi-homogeneous radical ideal of big height in a polynomial ring over a field with irrelevant maximal ideal . If
[TABLE]
and if has the property that for all and for all , then .
Proof.
The hypothesis give that the symbolic powers of coincide with the saturations of the powers of . We now can combine Theorem 3.2 with Corollary 2.8 to give the result. ∎
4. Space monomial curves
A rich source of examples concerning the behavior of symbolic powers are the monomial space curves:
Let be a field, , and consider the the ideal defining of the monomial curve . More precisely, is the kernel of the map sending , , and . By [Her70], is generated by the minors of a matrix of the form
[TABLE]
which we will write as , where
[TABLE]
Due in part to this explicit presentation of these ideals, calculations are feasible. However, the symbolic powers of such ideals are still quite mysterious. There are even examples in which the symbolic power algebra is not Noetherian. For example, Goto, Nishida, and Watanabe [GNW94] showed that for the defining ideal of does not have a finitely generated symbolic Rees algebra if is a field of characteristic [math]. If has characteristic and none of are squares, then Cutkosky [Cut91, Theorem 1] characterized when the symbolic power Rees algebra is Noetherian in terms of the existence of elements of certain degrees in specificed symbolic powers. Remarkably, even the stable Harbourne conjecture is not known for these primes, although Grifo [Gri] proved that for every prime defining a monomial curve. In this section we use a fairly explicit description of the third symbolic power to prove that in fact for all such , and then use our work in the previous sections to prove that the resurgence is strictly less than , the codimension of such primes. This then implies the stable Harbourne conjecture holds for space monomial primes.
We begin by observing that
[TABLE]
so that are homogeneous when we consider with the grading given by , , and generated by the quasi-homogeneous elements . In what follows, we will assume that is not a complete intersection, meaning that form a minimal generating set for . Moreover, that also implies that . As a consequence, [Hun86, Corollary 2.5] guarantees that for all .
By [Sch88],
[TABLE]
where denotes the determinant of the matrix
[TABLE]
We include the main results of [KSZ92] used in this section for the convenience of the reader. Our method to prove that for all such is a brute force calculation of the degrees of each generator of the third symbolic power (these ideals are quasi-homogeneous) to show that no such generator can also be a minimal generator of . Since Grifo [Gri] proved that , this degree calculation suffices.
Theorem 4.1** (Theorems 2.1, 2.2 and 2.3 in [KSZ92]).**
Case 1: Assume and write
[TABLE]
If , then there exists such that
[TABLE] 2.
If , then there is an element such that
[TABLE] 3.
In all other case, i.e., ,there are elements such that
[TABLE]
Case 2: Assume and let
[TABLE]
Assume . Then there are quasi-homogeneous elements such that the following relations hold
[TABLE] 2.
Assume . Then there exists an element such that
[TABLE]
The following result uses and improves [Gri, Theorem 4.1].
Theorem 4.2**.**
Let be a field of characteristic not , and be the ideal defining the monomial curve . Consider the maximal ideal in . Then .
Proof.
By Theorem 4.1, is generated by at most three quasi-homogeneous generators, where is the generator of as above. In order to show that , it is enough to show that these three (or less) generators all have degrees strictly larger than any minimal quasi-homogeneous generator of , since by [Gri, Theorem 4.1]. We will use the relations given by [KSZ92, Theorems (2.1), (2.2) and (2.3)] described above to determine the degrees of the new generators to conclude that . Recall that we consider the grading on given by , and .
We will follow the cases in [KSZ92, Theorems (2.1), (2.2) and (2.3)], as in Theorem 4.1.
- •
Case 1 a) in [KSZ92, Theorem (2.1)]:
There is only one more generator of , , which satisfies the following condition:
[TABLE]
Thus
[TABLE]
Since by assumption , we also have
[TABLE]
Finally, note that also verifies
[TABLE]
and since ,
[TABLE]
All minimal generators of have degree at most , or , and thus .
- •
Case 1 b) in [KSZ92, Theorem (2.1)]: There is only one generator to worry about, . Note also that , , and .
Also,
[TABLE]
Also,
[TABLE]
Finally, by assumption, so that . Then
[TABLE]
- •
Case c) in [KSZ92, Theorem (2.1)]
There are two more generators of we need to worry about, and , and
[TABLE]
and since
[TABLE]
we conclude that .
Similarly,
[TABLE]
and
[TABLE]
so .
- •
In the remaining cases, , , and , and if the characteristic is not , [KSZ92, Theorem (2.2)] says that there are three generators of we need to worry about, , where
[TABLE]
- •
Finally, when the characteristic is , the generators from above can be replaced by one generator , where
[TABLE]
If , then and . Similarly if or , so we might as well assume that . Then
[TABLE]
Note that
[TABLE]
still holds, and thus
[TABLE]
Since , we conclude that . Similarly,
[TABLE]
Since , we conclude that . Finally,
[TABLE]
and since , we conclude that .
∎
Our main result of this section follows quickly:
Theorem 4.3**.**
Let be a field of characteristic not , and be the ideal defining the monomial curve . Then , and in particular for all .
Proof.
It is enough to show that verifies the conditions of Corollary 2.8. On the one hand, is a complete intersection on the punctured spectrum; on the other hand, Theorem 4.2 gives the base case to apply Theorem 3.2, which in turn gives the remaining condition we need in order to apply Corollary 2.8. ∎
5. A sufficient condition for for -generated ideals in dimension
In the last section we were able to prove that whenever is the defining ideal of a space monomial curve, which in turn allowed us to prove that the resurgence of is strictly less than . All such ideals are defined by the minors of a matrix such that the ideal generated by the entries is a complete intersection, defined by powers of , and . In this section we generalize this to ideals defined by the minors of a matrix such that the ideal generated by the entries has at most generators, although we can only prove that . This does provide new evidence that this containment holds for all prime ideals of codimension two in a power series ring over an algebraically closed field. Our result uses the techniques of Seceleanu as extended by Grifo.
Theorem 5.1**.**
Let or , where is a field of characteristic not . Let , and
[TABLE]
If can be generated by elements or less, .
Proof.
By [Gri, Theorem 3.12] (which extends [Sec15, Theorem 3.3]), it is enough to show that
[TABLE]
where
[TABLE]
Without loss of generality, we may assume that , and write for some .
To see that , we claim that , where
[TABLE]
Indeed,
[TABLE]
[TABLE]
∎
Remark 5.2**.**
Theorem 5.1 generalizes [Gri, Theorem 4.1].
However, given an ideal generated by the maximal minors of a matrix , the condition does not depend only on .
Example 5.3** (Fermat configurations).**
By [DSTG13], when for
[TABLE]
On the other hand, the condition that is at most -generated is sufficient but not necessary for . In fact, we can simply reorder the entries in above to obtain a matrix such that does verify :
[TABLE]
In fact, in this case is a multiple of , and the containment is an easy application of [Gri, Theorem 3.12].
6. Self-Linked Monomial Curves whose symbolic Rees algebras are generated in degree two
In this section we focus on a special class of monomial curves, proving that their resurgence is not only strictly less than 2, but proving in fact that the resurgence is at most . We also give an example in which the resurgence is at least , proving that this value is sharp in general. The classes of ideals verifying these bounds must also verify Harbourne’s Conjecture.
Remark 6.1**.**
Say we wanted to prove Harbourne’s Conjecture 1.1 holds for an ideal of big height simply by studying its resurgence. We want to show that for all . By definition of resurgence, the containment must hold as long as
[TABLE]
Given and , we can then guarantee for a particular value of if
[TABLE]
Harbourne’s Conjecture asks that this containment holds for all , which would then follow immediately if we knew that
[TABLE]
This shows that if is a self-radical ideal of big height and , then verifies Harburne’s Conjecture.
For the case of space monomial curves in characteristics other than , we already have by [Gri, Theorem 4.1], so we only need to prove holds for . Assume that
[TABLE]
Then our computations above show that for all , and verifies Harbourne’s Conjecture.
Theorem 6.2**.**
Suppose be a three dimensional regular local ring and be a height two ideal. Suppose that:
the symbolic Rees algebra of is generated in degree 2, and 2.
there exists an ideal such that
- (a)
and 2. (b)
.
Then .
Proof.
Suppose by way of contradiction that . By definition this implies that there exists integers such that is not contained in , and such that , i.e., . We write , where . We claim that if , then . Indeed,
[TABLE]
It follows that . Hence if , then . Therefore, .
Consider the case in which . Then
[TABLE]
It follows that . Therefore if , . Thus .
Consider the case in which . We have that
[TABLE]
It follows that , and therefore . ∎
Corollary 6.3**.**
Suppose is the defining ideal of the monomial curve in the polynomial ring . If is a self linked ideal whose presentation matrix is as in (4.1) satisfy or , then . In particular, verifies Harbourne’s Conjecture.
Proof.
Let is a presentation matrix of . Condition (1) in the previous theorem is satisfied due to [HU90, Corollary 2.12] (see also [GNS91, Corollary 4.3]). Condition (2)(a) is satisfied due to [EM97, Corollary 5] and condition (2)(b) is satisfied due to [Hun86, Corollary 2.10] with . The conclusion now follows from the previous theorem.
Finally, satisfies Harbourne’s conjecture by Remark 6.1. ∎
Example 6.4**.**
Let be the defining ideal of the monomial curve in the ring , a field. Consider a presentation matrix
[TABLE]
of . This presentation shows that the ideal is self-linked [HU90, Theorem 1.1]. Macaulay2 computations show that . This shows that the bound in Corollary 6.3 is sharp.
Acknowledgments
We thank Alexandra Seceleanu for finding some typos in an earlier version of the paper, and the anonymous referee for their comments.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[BDRH + 16] Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Alexandra Seceleanu, and Tomasz Szemberg. Negative curves on symmetric blowups of the projective plane, resurgences and waldschmidt constants. ar Xiv:1609.08648 , 2016.
- 2[BH 10a] Cristiano Bocci and Brian Harbourne. Comparing powers and symbolic powers of ideals. J. Algebraic Geom. , 19(3):399–417, 2010.
- 3[BH 10b] Cristiano Bocci and Brian Harbourne. The resurgence of ideals of points and the containment problem. Proc. Amer. Math. Soc. , 138, no. 4:175–1190, 2010.
- 4[BMRS 15] Angélica Benito, Greg Muller, Jenna Rajchgot, and Karen E. Smith. Singularities of locally acyclic cluster algebras. Algebra and Number Theory , 9(4):913–936, 2015.
- 5[BRH + 09] T. Bauer, S. Di Rocco, B. Harbourne, M. Kapustka, A. Knutsen, W. Syzdek, and T. Szemberg. A primer on Seshadri constants. Contemporary Mathematics , vol. 496:39–70, 2009.
- 6[Bro 79] Markus P. Brodmann. Asymptotic stability of Ass ( M / I n M ) Ass 𝑀 superscript 𝐼 𝑛 𝑀 {\rm Ass}(M/I^{n}M) . Proc. Amer. Math. Soc. , 74(1):16–18, 1979.
- 7[C Go M + 16] Adam Czapliński, Agata Gł ówka, Grzegorz Malara, Magdalena Lampa-Baczyńska, Patrycja Ł uszcz Świdecka, Piotr Pokora, and Justyna Szpond. A counterexample to the containment I ( 3 ) ⊂ I 2 superscript 𝐼 3 superscript 𝐼 2 I^{(3)}\subset I^{2} over the reals. Adv. Geom. , 16(1):77–82, 2016.
- 8[Cut 91] Steven Dale Cutkosky. Symbolic algebras of monomial primes. J. Reine Angew. Math. , 416:71–89, 1991.
