Conformal group, Conformal algebra and Conformal invariance in field theory

In summary, the conversation discusses the conformal group and its relationship with Minkowski spacetime. The group is realized as a group of coordinate transformations that leave the metric invariant up to a scale. The conformal group also preserves the light-cone structure, making it unsuitable for symmetries of massive particle theories. For spacetime with dimensions greater than two, the conformal group is finite-dimensional, and its local structure can be studied through Lie groups and algebras. Lie algebras can be seen as vector spaces equipped with a multiplication law and have a 1-to-1 correspondence with local Lie groups through the exponential mapping. Overall, the main focus is on conformal transformations and their relation to Lie
  • #1
samalkhaiat
Science Advisor
Insights Author
1,802
1,200
I have noticed that questions about this subject get either ignored or receive some confusing answers. So I decided to write a "brief" but self-contained introduction to the subject. I'm sure you will find it useful.
It is going to take about 13 or 14 post to complete the work. Be patient with me as my time allow me to post only 2 or 3 posts a day.
Equations and exercises will be numbered by the post number; for example Eq(1.6) means equation 6 in post#1 and Ex(5.7) stands for exercise 7 in post#5.

SO PLEASE DO NOT POST YOUR COMMENTS, QUESTIONS etc.,IN BETWEEN MY POSTS, AS THIS WOULD MESS UP THE NUMBERING.

CONFORMAL TRANSFORMATIONS

Consider a flat n-dimensional Minkowski spacetime [tex] (M^{n}, \eta)[/tex] . The conformal group C(1,n-1) can be formally realized as a group of (nonlinear) coordinate transformations:

[tex] f: x \rightarrow \bar{x} = \bar{x}(x)[/tex]

which leaves the metric [tex] (f* \bar{g})_{ab}[/tex] , where

[tex]\bar{g} = \eta_{ab} d \bar{x}^{a} \otimes d\bar{x}^{b},[/tex]

invariant up to a scale:

[tex]\bar{g}_{ab}(x) \left ( = \partial_{a} \bar{x}^{c} \partial_{b} \bar{x}^{d} \eta_{cd} \right ) = S(x) \eta_{ab} \ \ (1.1)[/tex]

I.e.,

[tex]d \bar{s}^{2} \left ( = \eta_{ab} d\bar{x}^{a}d\bar{x}^{b} \right ) = S(x) ds^2 \ \ (1.1')[/tex]

and we say that the conformal group preserves the light-cone structure. This excludes the conformal group as a symmetry of massive particle theories. If massive particles are included, the condition S=1 must be imposed which restricts the symmetry to the Poicare subgroup.
For spacetime with n>2, the conformal group is finite-dimensional. To see this, let us solve (1.1) for general infinitesimal coordinate transformation;

[tex]\bar{x}^{a} = x^{a} + f^{a}(x)[/tex]

which leads to

[tex]\partial_{a} f_{b} + \partial_{b} f_{a} = \eta_{ab} (S-1),[/tex]

or, taking the trace to obtain [tex](S-1) = 2/n \partial .f \equiv F[/tex] ,

[tex]\partial_{a} f_{b} + \partial_{b} f_{a} = \eta_{ab} F(x) \ \ (1.2)[/tex]

By applying an extra derivative [tex]\partial_{c}[/tex] on this (conformal Killing) equation, permuting the indices and taking a linear combination, we get

[tex]\partial_{c} ( \partial_{a} f_{b} - \partial_{b} f_{a}) = \eta_{cb} \partial_{a} F - \eta_{ac} \partial_{b} F \ \ (1.3)[/tex]

or, after integration,

[tex]\partial_{a} f_{b} - \partial_{b} f_{a} = \int ( \partial_{a} F dx_{b} - \partial_{b} F dx_{a} ) + 2 \omega_{ab} \ \ (1.4)[/tex]

for some constant antisymmetric tensor [tex]\omega_{ab}[/tex] .
Adding (1.2) to (1.4) and integrating again, we find

[tex] f^{a} = a^{a} + \omega^{ba}x_{b} + \frac{1}{2} \int dx^{a} F + \frac{1}{2} \int dx^{b} \int \left ( \partial_{b} F dx^{a} - \partial^{a} F dx_{b} \right ) \ \ (1.5)[/tex]

where [tex]a^{a}[/tex] is a constant n-vector. Notice that the first two terms represent Poincare transformation. This is expected because F = 0 corresponds to a coordinate transformations which do not change the form of the metric, i.e., a general solution to the homogeneous differential equation [tex] \partial_{a}f_{b} + \partial_{b}f_{a} = 0[/tex] .

The integral equation (1.5) determines the conformal Killing vector f once the function F(x) is found. So let us find it; By contracting the indices (c,a) in eq.(1.3), we get

[tex]\partial^{2} f_{b} = (1 - n/2) \partial_{b} F \ \ \ (1.6)[/tex]

Operate by [tex]\partial_{a}[/tex] and form the symmetric combination;

[tex]2(1 - n/2) \partial_{a} \partial_{b} F = \partial^{2} ( \partial_{a}f_{b} + \partial_{b}f_{a} )[/tex]

now, use the conformal Killing equation to find

[tex](2 - n) \partial_{a} \partial_{b} F = \eta_{ab} \partial^{2} F \ \ (1.7)[/tex]

Finally, contracting with [tex]\eta^{ab}[/tex] , we end up with

[tex](n -1) \partial^{2} F = 0 \ \ (1.8)[/tex]

Therefore [tex] \partial^{2} F = 0[/tex] except for the trivial case n = 1.
Thus for n > 1, Eq(1.7) becomes

[tex](2 - n) \partial_{a} \partial_{b} F = 0 \ \ (1.9)[/tex]

When n > 2, this implies

[tex] \partial_{a} \partial_{b} F(x) = 0 \ \ (1.10)[/tex]

I.e., F is at most linear in the coordinates:

[tex] F(x) = -2 \alpha + 4 c_{a}x^{a} \ \ (1.11)[/tex]

with [tex](\alpha , c_{a})[/tex] are constants.

Inserting (1.11) in (1.5), we find our conformal Killing vector

[tex]f^{a} = a^{a} + \omega^{ba}x_{b} - \alpha x^{a} + c_{b} (2x^{a}x^{b} - \eta^{ab} x^{2}) \ \ (1.12)[/tex]

This depends on (n + 1)(n + 2)/2 parameters: n translations, n(n-1)/2 Lorentz transformations, one dilation and n special conformal transformations.

In n = 2, Eq(1.9) does not imply Eq(1.10), which was crucial for the finiteness of the group C(1,n-1) in the n>2 case, in this case (n=2) every harmonic function F determines a solution, i.e., the group C(1,1) becomes infinite-dimensional. This C(1.1), interesting for string theories, will not be discussed in this introduction.


more to come, please be patient...
 
Last edited:
  • Love
Likes JD_PM
Physics news on Phys.org
  • #2
Lie Groups and Algebras

The local structure of any Lie group contains the most essential feature of the group, namely its continuity, and it is studied by considering the group for values of the parameters in the neighbourhood of the identity (infinitesimal transformations). The remarkable property of Lie groups (discovered by S Lie himself) is that in spite of the continuity of the parameters, almost all information about the local structure can be obtained from finite discrete system, namely Lie algebras.
Lie algebras may be regarded as (finite-dimensional) vector spaces equipped with a multiplication law;
[tex] [ . , . ] : \cal{L} \times \cal{L} \rightarrow \cal{L} [/tex]
which satisfies the conditions

i) [X,Y] = - [Y,X]

ii) [X,[Y,Z]] + [Z,[X,Y]] + [Y,[Z,X]] = 0

for all (X,Y,Z) in [tex]\cal{L}[/tex] .

Please note that the product [X,Y] (Lie bracket) need not necessarily be of the form (XY - YX), Poisson's bracket is another example of Lie bracket.

The 1-to-1 correspodence between Lie algebras and local Lie groups can be expressed explicitly by means of the exponential mapping, i.e.,(almost all) elements of a connected Lie group can be represented as exponentials of Lie algebra elements;

[tex] g = e^{X} = e^{a_{i}X^{i}} \ \ (2.1)[/tex]

Where [tex] \{X^{i}\}[/tex] is a basis for [tex] \cal{L}[/tex] .The components [tex] a_{i}[/tex] of Lie algebra elements (the parameters) play the role of local coordinates (in the neighbourhood of the identity) of the group manifold. The fact that the union of elements of the form (2.1) presents a Lie group is a consequence of the Baker-Campbell-Hausdroff formula

[tex] e^{X} e^{Y} = e^{X + Y + \frac{1}{12}[X,[X,Y]] + ...} \ \ (2.2)[/tex]

i.e.,
[tex] g(a).g(b) = g(f(a,b))[/tex]


more to come, please don't reply to my posts just yet...
 
  • #3
The conformal algebra

From infinitesimal transformations to Lie algebra

By considering the combined action of various infinitesimal transformations in different orders, the Lie algebra of the conformal group can be abstructed.
Let us write the conformal Killing vector (1.12) in the form;

[tex]f^{a} = \lambda_{A} \delta_{( \lambda )}^{A} x^{a} \ \ (3.1)[/tex]

where

[tex]\lambda_{A} \equiv ( a^{a}, \frac{1}{2}\omega^{ab}, \alpha , c^{a})[/tex]

and [tex] \delta^{A}[/tex] are the generators of the following infinitesimal coordinate transformations;

Translation;

[tex] \delta^{a}_{(T)} x^{c} = \eta^{ab} \ \ (3.2a)[/tex]

Lorentz;

[tex] \delta^{ab}_{(L)} x^{c} = \eta^{bc}x^{a} - \eta^{ac}x^{b} \ \ (3.2b)[/tex]

Dilation(scale);

[tex]\delta_{(D)}x^{c} = -x^{c} \ \ (3.2c)[/tex]

Conformal;

[tex]\delta^{a}_{(C)}x^{c} = 2 x^{a}x^{c} - \eta^{ac}x^{2} \ \ (3.2d)[/tex]

Ex(3.1) Show that;

[tex]\left[\delta^{a}_{(T)},\delta^{b}_{(T)}\right] = 0 \ \ (3.3a)[/tex]

[tex]\left[\delta^{ab}_{(L)},\delta^{c}_{(T)}\right] = \eta^{bc}\delta^{a}_{(T)} - \eta^{ac}\delta^{b}_{(T)} \ \ (3.3b)[/tex]

[tex]\left[\delta^{ab}_{(L)},\delta^{cd}_{(L)}\right] = \eta^{ac}\delta^{bd}_{(L)} - \eta^{bc}\delta^{ad}_{(L)} + \eta^{ad}\delta^{cb}_{(L)} - \eta^{bd}\delta^{ca}_{(L)} \ \ (3.3c)[/tex]

[tex]\left[\delta_{(D)},\delta_{(D)}\right] = \left[\delta^{ab}_{(L)},\delta_{(D)}\right] = 0 \ \ (3.3d)[/tex]

[tex]\left[\delta_{(D)},\delta^{a}_{(T)}\right] = \delta^{a}_{(T)} \ \ (3.3e)[/tex]

[tex]\left[\delta_{(D)},\delta^{a}_{(C)}\right] = -\delta^{a}_{(C)} \ \ (3.3f)[/tex]

[tex]\left[\delta^{a}_{(C)},\delta^{b}_{(C)}\right] = 0 \ \ (3.3g)[/tex]

[tex]\left[\delta^{ab}_{(L)},\delta^{c}_{(C)}\right] = \eta^{bc}\delta^{a}_{(C)} - \eta^{ac}\delta^{b}_{(C)} \ \ (3.3h)[/tex]

[tex]\left[\delta^{a}_{(C)},\delta^{b}_{(T)}\right] = 2 \eta^{ab}\delta_{(D)} - 2 \delta^{ab}_{(L)} \ \ (3.3i)[/tex]


Thus the operators [tex]\delta^{A}_{(\lambda )}[/tex] span a vector space with multiplication law as in (3.3). It is the Lie algebra of the conformal group C(1,n-1).


more to come, please dot reply just yet...
 
Last edited:
  • #4
From vector fields to Lie algebra

Let [tex]f_{(1)} = f^{a}_{(1)}\partial_{a}[/tex] and [tex]f_{(2)} = f^{a}_{(2)}\partial_{a}[/tex] be two conformal Killing fields in Minkowsiki spacetime. Their Lie bracket

[tex][f_{(1)},f_{(2)}] = f_{(3)} = f^{a}_{(3)}\partial_{a} \ \ (4.1)[/tex]

with

[tex]f^{a}_{(3)} = f^{b}_{(1)}\partial_{b}f^{a}_{(2)} - f^{b}_{(2)}\partial_{b}f^{a}_{(1)} \ \ (4.2)[/tex]

gives the vector field [tex]f_{(3)}[/tex] which also satisfies the conformal Killing Eq(1.2). thus, the set of all conformal Killing vectors form a Lie algebra.

Now, we introduce a basis

[tex]G^{A}_{(\lambda )} \equiv \left( p^{a}, j^{ab}, d, k^{a}\right) \ \ (4.3)[/tex]

for the algebra by the rule

[tex] f = \lambda_{A}\left( \delta^{A}_{(\lambda )} x^{a} \right) \partial_{a} = i \lambda_{A}G^{A}_{(\lambda )} \ \ (4.4)[/tex]

From (3.2) we find

[tex]ip^{a} = \partial^{a} \ \ (4.5a)[/tex]

[tex]ij^{ab} = x^{a}\partial^{b} - x^{b}\partial^{a} \ \ (4.5b)[/tex]

[tex]id = -x^{a}\partial_{a} \ \ (4.5c)[/tex]

[tex]ik^{a} = 2x^{a} x^{c}\partial_{c} - x^{2} \partial^{a} \ \ (4.5d)[/tex]

And, by explicit calculations we find the algebra

[tex][ip^{a} , p^{b}] = [id , d] = [ij^{ab}, d] = [ik^{a},k^{b}] = 0 \ \ (4.6a)[/tex]

[tex][id , p] = p \ \ (4.6b)[/tex]

[tex][id, k] = -k \ \ (4.6c)[/tex]

[tex]\left[ ik^{a},p^{b}\right] = 2 \eta^{ab} d - 2 j^{ab} \ \ (4.6d)[/tex]

[tex]\left[ ij^{ab}, k^{c}\right] = \eta^{ac} k^{b} - \eta^{bc} k^{a} \ \ (4.6e)[/tex]

[tex]\left[ ij^{ab}, p^{c}\right] = \eta^{ac} p^{b} - \eta^{bc} p^{a} \ \ (4.6f)[/tex]

[tex]\left[ ij^{ab}, j^{cd}\right] = \eta^{bc}j^{ad} - \eta^{ac}j^{bd} + \eta^{ad}j^{bc} - \eta^{bd}j^{ac} \ \ (4.6g)[/tex]


Since every Lie algebra has a faithful matrix representation, we can forget about the explicit (differential) realization (4.5) and postulate the conformal algebra as an abstract real algebra subject to 2 requirements;
1) it has a basis

