In the past decade, tremendous efforts have been made towards understanding fermionic symmetry protected topological (FSPT) phases in interacting systems. Nevertheless, for systems with continuum symmetry, e.g., electronic insulators, it is still unclear how to construct an exactly solvable model with a finite dimensional Hilbert space in general. In this paper, we give a lattice model construction and classification for 2D interacting electronic insulators. Based on the physical picture of U(1)_f-charge decorations, we illustrate the key idea by considering the well known 2D interacting topological insulator. Then we generalize our construction to an arbitrary 2D interacting electronic insulator with symmetry Gf=U(1)_f ⋊_{ρ_1,ω_2} G, where U(1)_f is the charge conservation symmetry and ρ_1,ω_2 are additional data which fully characterize the group structure of G_f. Finally we study more examples, including the full interacting classification of 2D crystalline topological insulators.

We give a transparent algebraic formulation of our pictorial approach to the reflection positivity (RP), that we introduced in a previous paper. We apply this quantization to the 2+1 Levin–Wen model to obtain 1+1 anyonic/quantum spin chain theory on the boundary, possibly entangled in the bulk. The reflection positivity property has played a central role in both mathematics and physics, as well as providing a crucial link between the two subjects. In a previous paper we gave a new geometric approach to understanding reflection positivity in terms of pictures. Here we give a transparent algebraic formulation of our pictorial approach. We use insights from this translation to establish the reflection positivity property for the fashionable Levin–Wen models with respect both to vacuum and to bulk excitations. We believe these methods will be useful for understanding a variety of other problems.

In this note we discuss a recent proof of the formula for the worldsheet instanton prepotential predicted by Mirror Symmetry for the quintics in <b>P</b>⁴. One of the key ingredients in the proof is the equivariant cohomology groups on the so-called linear sigma model moduli spaces. We introduce the notion of admissible data on the equivariant cohomology groups of the linear sigma model. An admissible data may be thought of as a sequence of equivariant classes satisfying certain algebraic conditions. It arises naturally from Kontsevich's stable map compactification of moduli spaces of maps from curves into projective manifolds. The structures of admissible data help reduce many counting problems to checking certain combinatorial structure of a compactification. The mirror transformation of Candelas et al turns out to be a transformation between two admissible data associated respectively to the linear and the non-linear

The original motivation for solving of the Einstein equation is to understand space-time in the absence of matter; see the essay by Tod in this volume for an overview of the mathematics of general relativity. The equation governs the manner in which space-time is inuenced by the sole force of gravity. As is well known, singularities such as black holes can occur. The study of the vacuum Einstein equations is a difficult problem in nonlinear hyperbolic systems; see the essay by Christodoulou in this volume. Complete space-times with nontrivial gravitational radiation are not well understood.

Detailed studies of four dimensional N= 2 superconformal field theories (SCFT) defined by isolated complete intersection singularities are performed: we compute the Coulomb branch spectrum, Seiberg-Witten solutions and central charges. Most of our theories have exactly marginal deformations and we identify the weakly coupled gauge theory descriptions for many of them, which involve (affine) D and E shaped quiver gauge theories and theories formed from Argyres-Douglas matters. These investigations provide strong evidence for the singularity approach in classifying 4d N= 2 SCFTs.