Recall how we constructed representations of the multi-dimensional Virasoro algebra last week.
- Start from a classical representation acting on a tensor field, which corresponds to a representation of the general linear algebra \(gl(d)\).
- Make a Taylor expansion around the observer's location and truncate at order \(p\), i.e. pass to \(p\)-jet space.
- Consider trajectories in \(p\)-jet space.
- Introduce a vacuum state that is annihilated by all negative frequency modes, and normal order.
The "abelian charges", i.e. the coefficients in front of the extensions, depend both on the choice of \(gl(d)\) representation and on the trunctation order \(p\). They are polynomials in \(p\) of order \(d\), which means that they diverge in the limit \(p \to \infty\). This is not surprising. We passed to \(p\)-jets because the extension becomes infinite if we start from fields. By taking the limit \(p \to \infty\) we come back to the field we started from, insofar as an infinite Taylor series can be identified with the field itself, and the extension becomes infinite again.
Even if expected, having an infinite extension is undesirable and should be avoided. How to do that? We started from a bosonic field, but if we start from a fermionic field instead, we get the same extension but negative. So one way to avoid infinities is to have a perfect symmetry between bosons and fermions. However, such a symmetry is not seen in nature, and we saw yesterday that we lose locality if the total extension vanishes.
There is another way to cancel the leading terms, only leaving abelian changes that are independent of \(p\). Add more jets of order \(p-1\), \(p-2\) etc, both bosonic and fermionic. With a clever choice of field content, we can cancel all terms that depend on \(p\). For this to work in \(d\) dimensions, we need jets down to order \(p-d\). A similar hierarchy appears in gauge theory, where the lower-order jets would come from equations of motion and gauge conditions (continuity equations). Since those add derivatives, their jet order must be smaller, so the total number of derivatives does not exceed \(p\). So we start from
- Bosons, fermions, and gauge fields at order \(p\).
- Fermionic equations of motion at order \(p-1\).
- Bosonic equations of motion at order \(p-2\).
- Gauge conditions at order \(p-3\).
Then we can arrange the field content so that the divergent terms cancel if \(d=3\). We can further identify the time parameter \(t\) with one of the coordinates, and we naturally are led to the conclusion that the dimension of spacetime must be \(d+1 = 4\).
Unfortunately, a more detailed version of this argument seems to suggest things that disagree with observation, so the results are inconclusive. Nevertheless, I find it promising that the multi-dimensional Virasoro algebra seems to predict not only the number of spacetime dimensions, but actually the observed number of dimensions.
<Previous Next>
