頂点作用素余代数の余加群を分解する理論を構築する

Let $V$ be a graded vertex operator coalgebra and $\mathcal{C}$ the category of admissible $V$-comodules. We first give the construction of contragredient comodule of an admissible $V$-comodule. We then introduce cointertwining operators among admissible $V$-comodules. Using cointertwining operators, we define the cotensor decomposition of an admissible $V$-comodule by a universal property. Finally, we prove that the complexified Grothendieck group $\mathbb{K}[\mathcal{C}]=\mathbb{C}\otimes_{\mathbb{Z}}K[\mathcal{C}]$ is a cocommutative coassociative coalgebra. Moreover, this coalgebra is naturally dual to the fusion algebra of the category of admissible modules over the dual vertex operator algebra $V'$.