Wess-Zumino-Witten model in nLab

Contents

Contents

Idea

The Wess-Zumino-Witten model (or WZW model for short, also called Wess-Zumino-Novikov-Witten model, or short WZNW model) is a 2-dimensional sigma-model quantum field theory whose target space is a Lie group.

This may be regarded as the boundary theory of Chern-Simons theory for Lie group GG.

The vertex operator algebras corresponding to the WZW model are current algebras.

Action functional

For GG a Lie group, the configuration space of the WZW over a 2-dimensional manifold Σ\Sigma is the space of smooth functions g:Σ→Gg : \Sigma \to G.

The action functional of the WZW sigma-model is the sum of two terms, a kinetic term and a topological term

S WZW=S kin+S top. S_{WZW} = S_{kin} + S_{top} \,.

Kinetic term

The Lie group canonically carries a Riemannian metric and the kinetic term is the standard one for sigma-models on Riemannian target spaces.

Topological term – WZW term

For the 2d WZW model

In higher differential geometry, then given any closed differential (p+2)-form ω∈Ω cl p+2(X)\omega \in \Omega^{p+2}_{cl}(X), it is natural to ask for a prequantization of it, namely for a circle (p+1)-bundle with connection ∇\nabla (equivalently: cocycle in degree-(p+2)(p+2)-Deligne cohomology) on XX whose curvature is F ∇=ωF_\nabla = \omega. In terms of moduli stacks this means asking for lifts of the form

B p+1U(1) conn ∇↗ ↓ F (−) X ⟶ω Ω cl p+2 \array{ && \mathbf{B}^{p+1}U(1)_{conn} \\ &{}^{\mathllap{\nabla}}\nearrow& \downarrow^{\mathrlap{F_{(-)}}} \\ X &\stackrel{\omega}{\longrightarrow}& \mathbf{\Omega}^{p+2}_{cl} }

in the homotopy theory of smooth homotopy types.

This immediately raises the question for natural classes of examples of such prequantizations.

One such class arises in infinity-Lie theory, where ω\omega is a left invariant form on a smooth infinity-group given by a cocycle in L-infinity algebra cohomology. The prequantum n-bundles arising this way are the higher WZW terms discussed here.

In low degree of traditional Lie theory this appears as follows: On Lie groups GG, those closed (p+2)(p+2)-forms ω\omega which are left invariant forms may be identified, via the general theory of Chevalley-Eilenberg algebras, with degree (p+2)(p+2)-cocycles μ\mu in the Lie algebra cohomology of the Lie algebra 𝔤\mathfrak{g} corresponding to GG. These in turn may arise, via the van Est map, as the Lie differentiation of a degree-(p+2)(p+2)-cocycle c:BG→B p+2U(1)\mathbf{c} \colon \mathbf{B}G \to \mathbf{B}^{p+2}U(1) in the Lie group cohomology of GG itself, with coefficients in the circle group U(1)U(1).

This happens to be the case notably for GG a simply connected compact semisimple Lie group such as SU or Spin, where μ=⟨−,[−,−]⟩\mu = \langle -,[-,-]\rangle is the Lie algebra 3-cocycle in transgression with the Killing form invariant polynomial ⟨−,−⟩\langle -,-\rangle. This is, up to normalization, a representative of the de Rham image of a generator c\mathbf{c} of H 3(BG,U(1))≃H 4(BG,ℤ)≃ℤH^3(\mathbf{B}G, U(1)) \simeq H^4(B G, \mathbb{Z}) \simeq \mathbb{Z}.

Generally, by the discussion at geometry of physics – principal bundles, the cocycle c\mathbf{c} modulates an infinity-group extension which is a circle p-group-principal infinity-bundle

B pU(1) ⟶ G^ ↓ G ⟶Ωc B p+1U(1) \array{ \mathbf{B}^p U(1) &\longrightarrow& \hat G \\ && \downarrow \\ && G &\stackrel{\Omega\mathbf{c}}{\longrightarrow}& \mathbf{B}^{p+1}U(1) }

whose higher Dixmier-Douady class class ∫Ωc∈H p+2(X,ℤ) \int \Omega \mathbf{c} \in H^{p+2}(X,\mathbb{Z}) is an integral lift of the real cohomology class encoded by ω\omega under the de Rham isomorphism. In the example of Spin and p=1p = 1 this extension is the string 2-group.

