Table of Contents
Fetching ...

Singular equivalences of functor categories via Auslander-Buchweitz approximations

Yasuaki Ogawa

TL;DR

This work extends singularity theory to functor categories by constructing a functor-category analogue of Chen's theorem and an Auslander-Buchweitz approximation framework that yields triangle equivalences between singularity categories of quotient categories $A/[\omega]$ and $X/[\omega]$. It provides concrete mechanisms to obtain cotilting-based singularities, including a generalized Matsui-Takahashi result and an alternative MT proof, and connects these equivalences to properties like Iwanaga-Gorensteinness and AR dualities. The approach unifies several known results under a common AB-approximation umbrella and yields new both structural and computational insights, illustrated by algebro-geometric and representation-theoretic examples. Overall, the paper broadens the applicability of singular equivalences to functor categories and cotilting contexts, enabling broader comparisons between module categories, costable quotients, and their stable/homological invariants.

Abstract

The aim of this paper is to construct singular equivalences between functor categories. As a special case, we show that there exists a singular equivalence arising from a cotilting module $T$, namely, the singularity category of $(^\perp T)/[T]$ and that of $(\mod A)/[T]$ are triangle equivalent. In particular, the canonical module $ω$ over a commutative Noetherian ring induces a singular equivalence between $(\mathsf{CM}R)/[ω]$ and $(\mod R)/[ω]$, which generalizes Matsui-Takahashi's theorem. Our result is based on a sufficient condition for an additive category $\mathcal{A}$ and its subcategory $\mathcal{X}$ so that the canonical inclusion $\mathcal{X}\hookrightarrow\mathcal{A}$ induces a singular equivalence $\mathsf{D_{sg}}(\mathcal{A})\simeq \mathsf{D_{sg}}(\mathcal{X})$, which is a functor category version of Xiao-Wu Chen's theorem.

Singular equivalences of functor categories via Auslander-Buchweitz approximations

TL;DR

This work extends singularity theory to functor categories by constructing a functor-category analogue of Chen's theorem and an Auslander-Buchweitz approximation framework that yields triangle equivalences between singularity categories of quotient categories and . It provides concrete mechanisms to obtain cotilting-based singularities, including a generalized Matsui-Takahashi result and an alternative MT proof, and connects these equivalences to properties like Iwanaga-Gorensteinness and AR dualities. The approach unifies several known results under a common AB-approximation umbrella and yields new both structural and computational insights, illustrated by algebro-geometric and representation-theoretic examples. Overall, the paper broadens the applicability of singular equivalences to functor categories and cotilting contexts, enabling broader comparisons between module categories, costable quotients, and their stable/homological invariants.

Abstract

The aim of this paper is to construct singular equivalences between functor categories. As a special case, we show that there exists a singular equivalence arising from a cotilting module , namely, the singularity category of and that of are triangle equivalent. In particular, the canonical module over a commutative Noetherian ring induces a singular equivalence between and , which generalizes Matsui-Takahashi's theorem. Our result is based on a sufficient condition for an additive category and its subcategory so that the canonical inclusion induces a singular equivalence , which is a functor category version of Xiao-Wu Chen's theorem.

Paper Structure

This paper contains 7 sections, 18 theorems, 32 equations.

Key Result

Theorem A

Let $\mathcal{A}$ be an additive category with weak-kernels and $\mathcal{X}$ its contravariantly finite full subcategory. Suppose that $\mathsf{pd}_{\mathcal{X}}(\mathcal{A}(-,M)|_{\mathcal{X}})<\infty$ for any $M\in\mathcal{A}$ and $\mathsf{pd}_{\mathcal{A}}(F)<\infty$ for any $F\in\operatorname{\

Theorems & Definitions (42)

  • Theorem A: Lemma \ref{['lem:Chen1']}, Theorem \ref{['thm:Chen2']}
  • Theorem B: Theorem \ref{['thm:singular_equivalence_from_AB_approximation']}
  • Definition 1.2
  • Corollary C: Corollary \ref{['cor:singular_equivalence_from_cotilting']}
  • Example 1.3
  • Lemma 2.1
  • proof
  • Theorem 2.2
  • Proposition 2.3
  • proof
  • ...and 32 more