Related papers: The Structure of Symbolic Powers of Matroids

In this paper, we investigate the componentwise linearity and the Castelnuovo-Mumford regularity of symbolic powers of polymatroidal ideals. For a polymatroidal ideal $I$, we conjecture that every symbolic power $I^{(k)}$ is componentwise…

In this paper we prove that the Stanley--Reisner ideal or cover ideal $I$ of a matroid is minimally resolvable by iterated mapping cones. As a technical tool for this purpose, we introduce and study focal matroids, which are submatroids of…

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…

Let $\Delta$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_\Delta$ in terms of combinatorial data of the matroid $M$. In order to do…

It is well-known that the first generalized Hamming weight of a linear code, more commonly called \textit{the minimum distance} of the linear code, corresponds to the initial degree of the Stanley-Reisner ideal of the matroid of the dual…

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…

We prove that all the symbolic powers of a Stanley-Reisner ideal are Cohen-Macaulay if and only if the associated simplicial complex is a matroid.

It is known that for a monomial ideal $I$, the number of minimal generators, $\mu(I^n)$, eventually follows a polynomial pattern for increasing $n$. In general, little is known about the power at which this pattern emerges. Even less is…

Consider a height two ideal, $I$, which is minimally generated by $m$ homogeneous forms of degree $d$ in the polynomial ring $R=k[x,y]$. Suppose that one column in the homogeneous presenting matrix $\f$ of $I$ has entries of degree $n$ and…

Let $I$ be the ideal generated by the maximal minors of a matrix of indeterminates over a field and let $J$ denote the generic link, i.e., the most general link, of $I$. The generators of the ideal $J$ are not known. We provide an explicit…

Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$.…

Let $\M$ be a matroid, and let $I_{\M}$ be either the Stanley--Reisner or the cover ideal of $\M$. In this paper we prove that for any matroid $\M$ on $[n]$, any $\ell\in \ZZ_+$, and any squarefree monomial $N\in R=\kk[x_1,\ldots,x_n]$, the…

We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with…

Let C be a clutter and let I be its edge ideal. We present a combinatorial description of the minimal generators of the symbolic Rees algebra Rs(I) of I. It is shown that the minimal generators of Rs(I) are in one to one correspondence with…

We explicitly compute the least degree of generators of all symbolic powers of the defining ideal of Fermat-like configuration of lines in $\mathbb{P}^3_\mathbb{C}$, except for the second symbolic powers, where we provide bounds for them.…

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…

An ideal $I \subset \mathbb{k}[x_1, \ldots, x_n]$ is said to have linear powers if $I^k$ has a linear minimal free resolution, for all $k$. In this paper we study the Betti numbers of $I^k$, for ideals $I$ with linear powers. The Betti…

Let $I$ be a perfect ideal of height two in $R=k[x_1, \ldots, x_d]$ and let $\varphi$ denote its Hilbert-Burch matrix. When $\varphi$ has linear entries, the algebraic structure of the Rees algebra $\mathcal{R}(I)$ is well-understood under…

Given distinct points $p_1,\cdots,p_r$ of the projective plane $P^2$ and a positive integer $m$, the homogeneous ideal defining the fat point subscheme $Z=m(p_1+\cdots+p_r)$ is the symbolic power $I^{(m)}$ of the homogeneous ideal $I$…

Let $n \ge 2$ be an integer and consider the defining ideal of the Fermat configuration of points in $\mathbb{P}^2$: $I_n=(x(y^n-z^n),y(z^n-x^n),z(x^n-y^n)) \subset R=\mathbb{C}[x,y,z]$. In this paper, we compute explicitly the least degree…