The global formulation of generalized EinsteinScalarMaxwell theories
Abstract.
We summarize the global geometric formulation of EinsteinScalarMaxwell theories twisted by flat symplectic vector bundle which encodes the duality structure of the theory. We describe the scalarelectromagnetic symmetry group of such models, which consists of flat unbased symplectic automorphisms of the flat symplectic vector bundle lifting those isometries of the scalar manifold which preserve the scalar potential. The Dirac quantization condition for such models involves a local system of integral symplectic spaces, giving rise to a bundle of polarized Abelian varieties equipped with a symplectic flat connection, which is defined over the scalar manifold of the theory. Generalized EinsteinScalarMaxwell models arise as the bosonic sector of the effective theory of string/Mtheory compactifications to fourdimensions, and they are characterized by having nontrivial solutions of “Ufold” type.
Key words and phrases:
Supergravity, Lorentzian geometry, symplectic geometrytoday
Contents
1. Introduction
Supergravity theories [1, 2] are supersymmetric theories of gravity which extend general relativity and gauge theory and arise in the low energy limit of string/Mtheory and of their compactifications. It is known that the construction of such theories involves interesting structures, such as KählerHodge and special Kähler manifolds, symmetric spaces, exceptional Lie groups, generalized complex structures, differential cohomology and differential Ktheory etc. However, the global formulation of these theories is not yet fully understood. This note is part of a larger project (see also [4, 5, 6]) aimed at obtaining the full mathematical formulation of supergravity theories (in the generality required by their relation to string theory) and at studying the global geometry of their solutions.
Supergravity theories are classical theories of gravity coupled to matter, formulated using systems of “fields” defined on a manifold of the appropriate dimension and subject to certain partial differential equations, known as the “equations of motion”. An unambiguous formulation of such theories requires that one specifies the global nature of the fields and of the partial differential operators arising in the equations of motion. Currently, however, the supergravity literature gives only local descriptions^{1}^{1}1Descriptions which are valid only if one restricts all fields to sufficiently small open subsets of . of the fields and of these differential operators. The globalization problem is the problem of giving globallyunambiguous mathematical definitions of such theories which reduce locally to the local description found in the supergravity literature. The solution of this problem is nonunique since there can be many global definitions of “fields” subject to globallydefined partial differential equations which reduce to a given local description.
Since supergravity theories are supersymmetric, they require spinors for their formulation. In this note, we simplify the globalization problem by ignoring the spinor field content and the supersymmetry conditions, thus considering only the socalled universal bosonic sector. This sector arises in any supergravity theory, though it is subject to increasingly stringent supplementary constraints (not discussed in this paper) as the number of supersymmetries present in the theory increases. In addition, we focus exclusively on the case when is a fourmanifold.
In four dimensions, the universal bosonic sector is the socalled EinsteinScalarMaxwell (ESM) model defined on a fourmanifold , which involves gravity (modeled globally by a Lorentzian metric on ), a finite number of real scalar fields (modeled globally by a smooth map from to a manifold of arbitrary dimension) and a finite number of Abelian gauge fields, whose field strengths can be modeled locally as 2forms defined on . While the local form of ESM theories is wellknown, their precise global formulation was systematically addressed only recently [3]. It turns out that the naive globalization of the local formulation fails to capture the classical limit of certain string theory backgrounds known as “Ufolds” and hence is insufficient for the application of such models to string theory. The geometric description of the classical limit of Ufold backgrounds [4] requires that one globalizes ESM models by including a “twist” of the Abelian gauge field sector through the (pullback of) a flat symplectic vector bundle defined on . This produces socalled generalized ESM models, which are locally indistinguishable from the naive globalization but have a rather different global behavior. The naive globalization corresponds to using a trivial flat symplectic vector bundle on .
The global mathematical formulation of generalized ESM models given in [3] is summarized in this note. We follow the notations and conventions of loc. cit.; in particular, all manifolds considered are smooth and connected and all bundles and maps considered are smooth. In this note, a Lorentzian metric is a smooth metric of signature defined on a fourmanifold.
2. Generalized EinsteinScalarMaxwell theories
2.1. Scalar structures and related notions
Definition 2.1.
A scalar structure is a triplet , where is a Riemannian manifold (called the scalar manifold) and is a smooth realvalued function defined on (called the scalar potential).
Let be a scalar structure. Let be an oriented fourdimensional smooth manifold (which need not be compact).
Definition 2.2.
The modified density of a smooth map relative to a Lorentzian metric and to the scalar structure is the following smooth realvalued map defined on :
(1) 
where and denotes trace taken with respect to .
Definition 2.3.
The modified tension field of a smooth map relative to the Lorentzian metric and to the scalar structure is the section of the pulledback bundle defined through:
(2) 
Here is the gradient vector field of with respect to and is the tension field of relative to and [7]:
(3) 
where denotes the valued oneform associated to the differential and is the connection induced on by the LeviCivita connections of and .
2.2. Duality structures
Let be a manifold.
Definition 2.4.
A duality structure on is a flat symplectic vector bundle defined over , where denotes the symplectic pairing on the vector bundle and denotes the compatible flat connection on .
Definition 2.5.
Let with be two duality structures defined on . A morphism of duality structures from to is a based morphism of vector bundles such that and such that .
With this notion of morphism, duality structures on form a category which we denote by . Let be a duality structure defined on such that . Let denote the category of finitedimensional symplectic vector spaces over and linear symplectic morphisms. Let denote the unit groupoid of this category and denote the fundamental groupoid of . Let denote the parallel transport of along a path .
Definition 2.6.
The parallel transport functor of is the functor which associates to any point the symplectic vector space and to any homotopy class with fixed initial point and fixed final point the invertible symplectic morphism , where is any path which represents the class .
Notice that can be viewed as a valued local system defined on . The map which takes into is an equivalence between the category and the functor category . This implies that duality structures on are classified up to isomorphism by the symplectic character variety:
(4) 
Definition 2.7.
A duality frame of is a flat symplectic frame of defined on an open subset .
Definition 2.8.
The duality structure is called trivial if it is trivial as a flat symplectic vector bundle.
Remark 2.9.
A duality structure is trivial iff it admits a globallydefined duality frame. If is simply connected, then any duality structure on is trivial.
2.3. Electromagnetic structures
Let be a manifold.
Definition 2.10.
An electromagnetic structure defined on is a quadruplet , where is a duality structure defined on and is a taming of the symplectic vector bundle .
Remark 2.11.
Notice that we do not require to be compatible with . Together with , defines an Euclidean scalar product on given by .
Definition 2.12.
Let and be two electromagnetic structures defined on . A morphism of electromagnetic structures from to is a morphism of duality structures such that .
With this definition of morphism, electromagnetic structures defined on form a category which we denote by . This fibers over the category of duality structures ; the fiber at a duality structure can be identified with the set of tamings of , which is a contractible topological space. Accordingly, the set of isomorphism classes of fibers over the disjoint union of character varieties . Let be an electromagnetic structure defined on and be the Hermitian scalar product defined by and on .
Definition 2.13.
The fundamental form of is the valued oneform on defined through:
The electromagnetic structure is called unitary if , i.e. if is parallel with respect to .
If is unitary, then is a unitary connection on the Hermitian vector bundle . In this case, we have for all . The category of unitary electromagnetic structures defined on is the full subcategory of whose objects are the unitary electromagnetic structures. This is equivalent with the category of Hermitian vector bundles defined on and endowed with a flat linear Hermitian connection. In particular, isomorphism classes of unitary electromagnetic structures are in bijection with the points of the character variety:
where acts by conjugation.
2.4. Scalarduality and scalarelectromagnetic structures
Definition 2.14.
A scalarduality structure is an ordered system , where:

