The $T^{μν}$ of the conformal scalars

This paper constructs the unique primary energy-momentum tensor for conformal free scalars by solving off-shell conservation and tracelessness conditions in momentum space, expressing the result as a Gegenbauer polynomial sum that truncates for integer scaling dimensions to match known results and GJMS operator computations, while extending to nonlocal cases with a two-parameter family reflecting non-unique geometric couplings.

The Gist

Here is an explanation of the paper "The $T_{\mu\nu}$ of the conformal scalars" using simple language, analogies, and metaphors.

The Big Picture: Building the Perfect "Stress" Sensor

Imagine you have a magical, invisible fabric (the universe) and you want to measure how it feels when you poke it, stretch it, or twist it. In physics, this "feeling" is called the Energy-Momentum Tensor (or $T_{\mu\nu}$). It's the ultimate report card that tells us how energy and momentum are flowing through space.

For a long time, physicists have known how to write this report card for simple, standard materials (like a regular ball of string). But what if the material is weird? What if it's a "fractal" string that looks the same no matter how much you zoom in or out? This is what the paper calls a Conformal Scalar.

The authors of this paper asked: "If we have these weird, fractal-like materials, can we still write a perfect report card for them? And if so, what does it look like?"

They found the answer: Yes, we can. And they built a universal formula that works for both the simple, standard cases and the weird, "non-local" (fractal) cases.

---

The Characters in the Story

To understand the solution, let's meet the three main ingredients the authors mixed together:

1. The "Fractal" Scalar ($\phi$)

Think of a standard particle as a smooth marble. Now, imagine a "Conformal Scalar" as a fractal snowflake.

• Standard Snowflake: You can describe it with simple rules (it has a specific size and shape).
• Fractal Snowflake: It has a "dimension" that isn't a whole number. It's jagged and complex. In physics, this is controlled by a number called $\zeta$ (zeta).
  • If $\zeta$ is a whole number (1, 2, 3...), the snowflake is actually just a very complex, multi-layered standard object.
  • If $\zeta$ is a fraction (like 1.5), the snowflake is truly "non-local." It's like a ghost that exists in two places at once. To describe it, you can't just look at one point; you have to look at the whole neighborhood.

2. The "Stress" Sensor ($T_{\mu\nu}$)

This is the hero of the story. It needs to pass four strict tests to be considered "real":

1. Symmetry: It must look the same if you swap left and right.
2. Conservation: Energy can't just disappear; the sensor must show that what goes in equals what comes out.
3. Tracelessness: It must be "scale-invariant." If you zoom in or out, the sensor's reading shouldn't change its fundamental nature.
4. Primarity: This is the hardest test. It means the sensor must be "pure." It shouldn't be a messy mix of other things; it must be the most basic, fundamental version of itself.

3. The "Gegenbauer" Polynomials (The Secret Sauce)

This is the mathematical tool the authors used to solve the puzzle.

• The Analogy: Imagine you are trying to describe a complex melody. You could write down every single note, but that's messy. Instead, you use a specific set of musical scales (like major, minor, pentatonic) to build the melody.
• The Math: Gegenbauer polynomials are like those musical scales. They are special mathematical shapes that are perfect for describing things with angles and distances. The authors realized that the "fractal" nature of their problem could be broken down into a sum of these shapes.

---

The Solution: How They Built It

The authors didn't just guess the answer; they built it like a master carpenter building a custom table.

Step 1: The Rough Draft (The Non-Primary Tensor)

First, they built a version of the sensor that passed the first three tests (Symmetry, Conservation, Tracelessness) but failed the "Purity" test.

• The Metaphor: Imagine building a chair. It has four legs and a seat (it works), but it's wobbly and ugly. It's not a "perfect" chair yet.
• In math, this part was easy to find using momentum (like looking at the chair from a distance).

Step 2: The "Improvement" (Making it Primary)

To fix the wobble and make it "pure," they had to add a special "improvement term."

• The Metaphor: This is like adding a hidden support beam or a perfectly carved leg to the chair. It doesn't change the fact that it's a chair, but it makes it stable and beautiful.
• The Magic: The authors discovered that this "improvement beam" is made of a sum of Gegenbauer polynomials.
  • If the snowflake is standard ($\zeta$ is an integer): The sum is short. It stops after a few terms. The final sensor is "local" (you can build it with simple tools).
  • If the snowflake is fractal ($\zeta$ is a fraction): The sum goes on forever. The sensor becomes "non-local" (it requires looking at the whole universe to build).

Step 3: The "Two-Parameter" Twist

When dealing with the fractal (non-integer) cases, the authors found something surprising. The "perfect" sensor wasn't unique!

• The Metaphor: Imagine you are trying to tune a radio to a specific station. Usually, there's only one clear frequency. But for these fractal materials, there are two knobs you can turn to get a clear signal.
• This means there are actually two different ways to define the "stress" for these weird materials. The authors found a formula that includes both options, controlled by two numbers ($C_1$ and $C_2$).

