Operator product expansion for conformal defects
Masayuki Fukuda, Nozomu Kobayashi, Tatsuma Nishioka
TL;DR
The paper analyzes the operator product expansion for conformal defects of any codimension by organizing defect contributions into defect OPE blocks, each corresponding to a conformal multiplet of a primary operator and its descendants. It uses the shadow formalism to obtain an integral representation of these blocks and imposes a monodromy condition to project out shadow contributions, deriving Casimir and range-type constraint equations that the blocks satisfy on the defect moduli space. A Radon transform framework links the defect OPE blocks to local AdS bulk fields, yielding an inversion formula that reproduces the Euclidean HKLL reconstruction of bulk operators from boundary defect data. A duality between defects of complementary codimensions and a codimension-two defect–local-operator equivalence are established, extending the holographic dictionary for non-local objects in AdS/CFT and providing a unified OPE/defect-block perspective across codimensions.
Abstract
We study the operator product expansion (OPE) for scalar conformal defects of any codimension in CFT. The OPE for defects is decomposed into "defect OPE blocks", the irreducible representations of the conformal group, each of which packages the contribution from a primary operator and its descendants. We use the shadow formalism to deduce an integral representation of the defect OPE blocks. They are shown to obey a set of constraint equations that can be regarded as equations of motion for a scalar field propagating on the moduli space of the defects. By employing the Radon transform between the AdS space and the moduli space, we obtain a formula of constructing an AdS scalar field from the defect OPE block for a conformal defect of any codimension in a scalar representation of the conformal group, which turns out to be the Euclidean version of the HKLL formula. We also introduce a duality between conformal defects of different codimensions and prove the equivalence between the defect OPE block for codimension-two defects and the OPE block for a pair of local operators.