Such a Lie theoretic situation is concisely expressed by a diagram of smooth homotopy types of the form

⟶ B p+1U(1) Ωc↗ ⇙ ≃ ↓ θ B pU(1) G ⟶ω Ω cl p+2 ⟶ ♭ dRB p+2ℝ, \array{ && &\longrightarrow& \mathbf{B}^{p+1}U(1) \\ &{}^{\mathllap{\Omega \mathbf{c}}}\nearrow& &\swArrow_\simeq& \downarrow^{\mathrlap{\theta_{\mathbf{B}^p U(1)}}} \\ G &\stackrel{\omega}{\longrightarrow}& \mathbf{\Omega}_{cl}^{p+2} &\stackrel{}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} } \,,

where ♭ dRB p+2ℝ≃♭ dRB p+2U(1)\flat_{dR}\mathbf{B}^{p+2}\mathbb{R} \simeq \flat_{dR}\mathbf{B}^{p+2}U(1) is the de Rham coefficients (see also at geometry of physics – de Rham coefficients) and where the homotopy filling the diagram is what exhibits ω\omega as a de Rham representative of Ωc\Omega \mathbf{c}.

Now, by the very homotopy pullback-characterization of the Deligne complex B p+1U(1) conn\mathbf{B}^{p+1}U(1)_{conn} (here), such a diagram is equivalently a prequantization of ω\omega:

B p+1U(1) conn ⟶ B p+1U(1) ∇↗ ↓ ⇙ ≃ ↓ θ B pU(1) G ⟶ω Ω cl p+2 ⟶ ♭ dRB p+2ℝ. \array{ && \mathbf{B}^{p+1}U(1)_{conn} &\longrightarrow& \mathbf{B}^{p+1}U(1) \\ &{}^\mathllap{\nabla}\nearrow& \downarrow &\swArrow_\simeq& \downarrow^{\mathrlap{\theta_{\mathbf{B}^p U(1)}}} \\ G &\stackrel{\omega}{\longrightarrow}& \mathbf{\Omega}_{cl}^{p+2} &\stackrel{}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} } \,.

For ω=⟨−,[−,−]⟩\omega = \langle -,[-,-]\rangle as above, we have p=1p= 1 and so ∇\nabla here is a circle 2-bundle with connection, often referred to as a bundle gerbe with connection. As such, this is also known as the WZW gerbe or similar.

This terminology arises as follows. In (Wess-Zumino 71) the sigma-model for a string propagating on the Lie group GG was considered, with only the standard kinetic action term. Then in (Witten 84) it was observed that for this action functional to give a conformal field theory after quantization, a certain higher gauge interaction term has to the added. The resulting sigma-model came to be known as the Wess-Zumino-Witten model or WZW model for short, and the term that Witten added became the WZW term. In terms of string theory it describes the propagation of the string on the group GG subject to a force of gravity given by the Killing form Riemannian metric and subject to a B-field higher gauge force whose field strength is ω\omega. In (Gawedzki 87) it was observed that when formulated properly and generally, this WZW term is the surface holonomy functional of a connection on a bundle gerbe ∇\nabla on GG. This is equivalently the ∇\nabla that we just motivated above.

Later WZW terms, or at least their curvature forms ω\omega, were recognized all over the place in quantum field theory. For instance the Green-Schwarz sigma-models for super p-branes each have an action functional that is the sum of the standard kinetic action plus a WZW term of degree p+2p+2.

In general WZW terms are “gauged” which means, as we will see, that they are not defined on the give smooth infinity-group GG itself, but on a bundle G˜\tilde G of differential moduli stacks over that group, such that a map Σ→G˜\Sigma \to \tilde G is a pair consisting of a map Σ→G\Sigma \to G and of a higher gauge field on Σ\Sigma (a “tensor multiplet” of fields).

Generally

The following (FSS 12, dcct) is a general axiomatization of WZW terms in cohesive homotopy theory.

In an ambient cohesive (∞,1)-topos H\mathbf{H}, let 𝔾\mathbb{G} be a sylleptic ∞-group, equipped with a Hodge filtration, hence in particular with a chosen morphism

ι:Ω cl 2(−,𝔾)⟶♭ dRB 2𝔾 \iota \colon \mathbf{\Omega}^2_{cl}(-,\mathbb{G}) \longrightarrow \flat_{dR} \mathbf{B}^2 \mathbb{G}

