Related papers: Koszul complexes over Cohen-Macaulay rings

Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that…

Let (R,m,k) be a local ring. We establish a totally reflexive analogue of the New Intersection Theorem, provided for every totally reflexive R-module M, there is a big Cohen-Macaulay R-module B_M such that the socle of B_M\otimes_RM is…

The object of the paper is the dependence of Koszul complexes and dependence of dual Koszul complexes of two systems of non-homogeneous polynomials, when one system is a part of other system, in connection with the duality in a Koszul…

Let R be a normal, equi-codimensional Cohen-Macaulay ring of dimension $d\geq 2$ with a canonical module. We give a sufficient criterion that establishes a derived equivalence between the noncommutative crepant resolutions of R. When $d\leq…

We prove a theorem unifying three results from combinatorial homological and commutative algebra, characterizing the Koszul property for incidence algebras of posets and affine semigroup rings, and characterizing linear resolutions of…

Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative)…

We present a comprehensive formalization in the Lean4 theorem prover of the Auslander--Buchsbaum--Serre criterion, which characterizes regular local rings as those Noetherian local rings with finite global dimension. Rather than following…

We prove a version of Koszul duality and the induced derived equivalence for Adams connected $A_\infty$-algebras that generalizes the classical Beilinson-Ginzburg-Soergel Koszul duality. As an immediate consequence, we give a version of the…

We construct a family of connected graded domains of GK-dimension 4 that are birational to P2, and show that the general member of this family is noetherian. This disproves a conjecture of the first author and Stafford. The algebras we…

It has been shown recently, in a joint work with Michel Dubois-Violette and Marc Wambst (see math.QA/0203035), that Koszul property of $N$-homogeneous algebras (as defined in the original paper) becomes natural in a $N$-complex setting. A…

Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $\mathfrak{a}$ be a proper ideal of $R$ and $M$ be an $R$-complex in $\mathrm{D}(R)$. We prove that if $M\in\mathrm{D}^f_\sqsubset(R)$ (respectively,…

We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far…

Inspired by the works in linkage theory of ideals, the concept of sliding depth of extension modules is defined to prove the Cohen-Macaulyness of linked module if the base ring is merely Cohen-Macaulay. Some relations between this new…

We show that the small and large restricted injective dimensions coincide for Cohen-Macaulay rings of finite Krull dimension. Based on this, and inspired by the recent work of Sather-Wagstaff and Totushek, we suggest a new definition of…

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian…

We generalize a theorem of Ding relating the generalized Loewy length $\text{g}\ell\ell(R)$ and index of a one-dimensional Cohen-Macaulay local ring $(R,\mathfrak{m},k)$. Ding proved that if $R$ is Gorenstein, the associated graded ring is…

Over a complete Noetherian local domain of mixed characteristic with perfect residue field, we construct a perfectoid ring which is similar to an explicit representation of a perfect closure in positive characteristic. Then we demonstrate…

We introduce a new class of rings, pseudo-krullian orders, consider the Serre quotients of their module categories with respect to pseudo-isomorphisms and describe injective objects in such quotient categories and its global homological…

Tilting objects play a key role in the study of triangulated categories. A famous result due to Iyama and Takahashi asserts that the stable categories of graded maximal Cohen-Macaulay modules over quotient singularities have tilting…