is a scalar structure

is a duality structure defined on .
A scalarelectromagnetic structure is an ordered system , where:

is a scalar structure

is an electromagnetic structure defined on .
In this case, the system is called the underlying scalarduality structure, where is the duality structure underlying .
Let be a scalarelectromagnetic structure as in the definition.
Definition 2.15.
The fundamental field of the scalarelectromagnetic structure is defined through:
2.5. Pulledback electromagnetic structures
Let be a scalarelectromagnetic structure with underlying scalar structure and underlying electromagnetic structure . Let be a fourmanifold and be a smooth map from to .
Definition 2.16.
The pullback of the electromagnetic structure defined on is the electromagnetic structure defined on .
The Hodge operator of induces the endomorphism of the bundle .
Definition 2.17.
The twisted Hodge operator of is the bundle endomorphism defined through:
Let be the main automorphism of . We have:
(5) 
The operator preserves the subbundle , on which it squares to plus the identity. Accordingly, we have a direct sum decomposition:
where are the subbundles of eigenvectors of corresponding to the eigenvalues .
Definition 2.18.
An valued twoform defined on is called positively polarized with respect to and if it is a section of the vector bundle , which amounts to the requirement that it satisfies the positive polarization condition:
(6) 
For any open subset of , let , and let be the sheaf of smooth sections of the bundle . Globallydefined and positivelypolarized valued forms are the global sections of this sheaf. Notice that is positively polarized iff is.
2.6. The mathematical formulation of generalized ESM theories
Let be a fourmanifold and be a scalarelectromagnetic structure with underlying scalar structure and underlying electromagnetic structure . The pullback of the Euclidean scalar product induced by and on is a Euclidean scalar product on . Let be the bundle morphism given by contraction of the two middle indices. This is uniquely determined by the condition:
where is the pseudoEuclidean metric induced by on . Viewing as the subbundle of antisymmetric 2tensors inside , this restricts to a morphism of vector bundles , which we call the inner contraction of 2forms.
Definition 2.19.
The twisted inner contraction of valued 2forms is the unique morphism of vector bundles which satisfies:
for all and all .
Let be the fundamental field of and let be its pullback through . Let be the pseudoEuclidean scalar product induced by and on the vector bundle . For any vector bundle defined on , we extend this trivially to a valued pairing (denoted by the same symbol) between the bundles and . Similarly, we trivially extend the twisted wedge product defined in Appendix C of reference [3] to a valued pairing (denoted by the same symbol) between the bundles and .
Definition 2.20.
The sheaf of ESM configurations determined by is the sheaf of sets defined on through:
for all open subsets , with the obvious restriction maps. An element is called a local ESM configuration of type defined on . The set of global configurations of type is the set:
of global sections of this sheaf. An element is called a global ESM configuration of type .
Definition 2.21.
The generalized ESM theory associated to is defined by the following set of partial differential equations on with unknowns :