[tex]G^{A} = \left( P^{a}, J^{ab}=-J^{ba}, D, K^{a}\right) \ \ (4.7)[/tex]
with multiplication law as in (4.6);
2) its general element is of the form

[tex] X = i \lambda_{A}G^{A} \ \ (4.8)[/tex]

The conformal group C(1,n-1) is formally obtained by exponentiation of the conformal algebra

[tex]g(\lambda ) = \exp (i \lambda_{A} G^{A} ) \ \ (4.9)[/tex]


more to come, please don't reply just yet,...
 
Last edited:
  • #5
From unitary representation to Lie algebra

This time, we cosider various subgroups of the conformal group, find their multiplication laws and derive the corresponding Lie subalgebras using a unitary representations of the laws.

Scale plus Translation

Consider the transformation;

[tex]\bar{x} = T(\alpha , a) x = e^{\alpha} x + a \ \ (5.1)[/tex]

It is easy to see that two such transformations is also a transformation of the same kind;

[tex]T(\alpha, a) T(\beta , b) = T\left( \alpha + \beta , a + be^{\alpha}
\right) \ \ (5.2)[/tex]

Ex(5.1): Prove the above "easy to see statement".

From (5.2), we find;

1)

[tex]\{T(\alpha , a) T(\beta , b) \} T(\gamma , c) = T\left(\alpha + \beta +\gamma , a + be^{\alpha} + ce^{\alpha + \beta}\right) = T(\alpha , a) \{ T(\beta , b) T(\gamma , c) \} \ \ (5.3a)[/tex]

i.e., the multiplication law (5.2) is associative.

Ex(5.2): Prove Eq(5.3a).

2)

[tex]T(\alpha , a) T(0,0) = T(0,0) T(\alpha , a) = T(\alpha , a) \ \ (5.3b)[/tex]

i.e., an identity element exists; [tex] E = T(0,0)[/tex]

3)

[tex]T\left(\alpha , a \right) T\left(-\alpha , -ae^{-\alpha} \right) = T \left(-\alpha , -ae^{-\alpha} \right) T(\alpha , a) = T(0,0) \ \ (5.3c)[/tex]

i.e., an inverse element exsists

[tex] T^{-1}(\alpha , a) = T\left( -\alpha , -ae^{-\alpha} \right) \ \ (5.4)[/tex]


Thus, the set [tex]\{T(\alpha , a)\}[/tex] with the multiplication law (5.2) forms a group.

We know from QM that coordinate transformations, such as our T, induce a unitary linear transformation on vectors in the physical Hilbert space;

[tex] | \Psi_{T}\rangle = U(T) | \Psi \rangle \ \ (5.5)[/tex]

i.e., the unitary operator U forms a representation of the group (multiplication law) in question;

[tex]U( \alpha , a) U(\beta , b) = U( \alpha + \beta , a + be^{\alpha} ) \ \ (5.6)[/tex]

Since U(T(0,0)) = U(E) carries any vector into itself, it must be proportional to the unit operator. So, in at least a finite neighbourhood of the identity, U can be represented by a power series. For infinitesimal coordinate transformations, U(T) must then differ from 1 by terms linear in the parameters [tex](\alpha , a)[/tex] , so we may write

[tex]U(\alpha , a) \approx 1 + i \alpha D + i a^{a}P_{a} \ \ (5.7)[/tex]

where [tex](D,P)[/tex] are Hermitian operators independent of the parameters [tex](\alpha , a)[/tex] .
In order to find the transformations laws of D and P, you need to work out the following;

Ex(5.3): Show that

[tex]U(\beta , b)U(\alpha , a)U^{-1}(\beta , b) = U\left(\alpha , ae^{\beta} - \alpha b \right) \ \ (5.8)[/tex]

where [tex](\beta ,b)[/tex] are the parameters of new transformation unrelated to [tex](\alpha ,a)[/tex]

Next, write (5.8) to the 1st order in [tex](\alpha ,a)[/tex] ,equate coefficients of [tex]\alpha[/tex] and [tex]a[/tex] on both sides and show that

[tex]\bar{P}_{a} = U^{-1}(\beta , b) P_{a} U(\beta , b) = e^{-\beta} P_{a} \ \ (5.9a)[/tex]
[tex]\bar{D} = U^{-1} D U = D + b_{a}P^{a} e^{-\beta} \ \ (5.9b)[/tex]

Now, let [tex](\beta , b)[/tex] themselves be infinitesimals and find the commutation relations;

[tex][iD , D] = 0 \ \ (5.10a)[/tex]
[tex][iP^{a} , P^{b}] = 0 \ \ (5.10b)[/tex]
[tex][iD , P^{a}] = P^{a} \ \ (5.10c)[/tex]


This is the Lie algebra of the (semi-direct product) group of scale & translation.

****

Poincare' group

The same can be applied to the Poincare transformations

[tex]\bar{x} = T(\Lambda , a)x = \Lambda x + a \ \ (5.11)[/tex]

which have the multiplication law

[tex]T_{1}T_{2} = T(\Lambda_{1} \Lambda_{2} , \Lambda_{1} a_{2} + a_{1}) \ \ (5.12)[/tex]

For infinitesimal transformation, [tex]T(1 + \omega , \epsilon )[/tex] , we may write the corresponding unitary operator as