to its de Rham coefficients

Properties

Equations of motion

The variational derivative of the WZW action functional is

δS WZW(g)=−k2πi∫ Σ⟨(g −1δg),∂(g −1∂¯g)⟩. \delta S_{WZW}(g) = -\frac{k}{2 \pi i } \int_\Sigma \langle (g^{-1}\delta g), \partial (g^{-1}\bar \partial g) \rangle \,.

Therefore the classical equations of motion for function g:Σ→Gg \colon \Sigma \to G are

∂(g −1∂¯g)=0⇔∂¯(g∂g −1)=0. \partial(g^{-1}\bar \partial g) = 0 \;\;\;\;\;\; \Leftrightarrow \;\;\;\;\;\; \bar \partial(g \partial g^{-1}) = 0 \,.

The space of solutions to these equations is small. However, discussion of the quantization of the theory (below) suggests to consider these equations with the real Lie group GG replaced by its complexification to the complex Lie group G(ℂ)G({\mathbb{C}}). Then the general solution to the equations of motion above has the form

g(z,z¯)=g ℓ(z)g r(z¯) −1 g(z,\bar z) = g_{\ell}(z) g_r(\bar z)^{-1}

where hence g ℓ:Σ→G(ℂ)g_{\ell} \colon \Sigma \to G(\mathbb{C}) is any holomorphic function and g rg_r similarly any anti-holomorphic function.

(e.g. Gawedzki 99 (3.18), (3.19))

Holography and Rigorous construction

By the AdS3-CFT2 and CS-WZW correspondence (see there for more details) the 2d WZW CFT on GG is related to GG-Chern-Simons theory in 3d3d.

In fact a rigorous constructions of the GG-WZW model as a rational 2d CFT is via the FRS-theorem on rational 2d CFT, which constructs the model as a boundary field theory of the GG-Chern-Simons theory as a 3d TQFT incarnated via a Reshetikhin-Turaev construction.

D-branes for the WZW model

The characterization of D-brane submanifolds for the open string WZW model on a Lie group GG comes from two consistency conditions:

1. geometrical condition:

   For the open string CFT to still have current algebra worldsheet symmetry, hence for half the current algebra symmetry of the closed WZW string to be preserved, the D-brane submanifolds need to be conjugacy classes of the group manifold (see e.g. Alekseev-Schomerus for a brief review and further pointers). These conjugacy classes are therefore also called the symmetric D-branes.

   Notice that these conjugacy classes are equivalently the leaves of the foliation induced by the canonical Cartan-Dirac structure on GG, hence (by the discussion at Dirac structure), the leaves induced by the Lagrangian sub-Lie 2-algebroids of the Courant Lie 2-algebroid which is the higher gauge groupoid (see there) of the background B-field on GG.(It has been suggested by Chris Rogers that such a foliation be thought of as a higher real polarization.)

2. cohomological condition:

   In order for the Kapustin-part of the Freed-Witten-Kapustin anomaly of the worldsheet action functional of the open WZW string to vanish, the D-brane must be equipped with a Chan-Paton gauge field, hence a twisted unitary bundle (bundle gerbe module) of some rank n∈ℕn \in \mathbb{N} for the restriction of the ambient B-field to the brane.

   For simply connected Lie groups only the rank-1 Chan-Paton gauge fields and their direct sums play a role, and their existence corresponds to a trivialization of the underlying BU(1)\mathbf{B}U(1)-principal 2-bundle (U(1)U(1)-bundle gerbe) of the restriction of the B-field to the brane. There is then a discrete finite collection of symmetric D-branes = conjugacy classes satisfying this condition, and these are called the integral symmetric D-branes. (Alekseev-Schomerus, Gawedzki-Reis). As observed in Alekseev-Schomerus, this may be thought of as identifying a D-brane as a variant kind of a Bohr-Sommerfeld leaf.

   More generally, on non-simply connected group manifolds there are nontrivial higher rank twisted unitary bundles/Chan-Paton gauge fields over conjugacy classes and hence the cohomological “integrality” or “Bohr-Sommerfeld”-condition imposed on symmetric D-branes becomes more refined (Gawedzki 04).

