Virasoro OPE Blocks, Causal Diamonds, and Higher-Dimensional CFT

Problem Statement
In two-dimensional Conformal Field Theory (CFT), the exchange of multi-stress tensor operators between probe operators generates the Virasoro identity conformal block, a structure fixed by the infinite-dimensional Virasoro symmetry. However, the analogous organizing principles and explicit constructions for these objects in higher dimensions ($d > 2$) remain poorly understood. While the stress tensor sector in higher dimensions includes composite primary operators known as multi-stress tensors, explicit forms for these composite operators are generally unknown, and their contributions to correlators are difficult to organize without relying on specific lower-dimensional symmetries or holographic duals. The paper seeks to establish a CFT-based approach to organize the structure of multi-stress tensor operators and their contributions to four-point correlators, specifically aiming for a formalism that generalizes to higher dimensions without requiring prior knowledge of the underlying algebraic structure.

Methodology
The authors generalize the construction of "bilocal OPE blocks," which are non-local operators projecting two primary fields onto the conformal family of exchanged operators. The core methodology involves:

1. Shadow Operator Formalism: Utilizing shadow operators (formal auxiliary operators with dimension $d-\Delta$) to construct integral representations of OPE blocks.
2. Causal Diamond Integration: Restricting the integration of these shadow operators to nested causal diamonds defined by the timelike-separated insertion points of the primary operators. This restriction is crucial for automatically projecting out unphysical "shadow block" contributions that typically contaminate global integral representations.
3. Regularization Schemes:
   • Kernel Regularization ($\{ \cdot \}$): Subtracting short-distance singularities arising from the coincidence of shadow stress tensor operators to ensure the orthogonality of projectors onto different multi-stress tensor sectors.
   • Operator Regularization ($[ \cdot ]$): A prescription for regularized products of stress tensors $[T \cdots T]$ to handle divergences when stress tensors collide within the diamond integrals, ensuring the idempotence of the projectors.
4. Recursion Relations: Employing recursion relations derived from the Operator Product Expansion (OPE) of the stress tensor to efficiently compute the integration kernels involving multiple shadow stress tensor insertions.
5. Dimensional Generalization: Applying this framework first to $d=2$ to recover known Virasoro blocks, and then extending the construction to $d=3$ and $d=4$, focusing on the near-lightcone limit to simplify the tensor structures.

Key Contributions and Results

• Two-Dimensional Construction: The authors propose an explicit expression for the bilocal Virasoro identity OPE block as a sum over integrals of nested causal diamonds involving regularized products of shadow stress tensors and stress tensors.

  • They demonstrate that after integrating over anti-holomorphic coordinates, their construction exactly reproduces the semiclassical Virasoro OPE blocks derived previously using Chern-Simons Wilson line networks.
  • Crucially, this derivation does not rely on the Virasoro algebra or Chern-Simons theory, suggesting a more general CFT origin.
  • They explicitly compute the double-stress tensor contribution to a four-point correlator, recovering known results including $1/c$ quantum corrections and identifying the physical interpretation of subtracted terms as "graviton mixing" (analogous to $2 \to 1$ mixing in Virasoro mode bases).

• Higher-Dimensional Application ($d=3, 4$):

  • The formalism is applied to compute the single-stress tensor exchange contribution to a four-point correlator in the near-lightcone limit for $d=3$ and $d=4$.
  • In the lightcone limit ($x^- \to 0$), the authors show that the four-dimensional stress tensor effectively reduces to a "holomorphic" component ($T_{++}$) smeared over a transverse circle.
  • The resulting near-lightcone OPE block in $d=4$ exhibits a structure identical to the OPE block for the exchange of a spin-3 conserved current ($W_3$) in two-dimensional CFTs.
  • The construction automatically performs the necessary monodromy projection, yielding the correct physical correlator without spurious shadow contributions, a result not previously worked out in higher dimensions using this method.

• Effective Reparametrization Modes:

  • Drawing on the analogy between the $d=4$ lightcone OPE block and the $d=2$ spin-3 current exchange, the authors propose an effective description in terms of an auxiliary "spin-3" reparametrization mode in four dimensions.
  • This allows the non-local diamond integrals to be rewritten as un-integrated bilocal expressions involving this auxiliary field, providing a simplified computational framework for near-lightcone dynamics.

Significance
The paper claims to provide a new, symmetry-agnostic CFT approach for organizing multi-stress tensor exchanges. Its primary significance lies in:

1. Generalizability: Offering a construction that does not rely on the specific algebraic structures (like the Virasoro algebra) unique to $d=2$, thereby opening a pathway to study multi-stress tensor dynamics in higher-dimensional CFTs.
2. Automatic Projection: Demonstrating that the causal diamond prescription naturally eliminates unphysical shadow contributions, solving a persistent technical challenge in the shadow operator formalism.
3. Effective Theory Connection: Suggesting a potential effective field theory framework for quantum chaos and near-lightcone dynamics in higher dimensions, analogous to the Schwarzian theory in $d=2$, by identifying emergent "chiral" structures in the lightcone limit.

The authors remain modest regarding the scope, noting that while the single-stress tensor case is fully worked out, the extension to full multi-stress tensor blocks in higher dimensions and the rigorous derivation of the effective action for reparametrization modes in $d>2$ remain open challenges for future work.