[tex]U(1+\omega ,\epsilon ) = 1 + i \epsilon . P - (i/2) \omega . J \ \ ((5.13)[/tex]

where [tex]\omega . J \equiv \omega_{ab}J^{ab}[/tex]


Ex(5.4): Use Eq(5.12) to show that

[tex]U(\Lambda ,a)U(1+\omega ,\epsilon )U^{-1}(\Lambda , a) = U(\Lambda \omega \Lambda^{-1} , \Lambda \epsilon - \Lambda \omega \Lambda^{-1} a) \ \ (5.14)[/tex]

write this to 1st order in [tex](\omega , \epsilon)[/tex] , then show that J is a Lorentz tensor;

[tex]\bar{J}^{ab} = U^{-1}J^{ab}U = \Lambda_{c}{}^{a}\Lambda_{d}{}^{b}( J^{cd} + a^{c}P^{d} - a^{d}P^{c}) \ \ (5.15a)[/tex]

and P is a vector

[tex]\bar{P}^{a} = U^{-1}P^{a}U = \Lambda_{b}{}^{a}P^{b} \ \ (5.15b)[/tex]

From the infinitesimal versions of Eq(5.15) deduce the Lie algebra of Poincare' group;

[tex][iP_{a},P_{b}] = 0 \ \ \ \ (5.16a)[/tex]
[tex][iJ^{ab},P^{c}] = \eta^{ac}P^{b} - \eta^{bc}P^{a} \ \ (5.16b)[/tex]
[tex][iJ^{ab},J^{cd}] = \eta^{bc}J^{ad} - \eta^{ac}J^{bd} + \eta^{ad}J^{bc} - \eta^{bd}J^{ac} \ \ (5.16c)[/tex]

****

Scale & Lorentz group

[tex]\bar{x} = T(\alpha ,\Lambda ) x = e^{\alpha} \Lambda x \ \ \(5.17)[/tex]

For this group, we have

[tex]u(\alpha_{1} , \Lambda_{1})u(\alpha_{2} , \Lambda_{2}) = u(\alpha_{1} + \alpha_{2} , \Lambda_{1} \Lambda_{2} ) \ \ (5.18)[/tex]

From this, it is seen;

[tex]u(\alpha , 1)u(0 , \Lambda )u(-\alpha , 1) = u(0 , \Lambda) \ \ (5.19)[/tex]

By writting

[tex]u(\alpha , 1) = 1 + i \alpha D \ \ (5.20a)[/tex]
[tex]u(0 , \Lambda) = 1 + (i/2) \omega . J \ \ (5.20b)[/tex]

we find

[tex][iJ^{ab}, D] = 0 \ \ (5.21)[/tex]

Next, we postulate that the algebra of C(1,n-1) closes on the (n+1)(n+2)/2 generators (P,J,D,K) and that K is a Lorentz vecto

[tex][iJ^{ab}, K^{c}] = \eta^{ac}K^{b} - \eta^{bc}K^{a} \ \ (5.22)[/tex]

Surprisingly, this postulate together with what we already know about the subalgebra (P,J,D), is sufficient to determine the remaining commutators
[P,K], [D,K] and [K,K] from the Jacobi identities alone.

Ex(5.5): On grounds of Lorentz invariance, i.e., the Jacobi identities found by taking the above commutators with J, conclude that

[tex][iD, K^{a}] = aK^{a} + bP^{a} \ \ (5.23a)[/tex]
[tex][iK^{a},K^{b}] = cJ^{ab} \ \ (5.23b)[/tex]
[tex][iK^{a},P^{b}] = d\eta^{ab} D - dJ^{ab} \ \ (5.23c)[/tex]

where a,b,c and d are constants.

Now, use the J. identities

[tex]\left[iD ,[iK^{a},P^{b}] \right] + \left[iP^{b}, [iD,K^{a}] \right] + \left[iK^{a}, [iP^{b},D] \right] = 0 \ \ (5.24a)[/tex]
[tex]\left[iD, [iK^{a},K^{b}] \right] + ... + ... = 0 \ \ (5.24b)[/tex]
[tex]\left[iP^{a}, [iK^{b},K^{c}] \right] + ... + ... = 0 \ \ (5.24c)[/tex]


to find that a = -1 and c = bd = 0 .

Notice that a vanishing [P,K] would also be compatible with the Jacobi identities, in that case there would be an arbitrary real factor in [D,K]. However the choice b = 0 and d = 2 is compatible with our previous work

[tex][iD,K^{a}] = - K^{a} \ \ (5.25a)[/tex]
[tex][iK^{a},K^{b}] = 0 \ \ (5.25b)[/tex]
[tex][iK^{a},P^{b}] = 2\eta^{ab} D - 2J^{ab} \ \ (5.25c)[/tex]



more to come...
 
Last edited:
  • #6
From SO(2,n)-algebra to the conformal algebra

Here we will show that the algebra of C(1,n-1) is isomorphic to that of the "Lorentz" group SO(2,n). The latter may be cosidered as a set of pseudoorthognal transformations in a (n+2)-dimensional flat spacetime [tex]M^{n+2}[/tex] with the metric;

[tex]\eta^{\mu \nu} = (-1,1,\eta^{ab}) \ \ (6.1)[/tex]

where

[tex](\mu , \nu) = -2, -1, 0, 1, ...,n-1[/tex]
[tex](a , b) = 0, 1, ..., n-1[/tex]

the algebra of SO(2,n) is given by

[tex][iM^{\mu \nu},M^{\rho \sigma}] = \eta^{\nu \rho}M^{\mu \sigma} - \eta^{\mu \rho}M^{\nu \sigma} + \eta^{\mu \sigma}M^{\nu \rho} - \eta^{\nu \sigma}M^{\mu \rho} \ \ (6.2)[/tex]

Ex(6.1) Define the following generators

[tex]D = M^{-2,-1} \ \ (6.3a)[/tex]
[tex]J^{ab} = M^{ab} \ \ (6.3b)[/tex]
[tex]\frac{1}{2}(P^{a} - K^{a}) = M^{-2,a} \ \ (6.3c)[/tex]
[tex]\frac{1}{2}(P^{a} + K^{a}) = M^{-1,a} \ \ (6.3d)[/tex]

then show that Eq(6.2) gives the conformal algebra.


The origin of the nonlinearity of conformal transformations can now be understood by considering the relation between C(1,n-1) and SO(2,n). In [tex]M^{n+2}[/tex] ,the SO(2,n) coordinate transformations are linear. However, by projecting these transformations on [tex]M^{n}[/tex] ,we get a nonlinear realization of the group SO(2,n), that coincides with the action of C(1,n-1) on [tex]M^{n}[/tex] .


more to come...
 
  • #7
From conformal algebra to conformal transformations

Can we arrive at the conformal coordinate transformations from the conformal algebra? Yes, we can. This is because the Minkowski space [tex]M^{n}[/tex] can be identified with the coset manifold C(1,n-1)/H, with H the subgroup generated by [tex](J^{ab},D,K^{a})[/tex] ,i.e., it can be parametrized by;

[tex]T(x) = \exp(iP.x) \ \ (7.1)[/tex]

In general, a set of group elements T(x), labelled by as many parameters as necessary, parametrizes the manifold if each coset contains one of the T's. Once a parametrization T(x) has been chosen, each group element g can be uniquely decomposed into a product

[tex]g = T(x) . L \ \ (7.2)[/tex]

where T is the representative member of the coset to which g belongs and L connect T to g within the coset. A product of g with an arbitrary element, and in particular with some T(x) will therefore give another T and an L according to

[tex]g . T(x) = T(\bar{x}) . L \ \ (7.3)[/tex]

where
[tex]\bar{x} = \bar{x}(x,g) \ \ (7.4a)[/tex]
[tex]L = L(x,g) \ \ (7.4b)[/tex]

We will see that the conformal algebra is sufficient to determine [tex]\bar{x}[/tex] and L explicitly from

[tex]g . e^{iP.x} = e^{iP. \bar{x}} . L \ \ (7.3')[/tex]


Translations:

[tex]g = T(a) = \exp(ia.P)[/tex]

gives
[tex]\bar{x} = x + a[/tex]
[tex] L = 1[/tex]

Lorentz trans

[tex]g = \exp(\frac{i}{2} \omega . J)[/tex]

For infinitesimal [tex]\omega[/tex] , we can write

[tex](1 + \frac{i}{2} \omega . J) e^{ix.P} = e^{ix.P}\left[ e^{-ix.P}(1 + i/2 \omega . J) e^{ix.P}\right] \ \ (7.5)[/tex]

The expression in [ ] can be expanded by use of the Hausdorff formula

[tex]e^{-A} B e^{A} = B + [B,A] + 1/2 [[B,A],A] + ... \ \ (7.6)[/tex]

this gives

[tex](1 + \frac{i}{2}\omega .J) e^{ix.P} = e^{ix.P}\left(1 + \frac{i}{2}\omega .J + \frac{i}{2}\omega_{ab}x_{c}[iJ^{ab},P^{c}] \right) \ \ (7.7)[/tex]

upon inserting the algebra (5.16b), we find

[tex](1 + i/2 \omega .J) e^{ix.P} = e^{i(x^{a} - \omega^{ab}x_{b})P_{a}} (1 + i/2 \omega .J) + o(\omega^{2}) \ \ (7.8)[/tex]

For finite [tex]\omega[/tex] we find the expected Lorentz transformations

[tex]\bar{x}^{a} = \Lambda^{a}{}_{b}x^{b}[/tex]

and
[tex]L = g =\exp(i/2 \omega .J) \ \ (7.9)[/tex]


Ex(7.1): For infinitesimal D-transformations (dilations) and K-transformations (special conformal trans), show that

[tex](1 - i \alpha D) e^{ix.P} = e^{i(1 - \alpha )x.P} (1 - i \alpha D) + o(\alpha^{2}) \ \ (7.10)[/tex]

[tex](1 + i c.K) e^{ix.P} = e^{iP_{a}(x^{a}+2c.x x^{a}-c^{a}x^{2})}\left(1 + ic.K + 2ic.xD - 2ic_{b}x_{a}J^{ab}\right) + o(c^{2}) \ \ (7.11)[/tex]


Next, we will talk physics :!)
 
Last edited:
  • #8
Conformal Invariance; The troubles!

[You don't have to read this post if you are not familiar with QFT]

Whereas conformal transformations are well understood in mathematics, this is not the case in physics! The physical meaning of the conformal transformations in n>2 spacetime dimensions is far from clear. Many believe that conformal invariance has no physical meaning and consequently should not play "any" role in physics!
So, what is the problem? Well, apart from the Poincare' algebra, we can not say that the conformal algebra (invariance) is realized in nature. For if

[tex][iD,P^{a}] = P^{a} \ \ (8.1)[/tex]

holds in nature, then it is also true that;

[tex]e^{-i \alpha D}P^{2}e^{i \alpha D} = e^{-2 \alpha}P^{2} \ \ (8.2)[/tex]

So, if |P> is some 1-particle state of given positive mass m ;

[tex]P^{2}|P \rangle = m^{2}|P \rangle \ \ (8.3)[/tex]

then the state

[tex]|\bar{P} \rangle = e^{-i \alpha D} |P \rangle \ \ (8.4)[/tex]

carries the mass
[tex]\bar{m}^{2} = e^{2\alpha} m^{2} \ \ (8.5)[/tex]

i.e.,

[tex]P^{2}|\bar{P}\rangle = e^{2\alpha}m^{2}|\bar{P}\rangle \ \ (8.6)[/tex]

If we assume that scale invariance is not spontaneously broken, i.e.,

[tex]e^{-i\alpha D}|0 \rangle = |0 \rangle \ \ (8.7)[/tex]

then we conclude that

[tex]|\bar{P}\rangle = e^{-i\alpha D}a^{\dagger}(p) |0 \rangle \propto a^{\dagger}(e^{\alpha}p) |0 \rangle \ \ (8.8)[/tex]

This means that the state [tex]|\bar{P}\rangle [/tex] is a quantum of the same field as the state [tex]|P\rangle [/tex] but with a rescaled momentum, i.e., by virtue of conformal invariance, both states must belong to the same Hilbert space. Therefore, by Eq(8.5), conformal invariance implies that the mass spectrum is either continuous or all masses vanish! In order to avoid this physically absurd conclusion, conformal symmetry must be explicitly or spontaneously broken (mathematically this problem is equivalent to the fact that [tex]P^{2}[/tex] is not a Casmir's operator).

Notice though, if the vacuum was not unique then the state [tex]|\bar{P}>[/tex] would belong to a different Hilbert space than the state |P> and our conclusion would be avoided.

Another problem is that conformal invariance at the quantum level does not follow from conformal invariance at the classical level. Operationally this means that the renormalized energy-momentum tensor possesses a non-vanishing trace and there are anomalies in the dilation and conformal currents.
We will see that scale invariance requires that there be no dimensionfull parameters in the Lagrangian. But QFT does not make sense without a regularization prescription that introduces a scale in the theory. This scale, at which the theory is renormalized, breaks conformal invariance.

Ex(8.1): Derive (8.2) and (8.6).

more to come...
 
Last edited:
  • #9
The action of generators on local fields; (I) General

Before considering conformal field theory and the conditions under which an action integral is conformally invariant, we must decide how the fields transform under the conformal transformations.
If the configuration variables are transformed according to

[tex]x \rightarrow \bar{x} = g x \ \ (9.1)[/tex]

with g belongs to some Lie group, state vectors and ,therefore, local fields will be in general subject to a unitary transformations;

[tex]|\Phi \rangle \rightarrow |\Phi_{g} \rangle = u(g) |\Phi \rangle \ \ (9.2)[/tex]

[tex]\bar{\phi}_{i}(x) = u^{-1}(g) \phi_{i} u(g) = \mathcal{D}_{i}{}^{j}\phi_{j}(g^{-1}x) \ \ (9.3)[/tex]

where [tex]\mathcal{D}(g)[/tex] is a finite-dimensional (matrix) representation of the group, i.e., set of matrices satisfying the Lie algebra of the group. They need not necessarily be unitary. Their effect is a reshuffling of field components.

Eq(9.3) can be understood as follow;

Since the expectation values;

[tex] C_{i}(x) = \langle \Phi | \phi_{i}(x) | \Phi \rangle \ \ (9.4)[/tex]

are C-numbers, we expect them to transform like classical fields (which belong to some representation D):

[tex]\bar{C}_{i}(\bar{x}) = \mathcal{D}_{i}{}^{j}C_{j}(x) \ \ (9.5)[/tex]
and, by Eq(9.2), the expectation value of the transformed field operator [tex]\bar{\phi}(\bar{x})[/tex] in a state described by [tex]|\Phi \rangle [/tex] is the same as the expectation value calculated using the untransformed operator [tex]\phi(\bar{x})[/tex] and the transformed state [tex]|\Phi_{g}\rangle [/tex] :

[tex]\langle \Phi |\bar{\phi}(\bar{x}) |\Phi \rangle \equiv \langle \Phi |u^{-1}\phi(\bar{x}) u |\Phi \rangle = \mathcal{D} \langle \Phi |\phi(x) |\Phi \rangle \ \ (9.6)[/tex]

Since this is true for any state vector, we conclude that;

[tex]\bar{\phi}(\bar{x}) = u^{-1}\phi (\bar{x}) u = \mathcal{D} \phi(x) \ \ (9.7)[/tex]

or, by (9.1),

[tex]\bar{\phi}(\bar{x}) = u^{-1}\phi(\bar{x}) u = \mathcal{D} \phi (g^{-1}\bar{x}) \ \ (9.8)[/tex]

This leads to Eq(9.3) after renaming the coordinates [tex]\bar{x}=x[/tex] .
Now I want you to work out the action of infinitesimal generators on local fi eld.
Ex(9.1): Let

[tex]g^{-1}x^{a} = x^{a} + \lambda_{A}f^{Aa}(x) \ \ (9.9)[/tex]
[tex]u(g) = \exp(- i \lambda_{A}G^{A}) \ \ (9.10)[/tex]

and

[tex]\mathcal{D}^{i}_{j} = \exp(\lambda_{A}D^{Ai}{}_{j}) \ \ (9.11)[/tex]

where [tex]\lambda_{A}[/tex] [A = 1,2,...,dim(g)] are the infinitesimal

parameters and [tex]D^{A}[/tex] forms a matrix representation of the

generators [tex]G^{A}[/tex] .
Write Eq(9.3) to 1st order in lambda and show that;

[tex]\delta^{A}_{(\lambda)}\phi_{i}(x) = [iG^{A} , \phi_{i}(x)] = f^{Aa}\partial_{a}\phi_{i} + D_{i}^{Aj}\phi_{j}(x) \ \ (9.12)[/tex]

where

[tex]\delta \phi_{i} = \lambda_{A}\delta^{A}_{(\lambda)}\phi_{i} = \bar{\phi}_{i}(x) - \phi_{i}(x) \ \ (9.13)[/tex]

is the infinitesimal variation (change) in the form of the field function.


more to come soon...
 
Last edited:
  • Like
Likes naima
  • #10
The action of conformal generators II

Here, we will use Eq(9.3) or its infinitesimal version (9.12) to determine the action of the generators (P,J,D,K) on local field:

For translation;

[tex]g^{-1}x = x - a \ \ (10.1)[/tex]
[tex]u(a) = \exp(i a.P) \ \ (10.2)[/tex]
[tex]\mathcal{D}^{i}_{j} = \delta^{i}_{j} \ \ (10.3)[/tex]

we find

[tex]\bar{\phi}_{i}(x) = \phi_{i}(x) - a_{a}[i P^{a},\phi_{i}] = \phi_{i}(x) - a_{a}\partial^{a}\phi_{i}[/tex]
or
[tex]\delta^{a}_{(T)}\phi = [i P^{a},\phi (x)] = \partial^{a}\phi \ \ (10.4)[/tex]

For Lorentz transformations;

[tex]g^{-1}x^{a} = x^{a} - \omega^{ab}x_{b} \ \ (10.5)[/tex]
[tex]u(\omega) = \exp(-\frac{i}{2}\omega . J) \ \ (10.6)[/tex]
[tex]\mathcal{D}^{i}_{j} = \exp(\frac{1}{2}\omega . \Sigma^{i}_{j}) \ \ (10.7)[/tex]

where [tex]\Sigma[/tex] is the appropriate spin matrix for the field,

we get;

[tex]\delta^{ab}_{(L)}\phi_{i} = [i J^{ab},\phi_{i}] = (x^{a}\partial^{b} - x^{b}\partial^{a})\phi_{i} + \Sigma^{abj}_{i}\phi_{j} \ \ (10.8)[/tex]

Ex(10.1): Check Eq(10.8).

For Scale transformations (Dilations);

[tex]g^{-1}x = x + \alpha x \ \ (10.9)[/tex]
[tex]u(\alpha) = \exp(-i \alpha D) \ \ (10.10)[/tex]
[tex]\mathcal{D} = \exp(d \alpha ) \ \ (10.11)[/tex]

where d is (real number) called the canonical dimension of the field. We will see how to find its values for fermions and bosons.

Inserting (10.9), (10.10) and (10.11) in Eq(9.3), we find

[tex]\bar{\phi}_{i} = \phi_{i} + \alpha [i D, \phi_{i}] = \phi_{i} + \alpha (x.\partial + d ) \phi_{i}[/tex]

or

[tex]\delta_{(D)}\phi = [i D, \phi ] = ( d + x . \partial ) \phi \ \ (10.12)[/tex]


For free fields, we have the canonical equal-time (anti)commutation relations:

[tex]\{ \psi (x,t) , \psi^{\dagger}(y,t) \} = \delta^{3}(x-y) \ \ (10.13a)[/tex]
[tex][\phi(x,t) , \dot{\phi}(y,t) ] = i \delta^{3}(x-y) \ \ (10.13b)[/tex]

The scale dimension d is defined so that (10.13) remain invariant under scale transformation. Transforming the fields in (10.13a) according to Eq(9.7) and (10.11), i.e.,

[tex]\psi(x,t) = e^{- d \alpha} \bar{\psi}(\bar{x},\bar{t}) \ \ (10.14)[/tex]

one finds

[tex]\{\psi(x,t) , \psi^{\dagger}(y,t) \} = e^{-2d \alpha} \delta^{3}(\bar{x} - \bar{y}) = e^{\alpha (3 - 2d)}\delta^{3}(x-y) \ \ (10.15)[/tex]

Thus the invariance of (10.13a) implies that the canonical scale dimension for fermion field is

[tex]d_{\psi} = \frac{3}{2} \ \ (10.16)[/tex]

Ex(10.2): show that for boson field, the invariqance of (10.13b) under scale transformations, implies

[tex] d_{\phi} = 1 \ \ (10.17)[/tex]

These values for d correspond to the natural dimention of the fields in units of mass.


Special conformal transformations;

In Eq(9.12), if we put A = a (a spacetime index),

[tex]f^{ab} = 2 x^{a}x^{b} - \eta^{ab} x^{2} \ \ (10.18)[/tex]
[tex]D^{aj}_{i} = -2 d x^{a}\delta^{j}_{i} + 2 x_{b}\Sigma^{baj}_{i} \ \ (10.19)[/tex]

and
[tex]G^{a} = K^{a} \ \ (10.20)[/tex]

we find

[tex]\delta^{a}_{(C)}\phi_{i} = [i K^{a}, \phi_{i}] = (2x^{a}x^{b} - \eta^{ab}x^{2}) \partial_{b}\phi_{i} + 2d x^{a}\phi_{i} - 2 x_{b}\Sigma^{baj}_{i}\phi_{j} \ \ (10.21)[/tex]

In offering Eq(10.19) we assumed that the field carries irreducible representation of Lorentz group. This will become clear in the next post when we rederive the equations (10.8),(10.12) and (10.21), using the theory of induced representations. At this moment in time, Eq(5.25c) and (7.11) are the only hints we have for (10.19).


more to come soon..
 
Last edited:
  • #11
The actin of conformal generators III

Let [tex]\mathcal{G}[/tex] be a Lie group such that the Minkowski space can be identified with the coset space

[tex] M^{n} = \mathcal{G} / H \equiv \frac{(G^{A},P^{a})}{(G^{A})} \ \ (11.1)[/tex]

where the subgroup H (generated by [tex]G^{A}[/tex] ) leaves the origin x = 0 invariant, and P generates the usual abelian group of translation.

Now, given any representation of the "little" group H on [tex]\phi (0)[/tex] , we can induce it to the whole group, i.e., to a representation of [tex]\mathcal{G}[/tex] on [tex]\phi (x)[/tex] . This is done using the definition

[tex]\phi (x) = e^{i P.x}\phi (0) e^{-i P.x} \ \ (11.2a)[/tex]

i.e.,

[tex]\partial \phi (x) = [iP_{a}, \phi (x)] \ \ (11.2b)[/tex]

and the algebra of [tex]\mathcal{G}[/tex] , i.e., the commutators [P,G], [P,P] and [G,G].

We take the action of H to be

[tex][iG^{A},\phi_{i}(0)] = D^{Aj}_{i}\phi_{j}(0) \ \ (11.3)[/tex]

where D's are matrix representation of the generators G's of the little group H.

Ex(11.1): Show that the D's in (11.3) form a matrix representation of the algebra

[tex][iG^{A},G^{B}] = f^{AB}{}_{C}G^{C} \ \ (11.4)[/tex]


Now, Eq(11.2a) and (11.3) can be used to write

[tex][i (e^{iP.x} G^{A} e^{-iP.x}) , \phi_{i}(x)] = D^{Aj}_{i}\phi_{j}(x) \ \ (11.5)[/tex]


Applying Hausdroff formula Eq(7.6) to the lefthand-side, gives

[tex][iG^{A},\phi (x)] = D^{Aj}_{i}\phi_{j}(x) + \left[i \left( [iG^{A},x.P] -\frac{1}{2}\left[i[G^{A},x.P],x.P\right] + ...\right) , \phi_{i}(x) \right] \ \ (11.6)[/tex]

Notice that the RHS can be evaluated using only the algebra of the group [tex]\mathcal{G}[/tex] .

Let us apply this method to the conformal group C(1,n-1).
Here the subgroup (H) that leaves the point x = 0 invariant is generated by;

[tex]G^{A} = (J^{ab}, D, K^{a}) \ \ (11.7)[/tex]

If we remove the translation generator (P) from the conformal algebra, we get something identical to Poicare' algebra augmented by dilations (D), because of the similar role played by P and K.
Next we introduce a set of matrices;

[tex]D^{A} = (\Sigma^{ab}, \Delta , \mathcal{K}^{a}) \ \ (11.8)[/tex]

to define the action of this little group on [tex]\phi (0)[/tex] ;

[tex][iJ^{ab},\phi_{i}(0)] = \Sigma^{abj}_{i}\phi_{j}(0) \ \ (11.9a)[/tex]

[tex][iD,\phi_{i}(0)] = \Delta^{j}_{i}\phi_{j}(0) \ \ (11.9b)[/tex]

[tex][iK^{a},\phi_{i}(0) = \mathcal{K}^{aj}_{i}\phi_{j}(0) \ \ (11.9c)[/tex]


these matrices must form arepresentation of the reduced algebra

[tex][\Sigma,\Delta ] = [\Delta ,\Delta ] = [\mathcal{K},\mathcal{K}] = 0 \ \ (10.10a)[/tex]

[tex][\Delta , \mathcal{K}^{a}] = \mathcal{K}^{a} \ \ (11.10b)[/tex]

[tex][\Sigma^{ab},\mathcal{K}^{c}] = \eta^{bc}\mathcal{K}^{a} - \eta^{ac}\mathcal{K}^{b} \ \ (11.10c)[/tex]

[tex][\Sigma^{ab},\Sigma^{cd}] = \eta^{ac}\Sigma^{bd} - ... \ \ (11.10d)[/tex]


Ex(11.2) use the algebra of (J, D, K) and Eq(11.9) to derive Eq(11.10).


If the field belongs to an irreducible representation of Lorentz group, then by Schur's lemma, any matrix that commutes with all the (irreducible) grnerators [tex]\Sigma[/tex] must be a multiple of the unit matrix. Consequently, the matrix [tex]\Delta[/tex] is

[tex]\Delta^{j}_{i} = d \delta^{j}_{i} \ \ (11.11)[/tex]

where d is a real number, and the algebra (11.10b) forces all matrices [tex]\mathcal{K}[/tex] to vanish.

If we now put

[tex]D^{Aj}_{i} = \Sigma^{abj} , d\delta^{j}_{i} , 0[/tex]

and

[tex]G^{A} = J^{ab} , D, K^{a}[/tex]

in Eq(11.6), we arrive (after using the conformal algebra) at

[tex][iJ^{ab},\phi (x)] = (x^{a}\partial^{b} - x^{b}\partial^{a} + \Sigma ) \phi (x) \ \ (11.12a)[/tex]

[tex][iD,\phi (x)] = (d + x. \partial ) \phi (x) \ \ (11.12b)[/tex]

and

[tex][iK^{a},\phi] = (2x^{a}x^{b} - \eta^{ab}x^{2})\partial_{b}\phi + (2dx^{a} + 2x_{b}\Sigma^{ab})\phi \ \ (11.12c)[/tex]


These equations together with

[tex][iP^{a},\phi ] = \partial^{a}\phi \ \ (11.12d)[/tex]


determine the action of the conformal group on local fields. In the next post we will see that, when the conditions for conformal invariance are met, Noether theorem gives us a time independent and Lorentz covariant objects satisfying the conformal algebra and effect the proper transformations on the fields, i.e., satisfing (11.12). Therefore one can identify Noether charges with the conformal generators. However, we will see that the noether charges (P,J,D,K) satisfy (11.12) even when the (K,D)-symmetry is broken!


more to come tomorow...
 
Last edited:
  • #12
Local field theory and invariance condition

An arbitrary field theory is described by a Lagrangian density which we take to be a real function of the field variables [tex]\phi(x)[/tex] and of their first derivative [tex]\partial_{a}\phi[/tex] . If [tex]\mathcal{L}[/tex] depends only on the state of the fields in an infinitely small neighbourhood of the point x ,i.e., on the values oh [tex]\phi[/tex] and of [tex]\partial \phi[/tex] evaluated at the same point x , then it is called a local Lagrangian, and the corresponding theory is said to be a local theory.
So, we may write;

[tex]\mathcal{L}(x) = \mathcal{L}\left(\phi (x), \partial_{a}\phi (x)\right) \ \ (12.1)[/tex]

It is assumed that [tex]\phi (x) \rightarrow 0[/tex] sufficiently fast as [tex]|\vec{x}| \rightarrow \infty [/tex] .
The integral of the Lagrangian over bounded, arbitrary contractible, region in spacetime;
[tex]S = \int_{D}d^{4}x \mathcal{L}(x) \ \ (12.2)[/tex]
where
[tex]D \equiv ( V \cup \partial V ) \subset \mathbb{R}^{4} \ \ (12.3)[/tex]

is called the action.

From the variation principle of stationary action;

[tex]\delta \int_{D} d^{4}x \mathcal{L}(x) = 0 \ \ (12.4)[/tex]

together with the assumption that the variation of the fields [tex]\delta \phi[/tex] vanish on [tex]\partial V[/tex] (the surface of the 4-volume over which the integral is taken) but arbitrary in [tex]V[/tex] , we obtain the field equations in V:

[tex]\frac{\delta \mathcal{L}}{\delta \phi} = 0 \ \ (12.5a)[/tex]

where

[tex]\frac{\delta \mathcal{L}}{\delta \phi} \equiv \frac{\partial \mathcal{L}}{\partial \phi} - \partial_{a}\left(\frac{\partial \mathcal{L}}{\partial \partial_{a}\phi}\right) \ \ (12.5b)[/tex]

is the Euler derivative.
In the canonical formalism, the field and its conjugate momentum

[tex]\pi = \frac{\partial \mathcal{L}}{\partial \partial_{0}\phi} \ \ (12.6)[/tex]

satisfy the equal-time commutation relations

[tex][\phi(t,x) , \pi (t,y)] = i\delta^{3}(x-y) \ \ (12.7a)[/tex]
[tex][\phi , \phi ] = [\pi ,\pi ] = 0 \ \ (12.7b)[/tex]

The connection between continuous symmetries and conserved quantities is highlighted by Noether's theorem which states: to every Lie group of transformations which leaves the action unchanged, there corresponds a definite combination of the Lagrangian derivatives that determines the field invariants when the fields satisfy the E-L equation, i.e., when the field equations are satisfied, a systematic procedure for obtaining conservation laws can be developed from a direct study of the invariance properties of the action integral.
Therefore, it is interesting to ask what conditions on [tex]\mathcal{L}[/tex] insure the invariance of the action? In other words, if G is a given Lie group, then the question will be; how to formulate a G-invariant theory?

To answer this question, let us consider an infinitesimal coordinate transformations
[tex]x^{a} \rightarrow \bar{x}^{a} = x^{a} + \lambda_{A}f^{Aa}(x) \ \ (12.8)[/tex]
such that the fields transform according to some known representation of G :

[tex]\phi (x) \rightarrow \bar{\phi}(\bar{x}) = \phi (x) + \lambda_{A}\bar{\delta}^{A}\phi (x) \ \ (12.9)[/tex]

where [tex]\lambda_{A}[/tex] are the infinitesimal parameters, A=1,2,..,dim(G),
and [tex]\bar{\delta}^{A}\phi[/tex] is the local variation in the field due to the change in the form of the field function and its argument:

[tex]\bar{\delta}^{A}\phi = \delta^{A}\phi + f^{Aa}\partial_{a}\phi \ \ (12.10)[/tex]

where the variation in the form of the field is defined by

[tex]\delta \phi \equiv \lambda_{A}\delta^{A}\phi = \bar{\phi}(x) - \phi (x) \ \ (12.11)[/tex]

Please note that

[tex]\partial_{a}\delta^{A}\phi = \delta^{A}\partial_{a}\phi \ \ (12.12a)[/tex]

but

[tex]\partial_{a}\bar{\delta}^{A}\phi = \bar{\delta}^{A}\partial_{a}\phi + \partial_{a}f^{Ab}\partial_{b}\phi \ \ (12.12b)[/tex]

Ex(12.1): Derive the above two equations.

Under these transformations (the action of the group G), the form of a local Lagrangian would change according to

[tex]\delta^{A}\mathcal{L} = \frac{\partial \mathcal{L}}{\partial \phi}\delta^{A}\phi + \pi^{a}\partial_{a}\delta^{A}\phi \ \ (12.13)[/tex]

where

[tex]\pi^{a} = \frac{\partial \mathcal{L}}{\partial \partial_{a}\phi} \ \ (12.14a)[/tex]

[tex]\pi^{0}\equiv \pi \ \ (12.14b)[/tex]

Since the explicit form for [tex]\bar{\delta}^{A}\phi[/tex] is assumed known (matrix representation of G), we can use (12.10) to put (12.13) in a form like;

[tex]\delta^{A}\mathcal{L} + \partial_{a}(f^{Aa}\mathcal{L}) = C^{A}\left(\mathcal{L},\frac{\partial \mathcal{L}}{\partial \phi},\pi^{a};D \right) \ \ (12.15)[/tex]

with [tex]C^{A}[/tex] has no exiplicit x-dependence and [tex]D[/tex] is the matrix representation of G.

If we can construct a Lagrangian (i.e.,formulate a theory) in such a way that

[tex]C^{A} = 0 \ \ (12.16)[/tex]

then our theory will be invariant under the given Lie group G. Mathematically speaking, the solution [tex](\mathcal{L})[/tex] of the system of 1st order PDE (12.16), describes the most general G-invariant theory. Also, whether or not a given theory is G-invariant can be decided by examining the Lagrangian against (12.16).

To show that (12.16) is invariance condition, look at the variation of the action;

[tex]\bar{\delta}\int_{D}\mathcal{L} d^{4}x = \int_{\bar{D}} \bar{\mathcal{L}}(\bar{x}) d^{4}\bar{x} - \int_{D}\mathcal{L}(x) d^{4}x \ \ (12.17)[/tex]

it is made of the sum of the local variation of [tex]\mathcal{L}[/tex] and of the variation in the region of integration:

[tex]\bar{\delta}^{A}\int_{D}\mathcal{L} d^{4}x = \int_{D}\left(\bar{\delta}^{A}\mathcal{L}\right) d^{4}x + \int_{D} \mathcal{L}(x) \bar{\delta}^{A}(d^{4}x) \ \ (12.18)[/tex]

Symbolically, this can be understood in terms of the algebric property of the

local variation symbol [tex]\bar{\delta}[/tex] .
Indeed, to the 1st order, it is a derivation;

[tex]\bar{\delta}(fg) = (\bar{\delta}f)g + f(\bar{\delta}g)[/tex]

Now, the local variation in [tex]\mathcal{L}[/tex] can be expressed as
a variation in the form of the lagrangian plus "drag";

[tex]\bar{\delta}^{A}\mathcal{L} = \delta^{A}\mathcal{L} + f^{Aa}\partial_{a}\mathcal{L} \ \ (12.19)[/tex]

[see Eq(12.10)], and

[tex]\bar{\delta}(d^{4}x) \equiv d^{4}\bar{x} - d^{4}x = J(\frac{\bar{x}}{x}) d^{4}x - d^{4}x \ \ (12.20)[/tex]

J-is the Jacobian of the transformations (12.8). To the 1st order we can write;

[tex]\bar{\delta}^{A}(d^{4}x) = \partial_{a}f^{Aa} d^{4}x \ \ (12.21)[/tex]

Putting (12.19) and (12.21) in Eq(12.18) leads to;

[tex]\bar{\delta}^{A}\int_{D}\mathcal{L} d^{4}x = \int_{D} C^{A} d^{4}x \ \ (12.22)[/tex]

Since [tex]D \subset \mathbb{R}^{4}[/tex] is an arbitrary contractible domain, we conclude that the action is invariant if and only if [tex]C^{A}= 0[/tex] .

So what is the link between the invariance condition (12.16) and Noether theorem?

In terms of the Euler derivative (12.5b), we can rewrite (12.13) as;

[tex]\delta^{A}\mathcal{L} = \partial_{a}(\pi^{a}\delta^{A}\phi ) + \frac{\delta \mathcal{L}}{\delta \phi}\delta^{A}\phi \ \ (12.23)[/tex]

Putting this in (12.15) we find;

[tex]C^{A} = \frac{\delta \mathcal{L}}{\delta \phi}\delta^{A}\phi + \partial_{a}(\pi^{a}\delta^{A}\phi + f^{Aa}\mathcal{L}) \ \ (12.24)[/tex]

Thus, our invariance condition [tex]C^{A} = 0[/tex] is equivalent to the Noether identity;

[tex]\frac{\delta \mathcal{L}}{\delta \phi}\delta^{A} = \partial_{a}\mathcal{J}^{aA} \ \ (12.25)[/tex]

where

[tex]\mathcal{J}^{aA} = -\pi^{a}\delta^{A}\phi - f^{Aa}\mathcal{L} \ \ (12.26)[/tex]

is the canonical Noether current. the conservation of this current;

[tex]\partial_{a}\mathcal{J}^{aA} = 0 \ \ (12.27)[/tex]

follows from (12.25), when the field satisfies E-L equations.

Thus, in terms of the invariance condition (12.16), the statement of Noether theorem becomes

[tex]\left( C^{A}= 0, \frac{\delta \mathcal{L}}{\delta \phi}= 0 \right) \Rightarrow \left(\partial_{a}\mathcal{J}^{aA}= 0 \right) \ \ (12.28)[/tex]


When G is a symmetry group (C = 0), we can use (12.27) to show that the Noether charges

[tex]Q^{A}= \int d^{3}x \mathcal{J}^{A0} \ \ (12.29)[/tex]


1) are time-independent.
2) are G-covariant.
3) generate the correct transformation on the field;

[tex]\delta^{A}\phi = [i Q^{A}, \phi ] \ \ (12.30)[/tex]

4) satisfy the Lie algebra of G:

