Related papers: Diagonal Subalgebras of Residual Intersections

Let A be a Koszul algebra, and $mod A$ the category of finitely generated graded left A-modules. The "linearity defect" ld_A(M) of $M \in mod A$ is an invariant defined by Herzog and Iyengar. An exterior algebra E is a Koszul algebra which…

We present an easily applicable sufficient condition for standard Koszul algebras to be Koszul with respect to $\Delta$. If a quasi-hereditary algebra $\L$ is Koszul with respect to $\Delta$, then $\L$ and the Yoneda extension algebra of…

We study Koszul homology over Gorenstein rings. If an ideal is strongly Cohen-Macaulay, the Koszul homology algebra satisfies Poincar\'e duality. We prove a version of this duality which holds for all ideals and allows us to give two…

In the present paper, we investigate a conjecture of J\"urgen Herzog. Let $S$ be a local regular ring with residue field $K$ or a positively graded $K$-algebra, $I\subset S$ be a perfect ideal of grade two, and let $R=S/I$ with canonical…

Using SAGBI basis techniques, we find Gr\"obner bases for the presentation ideals of the Rees algebras and special fiber rings of unit interval determinantal facet ideals. In particular, we show that unit interval determinantal facet ideals…

The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of…

In this article we introduce the notion of multi-Koszul algebra for the case of a locally finite dimensional nonnegatively graded connected algebra, as a generalization of the notion of (generalized) Koszul algebras defined by R. Berger for…

Given a numerical semigroup ring $R=k[\![S]\!]$, an ideal $E$ of $S$ and an odd element $b \in S$, the numerical duplication $S \! \Join^b \! E$ is a numerical semigroup, whose associated ring $k[\![S \! \Join^b \! E]\!]$ shares many…

Avramov, Conca, and Iyengar ask whether $\beta_i^S(R) \leq \binom{g}{i}$ for all $i$ when $R=S/I$ is a Koszul algebra minimally defined by $g$ quadrics. In recent work, we give an affirmative answer to this question when $g \leq 4$ by…

Given an affine hyperplane arrangement with some additional structure, we define two finite-dimensional, noncommutative algebras, both of which are motivated by the geometry of hypertoric varieties. We show that these algebras are Koszul…

Let $K$ be a field and $S=K[x_1,\ldots,x_m, y_1,\ldots,y_n]$ be the standard bigraded polynomial ring over $K$. In this paper, we explicitly describe the structure of finitely generated bigraded "sequentially Cohen--Macaulay" $S$-modules…

Let $R$ be a standard graded commutative algebra over a field $k$, let $K$ be its Koszul complex viewed as a differential graded $k$-algebra, and let $H$ be the homology algebra of $K$. This paper studies the interplay between homological…

Let $H$ be an $n$-generated numerical semigroup such that its tangent cone $\operatorname{gr}_\mathfrak{m} K[H]$ is defined by quadratic relations. We show that if $n<5$ then $\operatorname{gr}_\mathfrak{m} K[H]$ is Cohen-Macaulay, and for…

We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…

We establish that the dioperad $Y^{(n)}$, encoding bialgebras with a product of degree zero, a coproduct of degree $(1-n)$ and a rank three cyclic tensor, which satisfy a deformed version of the balanced infinitesimal bialgebra condition,…

Let $R= S/I$ where $S=k[T_1, \ldots, T_n]$ and $I$ is a homogeneous ideal in $S$. The acyclic closure $R \langle Y \rangle $ of $k$ over $R$ is a DG algebra resolution obtained by means of Tate's process of adjoining variables to kill…

Let $S$ be a unital ring, $S[t;\sigma,\delta]$ a skew polynomial ring where $\sigma$ is an injective endomorphism and $\delta$ a left $\sigma$-derivation, and suppose $f\in S[t;\sigma,\delta]$ has degree $m$ and an invertible leading…

Let $\lie g$ be a simple Lie algebra and let $\bs^{\lie g}$ be the locally finite part of the algebra of invariants $(_\bc\bv\otimes S(\lie g))^{\lie g}$ where $\bv$ is the direct sum of all simple finite-dimensional modules for $\lie g$…

The subject matter is the structure of the Rees algebra of almost complete intersection ideals of finite colength in low-dimensional polynomial rings over fields. The main tool is a mix of Sylvester forms and iterative mapping cone…

Let $I$ be an ideal generated by quadrics in a standard graded polynomial ring $S$ over a field. A question of Avramov, Conca, and Iyengar asks whether the Betti numbers of $R = S/I$ over $S$ can be bounded above by binomial coefficients on…