The Einstein equation:
(7) with energymomentum tensor given by:
(8) 
The scalar equations:
(9) 
The twisted electromagnetic equations:
(10) where is the de Rham differential of twisted by the pulledback flat connection .
A local ESM solution of type defined on is a smooth solution of these equations which is defined on . A global ESM solution of type is a smooth solution of these equations which is defined on . The sheaf of local ESM solutions of type is the sheaf of sets defined on whose sections on an open subset is the set of all local solutions defined on .
Remark 2.22.
It is shown in [3] that a generalized ESM model is locally indistinguishable from an ordinary ESM model, in the sense that the global partial differential equations (7), (9) and (10) reduce locally to those used in the supergravity literature (see for example reference [1]^{2}^{2}2Notice however that we use different conventions.) upon choosing a local flat symplectic frame of the duality structure . The supergravity literature tacitly assumes that the local formulas globalize trivially, which amounts to working with a trivial duality structure; this assumption implies existence of a globallydefined duality frame. Generalized ESM models with a nontrivial duality structure are globally quite different from the models used in the supergravity literature, since a nontrivial duality structure does not admit global duality frames. Due to this fact, global solutions of generalized ESM models afford a geometric description of a certain type of classical Ufolds, thereby realizing the proposal of [4].
2.7. Sheaves of scalarelectromagnetic configurations and solutions
Let and be as above and fix a metric .
Definition 2.23.
The sheaf of local scalarelectromagnetic configurations relative to is the sheaf of sets defined on whose set of sections on an open subset is defined through:
The set of global scalarelectromagnetic configurations relative to is the set of global sections of this sheaf.
Definition 2.24.
The sheaf of local scalarelectromagnetic solutions relative to is the sheaf of sets defined on whose set of sections on a an open subset is defined as the set of all solutions of the scalar and twisted electromagnetic equations (9) and (10) defined on . The set of global scalarelectromagnetic solutions relative to is the set of global sections of .
Since it will be of use later, we define:
(11) 
where is a scalarduality structure.
2.8. Electromagnetic field strengths
Definition 2.25.
An electromagnetic field strength on with respect to and relative to and to the map is an valued 2form which satisfies the following two conditions:

is positively polarized with respect to , i.e. we have .

is closed, i.e.:
(12)
The second condition is called the electromagnetic equation.
For any open subset of , let:
(13) 
denote the set of electromagnetic field strengths defined on , which is an (infinitedimensional) subspace of the vector space . This defines a sheaf of electromagnetic field strengths relative to and , which is a locallyconstant sheaf of vector spaces defined on .
3. Scalarelectromagnetic dualities and symmetries
Let be a duality structure on and be a taming of . Let be the corresponding electromagnetic structure with underlying duality structure .
Definition 3.1.
An unbased automorphism is called:

A symmetry of the duality structure , if is symplectic with respect to and covariantly constant with respect to .