[tex][iQ^{A},Q^{B}] = f^{AB}{}_{C}Q^{C} \ \ (12.31)[/tex]

Because of (3) and (4), Q is called the generator of the symmetry transformations.

Ex(12.2) Derive Eq(12.30).

It is clear that when G is not a symmetry operation, i.e., [tex]C^{A}\ne 0[/tex] , it is still possible to define the current (12.26) which is not conserved, and the charge (12.29). In this case, two situations are distinguished. If G is an internal Lie group, i.e., [tex]f^{Aa}= 0[/tex] , the Noether charges would still have the properties (3) & (4) but not (1) or (2). For Spacetime groups (1),(2) & (4) are fulse but (3) is still true.

Ex(12.3): Let G be a broken internal symmetry with

[tex]f^{Aa}=0 \ \ (12.32a)[/tex]

[tex]\delta^{A}\phi = i T^{A}\phi \ \ (12.32b)[/tex]

and

[tex][iT^{A},T^{B}] = f^{AB}{}_{C}T^{C} \ \ (12.32c)[/tex]

Define the non-conserved current

[tex]\mathcal{J}^{Aa} = \pi^{a}\delta^{A}\phi \ \ (12.33)[/tex]

and its (time-dependent) charge

[tex]Q^{A}(t) = i \int d^{3}x \pi T^{A}\phi \ \ (12.34)[/tex]

then show that Q satisfies the Lie algebra of G and generates the transformation (12.32b).



In the next post (the last I hope) we will describe the conditions of conformal invariance.
 
Last edited:
  • #13
Conformal Field Theory (I)

In this and next post, we will apply the general formalism of post #12 to the conformal group C(1,3).
we will derive the explicit form of the invariance condition Eq(12.16) for translations, Lorentz, scale and special conformal transformations, and find the corresponding Noether currents and charges.

Translations

