Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userWhen is a Specht ideal Cohen-Macaulay?
80
0
0.0
(
0
)
Authors
Kohji Yanagawa
Ask ChatGPT about the research
No Arabic abstract
For a partition $lambda$ of $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$. We show that if $R/I^{rm Sp}_lambda$ is Cohen--Macaulay then $lambda$ is of the form either $(a, 1, ldots, 1)$, $(a,b)$, or $(a,a,1)$. We also prove that the converse is true if ${rm char}(K)=0$. To show the latter statement, the radicalness of these ideals and a result of Etingof et al. are crucial. We also remark that $R/I^{rm Sp}_{(n-3,3)}$ is NOT Cohen--Macaulay if and only if ${rm char}(K)=2$.
rate research
Read More
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.
As a stable analogue of degenerations, we introduce the notion of stable degenerations for Cohen-Macaulay modules over a Gorenstein local algebra. We shall give several necessary and/or sufficient conditions for the stable degeneration. These conditions will be helpful to see when a Cohen-Macaulay module degenerates to another.
Scattered over the past few years have been several occurrences of simplicial complexes whose topological behavior characterize the Cohen-Macaulay property for quotients of polynomial rings by arbitrary (not necessarily squarefree) monomial ideals. The purpose of this survey is to gather the developments into one location, with self-contained proofs, including direct combinatorial topological connections between them.
Let $A$ and $B$ be commutative rings with unity, $f:Ato B$ a ring homomorphism and $J$ an ideal of $B$. Then the subring $Abowtie^fJ:={(a,f(a)+j)|ain A$ and $jin J}$ of $Atimes B$ is called the amalgamation of $A$ with $B$ along $J$ with respect to $f$. In this paper, we study the property of Cohen-Macaulay in the sense of ideals which was introduced by Asgharzadeh and Tousi, a general notion of the usual Cohen-Macaulay property (in the Noetherian case), on the ring $Abowtie^fJ$. Among other things, we obtain a generalization of the well-known result that when the Nagatas idealization is Cohen-Macaulay.
We compute the minimal primary decomposition for completely squarefree lexsegment ideals. We show that critical squarefree monomial ideals are sequentially Cohen-Macaulay. As an application, we give a complete characterization of the completely squarefree lexsegment ideals which are sequentially Cohen-Macaulay and we also derive formulas for some homological invariants of this class of ideals.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
