PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
February 14, 2026Forum of Mathematics Pi0 citationsOpen Access

Rigidity of non-negligible objects of moderate growth in braided categories

PEPavel EtingofDPDave Penneys

Key Points

  • The research aims to establish the conditions under which non-negligible objects in braided categories are rigid.
  • Utilized finite-dimensional morphism spaces within a Cauchy complete braided category.
  • Proved rigidity criteria for indecomposable and non-negligible objects.
  • Simplified previous proofs related to representation categories and modular functor structures.
  • Demonstrated that non-negligible objects with certain dimensional constraints are automatically rigid.
  • Established that a semisimple category with moderate growth is also rigid.
  • Identified the equivalence between modular functor data and modular fusion category structures.

Abstract

Abstract Let k be a field, and let C be a Cauchy complete k -linear braided category with finite-dimensional morphism spaces and. We call an indecomposable object X of C non-negligible if there exists Y C such that is a direct summand of Y X. We prove that every non-negligible object X C such that End (X^ n) <n! for some n is automatically rigid. In particular, if C is semisimple of moderate growth and weakly rigid, then C is rigid. As applications, we simplify Huang’s proof of rigidity of representation categories of certain vertex operator algebras, and we get that for a finite semisimple monoidal category C, the data of a C -modular functor is equivalent to a modular fusion category structure on C, answering a question of Bakalov and Kirillov. Furthermore, we show that if C is rigid and has moderate growth, then the quantum trace of any nilpotent endomorphism in C is zero. Hence C admits a semisimplification, which is a semisimple braided tensor category of moderate growth. Finally, we discuss rigidity in braided r-categories which are not semisimple, which arise in logarithmic conformal field theory. These results allow us to simplify a number of arguments of Kazhdan and Lusztig.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Etingof et al. (2026) studied this question.

synapsesocial.com/papers/699011b32ccff479cfe58971https://doi.org/10.1017/fmp.2025.10020
Ask AI
Helpful
Bookmark
Share
View Full Paper