Let $frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $V(fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{fa}_i(M) eq 0$. We show that $M$ is $fa$-cofinite if and only if the $R$-mo
dule $Tor^R_i(R/fa,M)$ is finitely generated for every $0leq ileq n$. This provides a hands-on and computable finitely-many-steps criterion to examine $mathfrak{a}$-confiniteness. Our approach relies heavily on the theory of local homology which demonstrates the effectiveness and indispensability of this tool.
Given a Serre class $mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $mathcal{S}$ up to a given bound $s geq 0$. As some applications, we give a full charact
erization of noetherian local homology modules. Further, we establish a comprehensive vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and local cohomology. Also, we immediately recover a few renowned vanishing criteria scattered about the literature.
We introduce and study a class of objects that encompasses Christensen and Foxbys semidualizing modules and complexes and Kubiks quasi-dualizing modules: the class of $mathfrak{a}$-adic semidualizing modules and complexes. We give examples and equiva
lent characterizations of these objects, including a characterization in terms of the more familiar semidualizing property. As an application, we give a proof of the existence of dualizing complexes over complete local rings that does not use the Cohen Structure Theorem.
We continue our work on adic semidualizing complexes over a commutative noetherian ring $R$ by investigating the associated Auslander and Bass classes (collectively known as Foxby classes), following Foxby and Christensen. Fundamental properties of t
hese classes include Foxby Equivalence, which provides an equivalence between the Auslander and Bass classes associated to a given adic semidualizing complex. We prove a variety of stability results for these classes, for instance, with respect to $Fotimes^{mathbf{L}}_R-$ where $F$ is an $R$-complex finite flat dimension, including special converses of these results. We also investigate change of rings and local-global properties of these classes.
We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power series of
bounded complexity lying on an algebraic variety defined over the field of power series.