---

Why Does This Matter?

You might ask, "Who cares about fractal snowflakes and fancy math sensors?"

1. It Unifies Physics: This formula works for everything. Whether the material is simple (like a standard particle) or weird (like a fractal), the same master formula applies. It's like finding a single key that opens every door in the house.
2. It Helps with "Large-N" Theories: In physics, we often study systems with huge numbers of particles (like $N$ particles, where $N$ is a million). To solve these, physicists sometimes pretend the particles are "fractal" for a moment to make the math easier. This paper gives them the exact tool they need to do that without breaking the rules.
3. It Connects to Gravity: The authors showed that their sensor is exactly the same as the one you get if you study how gravity bends space (General Relativity) in a specific way. This bridges the gap between the tiny quantum world and the massive gravitational world.

The Takeaway

The paper is a tour de force of mathematical construction. The authors took a messy, complicated problem (describing stress in fractal-like quantum fields) and solved it by realizing that the solution is a sum of special shapes (Gegenbauer polynomials).

• For simple cases: The sum is short and neat.
• For complex cases: The sum is infinite, revealing a hidden freedom (two knobs) in how nature behaves.

They didn't just find a number; they found the blueprint for the most fundamental sensor in the universe, valid for both the ordinary and the extraordinary.

Technical Summary

Here is a detailed technical summary of the preprint "The $T_{\mu\nu}$ of the conformal scalars" by Fraser-Taliente.

1. Problem Statement

The paper addresses the construction of the unique, conserved, traceless, and primary energy-momentum tensor ($T_{\mu\nu}$) for conformal free scalar fields with arbitrary scaling dimension $\Delta = \frac{d}{2} - \zeta$.

• Context: For integer $\zeta$, these theories correspond to free higher-derivative CFTs (often denoted as $\square^\zeta$ CFTs) with actions $S \sim \int \phi (-\partial^2)^\zeta \phi$. For non-integer $\zeta$, they represent non-local CFTs (generalized free fields).
• The Gap: While the two-point functions and OPEs for these theories are known, an explicit, closed-form expression for the primary $T_{\mu\nu}$ (satisfying all conformal Ward identities) has been lacking, particularly for arbitrary $\zeta$.
• Specific Challenges:
  • Non-locality: For non-integer $\zeta$, the action is non-local, making the standard Noether procedure ambiguous.
  • Primary Condition: Constructing a tensor that is not only conserved and traceless but also a global conformal primary (annihilated by the special conformal generator $\hat{K}_\rho$ at the origin) is highly non-trivial.
  • Weyl Obstructions: For certain dimensions $d$ and integer $\zeta$, it is impossible to construct a Weyl-covariant theory, leading to poles in the stress tensor construction.

2. Methodology

The authors employ a momentum-space construction strategy, solving the defining conditions of the stress tensor directly.

A. Defining Conditions

The target tensor $T_{\mu\nu}$ must satisfy four properties:

1. Symmetry ($P_{sy}$): $T_{[\mu\nu]} = 0$.
2. Conservation ($P_{co}$): $\partial_\mu T^{\mu\nu} = -(\partial^\nu \phi)(-\partial^2)^\zeta \phi \stackrel{eom}{=} 0$ (off-shell form tracks the equation of motion).
3. Tracelessness ($P_{tr}$): $\delta_{\mu\nu} T^{\mu\nu} = -(\frac{d}{2}-\zeta)\phi(-\partial^2)^\zeta \phi \stackrel{eom}{=} 0$.
4. Primary Condition ($P_{pr}$): $\hat{K}_\rho T^{\mu\nu}|_{x=0} = 0$.

B. Momentum Space Toolkit

The authors work in momentum space where the fields are bilinear in $\phi(p)$ and $\phi(q)$.

• They decompose the tensor structure into transverse projectors ($P_{\mu\nu}$) and transverse-traceless (TT) projectors ($D_{\mu\nu\rho\sigma}^{TT}$).
• The conservation and tracelessness conditions fix most coefficients, leaving an arbitrary scalar function $Y(p, q)$ multiplying the TT projector.
• Gegenbauer Expansion: To solve the primary condition, they expand the unknown function $Y$ in terms of Gegenbauer polynomials $C^{(k)}_{\zeta-k}(\cos \theta)$, where $\theta$ is the angle between momenta. This basis is chosen because it naturally separates the scale dependence (magnitudes of momenta) from the angular dependence required by conformal symmetry.

C. Solving the Primary Condition

