17 pages. Content has been significantly expanded and re-arranged from the previous version. There is additional exposition as well as a new section on expected resurgence
The resurgence and asymptotic resurgence of an ideal in a polynomial ring are two statistics which measure the relationship between its regular and symbolic powers. We address two aspects of resurgence which can be studied via asymptotic resurgence. First, we show that if an ideal has Noetherian symbolic Rees algebra then its resurgence is rational. Second, we derive two bounds on asymptotic resurgence given a single known containment between a symbolic and regular power. From these bounds we recover and extend criteria for the resurgence of an ideal to be strictly less than its big height recently derived by Grifo, Huneke, and Mukundan. We achieve the reduction to asymptotic resurgence by showing that if the asymptotic resurgence and resurgence are different, then resurgence is a maximum instead of a supremum.
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.
Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining a Gorenstein ring in a regular ring, provided its symbolic powers are given by saturations with the maximal ideal. While this property is not suitable for reduction to characteristic $p$, we show that a similar result holds in equicharacteristic $0$ under the additional hypothesis that the symbolic Rees algebra of $I$ is noetherian.
Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of determining which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne defined a quantity called the resurgence to address this problem for homogeneous ideals in polynomial rings, with a focus on zero dimensional subschemes of projective space; the methods and results obtained there have much less to say about higher dimensional subschemes. Here we take the first steps toward extending this work to higher dimensional subschemes. We introduce new asymptotic versions of the …
Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our previous paper (arXiv:0706.3707) we give a complete solution in terms of the least degrees of nonzero elements of the symbolic powers, under the condition that the ideal is generated in a single degree and such that that degree is the regularity of the ideal (see Corollary 1.2). Using geometric methods, we also give complete solutions for ideals of points i…
Given an ideal in a polynomial ring, we show that the asymptotic resurgence studied by Guardo, Harbourne, and Van Tuyl can be computed using integral closures. As a consequence, the asymptotic resurgence of an ideal is the maximum of finitely many ratios involving Waldschmidt-like constants (which we call skew Waldschmidt constants) defined in terms of Rees valuations. We use this to prove that the asymptotic resurgence coincides with the resurgence if the ideal is normal (that is, all its powers are integrally closed). For a monomial ideal the skew Waldschmidt constants have an interpretation…
Star configurations are certain unions of linear subspaces of projective space that have been studied extensively. We develop a framework for studying a substantial generalization, which we call matroid configurations, whose ideals generalize Stanley-Reisner ideals of matroids. Such a matroid configuration is a union of complete intersections of a fixed codimension. Relating these to the Stanley-Reisner ideals of matroids and using methods of Liaison Theory allows us, in particular, to describe the Hilbert function and minimal generators of the ideal of, what we call, a hypersurface configurat…
We show that two ostensibly different versions of the asymptotic resurgence introduced by Guardo, Harbourne and Van Tuyl in 2013 are the same. We also show that the resurgence and asymptotic resurgence attain their maximal values simultaneously, if at all, which we apply to a conjecture of Grifo. For radical ideals of points, we show that the resurgence and asymptotic resurgence attain their minimal values simultaneously. In addition, we introduce an integral closure version of the resurgence and relate it to the other versions of the resurgence. In closing we provide various examples and rais…
Let $\mathbb{K}$ be a field and $R = \mathbb{K}[x_1, \ldots, x_n]$. We obtain an improved upper bound for asymptotic resurgence of squarefree monomial ideals in $R$. We study the effect on the resurgence when sum, product and intersection of ideals are taken. We obtain sharp upper and lower bounds for the resurgence and asymptotic resurgence of cover ideals of finite simple graphs in terms of associated combinatorial invariants. We also explicitly compute the resurgence and asymptotic resurgence of cover ideals of several classes of graphs. We characterize a graph being bipartite in terms of t…
Let ${\mathfrak p}$ be the defining ideal of the monomial curve ${\mathcal C}(2q+1, 2q+1+m, 2q+1+2m)$ in the affine space ${\mathbb A}_k^3$ parameterized by $(x^{2q +1}, x^{2q +1 + m}, x^{2q +1 +2 m})$ where $gcd( 2q+1,m)=1$. In this paper we compute the resurgence of ${\mathfrak p}$, the Waldschmidt constant of ${\mathfrak p}$ and the Castelnuovo-Mumford regularity of the symbolic powers of ${\mathfrak p}$.
The Klein and Wiman configurations are highly symmetric configurations of lines in the projective plane arising from complex reflection groups. One noteworthy property of these configurations is that all the singularities of the configuration have multiplicity at least three. In this paper we study the surface X obtained by blowing up the projective plane in the singular points of one of these line configurations. We study invariant curves on X in detail, with a particular emphasis on curves of negative self-intersection. We use the representation theory of the stabilizers of the singular poin…
Let $G$ be a graph and $I=I(G)$ be its edge ideal. When $G$ is the clique sum of two different length odd cycles joined at single vertex then we give an explicit description of the symbolic powers of $I$ and compute the Waldschmidt constant. When $G$ is complete graph then we describe the generators of the symbolic powers of $I$ and compute the Waldschmidt constant and the resurgence of $I$. Moreover for complete graph we prove that the Castelnuvo-Mumford regularity of the symbolic powers and ordinary powers of the edge ideal coincide.
As a generalization of the ideals of star configurations of hypersurfaces, we consider the $a$-fold product ideal $I_a(f_1^{m_1}\cdots f_s^{m_s})$ when ${f_1,\dots,f_s}$ is a sequence of generic forms and $1\le a\le m_1+\cdots+m_s$. Firstly, we show that this ideal has complete intersection quotients when these forms are of the same degree and essentially linear. Then we study its symbolic powers while focusing on the uniform case with $m_1=\cdots=m_s$. For large $a$, we describe its resurgence and symbolic defect. And for general $a$, we also investigate the corresponding invariants for meeti…
Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $\text{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$.
In this paper we explicitly describe the symbolic powers of curves ${\mathcal C}(q,m)$ in ${\mathbb P}^3$ parametrized by $( x^{d+2m}, x^{d+m} y^m, x^{d} y^{2m}, y^{d+2m})$, where $q,m$ are positive integers, $d=2q+1$ and $\gcd(d,m)=1$. The defining ideal of these curves is a set-theoretic complete intersection. We show that the symbolic blowup algebra is Noetherian and Gorenstein. An explicit formula for the resurgence and the Waldschmidt constant of the prime ideal ${\mathfrak p}:={\mathfrak p}_{ { \mathcal C}(q,m) }$ defining the curve ${\mathcal C}(q,m)$ is computed. We also give a formula…
Let $R=\mathbb{K}[x_1,\dots,x_n]$ and let $\mathfrak{a}_1,\dots,\mathfrak{a}_m$ be homogeneous ideals satisfying certain properties, which include a description of the Noetherian symbolic Rees algebra. We give a solution to a question of Harbourne and Huneke for this set of ideals. We also compute the Waldschmidt constant and resurgence and show that it exhibits a stronger version of the Chudnovsky and Demailly-type bounds. We further show that these properties are satisfied for classical varieties such as the generic determinantal ideals, minors of generic symmetric matrices, generic extended…
Let $d \geq 2$ and $m\geq 1$ be integers such that $\gcd (d,m)=1.$ Let ${\mathfrak p}$ be the defining ideal of the monomial curve in ${\mathbb A}_{ \Bbbk{k}}^d$ parametrized by $(t^{n_1}, \ldots, t^{n_d})$ where $n_i = d + (i-1)m$ for all $i = 1, \ldots, d$. In this paper, we describe the symbolic powers ${\mathfrak p}^{(n)} $ for all $n \geq 1$. As a consequence we show that the symbolic blowup algebras ${\mathcal R}_s{({\mathfrak p})}$ and $G_{s}({\mathfrak p}) $ are Cohen-Macaulay. This gives a positive answer to a question posed by S.~Goto in \cite{goto}. We also discuss when these blowup…
We revisit a bound on symbolic powers found by Ein-Lazarsfeld-Smith and subsequently improved by Takagi-Yoshida. We show that the original argument of Ein-Lazarsfeld-Smith actually gives the same improvement. On the other hand, we show by examples that any further improvement based on the same technique appears unlikely. This is primarily an exposition; only some examples and remarks might be new.
Consider the ideal I corresponding to r points in P^2. We study the symbolic generic initial system of I, formed by taking the generic initial ideals of the symbolic powers of I, and its asymptotic behaviour. In particular, we describe the limiting shape of this system explicitly when the points lie in general position using the SHGH Conjecture for more than eight points. The symbolic generic initial system and its limiting shape reflects information about the Hilbert functions of uniform fat point ideals.
Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra…
Consider the ideal I in K[x,y,z] corresponding to six points of P2. We study the limiting behaviour of the symbolic generic initial system, of I obtained by taking the reverse lexicographic generic initial ideals of the symbolic powers of I. The main result of this paper is a theorem describing the limiting shape of the symbolic generic initial system for each of the eleven possible configuration types of six points.
In this paper we study the asymptotic behavior of the regularity of symbolic powers of ideals of points in a weighted projective plane. By a result of Cutkosky, Ein and Lazarsfeld, regularity of such powers behaves asymptotically like a linear function. We study the difference between regularity of such powers and this linear function. Under some conditions, we prove that this difference is bounded, or eventually periodic. As a corollary we show that, if there exists a negative curve, then the regularity of symbolic powers of a monomial space curve is eventually a periodic linear function. We …
Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in ${\bf P}^3$ which can also be viewed as points in ${\bf P}^1\times {\bf P}^1$. We also obtain results on the closely r…
Given a nontrivial homogeneous ideal $I\subseteq k[x_1,x_2,\ldots,x_d]$, a problem of great recent interest has been the comparison of the $r$th ordinary power of $I$ and the $m$th symbolic power $I^{(m)}$. This comparison has been undertaken directly via an exploration of which exponents $m$ and $r$ guarantee the subset containment $I^{(m)}\subseteq I^r$ and asymptotically via a computation of the resurgence $ρ(I)$, a number for which any $m/r > ρ(I)$ guarantees $I^{(m)}\subseteq I^r$. Recently, a third quantity, the symbolic defect, was introduced; as $I^t\subseteq I^{(t)}$, the symbolic def…
The main aim of this paper is to provide a method which allows finding limiting shapes of symbolic generic initial systems of higher-dimensional subvarieties of P^n. M. Mustata and S. Mayes established a connection between volumes of complements of limiting shapes and the asymptotic multiplicity for ideals of points. In the paper we prove a generalization of this fact to higher-dimensional sets.
Duality for asymptotic invariants of graded families
University of South Alabama（南阿拉巴马大学）；Tulane University（杜兰大学）；University of Education, Hue University（顺化师范大学）；University of Nebraska-Lincoln（内布拉斯加大学林肯分校）
Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~ (I^{(n)})$ and the maximal generating degree function $ω(I^{(n)})$, when $I$ is a monomial ideal. It is known that both functions are eventually quasi-linear. We show that, in addition, the sequences $\{\text{reg}~ I^{(n)}/n\}_n$ and $\{ω(I^{(n)})/n\}_n$ converge to the same limit, which can be described combinatorially. We construct an example of an equidi…
We investigate the rational powers of ideals. We find that in the case of monomial ideals, the canonical indexing leads to a characterization of the rational powers yielding that symbolic powers of squarefree monomial ideals are indeed rational powers themselves. Using the connection with symbolic powers techniques, we use splittings to show the convergence of depths and normalized Castelnuovo-Mumford regularities. We show the convergence of Stanley depths for rational powers, and as a consequence of this we show the before-now unknown convergence of Stanley depths of integral closure powers. …
