In this paper we give a proposal for mirrors to (0,2) supersymmetric gauged linear sigma models (GLSMs), for those (0,2) GLSMs which are deformations of (2,2) GLSMs. Specifically, we propose a construction of (0,2) mirrors for (0,2) GLSMs with E terms that are linear and diagonal, reducing to both the Hori-Vafa prescription as well as a recent (2,2) nonabelian mirrors proposal on the (2,2) locus. For the special case of abelian (0,2) GLSMs, two of the authors have previously proposed a systematic construction, which is both simplified and generalized by the proposal here.

We study BPS states of 5d N=1 SU(2) Yang-Mills theory on S^1×R^4. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface F_0. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle interpolates smoothly with the spectrum of 4d N=2 Seiberg-Witten theory, recovering spectral networks in the limit.

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.

The classification and lattice model construction of symmetry-protected topological (SPT) phases in interacting fermion systems are very interesting but challenging. In this paper, we give a systematic fixed-point wave function construction of fermionic SPT (FSPT) states for generic fermionic symmetry group G_f = \mathbb{Z}^f_2 ×_{ω_2} G_b which is a central extension of bosonic symmetry group Gb (may contain time-reversal symmetry) by the fermion parity symmetry group \mathbb{Z}^f_2 = {1,P_f}. Our construction is based on the concept of an equivalence class of finite-depth fermionic symmetric local unitary transformations and decorating symmetry domain wall picture, subjected to certain obstructions. We also discuss the systematical construction and classification of boundary anomalous SPT states which leads to a trivialization of the corresponding bulk FSPT states. Thus, we conjecture that the obstruction-free and trivialization-free constructions naturally lead to a classification of FSPT phases. Each fixed-point wave function admits an exactly solvable commuting-projector Hamiltonian. We believe that our classification scheme can be generalized to point and space group symmetry as well as continuum Lie group symmetry.

In this work we investigate the decorated domain wall construction in bosonic group-cohomology symmetry-protected topological (SPT) phases and related quantum anomalies in bosonic topological phases. We first show that a general decorated domain wall construction can be described mathematically as an Atiyah-Hirzebruch spectral sequence, where the terms on the E2 page correspond to decorations by lower-dimensional SPT states at domain wall junctions. For bosonic group-cohomology SPT phases, the spectral sequence becomes the Lyndon-Hochschild-Serre (LHS) spectral sequence for ordinary group cohomology. We then discuss the physical interpretations of the differentials in the spectral sequence, particularly in the context of anomalous SPT phases and symmetry-enriched gauge theories. As the main technical result, we obtain a full description of the LHS spectral sequence concretely at the cochain level. The explicit formulae are then applied to explain Lieb-Schultz-Mattis theorems for SPT phases, and also derive a new LSM theorem for easy-plane spin model in a π flux lattice. We also revisit the classifications of symmetry-enriched 2D and 3D Abelian gauge theories using our results.