We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and representation theory techniques to understand higher homological algebra. As an application, we present two possible generalizations of the axioms “every monomorphism is a kernel” and “every epimorphism is a cokernel” of an abelian category to $n$-abelian categories. We also specialize our results to modules over rings, thereby describing when the category of finitely generated projective modules over a ring is $n$-abelian. Moreover, we establish a correspondence for $n$-abelian categories with additive generators, which extends the higher Auslander correspondence.
Nous développons une approche fonctorielle de l’étude des catégories $n$-abéliennes en reformulant leurs axiomes en termes de leurs catégories de foncteurs de présentation finie. Une telle approche permet d’utiliser les techniques de l’algèbre homologique classique et de la théorie des représentations pour comprendre l’algèbre homologique supérieure. Comme application, nous présentons deux généralisations possibles des axiomes « tout monomorphisme est un noyau » et « tout épimorphisme est un conoyau » d’une catégorie abélienne aux catégories $n$-abéliennes. Appliqués au cas des modules sur les anneaux, nos résultats nous permettent également de décrire quand la catégorie des modules projectifs de type fini sur un anneau est $n$-abélienne. De plus, nous établissons une correspondance pour les catégories $n$-abéliennes à générateurs additifs, qui étend la correspondance d’Auslander supérieure.
Revised:
Accepted:
Published online:
Keywords: Functor categories, finitely presented functors, higher homological algebra, $n$-abelian categories
Mots-clés : Catégories de foncteurs, foncteurs de présentation finie, algèbre homologique supérieure, catégories $n$-abéliennes
Vitor Gulisz 1
CC-BY 4.0
@article{CRMATH_2025__363_G11_1123_0,
author = {Vitor Gulisz},
title = {A functorial approach to $n$-abelian categories},
journal = {Comptes Rendus. Math\'ematique},
pages = {1123--1175},
year = {2025},
publisher = {Acad\'emie des sciences, Paris},
volume = {363},
doi = {10.5802/crmath.790},
language = {en},
}
Vitor Gulisz. A functorial approach to $n$-abelian categories. Comptes Rendus. Mathématique, Volume 363 (2025), pp. 1123-1175. doi: 10.5802/crmath.790
[1] Coherent functors, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) (S. Eilenberg; D. K. Harrison; H. Röhrl, eds.), Springer (1966), pp. 189-231 | MR | Zbl
[2] Representation dimension of Artin algebras, Queen Mary College Mathematical Notes, Queen Mary College, London, 1971 | Zbl
[3] Representation theory of Artin algebras I, Commun. Algebra, Volume 1 (1974), pp. 177-268 | DOI | MR | Zbl
[4] Representation theory of Artin algebras II, Commun. Algebra, Volume 1 (1974), pp. 269-310 | DOI | MR | Zbl
[5] Functors and morphisms determined by objects, Representation theory of algebras (Proc. Conf., Temple Univ., Philadelphia, Pa., 1976) (Robert Gordon, ed.) (Lecture Notes in Pure and Applied Mathematics), Dekker, New York-Basel (1978) no. 37, pp. 1-244 | MR | Zbl
[6] Stable module theory, Memoirs of the American Mathematical Society, American Mathematical Society, 1969 no. 94, 146 pages | MR | Zbl
[7] Stable equivalence of dualizing -varieties, Adv. Math., Volume 12 (1974), pp. 306-366 | DOI | MR | Zbl
[8] Representation theory of Artin algebras. III. Almost split sequences, Commun. Algebra, Volume 3 (1975), pp. 239-294 | DOI | MR | Zbl
[9] On the Freyd categories of an additive category, Homology Homotopy Appl., Volume 2 (2000), pp. 147-185 | DOI | MR | Zbl
[10] Relative homology, higher cluster-tilting theory and categorified Auslander-Iyama correspondence, J. Algebra, Volume 444 (2015), pp. 367-503 | DOI | MR | Zbl
[11] On diagram-chasing in double complexes, Theory Appl. Categ., Volume 26 (2012) no. 3, pp. 60-96 | MR | Zbl
[12] On von Neumann varieties, Theory Appl. Categ., Volume 13 (2004) no. 1, pp. 5-26 | MR | Zbl
[13] Generalizations of QF-3 algebras, Trans. Am. Math. Soc., Volume 153 (1971), pp. 371-386 | DOI | MR | Zbl
[14] Higher Auslander correspondence for exact categories (2021) | arXiv
[15] Higher Auslander’s formula, Int. Math. Res. Not. (2022) no. 22, pp. 18186-18203 | DOI | MR | Zbl
[16] Codominant dimension of rings and modules, Trans. Am. Math. Soc., Volume 176 (1973), pp. 125-139 | DOI | MR | Zbl
[17] Classifying exact categories via Wakamatsu tilting, J. Algebra, Volume 485 (2017), pp. 1-44 | DOI | MR | Zbl
[18] Classifications of exact structures and Cohen-Macaulay-finite algebras, Adv. Math., Volume 335 (2018), pp. 838-877 | DOI | MR | Zbl
[19] Abelian categories. An introduction to the theory of functors, Harper’s Series in Modern Mathematics, Harper & Row, Publishers, New York, 1964, xi+164 pages | MR | Zbl
[20] Representations in abelian categories, Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) (S. Eilenberg; D. K. Harrison; H. Röhrl, eds.), Springer (1966), pp. 95-120 | MR | Zbl
[21] -angulated categories, J. Reine Angew. Math., Volume 675 (2013), pp. 101-120 | DOI | MR | Zbl
[22] Commutative coherent rings, Lecture Notes in Mathematics, Springer, 1989 no. 1371, xii+347 pages | DOI | MR | Zbl
[23] First steps in higher Auslander–Reiten theory, 2021 https://hdl.handle.net/1884/71956 Master’s Thesis, Universidade Federal do Paraná (Brazil)
[24] QF-3 and semi-primary -rings II, Osaka J. Math., Volume 3 (1966), pp. 21-27 | MR | Zbl
[25] The loop-space functor in homological algebra, Trans. Am. Math. Soc., Volume 96 (1960), pp. 382-394 | DOI | MR | Zbl
[26] Auslander’s formula and correspondence for exact categories, Adv. Math., Volume 401 (2022), 108296, 65 pages | DOI | MR | Zbl
[27] -exangulated categories (I): Definitions and fundamental properties, J. Algebra, Volume 570 (2021), pp. 531-586 | DOI | MR | Zbl
[28] On dominant and codominant dimension of QF-3 rings, Pac. J. Math., Volume 49 (1973), pp. 93-99 | MR | DOI | Zbl
[29] The relationship between homological properties and representation theoretic realization of Artin algebras, Trans. Am. Math. Soc., Volume 357 (2005) no. 2, pp. 709-734 | DOI | MR | Zbl
[30] Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math., Volume 210 (2007) no. 1, pp. 22-50 | DOI | MR | Zbl
[31] Higher Auslander correspondence for dualizing -varieties, Algebr. Represent. Theory, Volume 20 (2017) no. 2, pp. 335-354 | DOI | MR | Zbl
[32] Projective injective modules, Pac. J. Math., Volume 9 (1959), pp. 1103-1108 | MR | DOI | Zbl
[33] -Abelian and -exact categories, Math. Z., Volume 283 (2016) no. 3-4, pp. 703-759 | DOI | MR | Zbl
[34] On -exact categories I: The existence and uniqueness of maximal -exact structures (2024) | arXiv | Zbl
[35] Functors on locally finitely presented additive categories, Colloq. Math., Volume 75 (1998) no. 1, pp. 105-132 | DOI | MR | Zbl
[36] Krull-Schmidt categories and projective covers, Expo. Math., Volume 33 (2015) no. 4, pp. 535-549 | DOI | MR | Zbl
[37] Homological theory of representations, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2022 no. 195, xxxiv+482 pages | MR | Zbl
[38] Axiomatizing subcategories of Abelian categories, J. Pure Appl. Algebra, Volume 226 (2022) no. 4, 106862, 27 pages | DOI | MR | Zbl
[39] Lectures on modules and rings, Graduate Texts in Mathematics, Springer, 1999 no. 189, xxiv+557 pages | DOI | MR
[40] A first course in noncommutative rings, Graduate Texts in Mathematics, Springer, 2001 no. 131, xx+385 pages | DOI | MR | Zbl
[41] Absolutely pure modules, Proc. Am. Math. Soc., Volume 18 (1967), pp. 155-158 | DOI | MR | Zbl
[42] Homological dimensions of finitely presented modules, Math. Scand., Volume 28 (1971), pp. 70-76 | DOI | MR | Zbl
[43] Absolutely pure modules, Proc. Am. Math. Soc., Volume 26 (1970), pp. 561-566 | DOI | MR | Zbl
[44] Rings with several objects, Adv. Math., Volume 8 (1972), pp. 1-161 | DOI | MR | Zbl
[45] Dominant dimension of semi-primary rings, J. Reine Angew. Math., Volume 232 (1968), pp. 173-179 | DOI | MR | Zbl
[46] The classification of algebras by dominant dimension, Can. J. Math., Volume 20 (1968), pp. 398-409 | DOI | MR | Zbl
[47] A counterexample to Raikov’s conjecture, Bull. Lond. Math. Soc., Volume 40 (2008) no. 6, pp. 985-994 | DOI | MR | Zbl
[48] The abelian closure of an exact category, J. Pure Appl. Algebra, Volume 224 (2020) no. 10, 106395, 29 pages | DOI | MR | Zbl
[49] Applications of the defect of a finitely presented functor, J. Algebra, Volume 465 (2016), pp. 137-169 | DOI | MR | Zbl
[50] Coherent rings and -injective modules, J. Lond. Math. Soc. (2), Volume 2 (1970), pp. 323-329 | DOI | MR | Zbl
[51] Quasi-Frobenius rings and generalizations. QF-3 and QF-1 rings, Lecture Notes in Mathematics, Springer, 1973 no. 351, xi+172 pages | MR | DOI | Zbl
Cited by Sources:
Comments - Policy