In summary, the D-brane submanifolds in a Lie group which induce an open string WZW model that a) has one current algebra symmetry and b) is Kapustin-anomaly-free are precisely the conjugacy class-submanifolds GG equipped with a twisted unitary bundle for the restriction of the background B-field to the conjugacy class.

Quantization

on quantization of the WZW model, see at

• quantization of loop groups,

• equivariant elliptic cohomology

• quantization of Chern-Simons theory

• exponentiated pion field

• geometry of physics – WZW terms

• basic bundle gerbe

• current algebra, affine Lie algebra

• Knizhnik-Zamolodchikov equation

• coset WZW model

• gauged WZW model

• parameterized WZW model

• higher dimensional WZW model

• Green-Schwarz action functional

• analytically continued Wess-Zumino-Witten theory

• Gepner model

References

Introduction and survey

• Peter Goddard, David Olive, Kac-Moody and Virasoro algebras in relation to quantum physics, International Journal of Modern Physics A 01 02 (1986) 303-414 [doi:10.1142/S0217751X86000149, spire:18583]

Textbook accounts:

• Philippe Di Francesco, Pierre Mathieu, David Sénéchal, Part C of: Conformal field theory, Springer (1997) [doi:10.1007/978-1-4612-2256-9]

• Bojko Bakalov, Alexander Kirillov, Wess-Zumino-Witten model, chapter 7 of: Lectures on tensor categories and modular functors, University Lecture Series 21, Amer. Math. Soc. (2001) [pdf, web, ams:ulect/21]

• Ralph Blumenhagen, Erik Plauschinn, Chapter 3 of: Introduction to Conformal Field Theory – With Applications to String Theory, Lecture Notes in Physics 779, Springer (2009) [doi:10.1007/978-3-642-00450-6]

Lecture notes:

• Patrick Meessen, Strings Moving on Group Manifolds: The WZW Model [pdf, pdf]

• Lorenz Eberhardt, Wess-Zumino-Witten models, lecture notes at YRISW 2019: A modern primer for 2D CFT, Vienna (2019) [pdf, pdf]

A basic introduction also to the super-WZW model (and with an eye towards the corresponding 2-spectral triple) is in

• Jürg Fröhlich, Krzysztof Gawedzki, Conformal Field Theory and Geometry of Strings, extended lecture notes for lecture given at the Mathematical Quantum Theory Conference, Vancouver, Canada, August 4-8 (arXiv:hep-th/9310187)

A useful account of the WZW model that encompasses both its action functional and path integral quantization as well as the current algebra aspects of the QFT is in

• Krzysztof Gawędzki, Conformal field theory: a case study, in Y. Nutku, C. Saclioglu, T. Turgut (eds.) Conformal Field Theory – New Non-perturbative Methods In String And Field Theory, CRC Press (2000) [arXiv:hep-th/9904145, doi:10.1201/9780429502873]

This starts in section 2 as a warmup with describing the 1d QFT of a particle propagating on a group manifold. The Hilbert space of states is expressed in terms of the Lie theory of GG and its Lie algebra 𝔤\mathfrak{g}.

In section 4 the quantization of the 2d WZW model is discussed in analogy to that. In lack of a full formalization of the quantization procedure, the author uses the loop algebra 𝓁𝔤\mathcal{l} \mathfrak{g} – the affine Lie algebra – of 𝔤\mathfrak{g} as the evident analog that replaces 𝔤\mathfrak{g} and discusses the Hilbert space of states in terms of that. He also indicates how this may be understood as a space of sections of a (prequantum) line bundle over the loop group.

See also

• L. Fehér, L. O’Raifeartaigh, P. Ruelle, I. Tsutsui, A. Wipf, On Hamiltonian reductions of the Wess-Zumino-Novikov-Witten theories, Phys. Rep. 222 (1992), no. 1, 64 pp. MR93i:81225, doi

• Matthias Blau, George Thompson, Equivariant Kähler Geometry and Localization in the G/GG/G Model, Nucl. Phys. B 439 (1995) 367-394 [doi:10.1016/0550-3213(95)00058-Z, arXiv:hep-th/9407042]

  (supersymmetric and using group algebra)

• Krzysztof Gawedzki, Rafal Suszek, Konrad Waldorf, Global gauge anomalies in two-dimensional bosonic sigma models (arXiv:1003.4154)

• Paul de Fromont, Krzysztof Gawędzki, Clément Tauber, Global gauge anomalies in coset models of conformal field theory (arXiv:1301.2517)

Interpretation via CFT and gerbes

Interpretation of the 3d WZW term as defining a 2d CFT

• Edward Witten, Non-Abelian bosonization in two dimensions Commun. Math. Phys. 92, 455 (1984)

• Vadim Knizhnik, Alexander Zamolodchikov, Current algebra and Wess-Zumino model in two dimensions, Nucl. Phys. B 247, 83-103 (1984)

and hence as part of a perturbative string theory vacuum/target space

• Doron Gepner, Edward Witten, String theory on group manifolds, Nucl. Phys. B 278, 493-549 (1986) (spire:230076)

The WZ term on Σ 2\Sigma_2 was understood in terms of an integral of a 3-form over a cobounding manifold Σ 3\Sigma_3 in

• Edward Witten, Global aspects of current algebra, Nucl. Phys. B223, 422 (1983) (spire:13234, doi:10.1016/0550-3213(83)90063-9, pdf)

for the case that Σ 2\Sigma_2 is closed, and generally, in terms of surface holonomy of bundle gerbes/circle 2-bundles with connection in

• Krzysztof Gawedzki, Topological Actions in two-dimensional Quantum Field Theories, in Gerard 't Hooft et. al (eds.) Nonperturbative quantum field theory Cargese 1987 proceedings, (web)

• Giovanni Felder , Krzysztof Gawedzki, A. Kupianen, Spectra of Wess-Zumino-Witten models with arbitrary simple groups. Commun. Math. Phys. 117, 127 (1988)

• Krzysztof Gawedzki, Topological actions in two-dimensional quantum field theories. In: Nonperturbative quantum field theory. ‘tHooft, G. et al. (eds.). London: Plenum Press 1988

as the surface holonomy of a circle 2-bundle with connection. See also the references at B-field and at Freed-Witten anomaly cancellation.

See also

• Pierre Deligne, Daniel Freed, chapter 6 of Classical field theory (1999) (pdf)

  this is a chapter in

  P. Deligne, P. Etingof, D.S. Freed, L. Jeffrey, D. Kazhdan, J. Morgan, D.R. Morrison, E. Witten (eds.) Quantum Fields and Strings, A course for mathematicians, 2 vols. Amer. Math. Soc. Providence 1999. (web version)

For the fully general understanding as the surface holonomy of a circle 2-bundle with connection see the references below.

See also

• Edward Witten, On holomorphic factorization of WZW and coset models, Comm. Math. Phys. Volume 144, Number 1 (1992), 189-212. (Euclid)

Relation to gerbes and Chern-Simons theory

Discussion of circle 2-bundles with connection (expressed in terms of bundle gerbes) and discussion of the WZW-background B-field (WZW term) in this language (cf. basic bundle gerbe)

• Krzysztof Gawędzki, Nuno Reis, WZW branes and gerbes, Rev. Math. Phys. 14 (2002) 1281-1334 [arXiv:hep-th/0205233, doi:10.1142/S0129055X02001557]

• Christoph Schweigert, Konrad Waldorf, Gerbes and Lie Groups, in Trends and Developments in Lie Theory, Progress in Math., Birkhäuser (arXiv:0710.5467)

Discussion of how this 2-bundle arises from the Chern-Simons circle 3-bundle is in

• Alan Carey, Stuart Johnson, Michael Murray, Danny Stevenson, Bai-Ling Wang, Bundle gerbes for Chern-Simons and Wess-Zumino-Witten theories Commun.Math.Phys. 259 (2005) 577-613 (arXiv:math/0410013)

and related discussion is in

• Konrad Waldorf, Multiplicative Bundle Gerbes with Connection , Differential Geom. Appl. 28(3), 313-340 (2010) (arXiv:0804.4835)

See also Section 2.3.18 and section 4.7 of

• Urs Schreiber, differential cohomology in a cohesive topos (pdf slides).

Partition functions

• Terry Gannon, Partition Functions for Heterotic WZW Conformal Field Theories, Nucl.Phys. B402 (1993) 729-753 (arXiv:hep-th/9209042)

D-branes for the WZW model

A characterization of D-branes in the WZW model as those conjugacy classes that in addition satisfy an integrality (Bohr-Sommerfeld-type) condition missed in other parts of the literature is stated in

