Related papers: Big Cohen-Macaulay modules, morphisms of perfect c…

Let $R$ be a commutative noetherian local ring, and let $M$ be a finitely generated $R$-module. Inspired by works of Vasconcelos and Briggs on characterization of complete intersection local rings through the homological properties of the…

We show that, over a local complete intersection, every possible variety is realized as the cohomological support variety of some module. Moreover, we show that the projective variety of a complete indecomposable maximal Cohen-Macaulay…

Cohen-Macaulayness, unmixedness, the structure of the canonical module and the stability of the Hilbert function of algebraic residual intersections are studied in this paper. Some conjectures about these properties are established for…

In this note ($R, m$) denotes a complete regular local ring and $B$ mostly denotes its absolute integral closure. The four objectives of this paper are the following: i) to determine the highest non-vanishing local cohomology of…

For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…

This paper studies infinite acyclic complexes of finitely generated free modules over a commutative noetherian local ring $(R,m)$ with $m^3=0$. Conclusive results are obtained on the growth of the ranks of the modules in acyclic complexes,…

We show how for a three-dimensional complete local ring in positive characteristic, the existence of an F-invariant, differentiable derivation implies Hochster's small MCM conjecture. As an application we show that any three-dimensional…

Let $R$ be a commutative Noetherian local ring. We characterize when its completion has an isolated singularity, thereby strengthening the Dao-Takahashi refinement of the Auslander-Huneke-Leuschke-Wiegand theorem. We investigate the ascent…

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…

Let $R$ be a commutative, Noetherian, local ring and $M$ an $R$-module. Consider the module of homomorphisms $\operatorname{Hom}_R(R/\mathfrak{a},M/\mathfrak{b} M)$ where $\mathfrak{b}\subseteq\mathfrak{a}$ are parameter ideals of $M$. When…

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…

Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…

The set of the first Hilbert coefficients of parameter ideals relative to a module--its Chern coefficients--over a local Noetherian ring codes for considerable information about its structure--noteworthy properties such as that of…

This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with…

Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a…

Let $\fa$ be an ideal of a local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. We investigate the structure of the formal local cohomology modules ${\vpl}_nH^i_{\fm}(M/\fa^n M)$, $i\geq 0$. We prove several results concerning…

It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory…

This paper investigates when local cohomology modules have an annihilator that does not depend on the choice of an ideal. Takahashi classified the dominant resolving subcategories of the category of finitely generated modules over a…

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof…

Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we…