当前位置: X-MOL 学术J. reine angew. Math. › 论文详情
On the Frobenius functor for symmetric tensor categories in positive characteristic
Journal für die reine und angewandte Mathematik ( IF 1.486 ) Pub Date : 2020-10-08 , DOI: 10.1515/crelle-2020-0033
Pavel Etingof; Victor Ostrik

We develop a theory of Frobenius functors for symmetric tensor categories (STC) 𝒞 over a field 𝒌 of characteristic p, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoidal functor F:𝒞𝒞Verp, where Verp is the Verlinde category (the semisimplification of Rep𝐤(/p)); a similar construction of the underlying additive functor appeared independently in [K. Coulembier, Tannakian categories in positive characteristic, preprint 2019]. This generalizes the usual Frobenius twist functor in modular representation theory and also the one defined in [V. Ostrik, On symmetric fusion categories in positive characteristic, Selecta Math. (N.S.) 26 2020, 3, Paper No. 36], where it is used to show that if 𝒞 is finite and semisimple, then it admits a fiber functor to Verp. The main new feature is that when 𝒞 is not semisimple, F need not be left or right exact, and in fact this lack of exactness is the main obstruction to the existence of a fiber functor 𝒞Verp. We show, however, that there is a 6-periodic long exact sequence which is a replacement for the exactness of F, and use it to show that for categories with finitely many simple objects F does not increase the Frobenius–Perron dimension. We also define the notion of a Frobenius exact category, which is a STC on which F is exact, and define the canonical maximal Frobenius exact subcategory 𝒞ex inside any STC 𝒞 with finitely many simple objects. Namely, this is the subcategory of all objects whose Frobenius–Perron dimension is preserved by F. One of our main results is that a finite STC is Frobenius exact if and only if it admits a (necessarily unique) fiber functor to Verp. This is the strongest currently available characteristic p version of Deligne’s theorem (stating that a STC of moderate growth in characteristic zero is the representation category of a supergroup). We also show that a sufficiently large power of F lands in 𝒞ex. Also, in characteristic 2 we introduce a slightly weaker notion of an almost Frobenius exact category (namely, one having a fiber functor into the category of representations of the triangular Hopf algebra 𝒌[d]/d2 with d primitive and R-matrix R=11+dd), and show that a STC with Chevalley property is (almost) Frobenius exact. Finally, as a by-product, we resolve Question 2.15 of [P. Etingof and S. Gelaki, Exact sequences of tensor categories with respect to a module category, Adv. Math. 308 2017, 1187–1208].
更新日期:2020-10-20

 

全部期刊列表>>
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
3分钟学术视频演讲大赛
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
ACS Publications填问卷
阿拉丁试剂right
麻省大学
西北大学
湖南大学
华东师范大学
王要兵
浙江大学
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
陆军军医大学
李霄鹏
廖矿标
试剂库存
down
wechat
bug