Interpolations of monoidal categories and algebraic structures by invariant theory

• Ehud Meir ^[1]
  1. [1] University of Aberdeen

     University of Aberdeen

     Reino Unido

     
• Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 29, Nº. 4, 2023
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)
• Resumen

  • In this paper we give a general construction of symmetric monoidal categories that generalizes Deligne’s interpolated categories, the categories introduced by Knop, and the recent TQFT construction of Khovanov, Ostrik, and Kononov. The categories we will consider are generated by an algebraic structure. In a previous work by the author a universal ring of invariants Ufor algebraic structures of a specific type was constructed. It was shown that any algebraic structure of this type in VecK gives rise to a character χ : U → K. In this paper we consider algebraic structure in general symmetric monoidal categories, not only in VecK , and general characters onU. From any character χ : U → K we construct a symmetric monoidal category Cχ , analogous to the universal construction from TQFT.We then give necessary and sufficient conditions for a given character to arise from a structure in an abelian category with finite dimensional hom-spaces. We call such characters good characters. We show that if χ is good then Cχ is abelian and semisimple, and that the set of good characters forms a Kalgebra. We also show that the categories Cχ contain all categories of the form Rep(G), where G is reductive. The construction of Cχ gives a way to interpolate algebraic structures, and also symmetric monoidal categories, in a way that generalizes Deligne’s categories Rep(St), Rep(GLt(K)), and Rep(Ot). We also explain how one can recover the recent construction of 2 dimensional TQFT of Khovanov, Ostrik, and Kononov, by the methods presented here. We give new examples, of interpolations of the categories Rep(AutO(M)) where O is a discrete valuation ring with a finite residue field, and M is a finite module over it. We also generalize the construction of wreath products with St , which was introduced by Knop.