Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userPowers of Principal $Q$-Borel ideals
86
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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$.
rate research
Read More
An equigenerated monomial ideal $I$ is a Freiman ideal if $mu(I^2)=ell(I)mu(I)-{ell(I)choose 2}$ where $ell(I)$ is the analytic spread of $I$ and $mu(I)$ is the least number of monomial generators of $I$. Freiman ideals are special since there exists an exact formula computing the least number of monomial generators of any of their powers. In this paper we give a complete classification of Freiman $t$-spread principal Borel ideals.
Fix a square-free monomial $m in S = mathbb{K}[x_1,ldots,x_n]$. The square-free principal Borel ideal generated by $m$, denoted ${rm sfBorel}(m)$, is the ideal generated by all the square-free monomials that can be obtained via Borel moves from the monomial $m$. We give upper and lower bounds for the Waldschmidt constant of ${rm sfBorel}(m)$ in terms of the support of $m$, and in some cases, exact values. For any rational $frac{a}{b} geq 1$, we show that there exists a square-free principal Borel ideal with Waldschmidt constant equal to $frac{a}{b}$.
We compute the Betti numbers for all the powers of initial and final lexsegment edge ideals. For the powers of the edge ideal of an anti-$d-$path, we prove that they have linear quotients and we characterize the normally torsion-free ideals. We determine a class of non-squarefree ideals, arising from some particular graphs, which are normally torsion-free.
Let $A = K[X_1,ldots, X_d]$ and let $I$, $J$ be monomial ideals in $A$. Let $I_n(J) = (I^n colon J^infty)$ be the $n^{th}$ symbolic power of $I$ wrt $J$. It is easy to see that the function $f^I_J(n) = e_0(I_n(J)/I^n)$ is of quasi-polynomial type, say of period $g$ and degree $c$. For $n gg 0$ say [ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + text{lower terms}, ] where for $i = 0, ldots, c$, $a_i colon mathbb{N} rt mathbb{Z}$ are periodic functions of period $g$ and $a_c eq 0$. In an earlier paper we (together with Herzog and Verma) proved that $dim I_n(J)/I^n$ is constant for $n gg 0$ and $a_c(-)$ is a constant. In this paper we prove that if $I$ is generated by some elements of the same degree and height $I geq 2$ then $a_{c-1}(-)$ is also a constant.
This paper is concerned with the question of whether geometric structures such as cell complexes can be used to simultaneously describe the minimal free resolutions of all powers of a monomial ideal. We provide a full answer in the case of square-free monomial ideals of projective dimension one, by introducing a combinatorial construction of a family of (cubical) cell complexes whose 1-skeletons are powers of a graph that supports the resolution of the ideal.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