A symmetry of the electromagnetic structure , if is complex with respect to and is a symmetry of the duality structure .
Let and denote the groups of symmetries of and . We have:
Given a symplectic automorphism , the endomorphism is again a taming of , where denotes the adjoint action of on ordinary sections of the bundle (see [3]). Hence for any electromagnetic structure having as its underlying duality structure, the quadruplet:
(14) 
is again an electromagnetic structure having as its underlying duality structure. This defines a left action of the group on the set of all electromagnetic structures whose underlying duality structure equals .
Let be a fourmanifold and be a scalarelectromagnetic structure with underlying scalar structure and underlying electromagnetic structure . Let be the scalarduality structure underlying , where . Let be a Lorentzian metric on . Let:
where denote the isometry group of .
Definition 3.2.
The scalarelectromagnetic duality group of is the following subgroup of :
An element of this group is called a scalarelectromagnetic duality. The duality action is the action of on the set given by:
where is the projection of to and is the based isomorphism of vector bundles induced by .
Theorem 3.3.
For any , we have:
(15) 
where:
Definition 3.4.
The scalarelectromagnetic symmetry group of is the following subgroup of :
An element of this group is called a scalarelectromagnetic symmetry.
Corollary 3.5.
We have short exact sequences:
where and are the groups of based automorphisms of and and the groups and consist of those automorphisms of the scalar structure which admit lifts to scalarelectromagnetic duality transformations and scalarelectromagnetic symmetries, respectively. Let be the holonomy group of at a point . Then we can identify with the commutant of inside the group .
4. Twisted Dirac quantization
Let be a manifold.
4.1. Integral duality structures and integral electromagnetic structures
Definition 4.1.
Let be a duality structure of rank defined on . A Dirac system for is a fiber subbundle which satisfies the following conditions:

For any , the triple is an integral symplectic space, i.e. is a full lattice in and .

is invariant under the parallel transport of , i.e. the following condition is satisfied for any path :
(16)
For every , the lattice is called the Dirac lattice defined by at the point .
Definition 4.2.
An integral duality structure defined on is a pair , where is is a duality structure defined on and is a Dirac system for .
Relation (16) implies that the type (the ordered list of elementary divisors) of the integral symplectic space does not depend on the point . This quantity is denoted and called the type of .
Definition 4.3.
Let and be two integral duality structures defined on . An morphism of of integral duality structures from to is a morphism of duality structures such that .
Remark 4.4.
The set of isomorphism classes of integral duality structures of type defined on is in bijection with the character variety:
where is the modified Siegel modular group of type .
Let be an integral duality structure or rank and type , defined on . For any , the integral symplectic space defines a symplectic torus . These tori fit into a fiber bundle , endowed with a complete flat Ehresmann connection induced by . The Ehresmann transport of this connection is through isomorphisms of symplectic tori so it preserves the group structure and symplectic form of the fibers; in particular, the holonomy group of is contained in .
Definition 4.5.
The pair is called the flat bundle of symplectic tori defined by the integral duality structure .
Definition 4.6.
An integral electromagnetic structure defined on is a pair , where is an electromagnetic structure defined on and is a Dirac system for the underlying duality structure of . The type of the integral duality structure is called the type of :
Let be an integral electromagnetic structure of real rank and type , with underlying duality structure . For every , the fiber is an integral tamed symplectic space which defines a polarized Abelian variety of type , whose underlying symplectic torus is given by . These polarized Abelian varieties fit into a smooth fiber bundle . As above, the connection induces a complete integrable Ehresmann connection on this bundle, whose transport proceeds through isomorphisms of symplectic tori, so it preserves the Abelian group structure and symplectic form of the fibers but not their complex structure.
Definition 4.7.
The pair is called the bundle of polarized Abelian varieties defined by the integral electromagnetic structure .
4.2. The twisted Dirac quantization condition
Let be a Lorentzian fourmanifold and be a Riemannian manifold. Let be a fixed smooth map from to . Let be an integral electromagnetic structure defined on , with underlying electromagnetic structure and underlying duality structure . Then the system is an electromagnetic structure on , where is the pullback of the fiber subbundle ; this has underlying duality structure . Let denote the integral duality structure underlying . Let denote the category of finitedimensional integral symplectic vector spaces. Let denote the total twisted singular cohomology group of with coefficients in the valued local system and let denote the total twisted singular cohomology space of with coefficients in the valued local system . The latter can be identified with the total cohomology space of the twisted de Rham complex . Since , the coefficient sequence gives a map , whose image is a graded subgroup of the graded additive group of .
Definition 4.8.
An electromagnetic field is called integral if its twisted cohomology class belongs to :
(17) 
The condition that be integral is called the twisted Dirac quantization condition defined by the Dirac structure . This should be viewed as a condition constraining semiclassical Abelian gauge field configurations; a mathematical model for such configuration can be given using a certain version of twisted differential cohomology.
4.3. Integral scalarelectromagnetic duality and symmetry groups
Definition 4.9.
An integral scalarduality structure is a pair , where is a scalarduality structure and is a Dirac system for . An integral scalarelectromagnetic structure is a pair , where is a scalarelectromagnetic structure and is a Dirac system for the underlying duality structure of the electromagnetic structure .
Let be an integral scalarelectromagnetic structure with underlying scalarelectromagnetic structure , where and . Let be the underlying duality structure and let and be the underlying integral duality structure and integral electromagnetic structure. Let be the underlying scalarduality structure and be the underlying integral scalarduality structure.
Definition 4.10.
The integral scalarelectromagnetic duality group defined by the integral scalarduality structure is the following subgroup of the scalarelectromagnetic duality group :