Mini-Lecture V.4: Liouville Term and Scale Cancellation

We study variation of the Liouville action after scale cancellation. The worked calculation and its limitations are the classroom target; the longer source reconstruction supports independent study.

How to use this lecture

Prerequisites: V.3 and IV.2; the variational-calculus bridge. Review the relevant prerequisite bridge before starting.

• Classroom core, 90 minutes: question and prerequisites (10); variation of the Liouville action after scale cancellation (25); worked calculation or laboratory (30); problems 1–2 (20); written exit check (5).
• Self-study, approximately 2–3 hours: reconstruct the algebra in the main text, work through the laboratory, then solve problems 1–3 before reading the answer checkpoints. The estimate is provisional.
• Research extension: problem 4 states the source-dependent task and what counts as completion. Its open claims are not assumed in the classroom assessment.

The classroom result is the explicitly calculated model or conditional derivation below. Retained sections marked Source reconstruction explain the IAS argument and identify provenance; that label does not certify the argument. The claim map records the research limits. The literal extended-surface identity fails the circle check in III.5; geometric QCD conclusions depending on it remain conditional.

Reading

• Primary: IAS lectures, pages 123-124. Consult the page images when an equation is clipped or extraction is ambiguous.
• Gentler route: the prerequisite bridges, followed by this lecture’s worked calculation.
• Optional research: the bibliography and version map identifies the primary papers for this module and their role.

Source Pages

Primary source: IASQCDLectures.pdf, pages 123-124.

The Question

Why does a Liouville-type term appear, and how does it cancel?

Notation

• $e^{+3\rho }$: the twistor measure factor (V.3).
• $e^{-3\rho }$: the momentum-inversion factor (V.3).
• $dP\wedge dC\sim \hslash$: the scale-invariant phase-space volume element.
• $S_{\mathrm{Liouville}}$: the effective Liouville action (eq (131)).
• $\sigma$: the string tension.
• $m_q$: the quark mass.
• WZW: Wess-Zumino-Witten (topological term in Witten’s twistor string).
• Penrose Non-Linear Graviton: a construction where spacetime geometry is encoded in twistor data.

Derivation

Step 1 — The exact scale cancellation (p123)

The twistor measure gives $e^{+3\rho }$ (V.3: $u^{5}du=\frac{1}{2}{e}^{3\rho }d\rho$). The momentum inversion gives $e^{-3\rho }$ (V.3: $I(\tau )\propto e^{-3\rho }$). Their product (p123):

$$e^{+3\rho }\times e^{-3\rho }=1.$$

These two local homogeneity factors cancel. A constant Jacobian factor remains in V.3. The source interprets this as scale independence of its reduced local measure; the statement does not establish cancellation of every functional determinant, regulator term, or anomaly.

What is being used: the computation of V.3. Status: Source reconstruction.

Step 2 — The effective Liouville action (p124, eq (131))

The effective action reduces to a Liouville-type term (p124, eq (131)):

$$S_{\mathrm{Liouville}}=\int d^{2}z\left[\frac{1}{3\pi }|{\partial }_z\rho {|}^2+\sigma e^{2\rho }\right]+m_q\int d\theta e^{\rho (z=e^{i\theta })},\rho =\frac{1}{2}\log (\bar{\lambda }\lambda )+\frac{1}{2}\log (\bar{\mu }\mu ).$$

Read the three terms:

• $\frac{1}{3\pi }|{\partial }_z\rho {|}^2$: the Liouville kinetic energy (the conformal anomaly contribution — the same term that appeared in IV.2 as the Liouville action).
• $\sigma e^{2\rho }$: the string tension (the area element in the conformal gauge — $e^{2\rho }$ is the square root of the metric determinant when $g_{ab}=e^{2\rho }{\delta }_{ab}$).
• $m_q{e}^{\rho }$: the quark mass (the mass density on the boundary — $e^{\rho }$ is the proper mass density).

The displayed action contains both a two-dimensional bulk field and a boundary term. The source intends the bulk geometry to be induced from boundary data. Reducing it to an action of boundary variables alone requires solving that extension problem; it is not accomplished by renaming the bulk field a boundary field.

Step 3 — Twistor holography vs. topological twistor string (p124)

The source proposes to reconstruct its surface from boundary spinor data. That is the intended use of “twistor holography” here; it is not an established equivalence with AdS/CFT.

Witten’s 2003 twistor-string proposal concerns a topological B-model on supertwistor space and its relation to perturbative gauge-theory amplitudes. Calling it simply a topological WZW action is inaccurate. The systems have different variables, observables, and proposed regimes. See the primary Witten reference in the bibliography.

