Related papers: When is a Specht ideal Cohen-Macaulay?
For every partition $\lambda$ of a positive integer $n$, let $S^{\lambda}$ be the corresponding Specht module of the symmetric group $\mathfrak{S}_n$, and let $\det(\lambda)\in \mathbb Z$ denote the Gram determinant of the canonical…
Let $(R,\fm)$ be a Cohen-Macaulay local ring of positive dimension $d$ and infinite residue field. Let $I$ be an $\fm$-primary ideal of $R$ and $J$ be a minimal reduction of $I$. In this paper we show that if $\widetilde{I^k}=I^k$ and…
Let G be a simple undirected graph on n vertices, and let I(G) \subseteq R = k[x_1,...,x_n] denote its associated edge ideal. We show that all chordal graphs G are sequentially Cohen-Macaulay; our proof depends upon showing that the…
Let $R$ be a noetherian commutative ring. Of great interest is the question whether one can find an explicit integer $k$ such that $\overline{I^{k+n}}\subseteq I^n$ for each ideal $I$ and each integer $n\geq 1$ (the notation…
Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm…
Let $R=k[x_{1},\ldots,x_{n}]$, where $k$ is a field. The path ideal (of length $t\geq 2$) of a directed graph $G$ is the monomial ideal, denoted by $I_{t}(G)$, whose generators correspond to the directed paths of length $t$ in $G$. Let…
Conca and Varbaro (Invent. Math. 221 (2020), no. 3) showed the equality of depth of a graded ideal and its initial ideal in a polynomial ring when the initial ideal is square-free. In this paper, we give some beautiful applications of this…
Let $A$ be a commutative Noetherian local ring with maximal ideal $\mathfrak{m}$, and let $I$ be an ideal. The fiber cone is then an image of the polynomial ring over the residue field $A/\mathfrak{m}$. The kernel of this map is called the…
Let $\Delta$ be a simplicial complex. We study the expansions of $\Delta$ mainly to see how the algebraic and combinatorial properties of $\Delta$ and its expansions are related to each other. It is shown that $\Delta$ is Cohen-Macaulay,…
We study the quotient complex $\Delta (B_{lm})/S_l\wr S_m$ as a means of deducing facts about the ring $k[x_1,..., x_{lm}]^{S_l\wr S_m}$. It is shown in [He] that this quotient complex is shellable when $l=2$, implying Cohen-Macaulayness of…
Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the…
Let $K$ be a proper cone in $\IR^n$, let $A$ be an $n\times n$ real matrix that satisfies $AK\subseteq K$, let $b$ be a given vector of $K$, and let $\lambda$ be a given positive real number. The following two linear equations are…
We prove that the polynomial invariants of a permutation group are Cohen-Macaulay for any choice of coefficient field if and only if the group is generated by transpositions, double transpositions, and 3-cycles. This unites and generalizes…
Let $(R,m)$ be a Noetherian local ring of dimension $d$ and $K,Q$ be $m$-primary ideals in $R.$ In this paper we study the finiteness properties of the sets $\Lambda_i^K(R):=\{g_i^K(Q): Q$ is a parameter ideal of $R\},$ where $g_i^K(Q)$…
Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric…
The variety $ \mathrm{Sing}_{n, m} $ consists of all tuples $ X = (X_1,\ldots, X_m) $ of $ n\times n $ matrices such that every linear combination of $ X_1,\ldots, X_m $ is singular. Equivalently, $X\in\mathrm{Sing}_{n,m}$ if and only if…
We construct a complex $\mathcal{L}_\bullet^\lambda$ resolving the irreducible representations $\mathcal{S}^{\lambda[n]}$ of the symmetric groups $S_n$ by representations restricted from $GL_n(k)$. This construction lifts to…
Following work of Keel and Tevelev, we give explicit polynomials in the Cox ring of $\mathbb{P}^1\times\cdots\times\mathbb{P}^{n-3}$ that, conjecturally, determine $\overline{M}_{0,n}$ as a subscheme. Using Macaulay2, we prove that these…
We associate a {\it skew tableau ideal} to each filling of a skew Ferrers diagram with positive integers. We classify all unmixed and sequentially Cohen-Macaulay skew tableau ideals. Consequently, we classify all Cohen-Macaulay, Buchsbaum,…
We investigate the presence of Cohen-Macaulay ideals in invariant rings and show that an ideal of an invariant ring corresponding to a modular representation of a $p$-group is not Cohen-Macaulay unless the invariant ring itself is. As an…