We show that the Koszul homology algebra of the second Veronese subalgebra of a polynomial ring over a field of characteristic zero is generated, as an algebra, by the homology classes corresponding to the syzygies of the lowest linear strand.
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicativ
e structure of $operatorname{H}^R$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincare series. As an application, we show that the Poincare series of all finitely generated modules over a stretched Cohen-Macaulay local ring are rational, sharing a common denominator.
This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of $H(K)$, any dg
$R$-algebra automorphism of $K$ induces the identity map on $H(K)$. In such cases, it is possible to define an action of the automorphism group of $R$ on $H(K)$. On the other hand, numerous rings are described for which $K$ has automorphisms that do not induce the identity on $H(K)$. For any $R$, it is shown that the group of automorphisms of $H(K)$ induced by automorphisms of $K$ is abelian.
We investigate various module-theoretic properties of Koszul homology under mild conditions. These include their depth, $S_2$-property and their Bass numbers
Given a Serre class $mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $mathcal{S}$ up to a given bound $s geq 0$. As some applications, we give a full charact
erization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about the literature.
Let $K$ be a field and $S=K[x_1,...,x_n]$. In 1982, Stanley defined what is now called the Stanley depth of an $S$-module $M$, denoted $sdepth(M)$, and conjectured that $depth(M) le sdepth(M)$ for all finitely generated $S$-modules $M$. This conjectu
re remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when $M = I / J$ with $J subset I$ being monomial $S$-ideals. Specifically, their method associates $M$ with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in $S$. In particular, if $I_{n,d}$ is the squarefree Veronese ideal generated by all squarefree monomials of degree $d$, we show that if $1le dle n < 5d+4$, then $sdepth(I_{n,d})= floor{binom{n}{d+1}Big/binom{n}{d}}+d$, and if $dgeq 1$ and $nge 5d+4$, then $d+3le sdepth(I_{n,d}) le floor{binom{n}{d+1}Big/binom{n}{d}}+d$.
Aldo Conca
,Lukas Katthan
,Victor Reiner
.
(2017)
.
"The Koszul homology algebra of the second Veronese is generated by the lowest strand"
.
Lukas Katth\\\"an
هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا