Fusion of defects

Conformal nets provide a mathematical model for conformal field theory. The authors define a notion of defect between conformal nets, formalizing the idea of an interaction between two conformal field theories. They introduce an operation of fusion of defects, and prove that the fusion of two defects is again a defect, provided the fusion occurs over a conformal net of finite index. There is a notion of sector (or bimodule) between two defects, and operations of horizontal and vertical fusion of such sectors. The authors' most difficult technical result is that the horizontal fusion of the vacuum sectors of two defects is isomorphic to the vacuum sector of the fused defect. Equipped with this isomorphism, they construct the basic interchange isomorphism between the horizontal fusion of two vertical fusions and the vertical fusion of two horizontal fusions of sectors.