# T-duality and Isometries of Spacetime

I’ve just been to an excellent seminar on Double Field Theory by its co-creator, Chris Hull. You may know that string theory exhibits a meta-symmetry called T-duality. More precisely, it’s equivalent to put closed strings on circles of radius $R$ and $1/R$.

This is the simplest version of T-duality, when spacetime has no background fields. Now suppose we turn on the Kalb-Ramond field $B$. This is just an excitation of the string which generalizes electromagnetic potential.

This has the effect of making T-duality more complicated. In fact it promotes the $R\to 1/R$ symmetry to $O(d,d;\mathbb{Z})$ where $d$ is the dimension of your torus. Importantly for this to work, we must choose a $B$ field which is constant in the compact directions, otherwise we lose the isometries that gave us T-duality in the first place.

Under this T-duality, the $B$ field and $G$ metric get mixed up. This can have dramatic consequences for the underlying geometry! In particular our new metric may not patch together by diffeomorphisms on our spacetime. Similarly our new Kalb-Ramond field $B$ may not patch together via diffeomorphisms and gauge transformations. We call such strange backgrounds non-geometric.

To express this more succintly, let’s package diffeomorphisms and gauge transformations together under the name generalized diffeomorphisms. We can now say that T-duality does not respect the patching conditions of generalized diffeomorphisms. Put another way, the $O(d,d)$ group does not embed within the group of generalized diffeomorphisms of our spacetime!

This lack of geometry is rather irritating. We physicists tend to like to picture things, and T-duality has just ruined our intuition! But here’s where Double Field Theory comes in. The idea is to double the coordinates of your compact space, so that $O(d,d)$ transformations just become rotations! Now T-duality clearly embeds within generalized diffeomorphisms and geometry has returned.

All this complexity got me thinking about an easier problem – what do we mean by an isometry in a theory with background fields? In vacuum isometries are defined as diffeomorphisms which preserve the metric. Infinitesimally these are generated by Killing vector fields, defined to obey the equation $\displaystyle \mathcal{L}_K g=0$

Now suppose you add in background fields, in the form of an energy-momentum tensor $T$. If we want a Killing vector $K$ to generate an overall symmetry then we’d better have $\displaystyle \mathcal{L}_K T=0$

In fact this equation follows from the last one through Einstein’s equations. If your metric solves gravity with background fields, then any isometry of the metric automatically preserves the energy momentum tensor. This is known as the matter collineation theorem.

But hang on, the energy momentum tensor doesn’t capture all the dynamics of a background field. Working with a Kalb-Ramond field for instance, it’s the potential $B$ which is the important quantity. So if we want our Killing vector field to be a symmetry of the full system we must also have $\displaystyle \mathcal{L}_K B=0$

at least up to a gauge transformation of $B$. Visually if we have a magnetic field pointing upwards everywhere then our symmetry diffeomorphism had better not twist it round!

So from a physical perspective, we should really view background fields as an integral part of spacetime geometry. It’s then natural to combine fields with the metric to create a generalized metric. A cute observation perhaps, but it’s not immediately useful!

Here’s where T-duality joins the party. The extended objects of string theory (and their low energy descriptions in supergravity) possess duality symmetries which exchange pieces of the generalized metric. So in a stringy world it’s simplest to work with the generalized metric as a whole.

And that brings us full circle. Double Field Theory exactly manifests the duality symmetries of the generalized metric! Not only is this mathematically helpful, it’s also an important conceptual step on the road to unification via strings. If that road exists.