اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدPowers of Principal $Q$-Borel ideals
86
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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$.
قيم البحث
اقرأ أيضاً
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 m
onomial $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 deter
mine 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, s
ay 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-fre
e 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
