Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHigher Categories and Topological Quantum Field Theories
80
0
0.0
(
0
)
Authors
Shawn X. Cui
Ask ChatGPT about the research
No Arabic abstract
We construct a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional topological quantum field theory (TQFT). The invariant of $4$-manifolds generalizes several known invariants in literature such as the Crane-Yetter invariant from a ribbon fusion category and Yetters invariant from homotopy $2$-types. If the $G$-BSFC is concentrated only at the sector indexed by the trivial group element, a cohomology class in $H^4(G,U(1))$ can be introduced to produce a different invariant, which reduces to the twisted Dijkgraaf-Witten theory in a special case. Although not proven, it is believed that our invariants are strictly different from other known invariants. It remains to be seen if the invariants are sensitive to smooth structures. It is expected that the most general input to the state-sum type construction of $(3+1)$-TQFTs is a spherical fusion $2$-category. We show that a $G$-BSFC corresponds to a monoidal $2$-category with certain extra structure, but that structure does not satisfy all the axioms of a spherical fusion $2$-category given by M. Mackaay. Thus the question of what axioms properly define a spherical fusion $2$-category is open.
rate research
Read More
We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.
The first author constructed a $q$-parameterized spherical category $sC$ over $mathbb{C}(q)$ in [Liu15], whose simple objects are labelled by all Young diagrams. In this paper, we compute closed-form expressions for the fusion rule of $sC$, using Littlewood-Richardson coefficients, as well as the characters (including a generating function), using symmetric functions with infinite variables.
Let $Vsubseteq A$ be a conformal inclusion of vertex operator algebras and let $mathcal{C}$ be a category of grading-restricted generalized $V$-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which $mathcal{C}$ inherits semisimplicity from the category of grading-restricted generalized $A$-modules in $mathcal{C}$, and vice versa. The most important condition is that $A$ be a rigid $V$-module in $mathcal{C}$ with non-zero categorical dimension, that is, we assume the index of $V$ as a subalgebra of $A$ is finite and non-zero. As a consequence, we show that if $A$ is strongly rational, then $V$ is also strongly rational under the following conditions: $A$ contains $V$ as a $V$-module direct summand, $V$ is $C_2$-cofinite with a rigid tensor category of modules, and $A$ has non-zero categorical dimension as a $V$-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that $A$ is a vertex operator superalgebra.
Let $mathcal{O}_c$ be the category of finite-length central-charge-$c$ modules for the Virasoro Lie algebra whose composition factors are irreducible quotients of reducible Verma modules. Recently, it has been shown that $mathcal{O}_c$ admits vertex algebraic tensor category structure for any $cinmathbb{C}$. Here, we determine the structure of this tensor category when $c=13-6p-6p^{-1}$ for an integer $p>1$. For such $c$, we prove that $mathcal{O}_{c}$ is rigid, and we construct projective covers of irreducible modules in a natural tensor subcategory $mathcal{O}_{c}^0$. We then compute all tensor products involving irreducible modules and their projective covers. Using these tensor product formulas, we show that $mathcal{O}_c$ has a semisimplification which, as an abelian category, is the Deligne product of two tensor subcategories that are tensor equivalent to the Kazhdan-Lusztig categories for affine $mathfrak{sl}_2$ at levels $-2+p^{pm 1}$. Next, as a straightforward consequence of the braided tensor category structure on $mathcal{O}_c$ together with the theory of vertex operator algebra extensions, we rederive known results for triplet vertex operator algebras $mathcal{W}(p)$, including rigidity, fusion rules, and construction of projective covers. Finally, we prove a recent conjecture of Negron that $mathcal{O}_c^0$ is braided tensor equivalent to the $PSL(2,mathbb{C})$-equivariantization of the category of $mathcal{W}(p)$-modules.
For every $infty$-category $mathscr{C}$, there is a homotopy $n$-category $mathrm{h}_n mathscr{C}$ and a canonical functor $gamma_n colon mathscr{C} to mathrm{h}_n mathscr{C}$. We study these higher homotopy categories, especially in connection with the existence and preservation of (co)limits, by introducing a higher categorical notion of weak colimit. Based on the idea of the homotopy $n$-category, we introduce the notion of an $n$-derivator and study the main examples arising from $infty$-categories. Following the work of Maltsiniotis and Garkusha, we define $K$-theory for $infty$-derivators and prove that the canonical comparison map from the Waldhausen $K$-theory of $mathscr{C}$ to the $K$-theory of the associated $n$-derivator $mathbb{D}_{mathscr{C}}^{(n)}$ is $(n+1)$-connected. We also prove that this comparison map identifies derivator $K$-theory of $infty$-derivators in terms of a universal property. Moreover, using the canonical structure of higher weak pushouts in the homotopy $n$-category, we define also a $K$-theory space $K(mathrm{h}_n mathscr{C}, mathrm{can})$ associated to $mathrm{h}_n mathscr{C}$. We prove that the canonical comparison map from the Waldhausen $K$-theory of $mathscr{C}$ to $K(mathrm{h}_n mathscr{C}, mathrm{can})$ is $n$-connected.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
