Related papers: Free resolutions over short local rings

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $…

We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections…

We investigate blocks of the Category $\mathcal O$ for the Virasoro algebra over the complex numbers. We demonstrate that the blocks have Kazhdan-Lusztig theories, and that the truncated blocks give rise to interesting Koszul algebras. The…

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

Estimates are obtained for the degrees of minimal syzygies of quotient algebras of polynomial rings. For a class that includes Koszul algebra in almost all characteristics, these degrees are shown to increase by at most 2 from one syzygy…

We investigate symmetry in the vanishing of Ext for finitely generated modules over local Gorenstein rings. In particular, we define a class of local Gorenstein rings, which we call AB rings, and show that for finitely generated modules $M$…

We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a…

Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…

Let $k$ be a field of characteristic $0$. Using the method of idealization, we show that there is a non-Koszul, quadratic, Artinian, Gorenstein, standard graded $k$-algebra of regularity $3$ and codimension $8$, answering a question of…

Let $R$ be a domain of Krull dimension one, we study when the class $\mathcal{F}$ of modules over $R$ that are arbitrary direct sums of finitely generated torsion-free modules is closed under direct summands. If $R$ is local, we show that…

The main focus is the generic freeness of local cohomology modules in a graded setting. The present approach takes place in a quite nonrestrictive setting, by solely assuming that the ground coefficient ring is Noetherian. Under additional…

For a commutative Noetherian local ring we define and study the class of modules having reducible complexity, a class containing all modules of finite complete intersection dimension. Various properties of this class of modules are given,…

The aim of this note is to understand under which conditions invertible modules over a commutative S-algebra in the sense of Elmendorf, Kriz, Mandell and May give rise to elements in the algebraic Picard group of invertible graded modules…

In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of…

Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1)…

We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when <C> is a numerical semigroup obtained by gluing two numerical semigroups <A> and <B>. Using our explicit construction,…

We prove that the Milnor ring of any (one-dimensional) local or global field K modulo a prime number l is a Koszul algebra over Z/l. Under mild assumptions that are only needed in the case l=2, we also prove various module Koszulity…

If $\rho$ denotes a finite dimensional complex representation of $\textbf{SL}_2(\textbf{Z})$, then it is known that the module $M(\rho)$ of vector valued modular forms for $\rho$ is free and of finite rank over the ring $M$ of scalar…

We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$…

For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and…