Lecture II: Geometric Constructions Relating Different Special Geometries I Vicente Cortés Department of Mathematics University of Hamburg Winter School Geometry, Analysis, Physics Geilo (Norway), March 4-10, 2018 1 / 18
Recap of Lecture I Scalar geometry of N = 2 theories depends on: space-time dimension d and field content: vector multiplets or hypermultiplets Special geometries of rigid N = 2 supersymm. theories d vector multiplets hypermultiplets 5 affine special real hyper-kähler 4 affine special Kähler hyper-kähler 3 hyper-kähler hyper-kähler Special geometries of N = 2 supergravity theories d vector multiplets hypermultiplets 5 projective special real quat. Kähler 4 projective special Kähler quat. Kähler 3 quaternionic Kähler quat. Kähler 2 / 18
Plan of the second lecture Constructions induced by dimensional reduction: rigid r-map rigid c-map supergravity r-map supergravity c-map global properties of these constructions Further constructions in next lecture: one loop quantum corrections of supergravity c-map metrics HK/QK-correspondence 3 / 18
Some references for Lecture II [CHM] C., Han, Mohaupt (CMP 12). [H] Hitchin (PIM 09). [AC] Alekseevsky, C. (CMP 09). [CMMS] C., Mayer, Mohaupt, Saueressig (JHEP 04). [ACD] Alekseevsky, C., Devchand (JGP 02). [BC] Baues, C. (PLMS 01). [AC00] Alekseevsky, C. (PLMS 00). [L] Z. Lu (MA 99). [H99] Hitchin (AJM 99) [F] Freed (CMP 99) [C] C. (TAMS 98). [DV] de Wit, Van Proeyen (CMP 92). [FS] Ferrara, Sabharwal (NPB 90). [CFG] Cecotti, Ferrara, Girardello (IJMP 89). 4 / 18
The rigid r-map I: from affine special real to affine special Kähler manifolds Dimensional reduction from 5 to 4 space-time dimensions It was observed by de Wit and Van Proeyen that dim. reduction of sugra coupled to vector multiplets from 5 to 4 space-time dimensions relates the scalar geometries by a construction called the supergravity r-map [DV]. The analogous construction for theories without gravity is called the rigid r-map [CMMS]. It relates affine special real manifolds to affine special Kähler manifolds and has the following geometric description [AC]. 5 / 18
The rigid r-map II Geometric description of the rigid r-map Let (M,, g) be an intrinsic ASR mf. Consider the tangent bdl. π : N = TM M. Using the flat connection we can canonically identify Therefore TN = T h N T v N = π TM π TM. J := ( 0 1 1 0 defines an almost cx. structure on N. Similarly, g N := defines a Riem. metric on N. ( g 0 0 g ), ) 6 / 18
The rigid r-map III Geometric description of the rigid r-map continued Next we define a (1, 2)-tensor field S N on N by ( ) ( S N SX 0 X :=, S N 0 h 0 S X v := SX X S X 0 ), where S = D, D = L.C., and X h, X v are the hor. and vert. lifts of X X(M). Finally we define a connection N := D N S N on N, where D N = L.C. Theorem Let (M,, g) be an affine special real manifold. Then (N, g N, J, N ) is an affine special Kähler manifold. The correspondence (M,, g) (N, g N, J, N ) is called the rigid r-map. 7 / 18
The rigid c-map I: from affine special Kähler to hyper-kähler manifolds Dimensional reduction of vector multiplets from 4 to 3 space-time dimensions As observed by Cecotti, Ferrara and Girardello, dim. reduction of N = 2 vector multiplets from 4 to 3 space-time dimensions relates the corresponding scalar geometries by a construction called the rigid c-map [CFG], cf. [C,F,H99,ACD]. It relates affine special Kähler to hyper-kähler manifolds and has the following geometric description [ACD]. 8 / 18
The rigid c-map II Geometric description of the rigid c-map Let (M, J, g, ) be an affine special Kähler manifold. Consider the cotangent bdl. π : N = T M M. Using the flat connection we can canonically identify Therefore TN = T h N T v N = π TM π T M. g N = defines a Riem. metric on N and J 1 = ( J 0 0 J ( g 0 0 g 1 ) ) ( 0 ω 1, J 2 = ω 0 define two almost cx. structures on N. ) 9 / 18
The rigid c-map III Geometric description of the rigid c-map continued Theorem Let (M, J, g, ) be an affine special Kähler manifold. Then (N, g N, J 1, J 2, J 3 = J 1 J 2 ) is a hyper-kähler manifold. The correspondence (M, J, g, ) (N, g N, J 1, J 2, J 3 = J 1 J 2 ) is called the rigid c-map. 10 / 18
The supergravity r-map I: from projective special real to projective special Kähler manifolds The sugra r-map of [DV] can be described as follows [CHM]: Let H R n+1 be a PSR mf. and h the corresponding cubic polynomial. Then U = R >0 H R n+1 is an open cone. We endow it with the Riem. metric g U = 1 3 2 ln h, isometric to the product metric dt 2 + g H on R H and finally the domain M = U R n+1 with the Riem. metr. g M := 3 4 n+1 a,b=1 g ab (dx a dx b +dy a dy b ), ( ) g ab := g U x a, x b. 11 / 18
The supergravity r-map II Theorem (i) ( M, g M) defined above is projective special Kähler with respect to the cx. structure J defined by the embedding M = U R n+1 C n+1, (x, y) y + ix. (ii) The natural inclusions H U = U {0} M are totally geodesic. The correspondence H ( M, J, g M) is called the supergravity r-map. It maps PSR mfs. of dim. n to PSK mfs. of (real) dim. 2n+2. 12 / 18
The supergravity c-map I: from projective special Kähler to quaternionic Kähler manifolds Dim. reduction of sugra coupled to vector multiplets from 4 to 3 space-time dimensions relates the corresponding scalar geometries by a construction called the supergravity c-map. The resulting quaternionic Kähler metric g FS was computed by Ferrara and Sabharwal [FS], cf. [H,CHM,...]. Here we follow [CHM]: In the case of a PSK domain ( M, g M) of dim. 2n the metric g FS has the following structure: g FS = g M + g G, where g G is a family of left-invariant Riemannian metrics on G = Iwa(SU(n + 2, 1)) depending on p M. In particular, g FS is defined on the product N := M G. The inclusion M = M {e} N is totally geodesic. 13 / 18
The supergravity c-map II The explicit form of the family of metrics (g G (p)) p M : 1 4φ 2 dφ2 + 1 ( 4φ 2 d φ + (ζ i d ζ ) 2 i ζ i dζ i 1 ) + Iij (p)dζ i dζ j 2φ + 1 ( I ij (p) d ζ i + R ik (p)dζ k) ( d ζ j + R jl (p)dζ l), 2φ where (φ, φ, ζ 1,..., ζ n+1, ζ 1,..., ζ n+1 ) : G R >0 R 2n+3 is a global coord. system on G = R 2n+4 and R ij, I ij are real and imaginary parts of F ij + Nik z k N jl z l 1 Nkl z k z l, determined by the prepot. F of the underlying CASK dom. I = (I ij ) > 0 [CHM]. Hence (I ij ) = I 1 is defined and g G > 0. 14 / 18
The supergravity c-map III Geometric interpretation of the fiber metric (G, g G (p)) is isometric to CH n+2. The principal part of g G = 1 4φ 2 dφ2 + 1 ( 4φ 2 d φ + ) 2 (ζ i d ζ i ζ i dζ i 1 ) + 2φ g pr G is related to the CASK domain π : M M as follows: M has a can. realization [ACD] as a Lagrangian cone in V = (C 2n+2, Ω, γ), where g M = Re γ M is induced. Therefore we have a hol. map M Gr 1,n 0 (V ) = Sp(R 2n+2 )/U(1, n), p L p. Composing it with the Sp(R 2n+2 )-equivariant embedding Gr 1,n 0 (V ) Sym 1 2,2n(R 2n+2 ) = SL(2n + 2, R)/SO(2, 2n) we obtain p (g IJ (p)) Sym 1 2,2n (R2n+2 ). 15 / 18
The supergravity c-map IV Geometric interpretation of the fiber metric continued In fact, g IJ (p)dq I dq J = g M ( p), p π 1 (p), where (q I ) I =1,...,2n+2 are conical affine Darboux coordinates. Next we change the indefinite scalar product (g IJ (p)) to (ĝ IJ (p)) > 0 by means of an Sp(R 2n+2 )-equivariant diffeo. ψ : F 1,n 0 (V ) F n+1,0 0 (V ) from Griffiths to Weil flags. In the case of the CY 3 moduli space this is related to the switch from Griffiths to Weil intermediate Jacobians [C,H] This corresponds to switching the sign of the indefinite metric g M on the negative definite distribution D. We show that the cx. symm. matrix R + ij Sym n+1,0 (C n+1 ) corresponds to the pos. def. Lagrangian subspace L defined by ψ(l, L) = (l, L ), where L = L p and l = p = C p. This proves J > 0. Finally we prove that g pr G (p) = ĝ IJ (p)dq I dq J, where (q I ) = ( ζ i, ζ j ). 16 / 18
The supergravity c-map V Concluding remark In the general case, when the PSK mf. M is covered by PSK domains, we show that the local Ferrara-Sabharwal metrics are consistent and define a QK mf. N which fibers over M as a bundle of groups with totally geodesic can. section M N. This shows that the supergravity c-map is globally defined for every PSK mf. 17 / 18
Some global properties of the r- and c-maps Theorem [CHM] (i) The supergravity r-map maps complete PSR mfs. H of dim. n to complete PSK mfs. M of dim. 2n+2. (ii) The supergravity c-map maps complete PSK mfs. M of dim. 2n to complete QK mfs. N of dim. 4n + 4 and Ric < 0. (iii) There are totally geodesic inclusions H M and M N in (i) and (ii), respectively. Remarks The same results hold for the rigid r- and c-map but nonflat complete ASK mfs. [L], as follows [BC] from the Calabi-Pogorelov thm. nonflat complete ASR mfs. examples of homogeneous and, hence, complete PSR and PSK mfs. See [DV,AC00] for some classification results. 18 / 18