Fix a poset Q on $\{x_1,\ldots ,x_n\}$ . A Q-Borel monomial ideal $I \subseteq \mathbb {K}[x_1,\ldots ,x_n]$ is a monomial ideal whose monomials are closed under the Borel-like moves induced by Q. A monomial ideal I is a principal Q-Borel ideal, denoted $I=Q(m)$ , if there is a monomial m such that all the minimal generators of I can be obtained via Q-Borel moves from m. In this paper we study powers of principal Q-Borel ideals. Among our results, we show that all powers of $Q(m)$ agree with their symbolic powers, and that the ideal $Q(m)$ satisfies the persistence property for associated primes. We also compute the analytic spread of $Q(m)$ in terms of the poset Q.

The symbolic analytic spread of an ideal $I$ is defined in terms of the rate of growth of the minimal number of generators of its symbolic powers. In this article, we find upper bounds for the symbolic analytic spread under certain conditions in terms of other invariants of $I$. Our methods also work for more general systems of ideals. As applications, we provide bounds for the (local) Kodaira dimension of divisors, the arithmetic rank, and the Frobenius complexity. We also show sufficient conditions for an ideal to be a set-theoretic complete intersection.

A current research theme is to compare symbolic powers of an ideal $I$ with the regular powers of $I$. In this paper, we focus on the case where $I\,=\,{{I}_{X}}$ is an ideal defining an almost complete intersection (ACI) set of points $X$ in ${{\mathbb{P}}^{1}}\,\times \,{{\mathbb{P}}^{1}}$. In particular, we describe a minimal free bigraded resolution of a non-arithmetically Cohen-Macaulay (also non-homogeneous) set $Z$ of fat points whose support is an ACI, generalizing an earlier result of Cooper et al. for homogeneous sets of triple points. We call $Z$ a fat ACI. We also show that its symbolic and ordinary powers are equal, i.e, $I_{Z}^{\left( m \right)}\,=\,I_{Z}^{m}$ for any $m\,\ge \,1$.

We investigate symbolic and regular powers of monomial ideals. For a square-free monomial ideal I ⊆ 𝕜[x 0, … , xn ] we show that for all positive integers m, t and r, where e is the big-height of I and . This captures two conjectures (r = 1 and r = e): one of Harbourne and Huneke, and one of Bocci et al. We also introduce the symbolic polyhedron of a monomial ideal and use this to explore symbolic powers of non-square-free monomial ideals.

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 ${{\mathbb{P}}^{3}}$ that can also be viewed as points in ${{\mathbb{P}}^{1}}\times {{\mathbb{P}}^{1}}$. We also obtain results on the closely related problem, studied by Hochster and by Li and Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power.