Related papers: Koszul cycles and Golod rings
There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…
Let $k$ be a field of characteristic zero, and $R=k[x_1, \ldots, x_d]$ with $d \geq 3$ be a polynomial ring in $d$ variables. Let $\m=(x_1, \ldots, x_d)$ be the homogeneous maximal ideal of $R$. Let $\mathcal{K}$ be the kernel of the…
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of…
Let $R$ and $S$ be standard graded algebras over a field $k$, and $I \subseteq R$ and $J \subseteq S$ homogeneous ideals. Denote by $P$ the sum of the extensions of $I$ and $J$ to $R\otimes_k S$. We investigate several important homological…
Let $R=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I$ be a polymatroidal ideal of $R$. In this paper, we provide a comprehensive classification of all unmixed polymatroidal ideals. This work…
The aim of this article is to study the Ext ring associated to a Koszul $R$-ring and to use it to provide further characterisations of the former. As such, for $R$ being a semisimple ring and $A$ a graded Koszul $R$-ring, we will prove that…
The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families…
Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by…
Motivated by his work on the stable rank filtration of algebraic K-theory spectra, Rognes defined a simplicial complex called the common basis complex and conjectured that this complex is highly connected for local rings and Euclidean…
We give necessary and sufficient conditions for strong Koszulness of toric rings associated with the stable set polytope of graphs.
We classify the finite connected simple graphs whose edge rings are strongly Koszul. From the classification, it follows that if the edge ring is strongly Koszul, then its toric ideal possesses a quadratic Gr\"obner basis.
Let $A$ be a graded algebra. In this paper we develop a generalized Koszul theory by assuming that $A_0$ is self-injective instead of semisimple and generalize many classical results. The application of this generalized theory to directed…
Let $x_1,\ldots,x_s$ be a filter regular sequence in a local ring $(R,\mathfrak{m})$. Denote by $R_{x_1,\ldots,x_s}$ the Koszul complex of $x_1,\ldots,x_s$ over $R$. In this paper, we give an explicit number $N$ such that the sum of lengths…
Inspired by Jorgensen et. al., it is proved that if a Cohen--Macaulay local ring $R$ with dualizing module admits a suitable chain of semidualizing $R$--modules of length $n$, then $R\cong Q/(I_1+\cdots+I_n)$ for some Gorenstein ring $Q$…
Using reduction to positive characteristic and the method of Frobenius splitting of diagonals, due to Mehta and Ramanathan, it is shown that homogeneous coordinate rings for either proper and smooth toric varieties or Schubert varieties are…
For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules…
Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of…
Let $C \subset {\bf N}^d$ be an affine semigroup, and $R=K[C]$ its semigroup ring. This paper is a collection of various results on "$C$-graded" $R$-modules, especially, monomial ideals. For example, we show the following: If $R$ is normal…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I\subset S$ a squarefree monomial ideal. In the present paper we are interested in the monomials $u \in S$ belonging to the socle $\Soc(S/I^{k})$ of…