• The special conformal generator $\hat{K}_\rho$ is converted into a differential operator acting on the momentum-space functions.
• Applying $\hat{K}_\rho$ to the ansatz yields a system of partial differential equations for the expansion coefficients.
• Integer $\zeta$: The sum over Gegenbauer polynomials truncates naturally because $C^{(k)}_n = 0$ for negative integer $n$. This results in a local operator (finite polynomial in derivatives).
• Non-integer $\zeta$: The sum is infinite, resulting in a non-local operator. The authors identify a two-parameter family of solutions involving associated Legendre functions, reflecting the non-uniqueness of the non-local Weyl-covariant action.

3. Key Contributions and Results

A. Explicit Construction of $T_{\mu\nu}$

The paper provides the first explicit formula for $T_{\mu\nu}$ for arbitrary $\zeta$. The result is expressed as:
$$T_{\mu\nu} = -\left(\frac{\delta_{\mu\nu}}{2} - \zeta \frac{P_{\mu\nu}}{-\partial^2}\right) \mathcal{O} + \left(\delta_{\mu(\rho}\delta_{\sigma)\nu} - \frac{P_{\mu\nu}\delta_{\rho\sigma}}{-\partial^2}\right) \mathcal{U}_{\rho\sigma} + D_{\mu\nu\rho\sigma}^{TT} \frac{1}{(-\partial^2)^2} \mathcal{R}_{\rho\sigma}$$
Where:

• $\mathcal{O} = \phi(-\partial^2)^\zeta \phi$.
• $\mathcal{U}_{\rho\sigma}$ and $\mathcal{R}_{\rho\sigma}$ are bilinear operators constructed from sums of Gegenbauer polynomials involving derivatives acting on the fields.
• For integer $\zeta$, the series truncates, and all inverse Laplacians cancel, proving the locality of the operator.

B. Verification of Locality and Poles

• Locality: The authors prove that for integer $\zeta$, the constructed $T_{\mu\nu}$ is a local operator (finite polynomial in derivatives), despite the intermediate appearance of non-local terms.
• Weyl Obstructions: The formula exhibits explicit poles at dimensions $d = 2, 4, \dots, 2(\zeta-1)$. This confirms that for these specific dimensions, a primary, conserved, traceless $T_{\mu\nu}$ cannot be constructed, corresponding to the non-existence of a Weyl-covariant lift for those theories.

C. Correlation Functions

• Two-Point Function: The normalization $C_T$ of the two-point function $\langle T_{\mu\nu}(x) T_{\rho\sigma}(0) \rangle$ is derived and matches known results for integer $\zeta$.
• Three-Point Function: The OPE coefficient $C_{T\phi\phi}$ is calculated and verified to match the value fixed by conformal Ward identities.

D. Connection to GJMS Operators

The authors verify that their constructed $T_{\mu\nu}$ is identical to the metrical stress tensor obtained by varying the GJMS (Graham-Witten-Fefferman-Graham) operator action $S = \int \phi \Delta_\zeta \phi$ with respect to the metric.

• They use Juhl's recursive formulae for the GJMS operators to compute the linearized variation of the action.
• They demonstrate that the variation yields exactly the same $T_{\mu\nu}$ derived via the momentum-space primary condition, confirming the "descent" of Weyl covariance to conformal invariance.

E. Non-Local Extension

For non-integer $\zeta$, the authors identify a two-parameter extension of the stress tensor involving associated Legendre functions ($P$ and $Q$). This reflects the ambiguity in defining the non-local Weyl-covariant action. The standard analytic continuation (setting these parameters to zero) is proposed as the minimal solution.

4. Significance

1. Foundational Tool for Perturbation Theory: The explicit form of $T_{\mu\nu}$ allows for the study of interacting theories (like $\square^k$ $O(N)$ models) via perturbation theory around these generalized free fields. This is crucial for large-$N$ expansions and $\epsilon$-expansions where the scaling dimension is shifted.
2. Resolving Renormalization Ambiguities: The construction clarifies the "ZT renormalization" issue in large-$N$ literature. It shows that the stress tensor remains local in the critical limit ($\delta \to 0$) and that apparent non-localities in intermediate steps are artifacts of the regulator, not fundamental obstructions.
3. Holography and Higher Spins: The results provide the boundary duals for higher-spin towers in AdS/CFT correspondence, specifically for theories with fractional scaling dimensions.
4. Mathematical Rigor: The paper bridges the gap between abstract CFT axioms (primary conditions) and explicit operator constructions using special functions (Gegenbauer polynomials), providing a concrete toolkit for handling non-local CFTs.
5. Weyl Obstructions: It offers a precise characterization of when a CFT cannot be coupled to a background metric in a Weyl-covariant manner, linking these obstructions directly to poles in the stress tensor construction.

In summary, this paper provides the definitive construction of the energy-momentum tensor for conformal scalars of arbitrary dimension, resolving long-standing questions about locality, primary conditions, and the relationship between flat-space CFTs and their Weyl-covariant curved-space counterparts.