Related papers: When is a Specht ideal Cohen-Macaulay?
To any Schur polynomial $s_{\lambda}$ one can associated its derived polynomials $s_{\lambda}{(i)}$ $i=0,\ldots,|\lambda|$ by the rule $$s_{\lambda}(x_1+t,\ldots,x_n+t) = \sum_i s_{\lambda}^{(i)}(x_1,\ldots,x_n) t^i.$$ We conjecture that…
Utilizing ultraproducts, Schoutens constructed a big Cohen-Macaulay algebra $\mathcal{B}(R)$ over a local domain $R$ essentially of finite type over $\mathbb{C}$. We show that if $R$ is normal and $\Delta$ is an effective $\mathbb{Q}$-Weil…
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…
Let $I$ be a homogeneous ideal in $R=\mathbb K[x_0,\ldots,x_n]$, such that $R/I$ is an Artinian Gorenstein ring. A famous theorem of Macaulay says that in this instance $I$ is the ideal of polynomial differential operators with constant…
We prove that for m > 2, the m-th symbolic power of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex is a matroid. Similarly, the m-th ordinary power is Cohen-Macaulay for some m > 2 if and only if the complex…
Let $R = k[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $k$ and let $I$ be a monomial ideal of $R$. In this paper, we study almost Cohen-Macaulay simplicial complex. Moreover, we characterize the almost…
Let $I$ be the edge ideal of a Cohen-Macaulay tree of dimension $d$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{d},y_1,\ldots,y_d]$. We prove that for all $t \ge 1$, $$\operatorname{depth} (S/I^t) = \operatorname{max} \{d -t + 1, 1…
In this paper, we study the Cohen-Macaulayness of non-affine normal semigroups in $\mathbb{Z}^n$. We do this by establishing the following four statements each of independent interest: 1) a Lazard type result on $I$-supported elements of…
We show that, under certain constraints, the Stanley-Reisner ring of an infinite simplicial complex is Cohen-Macaulay in the sense of ideals and weak Bourbaki unmixed. We apply this result to prove the wanted claim -- that initial complexes…
In the case of finite groups, a separating algebra is a subalgebra of the ring of invariants which separates the orbits. Although separating algebras are often better behaved than the ring of invariants, we show that many of the criteria…
In \cite{[CZ]}, Cohen and Zemel showed that for a partition $\lambda \vdash k$, the dimension of the irreducible representation of $S_{n}$ corresponding to the partition $(n-k,\lambda) \vdash n$ is a polynomial of degree $k$ in $n$, whose…
We focus on the structure of a homogeneous Gorenstein ideal $I$ of codimension three in a standard polynomial ring $R=\kk[x_1,\ldots,x_n]$ over a field $\kk$, assuming that $I$ is generated in a fixed degree $d$. For such an ideal $I$ this…
For a Specht module S^\lambda for the symmetric group \Sigma_d, the cohomology H^i(\Sigma_d, S^\lambda) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd…
We aim to construct an element satisfying Hemmer's combinatorial criterion for $H^1(\mathfrak{S}_n, S^\lambda)$ to be non-vanishing. In the process, we discover an unexpected and surprising link between the combinatorial theory of integral…
A subspace of an algebra with involution is called a Lie skew-ideal if it is closed under Lie products with skew-symmetric elements. Lie skew-ideals are classified in central simple algebras with involution (there are eight of them for…
Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and let $I$ be a monomial ideal of $R$. In this paper, we present an explicit formula for the Betti numbers of almost complete intersection monomial ideals,…
Let $R$ be a Cohen-Macaulay local ring, $I$ a strongly Cohen-Macaulay ideal of $R$. We show that $R/{\rm Ann}_R(I)$ is a maximal Cohen-Macaulay $R$-module by means of the delta-invariant. Also it is shown that there exists a Cohen-Macaulay…
Let $R_n$ denote the KLR algebra of type $A^{(1)}_{e-1}$. Using the presentation of Specht modules given by Kleschev-Mathas-Ram, Loubert completely determined $\hom_{R_n}(S^\mu,S^\lambda)$ where $\mu$ is an arbitrary partition, $\lambda$ is…
Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let…
Using the recent results on square-free Gr\"obner degenerations by Conca and Varbaro, we proved that if a homogeneous ideal $I$ of a polynomial ring is such that its initial ideal $\mathrm{in}_<(I)$ is square-free and $\beta_0(I) =…