[tex]\bar{x}^{a}= x^{a} + \eta^{ab}a_{b} \ \ (13.1a)[/tex]

[tex]\delta^{b}_{(T)}\phi = - \eta^{ba}\partial_{a}\phi \ \ (13.1b)[/tex]

I.e., the notation of post #12 becomes

[tex]A = b \ \ (13.2a)[/tex]

[tex]f^{Aa}\rightarrow \eta^{ba} \ \ (13.2b)[/tex]

[tex]\delta^{A}\rightarrow \delta^{b}_{(T)} \ \ (13.2c)[/tex]

[(T) is not an index, it stands for translation]

In this case Eq(12.13) becomes;

[tex]\delta^{b}_{(T)}\mathcal{L} = - \partial_{a}(\eta^{ab}\mathcal{L}) + \frac{\delta \mathcal{L}}{\delta x_{b}} \ \ (13.3)[/tex]

From Eq(12.15) & (12.16), we see;

[tex]C^{b}_{(T)} \equiv \frac{\delta \mathcal{L}}{\delta x_{b}} = 0 \ \ (13.4)[/tex]

Thus, as expected, the condition for translation invariance is equivalent to the statement that [tex]\mathcal{L}[/tex] has no explicit x-dependence.
From Eq(12.26) we find the conserved translation current;

[tex]T^{ab} = \pi^{a}\partial^{b}\phi - \eta^{ab}\mathcal{L} \ \ (13.5)[/tex]

This is the canonical energy momentum tensor. The corresponding charge

[tex]P^{a} =\int d^{3}x T^{0a} \ \ (13.6)[/tex]

represents the energy momentum 4-vector.

Ex(13.1): Given;

[tex]\partial_{a}T^{ab}= 0 \ \ (13.7)[/tex]

show that [tex]P^{a}[/tex]

1) is time-independent.
2) is 4-vector.
3) grnerates the transformation;

[tex]\delta^{a}_{(T)}\phi = [i P^{a},\phi] \ \ (13.8)[/tex]

4) satisfies the Lie algebra of the translation group;

[tex][i P^{a},P^{b}] = 0 \ \ (13.9)[/tex]


Lorentz Transformation

Here, the index A of post #12 is a double spacetime index;

[tex]A = ab[/tex]

[tex]f^{(bc)a}(x) = \eta^{ab}x^{c} - \eta^{ac}x^{b} \ \ (13.10a)[/tex]

[tex]\delta^{bc}_{(L)}\phi = ( x^{b}\partial^{c} - x^{c}\partial^{b} + \Sigma^{bc}) \phi \ \ (13.10b)[/tex]

Inserting these in (12.13) and using the translation invariance Eq(13.4), leads to;

[tex]\delta^{bc}_{(L)}\mathcal{L} = - \partial_{a}(f^{bca}\mathcal{L}) + C^{bc}_{(L)} \ \ (13.11a)[/tex]

where

[tex]C^{bc}_{(L)} \equiv ( \pi^{b}\partial^{c} - \pi^{c}\partial^{b}) \phi + \pi^{a}\Sigma^{bc}\partial_{a}\phi + \frac{\partial \mathcal{L}}{\partial \phi}\Sigma^{bc}\phi \ \ (13.11b)[/tex]

Hence the condition for Lorentz invariance of the theory is;

[tex]C^{bc}_{(L)} = 0 \ \ (13.12)[/tex]

and the canonical Noether current is

[tex]M^{abc} = x^{b}T^{ac} - x^{c}T^{ac} + \pi^{a}\Sigma^{bc}\phi \ \ (13.13)[/tex]

The integrated charge (the ungular momentum of the field) is

[tex]J^{bc} = \int d^{3}x M^{0bc} = L^{bc} + S^{bc} \ \ (13.14a)[/tex]

where

[tex]L^{bc} = \int d^{3}x (x^{b}T^{0c} - x^{c}T^{0b}) \ \ (13.14b)[/tex]

is the intrinsic "orbital" angular momentum of the field, and

[tex]S^{bc} = \int d^{3}x \pi \Sigma^{bc}\phi \ \ (13.14c)[/tex]

describes the polarization properties of the field. It corresponds to the spin of particles described by the quantized field.

Warning: some textbooks call S; the spin "tensor", and L; the orbital angular momentum "tensor". This is not correct, in general, L and S are not covariant quantities, the sum of them is.

Ex(13.2): Check, by explicit calculation, that

[tex]\partial_{a}M^{abc} = 0 \ \ (13.15)[/tex]

follows from the invariance condition (13.12) and E-L equation.

Ex(13.3): Show that

[tex][i J^{ab},\phi] = \delta^{ab}_{(L)}\phi[/tex]

[tex][i J^{ab}, P^{c}] = \eta^{ac}P^{b} - \eta^{bc}P^{a}[/tex]
and
[tex][i J^{ab},J^{cd}] = \eta^{bc}J^{ad} - \eta^{ac}J^{bd} + \eta^{ad}J^{bc} - \eta^{bd}J^{ac}[/tex]

Ex(13.4): Show that the Belinfante tensor, defined by

[tex]T^{ab}_{(B)} = T^{ab} + \frac{1}{2}\partial_{c}X^{cab} \ \ (13.16a)[/tex]

where

[tex]X^{cab} = \pi^{c}\Sigma^{ab}\phi - \pi^{a}\Sigma^{cb}\phi - \pi^{b}\Sigma^{ca}\phi \ \ (13.16b)[/tex]

is conserved and leads to the same momentum 4-vector [tex]P^{b}[/tex] . Hence it may be used instead of the canonical tensor [tex]T^{ab}[/tex] .
Use the Lorentz-invariance condition (13.12) as well as E-L equation to show that

[tex]T^{ab}_{(B)} = T^{ba}_{(B)} \ \ (13.17)[/tex]


Ex(13.5): Define the tensor

[tex]M^{abc}_{(B)} = x^{b}T^{ac}_{(B)} - x^{c}T^{ab}_{(B)} \ \ (13.18)[/tex]

then show that it is conserved when [tex]M^{abc}[/tex] is. Also show that it leads to the same angular momentum [tex]J^{ab}[/tex] as [tex]M^{abc}[/tex] does.

more to come...
 
Last edited:
  • #14
Conformal field theory II: Scale & conformal Invariance

Cosider an infinitesimal scale transformation;

[tex]\bar{x}^{a} = x^{a} - \alpha x^{a} \ \ 14.1[/tex]

In here, the parameter carries no index, so the index A of post #12 disapears:

[tex]f^{a}(x) = - x^{a} \ \ (14.2)[/tex]

[tex]\delta_{(D)}\phi = ( d + x^{c}\partial_{c})\phi \ \ (14.3)[/tex]

Following the general formalism of post #12, it is easy to obtain

[tex]\delta_{(D)}\mathcal{L} = \partial_{a}(x^{a}\mathcal{L}) + C_{(D)} \ \ (14.4)[/tex]

with
[tex]C_{(D)} \equiv d \frac{\partial \mathcal{L}}{\partial \phi}\phi + (d+1) \pi_{c}\partial^{c}\phi - 4 \mathcal{L} = 0 \ \ (14.5)[/tex]

is the condition for dilation invariance.
Since d(boson) = 1 and d(fermion) = 3/2, the kinetic term of the Lagrangian satisfies (14.5). Examples of scale invariant interactions are;

[tex]\phi^{4}\ \mbox{and}\ \bar{\psi}\ \psi \phi .[/tex]

It is easy to see that (14.5) requires that the scale dimension of [tex]\mathcal{L}[/tex] be 4, i.e., that there be no dimensionful parameters in the lagrangian. Terms like [tex]m^{2}\phi^{2}[/tex] would of course break the scale symmetry explicitly as their scale dimension is 2. Notice the difference between scale dimension and ordinary dimention which is 4 for the term [tex]m^{2}\phi^{2}[/tex] . Scale transformation effects the dynamical variables but not the dimensionful parameters.

Ex(14.1) Show that the scale-invariance condition (14.5) implies

[tex] d(\mathcal{L}) = 4 \ \ (14.6)[/tex]

In terms of the canonical energy-momentum tensor, the dilation Noether current is

[tex]D^{a} = T^{ab}x_{b} + d \pi^{a}\phi \ \ (14.7)[/tex]

and the corresponding charge is

[tex]D = \int d^{3}x (T^{0b}x_{b} + d \pi \phi ) \ \ (14.8)[/tex]

Ex(14.2) Use E-L equation to put the invariance condition (14.5) in the form

[tex]T^{a}_{a} + \partial_{c}( \pi^{c} d \phi ) = \partial_{c}D^{c} = 0 \ \ (14.9)[/tex]

then use this to prove

[tex][i D,P^{a}] = P^{a} \ \ (14.10)[/tex]
[tex][i J^{ab},D] = 0 \ \ (14.11)[/tex]

Ex(14.3) Show that the dilation charge D generates the correct transformation on the field

[tex]\delta_{(D)}\phi = [i D ,\phi ] \ \ (14.12)[/tex]

Ofcourse this is true even in the absence of scale symmetry, i.e., even if (14.5) is not true.
The trace of [tex]T^{ab}[/tex] lives in the invariance condition (14.9) for a reason. It did not appears there by accident! Let me explain this:
Under an arbitrary transformation of the coordinates

[tex]x \rightarrow x + f(x)[/tex]

the action changes as

[tex]\delta S = \int d^{4}x \frac{\partial \mathcal{L}}{\partial\eta_{ab}} \delta \eta_{ab} = (1/2) \int d^{4}x \theta^{ab}(\partial_{a}f_{b} + \partial_{b}f_{a}) \ \ (14.13)[/tex]

Where [tex]\theta_{ab}[/tex] is the symmetric energy-momentum tensor(we will call it E-M tensor from now on). This is true even if the field does not satisfy the E-L equation.
From the conformal Killing equation (1.2), it follows that

[tex]\delta S = (1/2) \int d^{4}x \theta_{a}^{a} F(x) \ \ (14.14)[/tex]

and therefore, traceless E-M tensor implies that the action is invariant under the conformal group C(1,3). Of course the converse is not true because F(x) is not an arbitrary function.

more to come

I'm having problem with my PC, so I will break this post to 2 may be 3 smaller posts
 
Last edited:
  • #15
Conformal field theory III: Special conformal invariance

The Poicare' group together with dilations forms a subgroup of the full conformal group. This means that a theory invariant under this subgroup is not necessarily invariant under special conformal transformations. The conditions under which it should be invariant are determined by the tracelessness of the E-M tensor.
Under certain condition, the E-M tensor of a theory, with scale invariance, can be made traceless much in the same way as it can be made symmetric in a Lorentz-invariant theory. If this can be done, then it follows from Eq(14.14) that full conformal invariance is a consequence of scale invariance and poincare' invariance.

Let us do this trick. We start with scale invariant theory, i.e., with;

[tex]\partial_{a}D^{a} = T_{a}^{a} + \partial_{a}( \pi^{a} d \phi ) = 0 \ \ (15.1)[/tex]

Next we define the field virial by

[tex]V^{a} = \pi^{a} d \phi - \pi_{c}\Sigma^{ca}\phi \ \ (15.2)[/tex]

and consider the following tensor

[tex]\theta^{ab} = T^{ab} + (1/2) \partial_{c}X^{cab} + (1/2) \partial_{c}\partial_{d}Y^{cdab} \ \ (15.3)[/tex]

where the first 2 terms constitute the Belinfante tensor (13.16a).

1) from the conservation law

[tex]\partial_{a}\theta^{ab} = 0 \ \ (15.4a)[/tex]

it follows that

[tex]\partial_{a}\partial_{b}\partial_{c}Y^{cdab} = 0 \ \ (15.4b)[/tex]

Hence, Y must not be completely symmetric in the first 3 indices.

2) from the symmetry property

[tex]\theta_{ab} = \theta_{ba} \ \ \ (15.5a)[/tex]

it follows that

[tex]\partial_{c}\partial_{d}Y^{cdab} = \partial_{c}\partial_{d}Y^{cdba} \ \ \ (15.5b)[/tex]

Thus, the part of Y antisymmetric in (a,b) must also be antisymmetric in (c,d),i.e.,

[tex]Y^{cdab} - Y^{cdba} \propto ( \eta^{ca}\eta^{db} - \eta^{cb}\eta^{ad}) \ \ \ (15.5c)[/tex]

3) finally, we take the trace of Eq(15.3):

[tex]\theta_{a}^{a} = T^{a}_{a} + (1/2) \partial_{c}X^{ca}{}_{a} + (1/2) \partial_{a}\partial_{b}Y^{abc}{}_{c} \ \ \ (15.6)[/tex]

From Eq(13.16b) we see that

[tex]\partial_{c}X^{ca}{}_{a} = - 2 \partial_{c}( \pi_{a}\Sigma^{ca}\phi ) \ \ \ (15.7)[/tex]

Using (15.2), this becomes

[tex]\partial_{c}X^{ca}{}_{a} = \partial_{a}( \pi^{a} d \phi - V^{a}) \ \ \ (15.8)[/tex]

Putting this in (15.6) and using (15.1), leads to

[tex]\theta_{a}^{a} = \partial_{c}D^{c} - \partial_{a}V^{a} + (1/2)\partial_{a}\partial_{b}Y^{abc}{}_{c} \ \ \ (15.9)[/tex]

If the virial is a total divergence

[tex]V^{a} = \partial_{c}\sigma^{ca} \ \ \ (15.10)[/tex]

then Y can be constructed such that

[tex]\partial_{c}V^{c} = (1/2) \partial_{a}\partial_{b}X^{abc}{}_{c} \ \ \ (15.11)[/tex]

This leads to our final result

[tex]\partial_{c}D^{c} = \theta_{a}^{a} \ \ \ (15.12)[/tex]

This means that scale invariance implies that the "improved" E-M tensor (15.3) is traceless, provided that the field virial satisfies (15.10).
This shows that for conformal invariance two conditions must be met:
1) the theory should be scale invariant,i.e., (14.5) must be true; and
2) Eq(15.10) must hold.

more to come
 
Last edited:
  • #16
Coformal field theory IV

In this (LAST) post, we will rederive the conditions for special conformal invariance using, this time, the general formalism of post #12.
From the infinitesimal conformal transformations:

[tex]f^{ba}(x) = 2 x^{b}x^{a} - \eta^{ba}x^{2} \ \ 16.1[/tex]

[tex]\delta^{b}_{(C)} = f^{ba}\partial_{a}\phi + 2 d x^{b} \phi - 2 x_{a}\Sigma^{ab}\phi \ \ 16.2[/tex]


it is easy to see that

[tex]\delta^{b}_{(C)}\mathcal{L} = \partial(f^{ba}\mathcal{L}) + 2 C_{(D)}x^{b} + V^{b} \ \ 16.3a[/tex]

where

[tex]C_{(D)} = d \frac{\partial \mathcal{L}}{\partial \phi} \phi + (d+1) \pi_{a}\partial^{a}\phi - 4 \mathcal{L} \ \ 16.3b[/tex]

Inderiving (16.3), Lorntz and translation invariance conditions are used.

