arXiv subjects

Samuel Dean

Publications and source records attributed to Samuel Dean.

6 recordsLinked to original sources

arXiv2025

Functors from the infinitary model theory of modules and the Auslander-Gruson-Jensen 2-functor

We define the notion of a $\lambda$-definable category, a generalisation of the notion of definable category from the model theory of modules. Let ${\cal C}$ be a $\lambda$-accessible additive category. We characterise the additive functors ${\cal} C\to{\mathrm Ab}$ which preserve $\lambda$-directed colimits and products, by showing that they are the finitely presented functors determined by a morphism between $\lambda$-presented objects (the same result appears, for the case $\lambda=\omega$, in \cite{prest2011}, but we give a proof for any infinite regular cardinal $\lambda$). We remark that \cite{arb} shows that every $\lambda$-definable subcategory of ${\cal C}$ is the class of zeroes of some set of such functors, thus obtaining a $\lambda$-ary generalisation of the finitary ($\lambda = \omega$) result from the finitary model theory of modules. We show that, to analyse the $\lambda$-ary model theory of a locally $\lambda$-presentable additive category ${\cal C}$, it is sufficient to consider \emph{finitary} pp formulas in the language of right ${\mathrm{Pres}_\lambda}{\cal C}$-modules, where ${\mathrm{Pres}_\lambda}{\cal C}$ is the category of $\lambda$-presented objects of ${\cal C}$, with the caveat that these pp formulas are interpreted among right ${\mathrm{Pres}_\lambda}{\cal C}$-modules which preserve $\lambda$-small products. In particular, for an additive category ${\cal R}$ with $\lambda$-small products (e.g. ${\cal R}={\mathrm{Pres}_\lambda}{\cal C}^{\mathrm op}$ for ${\cal C}$ a $\lambda$-presented additive category), the $\lambda$-accessible functors ${\cal N}\to{\mathrm Ab}$ which preserve products are precisely the finitely accessible functors ${\cal R}{\mathrm Mod}\to{\mathrm Ab}$ which preserve products, restricted to ${\cal N}$, where ${\cal N}\subseteq{\cal R}{\mathrm Mod}$ is the category of left ${\cal R}$-modules which preserve $\lambda$-small products.

math.RT↗

arXiv2018

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

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

math.RT↗

arXiv2017

Characterisations of purity in a locally finitely presented additive category: A short functorial proof

In this expository article, we will give an efficient functorial proof of the equivalence of various characterisations of purity in a finitely accessible additive category $\mathcal C$. The complications of the proofs for specific choices of $\mathcal C$ are contained in the description of fp-injective and injective objects in $(\operatorname{fp}\mathcal C,\mathrm{Ab})$, the category of additive functors $\mathcal C\to\mathrm{Ab}$. For example, the equivalence of many characterisations of purity in a module category $\mathcal A\mathrm{-Mod}$ is a simple corollary of what we will prove here, since we know which objects are fp-injective, and which objects are injective, in $(\mathcal A\mathrm{-mod},\mathrm{Ab})$.

math.RT↗

arXiv2016

Derived Recollements and Generalised AR Formulas

The Defect Recollement, Restriction Recollement, Auslander-Gruson-Jensen Recollement, and others, are shown to be instances of a general construction using derived functors and methods from stable module theory. The right derived functors $\textsf{W}_k:=R_k(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ are computed and it is shown that the functor $\textsf{W}_2:=R_2(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ is right exact and restricts to a duality $\textsf{W}$ of the defect zero functors. The duality $\textsf{W}$ satisfies two identities which we call the Generalised Auslander-Reiten formulas. We show that $\textsf{W}$ restricts to the generalised Auslander-Bridger transpose and show that the Generalised Auslander-Reiten formulas reduce to the well-known Auslander-Reiten formulas.

math.RT↗

arXiv2016

The Auslander-Gruson-Jensen Recollement

For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors $(X,\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )$ to tensor functors $X\otimes\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} $. We show that this functor admits a fully faithful left adjoint $\textsf{D}_L$ and a fully faithful right adjoint $\textsf{D}_R$. The left adjoint $$\textsf{D}_L\:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ induces an equivalence of categories $$\frac{\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})}{\{F\ |\ \textsf{D}_A F=0\}}\cong(\textsf{mod}(R^{op}),\textsf{Ab})^{op}$$ where $\{F \ |\ \textsf{D}_A F=0\}$ is the Serre subcategory of $\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$ consisting of all functors $F$ arising from pure exact sequences. As a result, the functor $\textsf{D}_A$ is seen to be a Serre localization functor. The right adjoint $$\textsf{D}_R:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ together with $\textsf{D}_A$ restricts to the well known Auslander-Gruson-Jensen duality.

math.RT↗

arXiv2016

Duality and contravariant functors in the representation theory of artin algebras

We know that the model theory of modules leads to a way of obtaining definable categories of modules over a ring $R$ as the kernels of certain functors $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ rather than of functors $R\textbf{-Mod}\to\textbf{Ab}$ which are given by a pp pair. This paper will give various algebraic characterisations of these functors in the case that $R$ is an artin algebra. Suppose that $R$ is an artin algebra. An additive functor $G:(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ preserves inverse limits and $G|_{(R\textbf{-mod})^{\text{op}}}:(R\textbf{-mod})^{\text{op}}\to\textbf{Ab}$ is finitely presented if and only if there is a sequence of natural transformations $(-,A)\to(-,B)\to G\to 0$ for some $A,B\in R\textbf{-mod}$ which is exact when evaluated at any left $R$-module. Any additive functor $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ with one of these equivalent properties has a definable kernel, and every definable subcategory of $R\textbf{-Mod}$ can be obtained as the kernel of a family of such functors. In the final section a generalised setting is introduced, so that our results apply to more categories than those of the form $R\textbf{-Mod}$ for an artin algebra $R$. That is, our results are extended to those locally finitely presented $K$-linear categories whose finitely presented objects form a dualising $K$-variety, where $K$ is a commutative artinian ring.

math.RT↗