On centers of bimodule categories and induction-restriction functors

Deshpande · math.QA,math.RT · 2016-11-14 · 原文

In this paper we study a toy categorical version of Lusztig's induction and restriction functors for character sheaves, but in the abstract setting of multifusion categories. Let \mathscr{C} be an indecomposable multifusion category and let \mathscr{M} be an invertible \mathscr{C}-bimodule category. Then the center \mathscr{Z}_{\mathscr{C}}(\mathscr{M}) of \mathscr{M} with respect to \mathscr{C} is an invertible module category over the Drinfeld center \mathscr{Z}(\mathscr{C}) which is a braided fusion category. Let ζ_{\mathscr{M}}:\mathscr{Z}_{\mathscr{C}}(\mathscr{M})\longrightarrow\mathscr{M} denote the forgetful functor and let χ_{\mathscr{M}}:\mathscr{M}\longrightarrow\mathscr{Z}_{\mathscr{C}}(\mathscr{M}) be its right adjoint functor. These functors can be considered as toy analogues of the restriction and induction functors used by Lusztig to define character sheaves on (possibly disconnected) reductive groups. In this paper we look at the relationship between the decomposition of the images of the simple objects under the above functors and the character tables of certain Grothendieck rings. In case \mathscr{C} is equipped with a spherical structure and

🔮 让 ChatGPT 全网深度追问

讲义

讲义·推断依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。

1. 人话版

In this paper we study a toy categorical version of Lusztig's induction and restriction functors for character sheaves, but in the abstract setting of multifusion categories.

Let \mathscr{C} be an indecomposable multifusion category and let \mathscr{M} be an invertible \mathscr{C}-bimodule category.

2. 领域脉络

本文类目：math.QA、math.RT，属于其所在研究脉络的最新进展。

3. 机制拆解

Then the center \mathscr{Z}_{\mathscr{C}}(\mathscr{M}) of \mathscr{M} with respect to \mathscr{C} is an invertible module category over the Drinfeld center \mathscr{Z}(\mathscr{C}) which is a braided fusion category.

Let ζ_{\mathscr{M}}:\mathscr{Z}_{\mathscr{C}}(\mathscr{M})\longrightarrow\mathscr{M} denote the forgetful functor and let χ_{\mathscr{M}}:\mathscr{M}\longrightarrow\mathscr{Z}_{\mathscr{C}}(\mathscr{M}) be its right adjoint functor.

These functors can be considered as toy analogues of the restriction and induction functors used by Lusztig to define character sheaves on (possibly disconnected) reductive groups.

4. 证据与数字

摘要未给出量化结果——留意原文的实验与数据。

5. 反例与边界

摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。

6. 跨领域连接与意外收获

横跨 2 个类目（math.QA、math.RT），关注其在你兴趣板块间的迁移面。

7. 可复用方法

把本文机制与你手头项目对照，找一个两周内能验证的最小实验。

8. 术语表

精读时把不熟的术语记入此处，作为下次回忆的锚点。