OPE in a generally covariant form

This paper proposes a generally covariant formulation of the operator product expansion in D-dimensional Euclidean conformal field theories by organizing the series in powers of geodesic distance and utilizing tangent vectors for tensor contractions, explicitly demonstrating that universal curvature terms, such as those involving the Schouten tensor, arise in the expansion and are essential for conformal perturbation theory on curved spaces.

The Gist

Imagine you are a physicist trying to understand how two tiny particles interact. In the flat, empty universe of standard physics (like a perfectly smooth, infinite sheet of paper), we have a very reliable rulebook called the Operator Product Expansion (OPE).

Think of the OPE as a "magnifying glass" rule. If you bring two particles very close together, you don't need to know the messy details of their collision. Instead, you can replace the pair with a single, simpler "summary" particle, plus a few correction terms that get smaller and smaller the closer you get. It's like saying, "If two cars crash at high speed, the result looks a lot like a single, massive wrecking ball, with some debris flying off."

The Problem: The World Isn't Flat
The problem is that our universe (and the mathematical spaces we study in quantum physics) isn't always a flat sheet of paper. Sometimes, space is curved, like the surface of a sphere or a saddle.

In the past, physicists had to do the math on a flat sheet and then try to "warp" the results to fit a curved surface. It was like trying to use a map of a flat city to navigate a mountain range; the distances and directions get distorted, and the old rules break down.

The Solution: A New Compass
Anatoly Konechny's paper proposes a new way to write these rules that works naturally on any shape, whether it's flat, curved, or twisted.

Here is the core idea, broken down with analogies:

1. The "Geodesic" Shortcut

In a curved world, the shortest path between two points isn't a straight line; it's a curve called a geodesic.