From (16.3) we see that conformal invariance requires that

[tex]C_{(D)} = 0 \ \ 16.4a[/tex]

[tex]V^{c} = \partial_{b}\sigma^{ba} \ \ 16.4b[/tex]

You might ask why not [tex]C = 0 \mbox{and} V^{a} = 0[/tex] , after all this how it should be according to our general invariance condition Eq(12.16)? Well, explicit computation show that V vanishes identically for spin-(1/2) and spin-1 fields, but for spin-0 field, we have

[tex]V^{a} = \pi^{a}\phi = (1/2) \partial^{a}\phi^{2} \neq 0 \ \ 16.5[/tex]

I have not been able to understand this unique role of the scalar field!
Remarkably,Eq(16.4b) turns out to be true for all renormalizable theories, even though scale invariance is of course broken. Eq(16.4b) is also true in all field theories (involving spins; 0, 1/2 & 1) without derivative coupling. Consequently, for these theories conformal invariance is equivalent to scale invariance.
In terms of the canonical E-M tensor, the conformal Noether current is

[tex]K^{ab} = f^{a}{}_{c}T^{bc} + 2 \pi^{b}(d x^{a} - x_{c}\Sigma^{ca}) \phi - 2 \sigma^{ab} \ \ 16.6[/tex]

By inserting the formula for [tex]\theta^{ab}[/tex] in terms of [tex]T^{ab}[/tex] in Eq(16.6) and in Eq(14.7), one finds after many tedious steps:

[tex]D^{a} = \theta^{ab}x_{b} + \partial_{b}Z^{ba} \ \ 16.7a[/tex]

[tex]K^{ab} = f^{a}{}_{c}\theta^{cb} + \partial_{c}Z^{cab} \ \ 16.7b[/tex]

The total divergence terms in (16.7) are superpotentials; they may be droped and we are left with the final compact forms for the currents

[tex]D^{a} = \theta^{ab}x_{b} \ \ 16.8a[/tex]

[tex]K^{ab} = (2 x^{a}x_{c} - \eta^{a}_{c}x^{2}) \theta^{cb} \ \ 16.8b[/tex]

From these it follows that

[tex]\partial_{a}K^{ab} = 2 x^{b}\theta_{c}^{c} = 2 x^{b} \partial_{c}D^{c} \ \ 16.9[/tex]

Thus in real life, we see that both scale and conformal symmetries are broken by the trace of the E-M tensor [tex]\theta[/tex] .

Finally, we remark that it is also possible to deduce the compact forms of the Noether currents;

[tex](\theta_{ab}, M_{(B)}^{ab}, D^{a}, K^{ab})[/tex]

directly from the action integral (14.13)

[tex]\delta S = \int d^{4}x \theta^{ab}\partial_{a}f_{b} \ \ 16.10[/tex]
or, by factoring out the parameters,

[tex]\delta = \lambda_{A}\delta^{A}[/tex]

[tex]f_{b} = f^{A}{}_{b}\lambda_{A}[/tex]

we get

[tex]\delta^{A} S = \int d^{4}x \theta^{ab}\partial_{a}f^{A}_{b} \ \ 16.11[/tex]

When the field equation is satisfied, the translation current is conserved

[tex]\partial_{a}\theta^{ab} = 0 [/tex]

so, we can write

[tex]\delta^{A} S = \int d^{4}x \partial_{a}(\theta^{ab}f^{A}_{b}) \ \ 16.12[/tex]

and identify Noether current of the conformal group by

[tex]\mathcal{J}^{aA} = \theta^{ab}f^{A}{}_{b} \ \ 16.13[/tex]


best regards


sam

I look forward for your inputs; comments questions etc.:wink:
 
Last edited:
  • #17
FANTASTIC series of posts! Great contribution.
I have plenty of older papers on the conformal group, and some
textbooks, but having it all together like you've done is great.
However, it will take me while to get familiar with your notation,
and some of the details. But I'll ask a couple of things immediately...

1st question:

Back in post #8 you wrote:
samalkhaiat said:
then we conclude that

[tex]|\bar{P}\rangle = e^{-i\alpha D}a^{\dagger}(p) |0 \rangle \propto a^{\dagger}(e^{\alpha}p) |0 \rangle \ \ (8.8)[/tex]

This means that the state [tex]|\bar{P}\rangle [/tex] is a quantum of the same field as the state [tex]|P\rangle [/tex] but with a rescaled momentum, i.e., by virtue of conformal invariance, both states must belong to the same Hilbert space. Therefore, by Eq(8.5), conformal invariance implies that the mass spectrum is either continuous or all masses vanish! In order to avoid this physically absurd conclusion, conformal symmetry must be explicitly or spontaneously broken (mathematically this problem is equivalent to the fact that [tex]P^{2}[/tex] is not a Casmir's operator).

Notice though, if the vacuum was not unique then the state [tex]|\bar{P}>[/tex] would belong to a different Hilbert space than the state |P> and our conclusion would be avoided.
I'm familiar with unitarily inequivalent representations in QFT (i.e:
disjoint Fock spaces, and all that). But I didn't follow how you arrived
at the possibility that [tex]|\bar{P}>[/tex] could belong to a different
representation. Don't you have to construct the dilation operator D
explicitly in terms of creation/annihilation operators to show this?

2nd question: Do you know of anywhere that I could find all 3 conformal
Casimirs written out explicitly in terms of the generators P, J,D,K? Most
textbooks write them out in terms of operators in the SO(4,2) acting
in the linear space. But converting these expressions to explicit ones
in P,J,D,K is seriously tedious and error-prone, so I'm wondering
whether someone has already done it somewhere?

Thanks again,

- strangerep.
 
  • #18
strangerep said:
FANTASTIC series of posts! Great contribution.
I have plenty of older papers on the conformal group, and some
textbooks, but having it all together like you've done is great.
However, it will take me while to get familiar with your notation,
and some of the details. But I'll ask a couple of things immediately...

Thanks, I hope you will find it interesting!

1st question:


Back in post #8 you wrote:

I'm familiar with unitarily inequivalent representations in QFT (i.e:
disjoint Fock spaces, and all that). But I didn't follow how you arrived
at the possibility that [tex]|\bar{P}>[/tex] could belong to a different
representation. Don't you have to construct the dilation operator D
explicitly in terms of creation/annihilation operators to show this?

Yes, you are correct. If the vacuum is not scale-invariant, then

[tex]e^{-i \alpha D}|0> \equiv |\bar{0}> = e^{- \alpha f(a, a^{\dagger})}|0> \ \ (I)[/tex]

where f depends on the (spontaneously-broken) model you are using.
In this case we have;

[tex]|\bar{P}> = e^{-i \alpha D} a^{\dagger}(p) |0> = e^{-i \alpha D} a^{\dagger}(p) e^{i \alpha D} e^{-i \alpha D} |0> = e^{d(a)}a^{\dagger}(e^{\alpha}p) |\bar{0}> [/tex]

where d(a) is the scale dimension of the operator a. Clearly [tex]|\bar{P}>[/tex] belongs to a Hilbert space generated from the "new" vacuum [tex]||\bar{0}>[/tex] , i.e., it is a quantum of different field. This means that [tex]|P> \mbox{and}|\bar{P}>[/tex] do not live in the same multiplet (representation).

As simple example, consider a free massless scalar field with a Lagrangian

[tex]\mathcal{L} = (1/2)(\partial S)^{2}[/tex]

invariant under the field translations

[tex]\bar{S}(x) = S(x) + b[/tex]

The correspondig conserved current is

[tex]J^{\mu} = \partial^{\mu}S(x) [/tex]

and the associated Noether charge is

[tex]Q = \int d^{3}x \partial_{0}S(x) [/tex]

The vacuum is , of course, not invariant under these transformations;

[tex]<0|\delta S(x)|0> = b <0|0> \neq 0 [/tex]

Alternatively, by expanding the field, we could show that

[tex]|\bar{0}> = e^{i b Q}|0> = e^{(b/2)[a(0) - a^{\dagger}(0)]}|0>[/tex]

which is a coherent superposition of zero-energy momentum state.
This is the explicit form (for this model) of Eq(I) which led to our conclusion about the inequivalent Hilbert spaces.

2nd question: Do you know of anywhere that I could find all 3 conformal
Casimirs written out explicitly in terms of the generators P, J,D,K? Most
textbooks write them out in terms of operators in the SO(4,2) acting
in the linear space. But converting these expressions to explicit ones
in P,J,D,K is seriously tedious and error-prone, so I'm wondering
whether someone has already done it somewhere?

I have no idea at all, Never seen it done! I have never tried to do this task as well. However, the isomorphism; SO(6) ~ SU(4) can certainly be usefull! The question now is what are the casimir's operators of the group SU(4)
{SU(2,2)to be exact}? Can the Mathmaticians on these forums help?


regards


sam
 
Last edited:
  • #19
samalkhaiat said:
[...] If the vacuum is not scale-invariant, then

[tex]e^{-i \alpha D}|0> \equiv |\bar{0}> = e^{- \alpha f(a, a^{\dagger})}|0> \ \ (I)[/tex]

where f depends on the (spontaneously-broken) model you are using.

Yes, but... I'm wondering what is the explicit expression for the f(a,a*)
exponent in the case of dilations and special conformal transformations?
Was that what you intended to show with your field-translation example,
or was that just a separate example of inequivalent representations?

[...] the isomorphism; SO(6) ~ SU(4) can certainly be usefull!
The question now is what are the casimir's operators of the group SU(4)
{SU(2,2)to be exact}?
Plenty of textbooks give the casimirs of SO(4,2), SU(2,2), but they
do it as elegant formulae involving the L_ab generators in the 6-dimensional
hyperspace, where the L_ab act linearly. For example, Wybourne quotes
them as:

C2 = L_ab L^ab

C3 = epsilon_abcdef L^ab L^cd L^ef

C4 = L_ab L^bc L_cd L^da

though I find his 6D metric conventions a bit confusing. But anyway, using
these it's not too hard to re-express C2 in terms of P,J,D,K.However, C3
and C4 are far more tedious. I.e: it was really the boring task of doing
this re-expressing that I was hoping someone else had already done.
(I always seem to make heaps of dumb mistakes when doing such long
tedious straightforward stuff.)

BTW, the reason for my interest is that I'm wondering how one might
construct a QFT using irreps of the conformal group as the starting
point. I.e: not starting from trying to impose a conformal invariance
on a Minkowski-space classical theory, but rather constructing a
more general Fock-like space directly from conformal irreps.
Since mass^2 is not a conformal casimir, I presume the C2 above
is the closest thing, but the hard question then is how to restrict or
contract back to a Poincare-like group in a physically-sensible way,
to get back in touch with orthodox QFT.
 
  • #20
strangerep said:
Yes, but... I'm wondering what is the explicit expression for the f(a,a*)
exponent in the case of dilations and special conformal transformations?
Was that what you intended to show with your field-translation example,
or was that just a separate example of inequivalent representations?

The example (though not about conformal symmetry) does both jobs for you. I meant to hit to birds by one stone.
In the Lagrangian formalism of free fields, we can write any Noether charge (symmetry generator) in terms of [tex](a,a^{\dagger})[/tex] . All we need is;

1) Lagrangian for a specific representation, say;

[tex]\mathcal{L} = \frac{1}{2} \partial_{a}S \partial^{a}S[/tex]

2) Expansion in terms of a complete set of solutions of the E-L equation

[tex]S(x) = \int \frac{d^{3}\vec{p}}{(2 \pi )^{3}2p^{0}} [a(p) e^{-ip.x} + a^{\dagger}(p) e^{ip.x}] \ \ (I)[/tex]

Now for example the [tex](D,K^{a})[/tex] symmetry generators of the above model can be obtained from [see Eq(16.8)];

[tex]D = \int d^{3}x \theta_{0a}x^{a} \ \ (IIa)[/tex]

[tex]K^{a} = \int d^{3}x \theta^{ca}(2x^{0}x_{c} - \eta^{0}_{c}x^{2}) \ \ (IIb)[/tex]

with

[tex]\theta_{ab} = T_{ab} + \frac{1}{6}(\eta_{ab}\partial^{2} - \partial_{a}\partial_{b})S^{2}[/tex]

[see Eq(15.3)]

and

[tex]T_{ab} = \partial_{a}S \partial_{b}S - \eta_{ab}\mathcal{L}[/tex]

Insert the expansion (I) in (II), do the integrations and you will get D and K in terms of (a , a*)[choose a rainy afternoon to do it :smile:]

You may need to use the mathematical trick of Normal ordering of operators, so that D|0> = 0 .
Notice that such explicit expressions (for Noether chrges) do not exist in the interactive QFT. To deal with interactions, we work with Ward's identities instead.

In the so-called axiomatic QFT, incorporating Noether's idea faces basic difficulty, namely there is no lagrangian available in this formalism. However, one is still able to define the symmetry of a system. How does one get from global conserved quantities (originating from the generators of the symmetry group) to the locally conserved currents? There is still no answer to this question. This is why the axiomatic formalism is just about hopeless for describing interactions. Some (only some) progress was achieved by;
Buchholz, Doplicher and Longo, Ann.Phys,170(1988)1.
Doplicher and Longo, Comm.Math.Phys, 88(1983)399.




C2 = L_ab L^ab

C3 = epsilon_abcdef L^ab L^cd L^ef

C4 = L_ab L^bc L_cd L^da

though I find his 6D metric conventions a bit confusing. But anyway, using
these it's not too hard to re-express C2 in terms of P,J,D,K.However, C3
and C4 are far more tedious. I.e: it was really the boring task of doing
this re-expressing that I was hoping someone else had already done.
(I always seem to make heaps of dumb mistakes when doing such long
tedious straightforward stuff.)


I am afraid, doing physics requires hard work and patience. One needs to do such boring calculation at least once in a life time.

BTW, the reason for my interest is that I'm wondering how one might
construct a QFT using irreps of the conformal group as the starting
point. I.e: not starting from trying to impose a conformal invariance
on a Minkowski-space classical theory, but rather constructing a
more general Fock-like space directly from conformal irreps.

This sounds like axiomatic (conformal) field theory! Nearly all forms of the axiomatic QFT are based upon the spinorial group, the universal covering group of the Poincare' group, i.e.,a semidirect product of the group SL(2,C) and the group of translations. As well as the above mentioned difficulty regarding Noether currents, the axiomatic conformal field theory faces another problem, namely the Buchholz-Fredenhagen theorem;
"If there exist massless particles in a model displaying dilation covariance then the S-matrix for these particles is trivial",i.e., the presence of massless particles (which is crucial for conformal symmetry) renders the theory trivial.
Some people claim that the story changes in 2D spacetime! and that an axiomatic approach to the C(1,1) field theory is possible! I can not comment about this claim as the C(1,1)-theory lies beyond my professional abilities.

Since mass^2 is not a conformal casimir, I presume the C2 above
is the closest thing, but the hard question then is how to restrict or
contract back to a Poincare-like group in a physically-sensible way,
to get back in touch with orthodox QFT.

If you are not (already) familiar with the axiomatic formalism of QFT, I recommend the following book for you

