文摘
For a certain kind of tensor functor a763a" title="Click to view the MathML source">F:C→D, we define the relative modular object e663a5709915d8f53dca341a" title="Click to view the MathML source">χF∈D as the “difference” between a left adjoint and a right adjoint of F . Our main result claims that, if a702f7ffcd142642e6a1ef0fa12ae8" title="Click to view the MathML source">C and e67a3c2efacd9bfe39" title="Click to view the MathML source">D are finite tensor categories, then e605ff15b9e2d33b61fe546" title="Click to view the MathML source">χF can be written in terms of a categorical analogue of the modular function on a Hopf algebra. Applying this result to the restriction functor associated to an extension e65b4392e8ddf0f2296" title="Click to view the MathML source">A/B of finite-dimensional Hopf algebras, we recover the result of Fischman, Montgomery and Schneider on the Frobenius type property of e65b4392e8ddf0f2296" title="Click to view the MathML source">A/B. We also apply our results to obtain a “braided” version and a “bosonization” version of the result of Fischman et al.