Abstract

In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state. In the traditional Landau theory, a symmetry group can break down to any subgroup. However, this no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topological orders (SETOs). For a SETO described by a G-crossed braided extension mathcal{C}subseteq {mathcal{C}}_G^{times } , we show that physical considerations require that a connected étale algebra A ∈ mathcal{C} admit a G-equivariant algebra structure for symmetry to be preserved under condensation of A. Given any categorical action G → EqBr( mathcal{C} ) such that g(A) ≅ A for all g ∈ G, we show there is a short exact sequence whose splittings correspond to G-equivariant algebra structures. The non-splitting of this sequence forces spontaneous symmetry breaking under condensation of A, while inequivalent splittings of the sequence correspond to different SETOs resulting from the anyon-condensation transition. Furthermore, we show that if symmetry is preserved, there is a canonically associated SETO of {mathcal{C}}_A^{mathrm{loc}} , and gauging this symmetry commutes with anyon condensation.

Highlights

  • According to Landau theory, in a physical system whose Hamiltonian preserves a symmetry group G, the symmetry of its ground state can spontaneously break down to any subgroup H ⊂ G

  • In a physical system undergoing a continuous quantum phase transition, spontaneous symmetry breaking occurs when certain symmetries of the Hamiltonian fail to be preserved in the ground state

  • In the traditional Landau theory, a symmetry group can break down to any subgroup. This no longer holds across a continuous phase transition driven by anyon condensation in symmetry enriched topological orders (SETOs)

Read more

Summary

Categorical group actions and levels of symmetry

For a (semisimple) tensor category C, Aut⊗(C) is the categorical group with End(∗) the set of tensor autoequivalences of C and 2-morphisms monoidal natural isomorphisms of tensor functors. For a (semisimple) braided tensor category C, Autb⊗r(C) is the categorical group with End(∗) the set of braided tensor autoequivalences of C and 2-morphisms monoidal natural isomorphisms of tensor functors. A G-crossed braided extension of C based on a categorical action (ρ, μ) : G → Autb⊗r(C) is a fusion category F equipped with the following structure:. For non-degenerately braided fusion categories, condensing O(G) and gauging a second level categorical G-symmetry (taking the equivariantization of a G-crossed braided extension) are mutually inverse; we refer the reader to [32, section 4] and [30] for more details. The recent article [35] provides an interesting step in this direction

Obstruction for equivariant algebras
The exact sequence associated to a G-stable algebra object
Exact sequences of groups and cohomology
The splitting obstruction and G-equivariance
Equivariant algebras and induced categorical actions
The induced action on CA
The induced action when C is non-degenerately braided
Induced actions on G-crossed braided extensions
Examples
Landau theory
Toric code
General stable actions
Symmetry which is automatically categorically preserved or broken
Etale algebras with trivial automorphism group
First level broken symmetry
Trivially unbroken symmetry
Application to algebraic quantum field theory
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call