Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the dual graph of Cohen-Macaulay algebras
106
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshornes connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshornes result: 1) If X is a Gorenstein subspace arrangement, then G(X) is r-connected, where r is the Castelnuovo-Mumford regularity of X. (The bound is best possible; for coordinate arrangements, it yields an algebraic extension of Balinskis theorem for simplicial polytopes.) 2) If X is a canonically embedded arrangement of lines no three of which meet in the same point, then the diameter of the graph G(X) is not larger than the codimension of X. (The bound is sharp; for coordinate arrangements, it yields an algebraic expansion on the recent combinatorial result that the Hirsch conjecture holds for flag normal simplicial complexes.)
rate research
Read More
Let $R$ be a Cohen-Macaulay local ring with a canonical module $omega_R$. Let $I$ be an $m$-primary ideal of $R$ and $M$, a maximal Cohen-Macaulay $R$-module. We call the function $nlongmapsto ell (Hom_R(M,{omega_R}/{I^{n+1} omega_R}))$ the dual Hilbert-Samuel function of $M$ with respect to $I$. By a result of Theodorescu this function is a polynomial function. We study its first two normalized coefficients.
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.
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.
For any gentle algebra $Lambda=KQ/langle Irangle$, following Kalck, we describe the quiver and the relations for its Cohen-Macaulay Auslander algebra $mathrm{Aus}(mathrm{Gproj}Lambda)$ explicitly, and obtain some properties, such as $Lambda$ is representation-finite if and only if $mathrm{Aus}(mathrm{Gproj}Lambda)$ is; if $Q$ has no loop and any indecomposable $Lambda$-module is uniquely determined by its dimension vector, then any indecomposable $mathrm{Aus}(mathrm{Gproj}Lambda)$-module is uniquely determined by its dimension vector.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
