U-Duality and Symplectic Formulation of Dilaton-Axion Gravity

TL;DR

This paper explores the U-duality symmetry in dilaton-axion gravity derived from heterotic string theory, presenting a symplectic formulation, explicit generators, and new solutions involving magnetic monopoles with balanced forces.

Contribution

It provides an explicit symplectic (Sp(4,R)) formulation of the U-duality symmetry and introduces a matrix dilaton-axion representation that simplifies solution construction.

Findings

Derived explicit Sp(4,R) generators in coset variables.

Presented a concise 2x2 matrix formulation as a Kähler sigma-model.

Constructed a new classical solution with magnetic monopoles and balanced forces.

Abstract

We study a bosonic four--dimensional effective action corresponding to the heterotic string compactified on a 6--torus (dilaton--axion gravity with one vector field) on a curved space--time manifold possessing a time--like Killing vector field. Previously an existence of the $SO(2,3)\sim Sp(4, R)$ global symmetry ($U$--duality) as well as the symmetric space property of the corresponding $\sigma$--model have been established following Neugebauer and Kramer approach. Here we present an explicit form of the $Sp(4, R)$ generators in terms of coset variables and construct a representation of the coset in terms of the physical target space coordinates. Complex symmetric $2\times 2$ matrix $Z$ (``matrix dilaton --axion'') is introduced for which $U$--duality takes the matrix valued $SL(2, R)$ form. In terms of this matrix the theory is further presented as a K\"ahler $\sigma$--model. This leads to a more concise $2\times 2$ formulation which opens new ways to construct exact classical solutions. New solution (corresponding to constant ${\rm Im} Z$ ) is obtained which describes the system of point massless magnetic monopoles endowed with axion charges equal to minus monopole charges. In such a system mutual magnetic repulsion is exactly balanced by axion attraction so that the resulting space time is locally flat but possesses multiple Taub--NUT singularities.