We study S duality of four dimensional N= 2 Argyres-Douglas (AD) theory engineered from 6d A_ {N-1}(2, 0) theory. We find a (p, q) sequence of SCFTs, here (p, q) is co-prime and class S theory defined on sphere corresponds to class (0, 1) theory. We represent these theories by a sphere with marked points, and S duality is interpreted as different pants decompositions of the same punctured sphere. The weakly coupled gauge theory description involves gauging AD matter which is represented by three punctured sphere.

In [1] it was observed that asymptotic boundary conditions play an important role in the study of holographic entanglement beyond AdS/CFT. In particular, the Ryu-Takayanagi proposal must be modified for warped AdS 3 (WAdS 3) with Dirichlet boundary conditions. In this paper, we consider AdS 3 and WAdS 3 with Dirichlet-Neumann bound-ary conditions. The conjectured holographic duals are warped conformal field theories (WCFTs), featuring a Virasoro-Kac-Moody algebra. We provide a holographic calculation of the entanglement entropy and Rényi entropy using AdS 3 /WCFT and WAdS 3 /WCFT du-alities. Our bulk results are consistent with the WCFT results derived by Castro-Hofman-Iqbal using the Rindler method. Comparing with [1], we explicitly show that the holographic entanglement entropy is indeed affected by boundary conditions. Both results differ from the Ryu-Takayanagi proposal, indicating new relations between spacetime geometry and quantum entanglement for holographic dualities beyond AdS/CFT.

Let V be a vertex operator algebra with a category C of (generalized) modules that has vertex tensor category structure, and thus braided tensor category structure, and let A be a vertex operator (super)algebra extension of V. We employ tensor categories to study untwisted (also called local) A-modules in C, using results of Huang-Kirillov-Lepowsky showing that A is a (super)algebra object in C and that generalized A-modules in C correspond exactly to local modules for the corresponding (super)algebra object. Both categories, of local modules for a C-algebra and (under suitable conditions) of generalized A-modules, have natural braided monoidal category structure, given in the first case by Pareigis and Kirillov-Ostrik and in the second case by Huang-Lepowsky-Zhang. Our main result is that the Huang-Kirillov-Lepowsky isomorphism of categories between local (super)algebra modules and extended vertex operator (super)algebra modules is also an isomorphism of braided monoidal (super)categories. Using this result, we show that induction from a suitable subcategory of V-modules to A-modules is a vertex tensor functor. We give two applications. First, we derive Verlinde formulae for regular vertex operator superalgebras and regular (1/2)ℤ-graded vertex operator algebras by realizing them as (super)algebra objects in the vertex tensor categories of their even and ℤ-graded components, respectively. Second, we analyze parafermionic cosets C=Com(V_L,V) where L is a positive definite even lattice and V is regular. If the category of either V-modules or C-modules is understood, then our results classify all inequivalent simple modules for the other algebra and determine their fusion rules and modular character transformations. We illustrate both directions with several examples.

Recent work explores the candidate phases of the 4d adjoint quantum chromodynamics (QCD$_4$) with an SU(2) gauge group and two massless adjoint Weyl fermions. Both Cordova-Dumitrescu and Bi-Senthil propose possible low energy 4d topological quantum field theories (TQFTs) to saturate the higher 't Hooft anomalies of adjoint QCD$_4$ under a renormalization-group (RG) flow from high energy. In this work, we generalize the symmetry-extension method [arXiv:1705.06728] to higher symmetries, and formulate higher group cohomology and cobordism theory approach to construct higher-symmetric TQFTs. We prove that the symmetry-extension method saturates certain anomalies, but also prove that neither $A \mathcal{P}_2(B_2)$ nor $\mathcal{P}_2(B_2)$ can be fully trivialized, with the background 1-form field $A$, Pontryagin square $\mathcal{P}_2$ and 2-form field $B_2$. Surprisingly, this indicates an obstruction to constructing a fully 1-form center and 0-form chiral symmetry (full discrete axial symmetry) preserving 4d TQFT with confinement, a no-go scenario via symmetry-extension for specific higher anomalies. We comment on the implications and constraints on deconfined quantum critical points (dQCP), quantum spin liquids (QSL) or quantum fermionic liquids in condensed matter, and ultraviolet-infrared (UV-IR) duality in 3+1 spacetime dimensions.

Let V⊆A be a conformal inclusion of vertex operator algebras and let 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 C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in 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.