Servicios Personalizados
Revista
Articulo
Indicadores
-
Citado por SciELO
Links relacionados
-
Similares en SciELO
Compartir
Revista de la Unión Matemática Argentina
versión impresa ISSN 0041-6932versión On-line ISSN 1669-9637
Rev. Unión Mat. Argent. v.47 n.1 Bahía Blanca ene./jun. 2006
The special geometry of Euclidian supersymmetry: a survey
Vicente Cortés
Abstract: This is a survey about recent joint work with Christoph Mayer, Thomas Mohaupt and Frank Saueressig on the special geometry of Euclidian supersymmetry. It is based on the second of two lectures given at the II Workshop in Differential Geometry, La Falda, Córdoba, 2005.
The purpose of this note is to present some geometric structures and constructions which arise in the study of supersymmetric field theories on a Euclidian rather than Minkowskian space-time, see [CMMS1, CMMS2].
The text is written for readers with a background in differential geometry. Nevertheless, a rough idea of supersymmetry and the restrictions it imposes on the geometry of the scalar manifold would be helpful for orientation. A short introduction to classical (rigid) supersymmetric field theories and to the notion of special geometry is provided in another contribution to this volume, based on the first of my two talks given at the II Workshop in Differential Geometry. Such theories are usually considered on the d-dimensional Minkowski space. The case is particularly important since our observed space-time is four-dimensional.
For various physical reasons, it is useful to consider also field theories on Euclidian space, even if our physical space-time metric is not positive definite. In quantum field theory, for instance, one needs to understand instantons, since they contribute to the Feynman path integral. Instantons are particular solutions of the Euler-Lagrange equations of a Euclidian counterpart of the underlying Minkowskian classical field theory.
For the Euclidian 4-space there exists an super-Poincaré algebra and Euclidian vector multiplets can be defined [CMMS1]. (There exists no
super-Poincaré algebra on the Euclidian 4-space.) The special geometry of the scalar manifold in supersymmetric field theories with Euclidian vector multiplets was determined in [CMMS1] and named (affine) special para-Kähler geometry, since the role of the complex structure
in special Kähler geometry is now played by a para-complex structure
,
. Special para-Kähler manifolds are discussed in section 1.
In section 2 we present several maps, which relate various special geometries associated to field theories in five, four and three dimensions. In particular, we discuss two purely geometric constructions of para-hyper-Kähler manifolds, which correspond to the dimensional reduction of a Euclidian or Minkowskian theory in 4 dimensions to a Euclidian theory in 3 dimensions [CMMS2].
1. Special para-Kähler manifolds
Definition 1. A para-Kähler manifold is a pseudo-Riemannian manifold endowed with a parallel skew-symmetric involution
A special para-Kähler manifold is a para-Kähler manifold
endowed with a flat torsion-free connection
satisfying
where
is the symplectic form associated to
and
![± T M](/img/revistas/ruma/v47n1/1a0415x.png)
![J](/img/revistas/ruma/v47n1/1a0416x.png)
In particular, and
is of split signature
Definition 2. A field of involutions on a manifold with integrable eigen-distributions of the same dimension is called a para-complex structure.
A manifold endowed with a para-complex structure is called a para-complex manifold.
A map between para-complex manifolds is called para-holomorphic if
A para-holomorphic function is a para-holomorphic map with values in the ring of para-complex numbers
.
For any there exists an open neighbourhood
and para-holomorphic functions
![1 n n 2n (z ,...,z ) : U → C = ℝ](/img/revistas/ruma/v47n1/1a0428x.png)
Such a system of para-holomorphic functions is called a system of para-holomorphic coordinates.
1.2. Extrinsic construction of special para-Kähler manifolds. Consider the free -module
with its global linear para-holomorphic coordinates
, its standard para-holomorphic symplectic form
![τ : V → V](/img/revistas/ruma/v47n1/1a0433x.png)
![V τ = ℝ2n.](/img/revistas/ruma/v47n1/1a0434x.png)
Definition 3. Let be a para-complex manifold of real dimension
. A para-holomorphic immersion
is called para-Kählerian (respectively, Lagrangian) if
is non-degenerate (respectively, if
).
It is easy to see that the metric induced by a para-Kählerian immersion is para-Kählerian. In the following, we will abbreviate para-Kählerian Lagrangian immersion to PKLI.
Lemma 1. Let be a PKLI and
the corresponding symplectic structure. Then
where
,
By the lemma defines a system of local coordinates. Therefore, there exists a unique flat and torsion-free connection
on
for which
and
are affine functions.
Theorem 1. [CMMS1] Let be a PKLI with induced data
Then
is a special para-Kähler manifold.
Conversely, any simply connected special para-Kähler manifold admits a PKLI
with induced data
Moreover, the PLKI
is unique up to an element of
Proof of "". Let
be a PKLI with induced data
We have to show that
is special para-Kähler. We know that
is para-Kähler and that
is flat and torsion-free. By the lemma, the symplectic form
has constants coefficients with respect to the
-affine coordinates
Thus
It remains to show that
is symmetric. For a
-parallel one-form
and vector fields
on
we calculate:
Therefore, it is sufficient to prove that is closed for
and
. Let us check this, for example, for
. The function
is the real-part of the para-holomorphic function
So
. Since
and
are closed, this shows that
is closed.
Corollary 1. Let be a para-holomorphic function defined on a open set
satisfying the non-degeneracy condition
Then ,
![MF .](/img/revistas/ruma/v47n1/1a0494x.png)
Conversely, any special para-Kähler manifold is locally of this form.
2. Maps between special geometries from dimensional reduction
Dimensional reduction is a procedure for the construction of a field theory in space-time dimensions from one in
dimensions.
In the context of special geometry of Euclidian supersymmetry it is natural to ask the following two questions:
- Is it possible to construct
supersymmetric field theories with vector multiplets on 4-dimensional Euclidian space from field theories on 5-dimensional Minkowski space?
- Is it possible to construct Euclidian supersymmetric field theories in 3 dimensions out of
supersymmetric field theories with vector multiplets in 4 dimensions?
The first question is given a detailed positive answers in [CMMS1], the second in [CMMS2]. We describe the corresponding geometrical constructions in the remaining two subsections.
2.1. Dimensional reduction from 5 to 4 dimensions. The allowed target geometry for the scalar fields in the relevant supersymmetric theories on 5-dimensional Minkowski space is called (affine) very special, see [CMMS1].
It is defined by a real cubic polynomial with non-degenerate Hessian
on some domain
We found that dimensional reduction of such a Minkowskian theory over time yields a Euclidian supersymmetric theory with vector multiplets such that the target is special para-Kähler [CMMS1]. This means that we get a map:
![]() |
which we call the para-r-map.
Theorem 2. [CMMS1] There exists a map which associates a special para-Kähler structure on the domain
to any very special manifold
,
The special para-Kähler structure is defined by the para-holomorphic function
which satisfies
This is the para-version of the r-map:
![]() |
introduced by B. de Wit and A. Van Proeyen in [DV] in the context of supergravity.
2.2. Dimensional reduction from 4 to 3 dimensions. We found two ways of constructing Euclidian supersymmetric field theories in 3 dimensions out of theories with vector multiplets in 4 dimensions [CMMS2].
One can start either with a Minkowskian theory and reduce over time or with a Euclidian theory. This gives us two maps:
which we call the para-c-maps. They are para-variants of the c-map, worked out by Cecotti, Ferrara and Girardello in [CFG].
Definition 4. A para-hyper-Kähler manifold is a pseudo-Riemannian manifold with three pairwise anticommuting parallel skew-symmetric endomorphism fields
, such that
A pseudo-Riemannian manifold is para-hyper-Kähler if and only if its holonomy group
Here stands for the standard symplectic structure of
. In particular, the dimension of any para-hyper-Kähler manifold is divisible by 4.
The para-c-maps. Now I describe, for instance, the para-hyper-Kähler manifold associated to a special para-Kähler manifold via the para-c-map
Let
be the total space of the cotangent bundle
and consider the decomposition
,
into horizontal and vertical subbundles with respect to the connection
This defines a canonical identification
With respect to the above identification, we define a pseudo-Riemannian metric on
by
![J1,J2](/img/revistas/ruma/v47n1/1a04130x.png)
Theorem 3. [CMMS2] For any special para-Kähler manifold ,
is a para-hyper-Kähler manifold.
Conclusion. The maps between special geometries induced by dimensional reduction are summarized in the following diagram:
The diagram is essentially commutative:
Theorem 4. [CMMS2] For any very special manifold the para-hyper-Kähler manifolds
and
are canonically isometric.
[CFG] S. Cecotti, S. Ferrara, L. Girardello, Geometry of type II superstrings and the moduli of superconformal field theories, Internat. J. Modern Phys. A 4 (1989), no. 10, 2475-2529. [ Links ]
[CMMS1] V. Cortés, C. Mayer, T. Mohaupt and F. Saueressig, Special Geometry of Euclidean Supersymmetry I: Vector Multiplets, J. High Energy Phys. 028 (2004), no. 3, 73 pp. [arXiv:hep-th/0312001]. [ Links ]
[CMMS2] V. Cortés, C. Mayer, T. Mohaupt and F. Saueressig, Special Geometry of Euclidean Supersymmetry II: hypermultiplets and the c-map, J. High Energy Phys. 025 (2005), no. 6, 37 pp. [arXiv:hep-th/0503094]. [ Links ]
[DV] B. de Wit, A. Van Proeyen, Special geometry, cubic polynomials and homogeneous quaternionic spaces, Comm. Math. Phys. 149 (1992), no. 2, 307-333 [arXiv:hep-th/9112027]. [ Links ]
Vicente Cortés
Department Mathematik
Schwerpunkt Analysis und Differentialgeometrie
und
Zentrum für Mathematische Physik
Universität Hamburg
Bundesstrasse 55
D- 20146 Hamburg
cortes@math.uni-hamburg.de
Recibido: 31 de agosto de 2005
Aceptado: 2 de octubre de 2006