Related papers: A DG $\Gamma$-structure on the Generalized Taylor …
Several constructive homological methods based on noncommutative Gr\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the…
Taylor presented an explicit resolution for arbitrary monomial ideals. Later, Lyubeznik found that already a subcomplex defines a resolution. We show that the Taylor resolution may be obtained by repeated application of the Schreyer Theorem…
A differential graded (DG for short) free algebra $\mathcal{A}$ is a connected cochain DG algebra such that its underlying graded algebra is $$\mathcal{A}^{\#}=\k\langle x_1,x_2,\cdots, x_n\rangle,\,\, \text{with}\,\, |x_i|=1,\,\, \forall…
The goal of this paper is to present an ongoing formalization, in the framework provided by the Lean/Mathlib mathematical library, of the construction by Roby (1965) of the universal divided power algebra. This is an analogue, in the theory…
Given a squarefree monomial ideal $I$ of a polynomial ring $Q$, we show that if the minimal free resolution $\mathbb{F}$ of $Q/I$ admits the structure of a differential graded (dg) algebra, then so does any ``pruning" of $\mathbb{F}$. In…
For any toric ideal $I$ in a polynomial ring $S$, we provide a combinatorial description of a free resolution of the integral closure of the $S$-module $S/I$. These new complexes arise from an extension of Bayer--Sturmfels' theory of…
We give a necessary and sufficient condition on a homogeneous polynomial ideal for its Taylor complex to be exact. Then we give a combinatorial construction of a minimal resolution for ideals satisfying the above condition (in particular…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
What is the shape of the free resolution of the ideal of a general set of points in P^r? This question is central to the programme of connecting the geometry of point sets in projective space with the structure of the free resolutions of…
In this paper we extend one direction of Fr\"oberg's theorem on a combinatorial classification of quadratic monomial ideals with linear resolutions. We do this by generalizing the notion of a chordal graph to higher dimensions with the…
This paper is concerned with the question of whether geometric structures such as cell complexes can be used to simultaneously describe the minimal free resolutions of all powers of a monomial ideal. We provide a full answer in the case of…
Differential graded (DG) algebras are powerful tools from rational homotopy theory. We survey some recent applications of these in the realm of homological commutative algebra.
Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…
We provide an algorithm that takes as an input a given parametric family of homogeneous polynomials, which is invariant under the action of the general linear group, and an integer $d$. It outputs the ideal of that family intersected with…
The category of unital (unbounded) dg cocommutative coalgebras over a field of characteristic zero is provided with a structure of simplicial closed model category. This generalizes the model structure defined by Quillen in 1969 for…
The big from small construction was introduced by Kustin and Miller and can be used to construct resolutions of tightly double linked Gorenstein ideals. In this paper, we expand on the DG-algebra techniques introduced Kustin for building…
In this paper, we summarize a general method of transforming DG structures into higher structures on the various complexes related to the reduced bar resolution of a given quiver algebra using algebraic Morse theory. As an application, we…
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…
Twilled L(ie)-R(inehart) algebas generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an almost twilled pre-LR algebra, which is a true twilled LR-algebra iff the almost…
This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$.…