J. Lopuszanski
"An Introduction to Symmetry and Supersymmetry in Quantum Field Theory"
World Scientific, 1991.

The only bad thing about this book is its titel!


regards

sam (I am sorry for the delay June/July are the busiest months of the year)
 
Last edited:
  • #21
samalkhaiat said:
I am afraid, doing physics requires hard work and patience. One needs
to do such boring calculation at least once in a life time.
I've done a few of those. In this case, I'm more interested in the
destination than the journey, so I found an alternate approach for
getting an explicit form of the dilation generator in Fock space
(adapted from Stefanovich physics/0504062)...

For a finite dilation with parameter 'w' the
ordinary 3-momentum changes according to:

[tex]p \rightarrow p' = e^{w} p[/tex]

In Fock space, applying such a dilation to a state of momentum
[tex]\vec{p}[/tex] is equivalent to destroying a particle of momentum [tex]\vec{p}[/tex]
and creating one of momentum [tex]e^{w} \vec{p}[/tex].
I.e: we require that:

[tex]e^{i w D} |p> = |e^{w} p> \ \ (D1)[/tex]

or:

[tex]e^{i w D} |p> = a^{\dagger}(e^{w} p) \ a(p) \ |p>[/tex]

This must hold for any [tex]\vec{p}[/tex], so we make the ansatz:

[tex]e^{i w D} = \int d^{3}p \ a^{\dagger}(e^{w} p) \ a(p) \ \ (D2)[/tex]

A short calculation verifies that (D2) indeed satisfies (D1).

We can then find [tex]D[/tex] as follows:

[tex]
D = i \lim_{w \rightarrow 0} \frac{d}{dw} e^{i w D}
= i \lim_{w \rightarrow 0} \frac{d}{dw} \int d^{3}p \ a^{\dagger}(e^{w} p) \ a(p)
[/tex]

from which we find (after a few lines):

[tex]
D = i \int d^{3}p \ p_{i} \ \frac{\partial a^{\dagger}(p)}{\partial p_{i}} \ a(p) \ \ \ (D3)
[/tex]

(implicit sum over i in the above).

I've "verified" this technique by doing a similar thing for
ordinary rotation generators. An explicit expression for
these is given in Greiner & Reinhardt (via the longer
Lagrangian/expansion approach). It matches what
one obtains using the (much faster) Stefanovich method.

Most notably, the dilation generator given by (D3) above
annihilates the vacuum. I.e: dilation transformations
do not take us to an inequivalent representation(!).
This was unexpected for me, since your earlier posts
suggested that a different vacuum would arise.
Or have I misunderstood something?

[...]If you are not (already) familiar with the axiomatic formalism of
QFT, I recommend the following book for you

J. Lopuszanski
"An Introduction to Symmetry and Supersymmetry in Quantum Field Theory"
World Scientific, 1991.
I have ordered same from Amazon.

Cheers,

- sr.
 
Last edited:
  • #22
strangerep said:
I've done a few of those. In this case, I'm more interested in the
destination than the journey

Good luck.


In Fock space, applying such a dilation to a state of momentum
[tex]\vec{p}[/tex] is equivalent to destroying a particle of momentum [tex]\vec{p}[/tex]
and creating one of momentum [tex]e^{w} \vec{p}[/tex].
I.e: we require that:

We conclude this from Eq(8.8) which is a direct result of the assumption that scale invariance is not spontaneously broken [see Eq(8.7)], i.e., [tex]D|0 \rangle = 0 [/tex] :

[tex]e^{-i \alpha D} |P \rangle = e^{-i \alpha D} a^{\dagger}(p) |0 \rangle = \left [ e^{-i \alpha D}a^{\dagger}(p) e^{i \alpha D} \right ] e^{-i \alpha D} |0 \rangle [/tex]

Now, if the vacuum is invariant, i.e., scale symmetry is not broken, then we can write

[tex]e^{-i \alpha D}|P \rangle \propto \int \frac{d^{3}\vec{p}}{2 p^{0}} a^{\dagger}(e^{\alpha}p) a(p) |P \rangle [/tex]


[tex]
D = i \int d^{3}p \ p_{i} \ \frac{\partial a^{\dagger}(p)}{\partial p_{i}} \ a(p) \ \ \ (D3)
[/tex]

Yes, this is how it is done in the constructive (not Lagrangian!) formalism. But, howfar we can go without a Lagrangian? Not too far, I am afraid. Wienberg starts his (3-vol) book with the constructive approach, only to find himself forced to introduce the Lagrangian formalism in chapter 7 (of vol I)!
By the way, Stefanovich (whoever he is) is not the one who invented the method you described.



Most notably, the dilation generator given by (D3) above
annihilates the vacuum.

This should not surprise you, because you started with such an assumption!

I.e: dilation transformations
do not take us to an inequivalent representation(!).
This was unexpected for me, since your earlier posts
suggested that a different vacuum would arise.
Or have I misunderstood something?

The 2 or 3 lines after Eq(8.8) says:

In the mathematical-world (not the real one) of "exact" scale symmetry, |P> and |P>' belonge to the same Hilbert space.
But such an "exact" symmetry led to unrealistic mass spectrum. So, in the real world, Dilation symmetry must be broken, i.e., Eq(8.8) and therefore your Eq(D3), are not true. This is why I said;

Notice though, if the vacuum was not unique then the state |P>' would belong to a different Hilbert space than the state |P> and our conclusion (about the mass spectrum) would be avoided.


regards

sam
 
  • #23
[...] Most notably, the dilation generator given by (D3) above
annihilates the vacuum.

samalkhaiat said:
This should not surprise you, because you started with such an assumption!

Did I? Hmmm. Oh, you mean where I said:
In Fock space, applying such a dilation to a state of momentum
[tex]\vec{p}[/tex] is equivalent to destroying a particle of momentum
[tex]\vec{p}[/tex] and creating one of momentum [tex]e^{w} \vec{p}[/tex]

and implicit in that is the fact that the Fock space is constructed
from irreps of the Poincare group only, the vacuum being the
state with lowest energy eigenvalue. But we know that dilations
don't play nice with energy-momentum, unlike rotations and
boosts which can be defined on a common dense domain with
the translation generators (as I've just been reading in
Lopuszanski). :smile:

OK, that point is now clearer. So onto other things... which
I should probably put in a separate thread.

Thanks again for your efforts.

- strangerep.
 
  • #24
sam. Thanks for great posts. I would like to ask what is the physical meaning of this Poincare group extension? Are you going to extract any new physics from this, or it is just a purely mathematical exercise?
I am asking because Poincare transformations have clear physical meaning, but I haven't experienced dilations in real life, except probably in "Mother, we shrunk ourselves!" movie.

samalkhaiat said:
But, howfar we can go without a Lagrangian? Not too far, I am afraid. Wienberg starts his (3-vol) book with the constructive approach, only to find himself forced to introduce the Lagrangian formalism in chapter 7 (of vol I)!

I am a great fan of the Weinberg's book, and I agree that "constructive" or particle-based approach, though being physically transparent, is helpless when it comes to writing down interacting relativistically invariant Hamiltonians. On the other hand, I can't make sense of field-theoretical derivations, canonical quantization, gauge invariance, etc. Their mathematics looks great, but when they start to talk about fields as of physical entities, I don't believe. So, my idea is that all this field theory stuff is just a nice mathematical trick that somewhat mysteriously gives us correct Hamiltonians. Then we can remain within the constructive or particle-based approach and simply borrow Hamiltonians from field theory, without asking how they were obtained. That's how I read Weinberg. I have a feeling that you strongly disagree.

Regards.
Eugene.
 
  • #25
meopemuk said:
sam. Thanks for great posts. I would like to ask what is the physical meaning of this Poincare group extension? Are you going to extract any new physics from this, or it is just a purely mathematical exercise?

A detailed account of the application of conformal group in 4-dimentional QFT and an extensive bibliography of early work on the subject are found in

I.T. Todorov et al., "Conformal invariance in quantum field theory", Scuola Normale Superiore, Pisa, 1978.

In 2D spacetime, conformal invariance of the world-sheet theories is essential for preventing the appearance of ghosts, and provides a perspective on the variety of consistent string theories that can be constructed.
Heisenberg spin chain and fractional quantum Hall effect are examples of scale-invariant quantum systems. See;
J. Cardy, "conformal field theory comes of age", Physics World,(June 1993),P.29.

On the other hand, I can't make sense of field-theoretical derivations, canonical quantization, gauge invariance, etc.

It should make sense! One needs to apply the quantum laws to all possible classical systems (particle/field).

but when they start to talk about fields as of physical entities, I don't believe.

The physical entities in QFT are "field quanta", i.e., fermions & bosons. We are talking about scale of order [tex]10^{-13}cm[/tex] .So, what is field and what is particle on such length scale? I believe [field vs particle]-argument only leads to a metaphysical garbage.

my idea is that all this field theory stuff is just a nice mathematical trick that somewhat mysteriously gives us correct Hamiltonians.

There is no mystry involved! The Hamiltonian is just one of many Norther numbers which can be derived within the Lagrangian formalism.[see post #12]

Then we can remain within the constructive or particle-based approach and simply borrow Hamiltonians from field theory, without asking how they were obtained.
The BORROWING business is a DEFICIENCY there is no need for it.

That's how I read Weinberg. I have a feeling that you strongly disagree.

Your guessing is right! I believe in the saying:

"Give me the Lagrangian, I give you everything."



Regards.

sam
 
Last edited:
  • #26
samalkhaiat said:
I believe in the saying:

"Give me the Lagrangian, I give you everything."

I have a problem with this saying, when it is applied to relativistic Lagrangian quantum field theories (such as QED). All QED textbooks do a good job in presenting calculations of S-matrix elements and physical properties that are related to the S-matrix. These properties include scattering cross-sections, energies of bound states, and decay rates. In order to get these nice predictions one needs to introduce renormalization, which is equivalent to adding infinite (mass and chage renormalization) counterterms to the Hamiltonian. This means that the Hamiltonian becomes ill-defined, strictly speaking. Surely, this infinite Hamiltonian can be used to calculate the S-matrix, because contributions from counterterms cancel in each perturbation order of the Feynman-Dyson perturbation theory. However, I am afraid this Hamiltonian cannot be used for anything else.

For example, we cannot use this Hamiltonian H to construct the time evolution operator [itex] U(t,t') = \exp(\frac{i}{\hbar}H(t-t')) [/itex] and study how states and observables in an interacting system evolve in time. Of course, one might say that this is irrelevant, because in high energy physics particle collisions occur so fast, that there is no chance to measure what is going on during these collisions. However, in my opinion a theory cannot be complete without a well-defined finite Hamiltonian.

I guess, my question is this: am I right that time-dependent calculations cannot be rigorously performed within renormalized QED? Or there is a substantial gap in my education?

Thank you.
Eugene.
 
  • #27
meopemuk said:
I guess, my question is this: am I right that time-dependent calculations cannot be rigorously performed within renormalized QED? Or there is a substantial gap in my education?

Peopel would benefit more from this tutorial if we restrict our discussion to the main subject which is conformal invariance.
However, if you put the above question in a separate thread, I will be happy to participate in the discussion :smile:

regards

sam
 
  • #28
Finite SCT

I expected someone to ask me about the finite version of special conformal transformations which has not been mentioned in this tutorial! But for some reason no body raised this question, maybe, you all busy doing the exercises :smile:, Nevermind because I will in this post derive the finite version of SCT's and explain my excuse for ignoring it.

The finite form of SCT is nothing but a translation T(-c), preceded and followed by an inversion
[tex]I: \ x^{a} \rightarrow \frac{x^{a}}{x^{2}}[/tex]

To see this, consider the following sequence of transformations;

[tex]x^{a} \rightarrow x_{1}^{a} = Ix^{a} = \frac{x^{a}}{x^{2}} \ \ 28.1a[/tex]

[tex]x_{1}^{a}\rightarrow x_{2}^{a} = T(-c)x_{1}^{a} = x_{1}^{a} - c^{a} \ \ 28.1b[/tex]

[tex]x_{2}^{a}\rightarrow \bar{x}^{a} = Ix_{2}^{a} = \frac{x_{2}^{a}}{x_{2}^{2}} \ \ 28.1c[/tex]

From these it follows that

[tex]\bar{x}^{a} =IT(-c)Ix^{a} = \frac{x^{a}-c^{a}x^{2}}{1 - 2c.x + c^{2}x^{2}} \ \ 28.2a[/tex]

or

[tex]\frac{\bar{x}^{a}}{\bar{x}^{2}} = \frac{x^{a}}{x^{2}} - c^{a} \ \ 28.2b[/tex]

But, why should IT(-c)I be regarded as a finite SCT's? Well, you can convince yourself by observing that
i) c = 0 corresponds to the identity transformation;

[tex] IT(0)I = EI^{2} = E.E = E[/tex]

ii) it is trivial to verify that the infinitesimal version of (28.2)[1st order in c] is indeed Eq(3.2d) [the 4th term in Eq(1.12)];

[tex]\delta x^{a} = \bar{x}^{a} - x^{a} = 2(c.x)x^{a} - c^{a}x^{2} \ \ 28.3[/tex]

iii) it is an easy exercise to see that the inversion locally scales the metric

[tex]ds^{2} \rightarrow d\bar{s}^{2} = \frac{ds^{2}}{(x^{2})^{2}} \ \ 28.4[/tex]

Hence, the inversion is a discrete conformal transformation.

So, what was my excuse for ignoring the finite SCT's?
The inversion turns out to be indetermnate for the poins of the light cone sueface [tex]x^{2}=0[/tex] in Minkowski space. This leads to the fact that SCT's (28.2) are not defined globally on spacetime. Indeed, they mix up in a very complicated way the topology of spacetime.
For instance, if you take
[tex]x^{a}= (t,0,0,0), \ c^{a} = (c,0,0,0) [/tex]

you get

[tex]\bar{t} = \frac{-1}{c} \ . \frac{t}{t - \frac{1}{c}}[/tex]

For c>0, we see that, as

[tex]t\rightarrow \pm \infty , \ \bat{t}\rightarrow ( \frac{-1}{c})_{\mp}[/tex]

and for

[tex]t \rightarrow ( \frac{1}{c})_{\mp}, \ \bar{t}\rightarrow \pm \infty [/tex]

This shows that it is not useful to interpret the finite conformal transformations as mappings of spacetime. Thus, the conformal group is not a true transformation group of spacetime; its global action can be considered only on compactified version of spacetime. So, when we talk about conformal transformations on spacetime, you should keep in mind that only infinitesimal conformal transformations are well defined on Minkowski space;
From the infinitesimal scale transformations

[tex]\delta x^{a} = - \alpha x^{a}[/tex]

we find that

[tex]\frac{1}{2} \delta x^{2} = - \alpha x^{2} \ \ 28.5[/tex]

and, from the infinitesimal SCT's (28.3), we see that

[tex]\frac{1}{2} \delta x^{2} = x^{2}(c.x) \ \ 28.6[/tex]

Observe that in either case [tex]\delta x^{2}[/tex] vanishes if [tex]x^{2}[/tex] does. This means that a point on the light cone is transformed into a point on the light cone.

