No Arabic abstract
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.
For a partition $lambda$ of $n in {mathbb N}$, let $I^{rm Sp}_lambda$ be the ideal of $R=K[x_1,ldots,x_n]$ generated by all Specht polynomials of shape $lambda$. In the previous paper, the second author showed that if $R/I^{rm Sp}_lambda$ is Cohen-Macaulay, then $lambda$ is either $(n-d,1,ldots,1),(n-d,d)$, or $(d,d,1)$, and the converse is true if ${rm char}(K)=0$. In this paper, we compute the Hilbert series of $R/I^{rm Sp}_lambda$ for $lambda=(n-d,d)$ or $(d,d,1)$. Hence, we get the Castelnuovo-Mumford regularity of $R/I^{rm Sp}_lambda$, when it is Cohen-Macaulay. In particular, $I^{rm Sp}_{(d,d,1)}$ has a $(d+2)$-linear resolution in the Cohen-Macaulay case.
We study the WLP and SLP of artinian monomial ideals in $S=mathbb{K}[x_1,dots ,x_n]$ via studying their minimal free resolutions. We study the Lefschetz properties of such ideals where the minimal free resolution of $S/I$ is linear for at least $n-2$ steps. We give an affirmative answer to a conjecture of Eisenbud, Huneke and Ulrich for artinian monomial ideals with almost linear resolutions.
What kind of reduced monomial schemes can be obtained as a Grobner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.
In this paper, we survey the theory of Cartwright-Sturmfels ideals. These are Z^n-graded ideals, whose multigraded generic initial ideal is radical. Cartwright-Sturmfels ideals have surprising properties, mostly stemming from the fact that their Hilbert scheme only contains one Borel-fixed point. This has consequences, e.g., on their universal Groebner bases and on the family of their initial ideals. In this paper, we discuss several known classes of Cartwright-Sturmfels ideals and we find a new one. Among determinantal ideals of same-size minors of a matrix of variables and Schubert determinantal ideals, we are able to characterize those that are Cartwright-Sturmfels.
In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators.