チャーン・サイモンズ理論
More recent work on formalism for quantum field theory uses the idea of a factorization algebra to describe the local structure of quantum observables, such as the operator product expansion for conformal field theories. Using this language, Costello gave a rigorous construction of the Witten genus in elliptic cohomology, using a variant of Chern–Simons theory.