• Anton Alekseev, Volker Schomerus, D-branes in the WZW model, Phys.Rev.D60:061901,1999 (arXiv:hep-th/9812193v2)

The refined interpretation of the integrality condition as a choice of trivialization of the underling principal 2-bundle/bundle gerbe of the B-field over the brane was then noticed in section 7 of

• Krzysztof Gawedzki, Nuno Reis, WZW branes and gerbes, Rev.Math.Phys. 14 (2002) 1281-1334 (arXiv:hep-th/0205233)

The observation that this is just the special rank-1 case of the more general structure provided by a twisted unitary bundle of some rank nn on the D-brane (gerbe module) which is twisted by the restriction of the B-field to the D-brane – the Chan-Paton gauge field – is due to

• Krzysztof Gawedzki, Abelian and non-Abelian branes in WZW models and gerbes, Commun.Math.Phys. 258 (2005) 23-73 (arXiv:hep-th/0406072).

The observation that the “multiplicative” structure of the WZW-B-field (induced from it being the transgression of the Chern-Simons circle 3-connection over the moduli stack of GG-principal connections) induces the Verlinde ring fusion product structure on symmetric D-branes equipped with Chan-Paton gauge fields is discussed in

• Alan Carey, Bai-Ling Wang, Fusion of symmetric DD-branes and Verlinde rings, Commun. Math. Phys.277:577-625 (2008) (arXiv:math-ph/0505040)

The image in K-theory of these Chan-Paton gauge fields over conjugacy classes is shown to generate the Verlinde ring/the positive energy representations of the loop group in

• Eckhard Meinrenken, On the quantization of conjugacy classes, Enseign. Math. (2) 55 (2009), no. 1-2, 33-75 (arXiv:0707.3963)

Formalization of WZW terms in cohesive homotopy theory is in

• differential cohomology in a cohesive topos

Relation to dimensional reduction of Chern-Simons

One can also obtain the WZW-model by KK-reduction from Chern-Simons theory.

E.g.

• Matthias Blau, G. Thompson, Derivation of the Verlinde Formula from Chern-Simons Theory and the G/G model, Nucl.Phys. B408 (1993) 345-390 (arXiv:hep-th/9305010)

A discussion in higher differential geometry via transgression in ordinary differential cohomology is in

• Extended higher cup-product Chern-Simons theories

• A higher stacky perspective on Chern-Simons theory

Relation to extended TQFT

Relation to extended TQFT is discussed in

• Dan Freed, 4-3-2 8-7-6

For a formulation of the WZW term in the presence of D-branes as an open-closed smooth functorial field theory:

• Severin Bunk, Konrad Waldorf, Transgression of D-branes, Adv. Theor. Math. Phys. 25 5 (2021) 1095-1198 [arXiv:1808.04894, doi:10.4310/ATMP.2021.v25.n5.a1]

• Severin Bunk, Konrad Waldorf, Smooth functorial field theories from B-fields and D-branes, J. Homot. Rel. Struc. 16 1 (2021) 75-153 [doi:10.1007/s40062-020-00272-2, arXiv:1911.09990]

The formulation of the Green-Schwarz action functional for superstrings (and other branes of string theory/M-theory) as WZW-models (and ∞-WZW models) on (super L-∞ algebra L-∞ extensions of) the super translation group is in

• Domenico Fiorenza, Hisham Sati, Urs Schreiber, Super Lie n-algebra extensions, higher WZW models and super p-branes with tensor multiplet fields, International Journal of Geometric Methods in Modern Physics, Volume 12, Issue 02 (2015) 1550018 (arXiv:1308.5264)

In solid state physics

The low-energy physics of a Heisenberg antiferromagnetic spin chain is argued to be described by a WZW model in

• Zheng-Xin Liu, Guang-Ming Zhang, Classification of quantum critical states of integrable antiferromagnetic spin chains and their correspondent two-dimensional topological phases (arXiv:1211.5421)

See also section 7.10 of Fradkin’s book.

Discussion of symmetry protected topological order phases of matter in solid state physics via higher dimensional WZW models is in

• Xie Chen, Zheng-Cheng Gu, Zheng-Xin Liu, Xiao-Gang Wen, Symmetry protected topological orders and the group cohomology of their symmetry group, Phys. Rev. B 87, 155114 (2013) arXiv:1106.4772; A short version in Science 338, 1604-1606 (2012) pdf