Worked laboratory: bulk and boundary Euler equations

Fix $d^{2}z=dudv$ and ${\partial }_z=({\partial }_u-i{\partial }_v)/2$. For a real field, $|{\partial }_z\rho {|}^2=|\nabla \rho {|}^2/4$. Write the source model as

$$S[\rho ]={\int }_D\left[\frac{|\nabla \rho {|}^2}{12\pi }+\sigma e^{2\rho }\right]d^{2}x+m_q{\int }_{\partial D}{e}^{\rho }d{s}_0,$$

where $d{s}_0$ is the reference boundary measure. Varying and integrating by parts gives the bulk equation

$$-\frac{1}{6\pi }\Delta \rho +2\sigma e^{2\rho }=0.$$

If boundary values are free, the boundary equation is

$$\frac{1}{6\pi }{\partial }_n\rho +m_q{e}^{\rho }=0.$$

With fixed Dirichlet data, $\delta \rho =0$ at the boundary and this latter equation is not imposed. A constant $\rho$ is not a bulk solution for positive $\sigma$. Thus cancellation of the local measure weight does not eliminate the radial dynamics.

There is also a global check. Under a free constant variation $\rho \mapsto \rho +ϵ$, the kinetic term is unchanged and

$${\frac{dS[\rho +ϵ]}{dϵ}|}_0=2\sigma {\int }_D{e}^{2\rho }+m_q{\int }_{\partial D}{e}^{\rho }>0$$

for a regular finite real field and positive $\sigma ,m_q$. Thus this model has no unconstrained real stationary point with fully free boundary values. Fixed boundary data, constraints, or a justified complex continuation change the variational problem and must be stated before discussing a saddle.

These equations and the constant-variation check are exact for the stated model and reference measure. They do not verify that this action follows from the full regulated QCD construction.

What Was Proved, What Was Assumed

Claim	Status
$e^{+3\rho }\times e^{-3\rho }=1$ — the scale cancellation	Source reconstruction
The effective volume element $dP\wedge dC\sim \hslash$ is scale-invariant	Source reconstruction
The effective action is a Liouville-type term (eq (131))	Source reconstruction
Twistor holography: 4D bulk projected onto 1D boundary, no fluctuating metric	Source reconstruction / interpretive
Distinct from AdS/CFT (no bulk gravity) and from Witten’s twistor string (not WZW)	interpretive

Common Traps

• Reading the scale cancellation as “the Liouville field is irrelevant.” The two displayed local measure factors cancel, but the action still depends on $\rho$ (eq (131)): the kinetic term $|\partial \rho {|}^2$, the string tension $\sigma e^{2\rho }$, and the mass $m_q{e}^{\rho }$. It does not establish a statement about the full counting of states.
• Conflating twistor holography with AdS/CFT. In AdS/CFT, the bulk is a gravitational theory (fluctuating metric). Here, the bulk is rigid (no fluctuating metric) — the 4D geometry is fixed by the Hodge-dual surface. The “holography” is the projection of bulk dynamics onto the 1D boundary, not a gravity/gauge duality.

Source Map

Subsection	Source page	Slide equations
Scale cancellation; $e^{-3\rho }$ cancels $e^{+3\rho }$; scale invariance	p123	(prose)
The Liouville action (eq (131)); twistor holography vs. Witten	p124	eq (131)

Problem set

1. Classroom core. Convert $|{\partial }_z\rho {|}^2$ to real derivatives.

2. Self-study calculation. Derive the boundary variation of the action.

3. Self-study interpretation. Does a locally scale-invariant measure imply a scale-independent action?

4. Research extension. Compare boundary conditions used in the source’s saddle problem.

Answer checkpoints

1. It is $({\rho }_u^2+{\rho }_v^2)/4$.

2. It is ${\int }_{\partial D}[({\partial }_n\rho )/(6\pi )+m_q{e}^{\rho }]\delta \rho d{s}_0$.

3. No. Both the exponential bulk potential and boundary mass depend on $\rho$.

4. Completion: state what is held fixed, derive the appropriate boundary variation, and translate all complex-coordinate measure factors before comparing coefficients.

Teaching note

Use the decisive step in problem 2 as the written exit check for V.4; assign problem 3 only after students have named the assumptions. Grade the research extension by its documented method and justified conclusion, including an unresolved result when evidence is missing. The timing above awaits classroom rehearsal.

Previous note · Next note · Course guide