Centers of categorified endomorphism rings (Q6164907)

This paper generalises a result on the equivalence of the weak and the strong centres of the monoidal category of A-bimodules established by \textit{A. L. Agore} et al. [J. Algebra Appl. 11, No. 6, Paper No. 1250102, 17 p. (2012; Zbl 1282.16039)]. The main results in this paper are Theorem 3.1. Let \(\mathcal{R}\) be a commutative \(2\)-ring, \(\mathcal{X}\) be a dualisable \(\mathcal{R}\)-module, and \(\mathcal{E} := \mathrm{End}_{\mathcal{R}} (\mathcal{X})\) be its endomorphism ring. Then, the canonical fully faithful inclusion \[Z(\mathcal{E}) \to WZ(\mathcal{E})\] of the Drinfeld centre of \(\mathcal{E}\) to its weak (right) centre is an equivalence. Corollary 3.4. Let \(\mathcal{R}\) be a commutative \(2\)-ring and \(\mathcal{X}\) be a \(2\)-\(\mathcal{R}\)-module with a strong generating set of small-projective objects. Then the weak centre of \[\mathcal{X} \boxtimes_\mathcal{R} \mathcal{X}^* \cong \mathrm{End}_{\mathcal{R}} (\mathcal{X})\] coincides with its strong centre. A crucial idea in establishing the main results is Eilenberg-Watts Theorem in [\textit{S. Eilenberg}, J. Indian Math. Soc., New Ser. 24, 231--234 (1961; Zbl 0100.26103)] and [\textit{C. E. Watts}, Proc. Am. Math. Soc. 11, 5--8 (1960; Zbl 0093.04101)], which implies that the monoidal category of \(A\)-bimodules is equivalent to the category of cocontinuous endofunctors on the category of left \(A\)-modules, where its monoidal structure can be identified with the endofunctor composition. Therefore, a natural way to generalise is to substitute certain endomorphism \(2\)-rings for the category of cocontinuous endofunctors on the category of left \(A\)-modules. More precisely, one can substitute certain nice category \(\mathcal{C}\), which has a dual \(\mathcal{C}^*\), for the category of left \(A\)-modules, and substitute the endomorphism \(2\)-ring \(\mathcal{C} \boxtimes \mathcal{C}^*\) for the category of cocontinuous endofunctors on \(\mathcal{C}\). The generalisation then given in the paper applies to several places. For instance, the theorem applies to the category of right comodules over a right-semi-perfect coalgebra, and also the category of quasi-coherent sheaves over the quotient stack \([X/G]\), where \(X\) is an affine scheme, and \(G\) is a virtually linearly reductive linear algebraic group acting on \(X\).