Determinant and rank functions in semisimple pivotal Ab-categories (Q6589705)

\textit{J. Chuang} and \textit{A. Lazarev} [J. Reine Angew. Math. 781, 127--164 (2021; Zbl 1484.18014)] defined rank functions in the context of triangulated categories. This paper introduces the concept of dominant rank for an object \(V\)\ of a \textit{semisimple} [\textit{V. Turaev} and \textit{H. Wenzl}, Math. Ann. 309, No. 3, 411--461 (1997; Zbl 0888.18001)] \textit{pivotal} category \(C\), using the fact [\textit{V. G. Turaev}, Quantum invariants of knots and 3-manifolds. 3rd edition. Berlin: Walter de Gruyter (2016; Zbl 1346.57002), Lemma 4.2.1] that for any two objects \(U\)\ and \(V\)\ of \(C\), \(Hom_{C}(U,V)\)\ is a finitely generated and projective module over the commutative ground ring \(End_{C}(I)\)\ of \(C\). Choulli, Draoui and Mouanis [\textit{H. Choulli} et al., Categ. Gen. Algebr. Struct. Appl. 17, No. 1, 203--232 (2022; Zbl 1511.18020)] categorified the classical determinants to semisimple ribbon categories, while \textit{W. C. Brown} [Matrices over commutative rings. New York: Marcel Dekker (1993; Zbl 0782.15001)] introduced the notion of McCoy rank as the best possible generalization of the classical ranks. The principal objective in this paper is to extend the above notions of determinental and McCoy ranks into the context of a semisimple pivotal category \(C\), taking advantage of the fact that to each endomorphism \(f\)\ of an object \(V\)\ of \(C\), there is associated a square matrix over the commutative ground ring \(End_{C}(I)\)\ of \(C\), with entries expressed by means of the quantum trace and dimension defined in the context.\N\NThe paper provides a sufficient condition for a Frobenius tensor (monoidal) functor [\textit{B. Day} and \textit{C. Pastro}, New York J. Math. 14, 733--742 (2008; Zbl 1178.18006)] to continue preserving traces. Furthermore, it is shown that strong tensor functors preserve also quantum determinants.