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

Abstract

For any abelian category A, Auslander constructed a localisation w:fp(Aop,Ab)→A called the defect, which is the left adjoint to the Yoneda embedding Y:A→fp(Aop,Ab). If 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 A is hereditary. We also discuss several subcategories of fp(Aop,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 ϕ/ψ be a pp-pair. When R is an artin algebra, we show that there is a smallest pp formula ρ such that ψ⩽ρ⩽ϕ which agrees with ϕ on injectives, and that there is a largest pp formula μ such that ψ⩽μ⩽ϕ and ψR=μR. When R is left coherent, we show that there is a largest pp formula σ such that ψ⩽σ⩽ϕ which agrees with ψ on injectives, and that the pp-pair ψ/ϕ is isomorphic to a pp formula if and only if ψ=σ, and that there is a smallest pp formula ν such that ψ⩽ν⩽ϕ and ϕR=νR. We also show that, for any pp-pair ϕ/ψ, w(ϕ/ψ)≅(Dψ)R/(Dϕ)R, where D is the elementary duality of pp formulas. We also give expressions for w(ϕ/ψ) in terms of free realisation of ϕ and ψ.