Nilpotent Category of Abelian Category and Self-Adjoint Functors

Zhiwei Bai,Xiang Cao,Songtao Mao,Han Zhang,Yuehui Zhang
DOI: https://doi.org/10.1007/s11464-021-0212-6
2023-01-01
Abstract:Let C be an additive category. The nilpotent category Nil( C) of C , consists of object pairs (X, x) with X ∈ C,x ∈End_ C(X) such that xn = 0 for some positive integer n, and a morphism f: (X, x) → (Y, y) is f ∈Hom_ C(X,Y) satisfying fx = yf. A general theory of Nil( C) is established and it is abelian in the case that C is abelian. Two abelian categories are equivalent if and only if their nilpotent categories are equivalent, which generalizes a result in [Comm. Algebra, 2018, 46(7): 3062–3070]. As an application, it is proved that all self-adjoint functors are naturally isomorphic to Hom and Tensor functors over the category V of finite-dimensional vector spaces. Both Hom and Tensor can be naturally generalized to HOM and Tensor functor over Nil( V) . They are still self-adjoint, but intrinsically different.
What problem does this paper attempt to address?