regards

sam
 
Last edited:
  • #29
samalkhaiat said:
I expected someone to ask me about the finite version of special conformal transformations [...]
For my part, that's only because I was already aware of it.

The finite form of SCT is nothing but a translation T(-c), preceded and followed by an inversion
Curiously, some authors also talk a lot about "reversions", i.e: TIT instead of
SCT's ITI. I guess this doesn't matter in the end.

The inversion turns out to be indetermnate for the poins of the light cone surface [tex]x^{2}=0[/tex] in Minkowski space. This leads to the fact that SCT's (28.2) are not defined globally on spacetime. Indeed, they mix up in a very complicated way the topology of spacetime.[...]
Is this related to how SCTs correspond to uniform accelerations, which
"split" Minkowski spacetime into causally-disconnected Rindler wedges?

- - - - -

On a separate matter (while I've got your attention), there's another bigger
question which has always bugged me when people talk about the
conformal group. In GR, we have a transformation group larger than
Poincare, and Einstein's solution was to invent a general-covariant
definition of mass using a non-Lorentzian metric. So why do people
insist on retaining the usual (+,-,-,-) metric when (eg) dilations are
contemplated? I would have thought that, physically, it's obviously the
wrong thing to do, in light of the immense successes of GR and its
general covariance?

Cheers.
 
  • #30
strangerep said:
Curiously, some authors also talk a lot about "reversions", i.e: TIT instead of
SCT's ITI.

Do they?

I guess this doesn't matter in the end.

Well,

[tex]T(0)IT(0) = EIE = I \neq E[/tex]

is not the identity transformation! Furthermore, from Eq(28.2a), we see;

[tex]I\bar{x} = T(-c)Ix = Ix - c[/tex]

which is the Eq(28.2b). This can be written as;

[tex]I \bar{x} = \{T(-c)IT(-c)\}T(c)x[/tex]

this shows that TIT is not a SCT.


Is this related to how SCTs correspond to uniform accelerations, which
"split" Minkowski spacetime into causally-disconnected Rindler wedges?

YES, as I said before; the finite SCT's are well defined only on some compact domains in Minkowski space. Penrose diagram and Rindler space are such domains.
In the penrose diagram, the compact region [tex]- \pi \leq ( \bar{u},\bar{v})\leq \pi [/tex] is conformal to the whole of Minkowski space [tex]-\infty \leq (u,v) \leq \infty [/tex]

i.e., the boundary of Penrose diagram represens [tex]\pm \infty[/tex] of Minkowski space.

In Rindler space, the coordinates cover only a quadrant of Minkowski space (i.e., the wedge x>|t|), eventhough the metric is conformal to the whole of Minkowski space.


... So why do people insist on retaining the usual (+,-,-,-) metric

The idea that spacetime can be modeled by a differentiable manifold (M) is implicit in the requirement that metric on M should have signature (+,-,-,-). This is true with or without the conformal group. As you might know, in order to be able to solve field equations, that is to be able to pose a Cauchy problem, spacetime must be globally hyperbolic and time orientable. That is to say that the manifold must admit a direction vector field. This can be shown to follow if and only if M admits a Lorentzian metric.
R.Geroch and G.T.Horowitz wrote a very nice article about the "Global structure of spacetimes" in
General Relativity;An Einstien Centenary Survey, Edited by Hawking & Israel, Cambridge, 1979.
Have a look at it.

when (eg) dilations are
contemplated? I would have thought that, physically, it's obviously the
wrong thing to do, ...?

:smile: NO, you see, Weyl tensor is equal to the Riemann tensor formed by

replacing [tex]g_{ab}[/tex] by its conformal transform;

[tex]\bar{g}_{ab} = (-g)^{-1/4}g_{ab}[/tex]

Consequently, the vanishing of the Weyl tensor implies the vanishing of [tex]R_{abcd}(\bar{g})[/tex] , which in turn implies that there exists a mapping such that [tex]\bar{g}_{ab}[/tex] is everywhere diagonal, with [tex](\pm 1)[/tex] appearing along the diagonal,
and therefore [tex]\pm(-g)^{1/4}[/tex] appears along the diagonal of [tex]g_{ab}[/tex] . I hope this made sense to you.

regards

sam
 
Last edited:
  • #31
samalkhaiat said:
strangerep said:
Curiously, some authors also talk a lot about "reversions", i.e: TIT instead of SCT's ITI.
Do they?

Well, no, not exactly. I was mis-remembering. They never said T(-c)IT(c) is
the same as SCT, though they used it for other things. But let's not pursue that.

The idea that spacetime can be modeled by a differentiable manifold (M) is implicit in the requirement that metric on M should have signature (+,-,-,-). This is true with or without the conformal group. As you might know, in order to be able to solve field equations, that is to be able to pose a Cauchy problem, spacetime must be globally hyperbolic and time orientable. That is to say that the manifold must admit a direction vector field. This can be shown to follow if and only if M admits a Lorentzian metric.
R.Geroch and G.T.Horowitz wrote a very nice article about the "Global structure of spacetimes" in
General Relativity;An Einstien Centenary Survey, Edited by Hawking & Israel, Cambridge, 1979.

[...]
Weyl tensor is equal to the Riemann tensor formed by
replacing [tex]g_{ab}[/tex] by its conformal transform;

[tex]\bar{g}_{ab} = (-g)^{-1/4}g_{ab}[/tex]

Consequently, the vanishing of the Weyl tensor implies the vanishing of [tex]R_{abcd}(\bar{g})[/tex] , which in turn implies that there exists a mapping such that [tex]\bar{g}_{ab}[/tex] is everywhere diagonal, with [tex](\pm 1)[/tex] appearing along the diagonal, and therefore [tex]\pm(-g)^{1/4}[/tex] appears along the diagonal of [tex]g_{ab}[/tex] . I hope this made sense to you.

Unfortunately, I've been unable to find a freely downloadable version
of the Geroch-Horowitz paper. But I understand the essential point you're
making. And thanks, your answer clarified some things that were
previously hazy. Let me now check my understanding...

To be able to pose a Cauchy problem in GR, we can effectively start with
a metric which is diag(+,-,-,-), multiplied by an arbitrary position-dependent
dilation function. [Such position-dependent dilations correspond to SCTs.]
I presume that one must then still solve the Einstein gravitational eqns to
narrow down the form of these functions applicable to different physical
situations?
 
  • #32
strangerep said:
Let me now check my understanding...

To be able to pose a Cauchy problem in GR, we can effectively start with
a metric which is diag(+,-,-,-), multiplied by an arbitrary position-dependent
dilation function. [Such position-dependent dilations correspond to SCTs.]
I presume that one must then still solve the Einstein gravitational eqns to
narrow down the form of these functions applicable to different physical
situations?

What you are saying is true in 2 and 3-dimensional gravity where the Weyl tensor vanishes everywhere, i.e., where the metric is conformally flat.
In 4-dimensional gravity, Weyl tensor does not need to vanish (except, maybe, at infinity, as per Penrose's suggestion) but we still need the Lorentz signature, i.e., "spacetime" needs to have a direction field. For example;

[tex]ds^2 = f(r) dt^{2} - g(r) dr^{2}[/tex]

In principle, f and g can be found by solving Einstein's equations.

regards

sam
 
  • #33
If people are interested, I could extend this tutorial to include some advanced topics such as:
"approximate" spontaneously broken scale symmetry,
From Einstein and Weyl invariant action to conformally invariant action, and possibly, chiral and conformal invariance in SU(n)XSU(n) model.:approve:

sam
 
  • #34
samalkhaiat said:
If people are interested, I could extend this tutorial to include some advanced topics such as:
"approximate" spontaneously broken scale symmetry,
From Einstein and Weyl invariant action to conformally invariant action, and possibly, chiral and conformal invariance in SU(n)XSU(n) model.:approve:
Coincidentally, I was just about to ask about the models you alluded to
earlier in the tutorial where dilations don't preserve the vacuum.

But first, I feel a need for some clarification about a related matter...

About a year ago, over on the Quantum Physics forum there was a thread
titled "QFT and unitary Lorentz representation":

https://www.physicsforums.com/showthread.php?t=126310

In that thread, you wrote about a puzzle arising in connection with
EM gauge transformations:

https://www.physicsforums.com/showpost.php?p=1050058&postcount=5

Specifically, you wrote:
[itex]A'_{\mu} = A_{\mu} + \partial_{\mu}\Lambda[/itex]

Everything in nature indicates that this is an exact symmetry. So we expect to
find a unitary operator [itex]U[/itex], such that
[itex]U|0>=|0>[/itex]
and,
[itex]A'_{\mu} = A_{\mu} + \partial_{\mu}\Lambda[/itex]

are satisfied in the quantum theory of free EM field. But this leads to the contradictory statement;
[itex]<0|A'_{\mu}|0> = <0|A_{\mu}|0> = <0|A_{\mu}|0> + \partial_{\mu}\Lambda[/itex]
or,
[itex]\partial_{\mu}\Lambda = 0[/itex]
(this can not be right because [itex]\Lambda[/itex] is an arbitrary function).

So, one is led to believe that the EM vacuum is not invariant under the gauge transformation. i.e
[itex]U|0> \neq |0>[/itex]
or in terms of Q
[itex]Q_{\Lambda}|0> \neq 0[/itex]
This means that the gauge symmetry is spontaneously broken!
i.e
[itex]<0|[iQ_{\Lambda},A_{\mu}]|0> = \partial_{\mu}\Lambda \neq 0[/itex]

but this is equivalent to the statement that the field operator has non-vanishing vacuum expectation value;
[itex]<0|A_{\mu}|0> \neq 0[/itex]
which is wrong because of Poincare' invariance.
So, I am baffled! [...]

I have two questions:

1) Could you elaborate on the last statement about why the vev of
[itex]A_{\mu}[/itex] must be 0 by Poincare invariance? (I suspect this is
something I ought to understand already.) :rolleyes:

2) Do you still regard this whole thing as a puzzle, or have you since
resolved it?
 
  • #35
strangerep said:
Coincidentally, I was just about to ask about the models you alluded to
earlier in the tutorial where dilations don't preserve the vacuum.

Unfortunatly, very little space is usually devoted in the textbooks and graduate courses to the treatment of these models. The reason for this, I believe,
1) the pressure to cover aspects of QFT that are necessary for its important applications.
2) the absence of "simple, easy to follow" mathematical formulation.
So, I will be facing the difficult task of;
i) explaining in simple terms what are at times rather difficult ideas![by "simple terms" I meant the level of mathematics already used in this tutorial]
ii) keeping the promise (I made in post #1) of "self-contained work".
So, I don't know howlong it will take me to prepare the notes!


1) Could you elaborate on the last statement about why the vev of
[itex]A_{\mu}[/itex] must be 0 by Poincare invariance?

First method:Domb math!

Under LT, vector field transforms according to[see Eq(9.7)]

[tex]\bar{A}_{a}(\bar{x}) = U^{-1}(\omega) A_{a}(\bar{x}) U(\omega) = A_{a}(x) + \omega_{a}{}^{b}A_{b}(x)[/tex]

Take VEV and use Lorentz invariance;
[tex]U(\omega)|0\rangle = |0\rangle [/tex]
or [tex]J^{ab}|0\rangle = 0[/tex] to find

[tex]\langle 0|A_{a}(\bar{x})|0\rangle = \langle 0|A_{a}(x)|0\rangle + \omega_{a}{}^{b} \langle 0|A_{b}(x)|0\rangle [/tex]

Now, the result follows from Eq(11.2a) and translation invariance;

[tex]e^{iP.y}|0\rangle = |0\rangle [/tex]

****
Second method :(I discovered this while working on monopole field)

Translation invariance requires

[tex]\langle 0|A_{a}(x)|0\rangle = \langle 0|A_{a}(0)|0 \rangle [/tex]

So, If VEV is not zero, then it must be a constant Lorentz vector! But we don't have such vector. So, we must start our theory with this vector on borad, i.e., we let our "Lorentz invariance" Lagrangian to depend on this constant vector and write

[tex]\bar{\mathcal{L}}(\bar{x},\bar{n}) = \mathcal{L}(x,n) \ \ (a)[/tex]

where

[tex]\bar{\mathcal{L}}(\bar{x},\bar{n}) = \mathcal{L}\left( \bar{A}(\bar{x}), \bar{\partial}\bar{A}(\bar{x}), \bar{n}\right ) [/tex]
[tex]\bar{x} = \Lambda x, \ \ \bar{n} = \Lambda n[/tex]
and
[tex]\bar{A}_{a}(\bar{x}) = \Lambda_{a}{}^{b}A_{b}(x)[/tex]

Then, from the infinitesimal form of Eq(a) and Eq(13.13), we find

[tex]\partial_{a}M^{abc} = \left ( n^{b}\frac{\partial}{\partial n_{c}} - n^{c}\frac{\partial}{\partial n_{b}} \right ) \mathcal{L} \neq 0 [/tex]

This means: the presence of a non-vanishing fixed vector breaks Lorentz symmetry! One can show that Lorentz invariance can be restored only if the Lagrangian depends on singular field (monopole). Therefore, in the absence of magnetic charge, Lorentz invariance requires

[tex]n_{a} \equiv \langle 0|A_{a}|0\rangle = 0[/tex]

(I suspect this is something I ought to understand already.) :rolleyes:

Don't worry about it. Obviously many people in here did not know the answer :wink: But, you were the only one who had the courage to ask and this is good!

2) Do you still regard this whole thing as a puzzle, or have you since
resolved it?

NO, I have not :biggrin: There are, though, two ways of avoiding the troubles:
1) CHEATING: If we "say" that [tex]\lambda[/tex] is an operator (-valued distribution), i.e., if we regard the gauge function as a q-number instead of being a c-number, then
[tex]\langle 0|\partial_{a}\lambda |0\rangle = 0[/tex]
and the paradox does not arise.
This is, however, a plain cheating, because [tex]\lambda[/tex] is the parameter of the (infinite-dimensional) Lie group U(1) . If one takes it to be an operator, then one should explain what [tex]|\lambda(x)| \ll 1[/tex] means? and tons of other questions! Of course, in the existing literature, peopel never practise what they preach! When the paradox hit them in the face, they claim that [tex]\lambda[/tex] is operator function, everywhere else, they treat it as an arbitrary c-number function! For example; Weinberg says; [tex]\lambda[/tex] "is linear combination of [tex]a[/tex] and [tex]a^{\dagger}[/tex] whose precise form will not concern us .." but everywhere, in his book and papers, [tex]\lambda (x)[/tex] is used as c-number function!

2)Working with the so-called B-field formalism;
in this formalism, [tex]\lambda (x)[/tex] is a c-number function,
<0|A|0> = 0, and

[tex]\langle 0|[Q_{\lambda},A_{a}]|0 \rangle = \partial_{a}\lambda[/tex]

i.e., there is no conflict with Poincare' invariance and Q is always spontaneosly broken (the A field contains massless spectrum) unless [tex]\lambda[/tex] is a constant.


regards

sam
 
Last edited:
Back
Top