The defect recollement, the MacPherson-Vilonen construction, and pp formulas

TL;DR

This paper explores the defect recollement in abelian categories, its relation to the MacPherson-Vilonen construction, and applies these ideas to the model theory of modules, providing new characterizations and formulas for pp-pairs.

Contribution

It characterizes when the defect recollement is an instance of the MacPherson-Vilonen construction and applies this to module theory, deriving new formulas for pp-pairs.

Findings

Recollement is MacPherson-Vilonen if and only if the category is hereditary.

Existence of minimal and maximal pp formulas with specific properties.

Explicit formulas for the image of pp-pairs under the defect functor.

Abstract

For any abelian category $\mathcal{A}$, Auslander constructed a localisation $w:\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})\to \mathcal{A}$ called the defect, which is the left adjoint to the Yoneda embedding $Y:\mathcal{A}\to\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$. If $\mathcal{A}$ has enough projectives, then this localisation is part of a recollement called the defect recollement. We show that this recollement is an instance of the MacPherson-Vilonen construction if and only if $\mathcal{A}$ is hereditary. We also discuss several subcategories of $\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$ which arise as canonical features of the defect recollement, and characterise them by properties of their projective presentations and their orthogonality with other subcategories. We apply some parts of the defect recollement to the model theory of modules. Let $R$ be a ring and let $\phi/\psi$ be a pp-pair. When $R$ is an artin algebra, we show that there is a smallest pp formula $\rho$ such that $\psi\leqslant\rho\leqslant\phi$ which agrees with $\phi$ on injectives, and that there is a largest pp formula $\mu$ such that $\psi\leqslant \mu\leqslant \phi$ and $\psi R=\mu R$. When $R$ is left coherent, we show that there is a largest pp formula $\sigma$ such that $\psi\leqslant\sigma\leqslant \phi$ which agrees with $\psi$ on injectives, and that the pp-pair $\psi/\phi$ is isomorphic to a pp formula if and only if $\psi=\sigma$, and that there is a smallest pp formula $\nu$ such that $\psi\leqslant \nu\leqslant\phi$ and $\phi R=\nu R$. We also show that, for any pp-pair $\phi/\psi$, $w(\phi/\psi)\cong (D\psi)R/(D\phi)R$, where $D$ is the elementary duality of pp formulas. We also give an expression for $w(\phi/\psi)$ in terms of the free realisation of $\phi$ and $\psi$.