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.

This article considers the quasi-local energy in reference to a general static spacetime. We follow the approach developed by the authors in [19, 20, 7, 9] and define the quasi-local energy as a difference of surface Hamiltonians, which are derived from the Einstein-Hilbert action. The new quasi-local energy provides an effective gauge independent measurement of how far a spacetime deviates away from the reference static spacetime on a finitely extended region.

Suppose V^G is the fixed-point vertex operator subalgebra of a compact group G acting on a simple abelian intertwining algebra V. We show that if all irreducible V^G-modules contained in V live in some braided tensor category of V^G-modules, then they generate a tensor subcategory equivalent to the category Rep G of finite-dimensional representations of G, with associativity and braiding isomorphisms modified by the abelian 3-cocycle defining the abelian intertwining algebra structure on V. Additionally, we show that if the fusion rules for the irreducible V^G-modules contained in V agree with the dimensions of spaces of intertwiners among G-modules, then the irreducibles contained in V already generate a braided tensor category of V^G-modules. These results do not require rigidity on any tensor category of V^G-modules and thus apply to many examples where braided tensor category structure is known to exist but rigidity is not known; for example they apply when V^G is C_2-cofinite but not necessarily rational. When V^G is both C_2-cofinite and rational and V is a vertex operator algebra, we use the equivalence between Rep G and the corresponding subcategory of V^G-modules to show that V is also rational. As another application, we show that a certain category of modules for the Virasoro algebra at central charge 1 admits a braided tensor category structure equivalent to Rep SU(2), up to modification by an abelian 3-cocycle.

Wehrl used Glauber coherent states to define a map from quantum density matrices to classical phase space densities and conjectured that for Glauber coherent states the mininimum classical entropy would occur for density matrices equal to projectors onto coherent states. This was proved by Lieb in 1978 who also extended the conjecture to Bloch SU(2) spin-coherent states for every angular momentum$J$. This conjecture is proved here. We also recall our 1991 extension of the Wehrl map to a quantum channel from J to $${K=J+\frac{1}{2}, J+1, ... ,}$$ with $${K=\infty}$$ corresponding to the Wehrl map to classical densities. These channels were later recognized as the optimal quantum cloning channels. For each$J$and $${J < K \leqslant \infty}$$ we show that the minimal output entropy for the channels occurs for a J coherent state. We also show that coherent states both Glauber and Bloch minimize any concave functional, not just entropy.

A two-dimensional chiral conformal field theory can be viewed mathematically as the representation theory of its chiral algebra, a vertex operator algebra. Vertex operator algebras are especially well suited for studying logarithmic conformal field theory (in which correlation functions have logarithmic singularities arising from non-semisimple modules for the chiral algebra) because of the logarithmic tensor category theory of Huang, Lepowsky, and Zhang. In this paper, we study not-necessarily-semisimple or rigid braided tensor categories C of modules for the fixed-point vertex operator subalgebra V^G of a vertex operator (super)algebra V with finite automorphism group G. The main results are that every V^G-module in C with a unital and associative V-action is a direct sum of g-twisted V-modules for possibly several g∈G, that the category of all such twisted V-modules is a braided G-crossed (super)category, and that the G-equivariantization of this braided G-crossed (super)category is braided tensor equivalent to the original category C of V^G-modules. This generalizes results of Kirillov and Müger proved using rigidity and semisimplicity. We also apply the main results to the orbifold rationality problem: whether V^G is strongly rational if V is strongly rational. We show that V^G is indeed strongly rational if V is strongly rational, G is any finite automorphism group, and V^G is C_2-cofinite.