No Arabic abstract
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}$.
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.
Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and reg(S/I)=reg(S/J).
We show that the Specht ideal of a two-rowed partition is perfect over an arbitrary field, provided that the characteristic is either zero or bounded below by the size of the second row of the partition, and we show this lower bound is tight. We also establish perfection and other properties of certain variants of Specht ideals, and find a surprising connection to the weak Lefschetz property. Our results in particular give a self-contained proof of Cohen-Macaulayness of certain $h$-equals sets, a result previously obtained by Etingof-Gorsky-Losev over the complex numbers using rational Cherednik algebras.
Let $(A,mathfrak{m})$ be an excellent normal domain of dimension two. We define an $mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. When $A$ contains an algebraically closed field $k cong A/mathfrak{m}$ then Okuma, Watanabe and Yoshida proved that $A$ has $p_g$-ideals and furthermore product of two $p_g$-ideals is a $p_g$ ideal. In this article we show that if $A$ is an excellent normal domain of dimension two containing a field $k cong A/mathfrak{m}$ of characteristic zero then also $A$ has $p_g$-ideals. Furthermore product of two $p_g$-ideals is $p_g$.