• The Old Way: Measured distance as a straight line through the air (which doesn't exist on a curved surface).
• The New Way: Measure the distance by walking along the surface itself.
  Konechny suggests organizing the math based on the geodesic distance (the walking distance) rather than a straight line.

2. The "Tangent Vector" Arrow

When you are walking along a curved path, you have a direction you are facing at every step. This is the tangent vector.

• The Analogy: Imagine you are walking on a globe. Even though the ground curves under your feet, at your exact location, you are walking "straight" in a specific direction.
  The paper suggests using this local direction arrow to align the math. Instead of using fixed coordinates (like "North" and "East" on a flat map), the math uses the local "forward" direction of the path. This keeps the rules consistent no matter how the space bends.

3. The "Curvature" Surprise

The most exciting discovery in the paper is what happens when space is curved.
In flat space, the "summary" of two particles interacting is just a simple list of other particles. But in curved space, the shape of the space itself starts to matter.

• The Metaphor: Imagine you are trying to predict how two magnets interact. On a flat table, they just attract or repel. But if you put them on a bumpy, wavy trampoline, the shape of the trampoline changes how they feel each other.
• The Discovery: Konechny found that for the simplest interaction (the "identity channel"), the curvature of space introduces a new term proportional to something called the Schouten tensor.
  • Think of the Schouten tensor as a "curvature fingerprint." It tells you exactly how the space is bending at that specific point.
  • The paper proves that this fingerprint term is universal. It doesn't matter what specific curved surface you are on; if the space is curved, this term must appear in the interaction rules.

4. Why Does This Matter? (The "Cylinder" Example)

The author tests this new rule on a specific shape: a cylinder (like a toilet paper roll).

• In the old way, calculating how particles interact on a cylinder was messy and required complex adjustments.
• Using the new "curved space" rule, the calculation becomes much cleaner. The extra "curvature term" (the Schouten tensor) perfectly explains the small corrections seen in the cylinder's physics.

The Big Picture

This paper is like upgrading the GPS in your car.

• Old GPS: Only worked on flat roads. If you drove into a mountain, the directions were wrong, and you had to manually calculate the detours.
• New GPS (This Paper): Understands curves, hills, and valleys natively. It automatically adjusts the "rules of the road" based on the shape of the terrain.

In summary:
Konechny has rewritten the fundamental rulebook for how particles interact in curved spaces. By measuring distance along the curve (geodesics) and using local direction arrows (tangent vectors), he discovered that the curvature of space itself acts like a new ingredient in the recipe. This makes it much easier for physicists to study quantum fields on complex shapes, which is crucial for understanding things like black holes, the early universe, and advanced materials.

Technical Summary

Here is a detailed technical summary of the paper "OPE in a generally covariant form" by Anatoly Konechny.

1. Problem Statement

The Operator Product Expansion (OPE) is a cornerstone of Conformal Field Theory (CFT), typically formulated on flat Euclidean space ($\mathbb{R}^D$). In flat space, the OPE of two scalar primary fields $O_i(x_1)$ and $O_j(x_2)$ is organized as a sum over scaling fields $O_k$ contracted with c-number tensors constructed from the unit vector $\hat{x}_{12} = (x_1 - x_2)/|x_1 - x_2|$.

The paper addresses the challenge of generalizing this expansion to curved manifolds with a general metric $g_{\mu\nu}$. Specifically, it seeks to:

• Formulate the OPE in a generally covariant manner, independent of coordinate choices.
• Determine how curvature affects the subleading terms in the OPE, particularly for the identity channel.
• Provide a framework for conformal perturbation theory on curved spaces (e.g., cylinders), where singularities in correlation functions must be understood in terms of geometric invariants.

2. Methodology

The author employs a combination of Weyl rescaling techniques, geodesic expansions, and covariant matching to derive the general form of the OPE.

A. Covariant Organization

Instead of using the flat-space unit vector, the proposed OPE is organized in powers of the geodesic distance $\hat{d} = \hat{d}(x_1, x_2)$ between insertion points. The expansion utilizes:

• The tangent vector $\hat{t}^\mu$ to the geodesic at the expansion point $x_1$.
• Covariant tensors constructed from the metric $\hat{g}_{\mu\nu}$, the Riemann curvature tensor, and $\hat{t}^\mu$.

The general ansatz for the OPE is:
$$O_i(x_1)O_j(x_2) = \sum_k \sum_{N=0}^\infty \frac{\hat{C}^{(k,N)}_{ij}}{\hat{d}^{\Delta_i+\Delta_j-\Delta_k-N}} \hat{P}^{\nu_1...\nu_r}_N(\hat{t}^\mu, \hat{g}_{\alpha\beta}) O^{(k)}_{\nu_1...\nu_r}(x_1)$$

B. Derivation via Conformal Flatness

To calculate the specific coefficients of the curvature terms, the author assumes the manifold is conformally flat ($\hat{g}_{\mu\nu} = \Lambda^2(x)\delta_{\mu\nu}$).

1. Weyl Transformation: The correlation functions on the curved manifold are related to those on flat space via the Weyl factor $\Lambda(x)$.
2. Geodesic Expansion: The author performs a perturbative expansion of the geodesic distance $\hat{d}$ and the tangent vector $\hat{t}^\mu$ in terms of derivatives of the Weyl factor $\ln \Lambda$. This involves solving the geodesic equation iteratively (detailed in Appendix A).
3. Matching:
   • The 3-point function $\langle k | O_j(x_2) O_i(x_1) \rangle$ is expanded in powers of $\hat{d}$ using the Weyl transformation rules.
   • This expansion is matched against the expectation value of the covariant OPE ansatz (which includes unknown curvature terms proportional to the Ricci tensor $R_{\mu\nu}$ and scalar curvature $R$).
   • By equating coefficients of independent geometric invariants (e.g., $(\eta \cdot \hat{t})^2$, $\hat{\eta}^2$, $\hat{m}$), a system of linear equations is solved for the OPE coefficients.

3. Key Contributions and Results

A. The General Covariant OPE Formula (D > 2)

The paper derives the explicit form of the OPE including the leading curvature corrections. The main result (Eq. 2.31) for the OPE of two scalar primaries is:
$$O_j(x_2)O_i(x_1) = \sum_k \frac{C_{ijk}}{\hat{d}^{\Delta_i+\Delta_j-\Delta_k}} \left[ O_k(x_1) + \alpha_{ijk}\hat{d}\hat{t}^\mu\nabla_\mu O_k + \beta_{ijk}\hat{d}^2\hat{t}^\alpha\hat{t}^\beta\nabla_\alpha\nabla_\beta O_k + \gamma_{ijk}\hat{d}^2\hat{g}^{\alpha\beta}\nabla_\alpha\nabla_\beta O_k + A_{ijk}\hat{d}^2 \hat{R} O_k + B_{ijk}\hat{d}^2 \hat{R}_{\alpha\beta}\hat{t}^\alpha\hat{t}^\beta O_k + \dots \right]$$

The coefficients $A_{ijk}$ and $B_{ijk}$ are determined explicitly (Eqs. 2.37, 2.38) in terms of the scaling dimensions $\Delta_i, \Delta_j, \Delta_k$ and the spacetime dimension $D$.

B. The Identity Channel and the Schouten Tensor

A significant finding is the behavior of the OPE in the identity channel ($\Delta_k = 0$). For $D > 2$, the leading curvature correction is proportional to the Schouten tensor $\hat{P}_{\mu\nu}$:
$$O_i(x_1)O_j(x_2) \approx \frac{\delta_{ij}}{\hat{d}^{2\Delta_i}} \left( 1 + \frac{\Delta_i}{6} \hat{d}^2 \hat{P}_{\mu\nu}(x_1) \hat{t}^\mu \hat{t}^\nu + \dots \right)$$
where $\hat{P}_{\mu\nu} = \frac{1}{D-2} \left( \hat{R}_{\mu\nu} - \frac{1}{2(D-1)}\hat{g}_{\mu\nu}\hat{R} \right)$.

This term is universal; although derived using conformal flatness, the author argues it holds for general metrics because obstruction tensors (like the Cotton or Weyl tensors) have scaling dimensions that prevent them from appearing at this order in the derivative expansion.

C. The D = 2 Case

In two dimensions, the standard coefficients diverge due to the conformal anomaly. The author extends the analysis to include Virasoro descendants (specifically level-2 quasiprimary fields $L_{-2}O_k$).

• The OPE includes terms involving the stress-energy tensor components $T_{zz}$ and $T_{\bar{z}\bar{z}}$.
• A new curvature term proportional to the scalar curvature $\hat{R}$ is identified with a specific coefficient (Eq. 3.48).
• This reproduces the known 1-point functions of the stress-energy tensor on curved backgrounds.

D. Application to Conformal Perturbation Theory

The paper demonstrates the utility of this formalism by analyzing the free energy of a theory perturbed by a scalar operator on a cylinder ($S^{D-1} \times \mathbb{R}$).

• The subleading terms in the cylinder 2-point function (which usually require specific coordinate expansions) are shown to arise naturally from the Schouten tensor term in the covariant OPE.
• This provides a systematic way to identify necessary counterterms (identity vs. curvature) for renormalization on non-homogeneous manifolds.

4. Significance and Implications

• Universality: The work establishes that curvature corrections to the OPE are not arbitrary but are fixed by the flat-space OPE data and the geometry of the manifold (via the Schouten tensor).
• Practical Utility: It provides a robust tool for conformal perturbation theory on curved spaces, which is essential for studying CFTs on cylinders, spheres, and other curved backgrounds relevant in statistical mechanics and high-energy physics.
• Renormalization: The identification of curvature-dependent terms clarifies the structure of divergences in position space integrals, suggesting that on non-homogeneous manifolds, curvature counterterms are necessary to cancel divergences associated with the identity channel.
• Future Directions: The paper opens avenues for studying OPE convergence on curved spaces using geodesic spheres and extending these results to non-conformally flat manifolds where Weyl or Cotton tensors might appear at higher orders.

In summary, Konechny successfully reformulates the OPE to be manifestly covariant, deriving explicit curvature corrections that unify the treatment of CFTs on flat and curved manifolds, with the Schouten tensor emerging as the key geometric object governing the leading curvature effects.