ﻻ يوجد ملخص باللغة العربية
It has been conjectured that every $(2+1)$-TQFT is a Chern-Simons-Witten (CSW) theory labelled by a pair $(G,lambda)$, where $G$ is a compact Lie group, and $lambda in H^4(BG;Z)$ a cohomology class. We study two TQFTs constructed from Jones subfactor theory which are believed to be counterexamples to this conjecture: one is the quantum double of the even sectors of the $E_6$ subfactor, and the other is the quantum double of the even sectors of the Haagerup subfactor. We cannot prove mathematically that the two TQFTs are indeed counterexamples because CSW TQFTs, while physically defined, are not yet mathematically constructed for every pair $(G,lambda)$. The cases that are constructed mathematically include: 1. $G$ is a finite group--the Dijkgraaf-Witten TQFTs; 2. $G$ is torus $T^n$; 3. $G$ is a connected semi-simple Lie group--the Reshetikhin-Turaev TQFTs. We prove that the two TQFTs are not among those mathematically constructed TQFTs or their direct products. Both TQFTs are of the Turaev-Viro type: quantum doubles of spherical tensor categories. We further prove that neither TQFT is a quantum double of a braided fusion category, and give evidence that neither is an orbifold or coset of TQFTs above. Moreover, representation of the braid groups from the half $E_6$ TQFT can be used to build universal topological quantum computers, and the same is expected for the Haagerup case.
A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine
We develop a theory of Frobenius functors for symmetric tensor categories (STC) $mathcal{C}$ over a field $bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoi
We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $bf k$. If ${rm char}({bf k})=p>0$, we use this method to construct generalizations ${rm Ver}_{p^n}$, ${rm Ver}_
We consider algebras in a modular tensor category C. If the trace pairing of an algebra A in C is non-degenerate we associate to A a commutative algebra Z(A), called the full centre, in a doubled version of the category C. We prove that two simple al
This is an expanded version of the notes by the second author of the lectures on symmetric tensor categories given by the first author at Ohio State University in March 2019 and later at ICRA-2020 in November 2020. We review some aspects of the curre