In this paper we use "ring changed'' Gorenstein homologicaldimensions to define Cohen-Macaulay injective, projective and flatdimensions. For doing this we use the amalgamated duplication of thebase ring with semi-dualizing ideals. Among other results, we prove that finiteness of these new dimensions characterizes Cohen-Macaulay rings with dualizing ideals.

Max Noether’s Theorem asserts that if ω is the dualizing sheaf of a nonsingular nonhyperelliptic projective curve then the natural morphisms SymH(ω) → H(ω) are surjective for all n ≥ 1. This is true for Gorenstein nonhyperelliptic curves as well. We prove this remains true for nearly Gorenstein curves and for all integral nonhyperelliptic curves whose non-Gorenstein points are unibranch. The re...

In this article we investigate the relations between Gorenstein projective dimensions of [Formula: see text]-modules and their socles for text]-minimal Auslander–Gorenstein algebras text]. First give a description projective-injective in terms socles. Then prove that text]-module text] has dimension at most if only its socle is cogenerated by text]-module. Furthermore, show can be characterised...

A central problem in liaison theory is to decide whether every arithmetically Cohen-Macaulay subscheme of projective n-space can be linked by a finite number of arithmetically Gorenstein schemes to a complete intersection. We show that this can be indeed achieved if the given scheme is also generically Gorenstein and we allow the links to take place in an (n + 1)-dimensional projective space. F...

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. Mathematics Subject Classification (2000). 13C05, 13D05, 13H10.

We revisit the topic of polynomial kernels for Vertex Cover relative to structural parameters. Our starting point is a recent paper due to Fomin and Str{\o}mme [WG 2016] who gave a kernel with $\mathcal{O}(|X|^{12})$ vertices when $X$ is a vertex set such that each connected component of $G-X$ contains at most one cycle, i.e., $X$ is a modulator to a pseudoforest. We strongly generalize this re...

Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra A $A$ with radical J $J$ will be said to short provided 3 = 0 $J^3 0$ . As case, we show: If a has an indecomposable non-projective Gorenstein-projective module M $M$ , then either is self-injective (so that all modules are Gorenstein-projective) and then, of cou...

Let $E$ be a finite set and $\mathcal P$, $\mathcal S$, $\mathcal L$ three classes of subsets of $E$, and $r$ a function defined on $2^E$. In this paper, we give an algorithm for testing if the quadruple $(\mathcal P, \mathcal S, \mathcal L, r)$ is the locked structure of a given matroid, i.e., recognizing if $(\mathcal P, \mathcal S, \mathcal L, r)$ defines a matroid. This problem is intractab...

We investigate the Cohomological Crepant Resolution Conjecture for reduced Gorenstein weighted projective spaces. Using toric methods, we prove this conjecture in some new cases. As an intermediate step, we show that weighted projective spaces are toric Deligne-Mumford stacks. We also describe a combinatorial model for the orbifold cohomology of weighted projective spaces.