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.

In a recent important breakthrough D. Christodoulou has solved a long standing problem of General Relativity of evolutionary formation of trapped surfaces in the Einstein-vacuum space-times. He has identified an open set of regular initial conditions on an outgoing null hypersurface (both finite and at past null infinity) leading to a formation a trapped surface in the corresponding vacuum space-time to the future of the initial outgoing hypersurface and another incoming null hypersurface with the prescribed Minkowskian data. In this paper we give a simpler proof for a finite problem by enlarging the admissible set of initial conditions and, consistent with this, relaxing the corresponding propagation estimates just enough that a trapped surface still forms. We also reduce the number of derivatives needed in the argument from two derivatives of the curvature to just one. More importantly, the proof, which can be easily localized with respect to angular sectors, has the potential for further developments.

No abstract uploaded!

Topological qauntum field theory(TQFT) is a very powerful theoretical tool to study topological phases and phase transitions. In 2+1D, it is well known that the Chern-Simons theory captures all the universal topological data of topological phases, e.g., quasi-particle braiding statistics, chiral central charge and even provides us a deep insight for the nature of topological phase transitions. Recently, topological phases of quantum matter are also intensively studied in 3+1D and it has been shown that loop like excitation obeys the so-called three-loop-braiding statistics. In this paper, we will try to establish a TQFT framework to understand the quantum statistics of particle and loop like excitation in 3+1D. We will focus on Abelian topological phases for simplicity, however, the general framework developed here is not limited to Abelian topological phases.

In this note, we study submanifold geometry of the Atiyah--Hitchin manifold, a double cover of the 2-monopole moduli space, which plays an important role in various settings such as the supersymmetric background of string theory. When the manifold is naturally identified as the total space of a line bundle over S^2, the zero section is a distinguished minimal 2-sphere of considerable interest. In particular, there has been a conjecture about the uniqueness of this minimal 2-sphere among all closed minimal 2-surfaces. We show that this minimal 2-sphere satisfies the ``strong stability condition" proposed in our earlier work, and confirm the global uniqueness as a corollary.