Framed Wilson Operators, Fermionic Strings, and Gravitational Anomaly in 4d

We study gapped systems with anomalous time-reversal symmetry and global gravitational anomaly in three and four spacetime dimensions. These systems describe topological order on the boundary of bosonic Symmetry Protected Topological (SPT) Phases. Our description of these phases is via the recent cobordism proposal for their classification. In particular, the behavior of these systems is determined by the geometry of Stiefel-Whitney classes. We discuss electric and magnetic operators defined by these classes, and new types of Wilson lines and surfaces that sit on their boundary. The lines describe fermionic particles, while the surfaces describe a sort of fermionic string. We show that QED with a fermionic monopole exhibits the 4d global gravitational anomaly and has a fermionic $\pi$-flux.Comment: 17 pages, 7 figures, comments encouraged; significantly reworked version, designed to reach a wider audience and with new sections on fermionic monopoles in 4d and Stiefel-Whitney operator

Electric-Magnetic Duality of Topological Gauge Theories from Compactification

In this note, we discuss electric-magnetic duality between a pair of 4d topological field theories (TQFTs) by considering their compactifications to 2 dimensions. These TQFTs control the long-distance behavior of loop and surface operators in 4d gauge theories with gapped phases. These were recently used in work by S. Gukov and A. Kapustin in detecting phases not distinguishable by the Wilson-'t Hooft criterion and by A. Kapustin and the author to construct discrete theta-angles for lattice Yang-Mills theories. The strong-weak duality is manifested in an exchange of dynamical and background degrees of freedom in the compactified TQFTs.Comment: 11 page

Intrinsic and emergent anomalies at deconfined critical points

It is well known that theorems of Lieb-Schultz-Mattis type prohibit the existence of a trivial symmetric gapped ground state in certain systems possessing a combination of internal and lattice symmetries. In the continuum description of such systems the Lieb-Schultz-Mattis theorem is manifested in the form of a quantum anomaly afflicting the symmetry. We demonstrate this phenomenon in the context of the deconfined critical point between a Neel state and a valence bond solid in an $S =1/2$ square lattice antiferromagnet, and compare it to the case of $S=1/2$ honeycomb lattice where no anomaly is present. We also point out that new anomalies, unrelated to the microscopic Lieb-Schultz-Mattis theorem, can emerge prohibiting the existence of a trivial gapped state in the immediate vicinity of critical points or phases. For instance, no translationally invariant weak perturbation of the $S = 1/2$ gapless spin chain can open up a trivial gap even if the spin-rotation symmetry is explicitly broken. The same result holds for the $S =1/2$ deconfined critical point on a square lattice.Comment: 25 pages + Appendice

Crystalline topological phases as defect networks

A crystalline topological phase is a topological phase with spatial symmetries. In this work, we give a very general physical picture of such phases: a topological phase with spatial symmetry $G$ (with internal symmetry $G_{\mathrm{int}} \leq G$) is described by a *defect network*: a $G$-symmetric network of defects in a topological phase with internal symmetry $G_{\mathrm{int}}$. The defect network picture works both for symmetry-protected topological (SPT) and symmetry-enriched topological (SET) phases, in systems of either bosons or fermions. We derive this picture both by physical arguments, and by a mathematical derivation from the general framework of [Thorngren and Else, Phys. Rev. X 8, 011040 (2018)]. In the case of crystalline SPT phases, the defect network picture reduces to a previously studied dimensional reduction picture, thus establishing the equivalence of this picture with the general framework of Thorngren and Else applied to crystalline SPTs.Comment: 13 pages + 2 pages of appendices. v3 published version, with better justification of the equivalence relatio