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.

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.

We investigate topological properties of Calabi-Yau four-folds and consider a wide class of explicit constructions in weighted projective spaces and, more generally, toric varieties. Divisors which lead to a non-perturbative superpotential in the effective theory have a very simple description in the toric construction. Relevant properties of them follow just by counting lattice points and can also be used to construct examples with negative Euler number. We study nets of transitions between cases with generically smooth elliptic fibres and cases with ADE gauge symmetries in the <i>N</i> = 1 theory due to degenerations of the fibre over codimension one loci in the base. Finally we investigate the quantum cohomology ring of this four-folds using Frobenius algebra.

We quantize a string in the de Sitter background, and we find that the mass spectrum is modified by a term which is quadratic in oscillating numbers, and also proportional to the square of the Hubble constant.

For spacetimes that are not asymptotic to anti-de Sitter Space (non AAdS), we adapt the Lewkowycz-Maldacena procedure to find the holographic entanglement entropy. The key observation, which to our knowledge is not very well appreciated, is that asymptotic boundary conditions play an essential role on extending the replica trick to the bulk. For non AAdS, we expect the following three main modifications: (1) the expansion near the special surface has to be compatible with the asymptotic expansion; (2) periodic conditions are imposed to coordinates on the phase space with diagonalized symplectic structure, not to all fields appearing in the action; (3) evaluating the entanglement functional using the boundary term method amounts to evaluating the presymplectic structure at the special surface, where some additional exact form may contribute. An explicit calculation is carried out for three-dimensional warped anti-de Sitter spacetime (WAdS3) in a consistent truncation of string theory, the so-called S-dual dipole theory. It turns out that the generalized gravitational entropy in WAdS3 is captured by the least action of a charged particle in WAdS3 space, or equivalently, by the geodesic length in an auxiliary AdS3. Consequently, the bulk calculation agrees with the CFT results, providing another piece of evidence for the WAdS3/CFT2 correspondence.