Table of Contents
Fetching ...

Triangulated categories arising from n-fold matrix factorizations

Yixia Zhang, Panyue Zhou

TL;DR

This work extends the theory of matrix factorizations to arbitrary additive categories with a functor $T$ and a natural transformation $\\omega$, defining $n$-fold factorizations and their homotopy category $\\mathrm{HFact}_{n}(\\mathcal{A},T,\\omega)$. For even $n$, it constructs a suspension $\\Sigma$ and a mapping-cone framework that endows $\\mathrm{HFact}_{n}(\\mathcal{A},T,\\omega)$ with a natural right triangulated structure, becoming triangulated when $T$ is an automorphism. Furthermore, when $\\mathcal{A}$ is Frobenius exact and $T$ is an autoequivalence, $\\mathrm{Fact}_{n}(\\mathcal{A},T,\\omega)$ is Frobenius exact and its stable category is triangulated, unifying various noncommutative and categorical generalizations of matrix factorizations. The results extend prior work on $n$-fold and twisted factorizations, providing explicit constructions for suspensions and cones in a purely additive setting without DG enhancements, and establishing a robust bridge to Frobenius exact categories and their stable triangulated categories.

Abstract

Let $\mathcal{A}$ be an additive category and let $T\colon \mathcal{A}\rightarrow \mathcal{A}$ be an additive functor equipped with a natural transformation $ω\colon \mathrm{Id}_{\mathcal{A}}\rightarrow T$. We prove that the homotopy category of $n$-fold matrix factorizations of $ω$, denoted ${\rm HFact}_{n}(\mathcal{A},T,ω)$, admits a natural structure of a right triangulated category. In particular, when $T$ is an automorphism, the homotopy category ${\rm HFact}_{n}(\mathcal{A},T,ω)$ becomes triangulated. Furthermore, if $\mathcal{A}$ is a Frobenius exact category and $T$ is an autoequivalence, we obtain that the category ${\rm Fact}_{n}(\mathcal{A},T,ω)$ of $n$-fold $(\mathcal{A},T)$-factorizations of $ω$ is a Frobenius exact category. Consequently, the stable category of the Frobenius exact category ${\rm Fact}_{n}(\mathcal{A},T,ω)$ is a triangulated category.

Triangulated categories arising from n-fold matrix factorizations

TL;DR

This work extends the theory of matrix factorizations to arbitrary additive categories with a functor and a natural transformation , defining -fold factorizations and their homotopy category . For even , it constructs a suspension and a mapping-cone framework that endows with a natural right triangulated structure, becoming triangulated when is an automorphism. Furthermore, when is Frobenius exact and is an autoequivalence, is Frobenius exact and its stable category is triangulated, unifying various noncommutative and categorical generalizations of matrix factorizations. The results extend prior work on -fold and twisted factorizations, providing explicit constructions for suspensions and cones in a purely additive setting without DG enhancements, and establishing a robust bridge to Frobenius exact categories and their stable triangulated categories.

Abstract

Let be an additive category and let be an additive functor equipped with a natural transformation . We prove that the homotopy category of -fold matrix factorizations of , denoted , admits a natural structure of a right triangulated category. In particular, when is an automorphism, the homotopy category becomes triangulated. Furthermore, if is a Frobenius exact category and is an autoequivalence, we obtain that the category of -fold -factorizations of is a Frobenius exact category. Consequently, the stable category of the Frobenius exact category is a triangulated category.

Paper Structure

This paper contains 4 sections, 10 theorems, 74 equations.

Key Result

Theorem 3.7

Let $\nabla$ be the class of all sixtuples that are isomorphic to one of the form Then the homotopy category ${\rm HFact}_{n}(\mathcal{A},T,\omega)$ of $n$-fold $(\mathcal{A},T)$-factorizations of $\omega$, equipped with the suspension functor $\Sigma$ and the class $\nabla$, is a right triangulated category.

Theorems & Definitions (31)

  • Definition 2.1
  • Remark 2.2
  • Definition 2.3
  • Definition 3.1
  • Remark 3.2
  • Definition 3.3
  • Definition 3.4
  • Definition 3.5
  • Remark 3.6
  • Theorem 3.7
  • ...and 21 more