Adic semidualizing complexes

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 equivalent 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.

Coherence conditions in flat regular pullbacks

We investigate the behavior of four coherent-like conditions in regular conductor squares. In particular, we find necessary and sufficient conditions in order that a pullback ring be a finite conductor ring, a coherent ring, a generalized GCD ring, or quasi-coherent ring. As an application of these results, we are able to determine exactly when the ring of integer-valued polynomials determined by a finite subset possesses one of the four coherent-like properties.

Testing for the Gorenstein property

We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,mathfrak m)$ is Gorenstein if and only if it admits an integrally closed $mathfrak m$-primary ideal of finite Gorenstein dimension. This is accomplished through a detailed study of certain test complexes. Along the way we construct such a test complex that detect finiteness of Gorenstein dimension, but not that of projective dimension.

Using semidualizing complexes to detect Gorenstein rings

A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions involving a semidualizing complex and improve on Foxbys result by answering a question of Takahashi and White. In particular, we prove for a semidualizing complex $C$, if there exists a complex with finite depth, finite $mathcal{F}_C$-projective dimension, and finite $mathcal{I}_C$-injective dimension over a local ring $R$, then $R$ is Gorenstein.