# Full text of "Ricci-flat Kahler Manifolds from Supersymmetric Gauge Theories"

## See other formats

OU-HET 393 O hep-th/0108084 August 2001 Ricci-flat Kahler Manifolds from Supersymmetric Gauge Theories o o (N ^ ■ Kiyoshi HigashijimaQ, Tetsuji KimuraQ and Muneto Nittaff] ! Department of Physics, Graduate School of Science, Osaka University, . Toyonaka, Osaka 560-0043, Japan o 00 ' Abstract Using techniques of supersymmetric gauge theories, we present the Ricci-fiat metrics on non-compact Kahler manifolds whose conical singularity is repaired by the Hermitian symmet- pi ' ric space. These manifolds can be identified as the complex line bundles over the Hermitian ^ ' symmetric spaces. Each of the metrics contains a resolution parameter which controls the size of these base manifolds, and the conical singularity appears when the parameter vanishes. •i-H - X * E-mail: higashij@phys.sci.osaka-u.ac.jp ^ E-mail: t-kimura@het.phys.sci.osaka-u.ac.jp E-mail: nitta@het.phys.sci.osaka-u.ac.jp ^ Address after September 1: Department of Physics, Purdue University, West Lafayette, IN 47907-1396, USA. 1 Introduction Af = 2 supersymmetric nonlinear sigma models in two dimensions on Ricci-flat Kahler manifolds can be considered as the model of the superstring theory on curved space ||2|, ^, ^. Ricci-flat Kahler manifolds are also important ingredient for D-branes in curved space. In the previous letter [||, we presented the simple derivation of the 0{N) symmetric Ricci-flat metric, which actually coincides with the Stenzel metric on the cotangent bundle over S^^^ Q. The conical singularity is resolved by S^~^ with a radius being the deformation parameter. It reduces to the Eguchi-Hanson gravitational instanton and the six-dimensional deformed conifold |^] in the cases of = 3 and A'^ = 4, respectively. In |^], a new metric for the six-dimensional conifold, in which the conical singularity is repaired by S"^ x S'^, was found. It was generalized in our previous letter |1C] to the higher dimensional conifold, in which the singularity is resolved by the complex quadric surface qN-2 ^ SO{N)/[SO{N - 2) X U{1)] @. The new manifold can be regarded as the complex line bundle over Q^~^ , which is a Hermitian symmetric space. In this paper, we present the new Ricci-flat metrics replacing the base manifold by other Hermitian symmetric spaces, the Grassmann manifold Gn,m = SU{N)/[SU{N — M) x U{M)], SO{2N)/U{N) and Sp{N)/U{N). To do this, we apply the technique of the gauge theory formu- lation of supersymmetric nonlinear sigma models on the Hermitian symmetric spaces |12 which was used for the study of non-perturbative effects [14|. We note that our manifolds are natural generalizations of the Calabi metric on the complex line bundle over CP^~^ |15|. This paper is organized as follows. In Sec. 2, we recapitulate the construction of compact Kahler manifolds Gn,m-, S0{2N) /U{N) and Sp{N)/U{N) by supersymmetric gauge theories, and extend this to non-compact Kahler manifolds. In Sec. 3, we impose the Ricci-flat condition on these non-compact manifolds. Symmetry plays a crucial role to reduce partial differential equations to ordinary differential equations of one variable. In Sec. 4, we present explicit expressions of Kahler metrics and their Kahler potentials. It is found that these manifolds contain resolution parameter h as an integration constant, and the conical singularity is resolved by Gn,m, S0{2N)/U{N) or Sp{N)/U{N) of a radius expressed in terms of b. These manifolds are complex line bundles over Gn,m^ S0{2N)/U{N) and Sp{N)/U{N). Sec. 5 is devoted to Conclusion and Discussions. In Appendix, we summarize the isomorphisms between the lower dimensional base manifolds and the duality between the Grassmann manifolds, and show that they hold for total spaces. 1 2 Construction by Supersymmetric Gauge Theories 2.1 Compact Kahler Manifolds from Gauge Theories In this section we recapitulate the construction of Gn,m-, S0{2N)/U{N) and Sp{N)/U{N), us- ing supersymmetric gauge theories [p^]. Such a method was first found for the projective space QpN-i ig g^]^^ ^]-^g Grassmann manifold Gn,m [17|, and then recognized as the symplectic or the Kahler quotient |15 Construction of Gn,m |17, Let 9, 0) be an x M matrix-valued chiral superfield. The group SU{N) X U (M) can act on it as cD^cD' = QL^gR-' , (5l,9r) e {SU{N),U{M)) . (2.1) We promote the right action of U (M) to a gauge symmetry by introducing a vector superfield V{x, 6, 6), taking a value in the Lie algebra of U{M). The gauge transformation is given by $ ^ = $e-'^ , ^ e^' = e'^e^e"'^' , (2.2) where A{x,6,9) is a parameter chiral superfield, taking a value in the Lie algebra of U{M). Note that the local invariance group is enlarged to the complexification of the gauge group, U{M)^ = GL{N,C), since the scalar component of A{x,6,9) is complex. The Lagrangian invariant under the global SU{N) and the local U{M) symmetries is given by C = j (feiC{^,^\V) = jd^e tr($t$e^) -ctry , (2.3) where K, is the Kahler potential. Here c is a real positive constant, called the Fayet-Iliopoulous (FI) parameter, and ciiV is called the FI D-term. Since V is an auxiliary field, it can be eliminated by its equation of motion Q 5C/5V = ^^^e^ -cIm = 0, (2.4) where 1a/ is an M x M unit matrix. Substituting the solution, y($,<I>"f) = — log (<I>^^<^/c), back into the Lagrangian (^.31), we obtain /C($,$^y($,$t)) = ctrlog($t$) = clogdet($t$) = clogdet(lM + ¥'V) • (2-5) Since the gauge group is complexified, we have chosen the gauge fixing as $ = . (2.6) ^ We regard e ^ 5e^ as an infinitesimal parameter: 5C = tr[$^$e^(e ^5e^)] — ctr((51oge^) = tr [("3?^"3?e^ c1m)X-^SX], where X V e 2 where <f{x, 9, 0) is an {N — M) x M matrix-valued chiral superfield. The constant terms in ( |2.5| ) have been omitted, since they disappear under the superspace integral / df^O. (|2.5|) is the Kahler potential of Gn,m = SU{N)/[SU{N - M) x U{M)], whose complex dimension is M{N - M). It becomes one of CP^-i = SU{N)/[SU{N - 1) X [/(!)] if we set M = 1, in which case the gauge group is {/(I). Construction of S0{2N)/U{N) and Sp{N)/U{N) Q. Let us replace the size of the matrix {N,M), by {2N,N), corresponding to G2n,n, and introduce the invariant tensor of S0{2N) or SpiN): J^(' (2.7) \€lN J where e = 1 for SO{2N), and e = —1 for Sp{N). The invariant Lagrangian is given by C = jd'^e tr{<^>^<^>e^)-ctrV + j (fOtv {^o<^'^ J<S>) + c.c , (2.8) where ^o{x, 0, 9) is an auxiliary chiral superfield of an x matrix, belonging to (anti-)symmetric tensor representation of the gauge group U{N) for S0{2N)/U{N) [Sp{N)/U{N)] with the suitable U{1) charge. By the integration over V, we obtain with the same gauge fixing as (^^). The integration over $0 gives the constraint $^J$ = ip + eip'^ = , (2.9) which implies that the N x N matrix-valued chiral superfield is anti-symmetric or symmetric for SO{2N)/U{N) or Sp{N)/U{N), respectively. The Kahler potential (|]5|) with the constraints (U) is one of S0{2N)/U{N) or Sp{N)/U{N), whose complex dimension is ^^^{N - 1) or \N{N + 1), respectively. Instead of the Kahler potential of the Lagrangian ( p. 3D and (|2.8D, we can start from /C($,$^y) = /(tr($t$e^)) -ctrF , (2.10) where / is an arbitrary function. We can show that we obtain the same results even if we start from ( 2.10 ) p^ ]. Let us make some comments. We have used the classical equation of motion of V to eliminate it. We can promote this to the quantum level in the path integral formalism |l^ ]. If we add the kinetic term for V rather than regarding V as auxiliary, our manifolds are obtained as the classical moduli space of the gauge theories |19|. 3 2.2 Non-compact Kahler Manifolds from Gauge Theories Let us construct the non-compact Kahler manifolds, by restricting the gauge degrees of freedom from U{M) to SU{M). To do this, we promote the Fl-parameter c in (|2.10| ) to an auxiliary vector superfield C(x, 6, 9): /Co($,$^y,C) = f{iT{^^^e^))-CiiV , (2.11) where / is an arbitrary function.^ Note that V{x^ 9, 9) in this Lagrangian is still taking a value in the Lie algebra of U{M). The equations of motion of V and C read 6C/6V = /'(tr($t$e^))$t$eV' _c7i^^ 6C/6C = tvV = 0, 0, (2.12a) (2.12b) respectively, where the prime denotes the differentiation with respect to the argument of /. The gauge group is restricted to SU{M) by ( p. 12b ). The trace and the determinant of (2.12a) are M /'(tr($t$e^)) det($t$) = C M (2.13a) (2.13b) since det = 1 for the SU {M) gauge field V . Eliminating C from these equations, the solution of V reads tr ($t$e^) M det($t$) (2.14) Substituting this back into (2.11) and taking account of (2.12b), we obtain the nonlinear Kahler potential /Co($,$^F($,$t)) = / ( M [det($t$)l " ] = /C(X($,$t)) (2.15) where X($,$^) is a vector superfield, invariant under the global U{N) [S0{2N) or Sp{N)] and the local SU{M) [SU{N)\ symmetries, defined by X($,$t) = logdet$"f^> (2.16) and fC{X) is a real function of X related to /. Here the logarithm in the definition of X is just a convention. (Note that this definition of the invariant is different from the one in js], |lO|-) Prom the view point of the algebraic variety, X is the gauge invariant parameterizing the moduli space of supersymmetric gauge theories [p^]. ^ There exist independent invariants tr[(<I>^<l?e^)^], tr\{(^'^ <^e^)'^], besides tr((l?''^(l?e^). We can show that, even if these are included as the arguments of the arbitrary function of (2.11), we obtain the same result (2. IE). The situation is the same for the cases of the U{M) gauge field, (2.10), for compact manifolds 4 Since the gauge group is complexified to SU{M)^ = SL{M,C), we can choose a gauge fixing as ^ = a , (2.17) where (p is an (iV — M) x M matrix-valued chiral superfield, and cr{x, 9, 9) is a chiral superfield. Comparing ( |2.17| ) with (p.6|), we find that the superfield a is parameterizing a fiber, while ip is parameterizing a base manifold, with the total space being a complex line bundle. Under this gauge fixing, the invariant superfield X is decomposed as X = Mlog|cj|^ + logdet(lAf + (^V) = Mlog|(T|^ + ^' , (2.18) where we have defined ^ = logdet(lAf + (^t(^) . (2.19) Note that ^' is a Kahler potential of Gn,m [S0{2N)/U{N) or Sp{N)/U{N)] obtained in (|2j) [with the constraint (|2.9D]. Let us introduce some notations. We denote the elements of the matrix-valued chiral superfield (f by ifAa, where the upper case and the lower case indices, A and a, run from 1 to — M and from 1 to M, respectively. Since the size of the matrix ip is N x N in the cases of Sp{N) /U{N) and SO{2N)/U{N), we denote its elements by ^pat- In this case, only the components ipab with b > a (b > a) are considered as independent. When we discuss the total space, we use the coordinates = {cr,ipAa)- It should be noted that from now on we use the same letters for chiral superfields and their complex scalar components. We make a comment on the symmetry breaking. These non-compact manifolds can be regarded as r.,,G SUjN) S0{2N) Sp{N) at least locally. The part of G/H is parametrized by the Nambu-Goldstone bosons arising from the spontaneous breaking of the global symmetry G down to H, whereas the factor of R is parametrized by the so-called quasi-Nambu-Goldstone boson (see e.g. |2C, 21, 3 Ricci-flat Conditions We would like to determine the function IC{X) in ( p. 15 ), by imposing the Ricci-flat condition on the manifold. The metric of the Kahler manifold is given by = dfj,du*IC, where = d/dz 5 and d,^* = d/dz*'^ . The explicit expression of the Kahler metric can be calculated as V 9(Aa)cT* 9(Aa)(BhY J with each block being ^„dX dX dX dX MBbY = IC , 5(Aa).* = IC , (3.1c) where the prime denotes the differentiation with respect to the argument X of the function IC{X). Here, we have used equations, = g^g^* = g^f^ ^g-* =0 (cr / 0), which follow from ( |2.1^ ). The determinant of the metric is calculated, to yield det5^,. = ^/C". det ()€' ^'f ^ ) , (3.2) (Aa)iBb)* V dipAadip*Bf,J where det(^Aa){Bb)* denotes the determinant of the matrix of the tensor product, spanned by (Aa) and (Bb)* . Since the Ricci-form is given by [Ric)^y* = —df^d^* log det (/^A*; the Ricci-flat condition {Ric)^y* = implies det^i^i/* = (constant) x |Fp , (3.3) with F being a holomorphic function. 3.1 Line Bundle over G N,M In this section let us obtain the explicit solution of the Ricci-flat metric on the line bundle over the Grassmann manifold. Let us calculate the X differentiated by matrix fields (pAa once and twice, needed for the calculation of the Kahler metric ( |3.lD . By noting d^Bb dipAa ^AB^ab 5 we obtain dX dipAa dX d^Aa d^x dipAadip*Bh d{Aa)d(Bbr'^ {1m + V'V) ip{lM + P'^^)~^ = {1m + y^^V)ab l{Af-M) - fC^M + <^V)~ V"^ aA Aa BA (3.4) (3.5a) (3.5b) (3.5c) 6 Here we have used the definition of ^ in ( |2.19| ), and d(^Aa) ^-iid 9(yia)* represent differentiations with respect to (pAa and 9?^^' respectively. Note that ( 3.5c| ) is just the Kahler metric of the Grassmann manifold Gn,m- The determinant of g^j^y* can be calculated as detg^,* = /C"(/C')*'^(^-^) • det [d^Aa)d(BbY'^] . (3.6) |cjp {Aa){BbY L ^ ' ^ ^ J To obtain the concrete expression of this determinant, we use a symmetry transformation preserving the value of the determinant. Under the transformation of the complex isotropy [SU{N — M) x SU{M)]^ = SL{N - M, C) X SL{M, C), the coordinates transform linearly as z'^ = V^'yz'' . Since the transformation matrix V belongs to a subgroup of SL[M{N — M),C), the equation dety = 1 holds and the det^r^jy* is invariant: deig^u* — > det = det | det = detg^y*. For an arbitrary matrix-valued chiral superfield there exists a complex isotropy which permits the transformation of (/? to the form of - ( oi where the dots denote zero elements, and the only non-zero element is (pn = (/Jq- The matrix of the tensor product ( 3.5c| ) is diagonalized as {N -M - l)-blocks = diag. ,1; ••• ; ,i > (^-s) d(pAad(f Bb where C = (1 + |(/5oP)^^- Each block separated by the semicolons is labeled by the indices A = B, which run from 1 to — M, and in each block the indices a = b run from 1 to M. With noting ^ = (1 -|- lyjoP)^"'^ = [det(lAr -|- ip^ip)]~^ = |(Tp^e~"^, the determinant (|3.6|) can be calculated as detg^,, = MV|2(^^^-i)e-^^X;"(r)^^(^-^^) . (3.9) The Ricci-flat condition ( |3.3D becomes where a is a real constant. 3.2 Line Bundles over S0{2N)/U{N) and Sp{N)/U{N) In this section, we construct the Ricci-flat metrics on the line bundles over S0{2N)/U{N) and Sp{N) /U{N). These cases are obtained by imposing the constraint ( |2.9| ) on the Grassmann man- ifold G2N,N- Under the condition ( |2.9D , the differentiations with respect to the matrix elements ifab, corresponding to ( ^ ) for the Grassmann case, become ^"""^ ^ {Sca^db - e 6cbSda) ('^ - -^^ab^ , (3-11) dipab ' \ 2 7 where we do not take a sum over the index a or b. Using this, the X differentiated by one or two if^s can be calculated, to yield dX d^Pab dX d^x N ^ (Iat + {ScaSdb - e 5cbSda) i 1 - -Sab c,d=l N 1 c,d=l (3.12a) (3.12b) '9(ab)9{cd)*^ 1 - \5ab) (l - \5cd) { (Iw + ¥^V)fc"d [Ijv - ¥'(ljv + 95V)~ - e (l^v + y^V);:^^ [IJV - <^(l7V + 93V)"V"^]rf„ + (a ^ 6,c ^ d)} . (3.12c) Here the last term in the last line implies adding the preceding two terms with the exchange of the indices. Note again that (|l2§) is just the Kahler metric of S0{2N)/U{N) or Sp{N)/U{N). The determinant (|3.2|) can be calculated as det5^.* = — /C"(/C')^^(^-^)- det [d(^ab)di^,aY^ (3.13) We again use the complex isotropy transformation of SU{N)^ = SL{N, C), preserving the deter- minant. We first discuss S0{2N)/U{N) followed by Sp{N)/U{N). The line bundle over S0{2N)/U{N). Using the complex isotropy transformation of SL{N, C), the arbitrary f can be put / (/?o \ -^0 \ (3.14) where non-zero elements are ipi2 diagonalized as -.* b>a, d>c dtpabdifla ifQ. The matrix of the tensor product ( 3.12c] ) is diag. (2^2, 2e,--- ,2^; 2^, • • • ,2^; 2, • • • ,2; 2,--- ,2; ••• ; 2,2 ; 2) , JV-2 N-2 iV-S (3.15) where ^ = (1 + |(^oP)~^- Each block separated by the semicolons is labeled by the indices a = c, which run from 1 to N, and the indices b = d run from a + 1 = c + 1 to in the a-th block, by the conditions b > a and d > c. Noting = (1 + Iv^oP)""^ = [det(lAr + ip^ip)]^^/"^ = \a\^e~^/'^, we can calculate the determinant ( ^.13 ), given by detff^,. = Ar22l^(^-i)|^|2^(^-i)-2e-(^-i)x^"(^')|^(^-i) . (3.16) 8 The Ricci-flat condition (3.3) becomes ^_(7V_l)X_^^^^/^iiV(7V-l)+l dX a . (3.17) The line bundle over Sp{N)/U{N). There exists an isotropy transformation which transforms an arbitrary matrix if to the form of ( |3.7] ). The matrix of the tensor product ( p. 12c ) is diagonahzed as cd b>a, d>c diag. U ,2e,--- ,2^; 1,2,--- ,2; 1,2,--- ,2; ••• ; 1,2; 1 (3.18) Af-l N-2 N-3 where ^ = (1 + ly^gp)""'^- Each block separated by the semicolons is labeled by the indices a = c, which run from 1 to A^, and the indices h = d run from a = c to in the a-th block by the conditions b > a and d > c. Noting ^ = (1 + [(^oP)^^ = [det(lAr + ip^ip)]^^ = \a\'^'^e~^ , we can calculate the determinant ( p. 13 ), given by det5^,* = iv22l^(^-i)|a|2^(^+i)-2e-(^+i)^r'(r)5^(^+i) . The Ricci-flat condition ( |3.3D becomes ^_(7V+l)X_^(^^/^liV(7V+l)+l ^ ^_ dX (3.19) (3.20) 4 Ricci-flat Metrics and Kahler Potentials 4.1 Kahler Potentials We can immediately solve (|3.10D , (|1|) and (|^) dJC dX (Ae^^ + 6)« , (Ae(^-i)^ + 6)7 _ (Ae(^+i)^ + 6)^ g = M{N - M) + 1 for Gn,m , / = ^N{N + 1 foi S0(2N)/U{N) h = ^N{N + 1) + 1 for Sp{N)/U{N) , (4.1) where A is a constant related to a, N and M, and b is an integration constant interpreted as a resolution parameter of the conical singularity. Although these are sufficient to obtain the Kahler metrics using ([j.l|), we can calculate Kahler potentials themselves: IC{X) 9_ N N-1 h N+l (Ae^^ +6)9 ■ l{b~^{Xe^^ + b)s;g) (Ae(^-i)^ +6)7 +67 . 7(6-7 (Ae(^-i)^ +6)7;/) (Ae(^+i)^ + b)Ti+b^- /(6-^(Ae(^+i)^ +b)^;h) for Gn,m , for SO{2N)/U{N) for Sp{N)/U{N) . (4.2) 9 Here the function I{y;n) is defined by dt 1 I{y;n) = - 1 n L log (y - 1) 2 1 2r7r + - / log (y + 1) 2r7r cos • log [y — 2y cos h 1 r=l 2riT sm • arctan n ^ — ' n r=l cos(2r7r/n) — y sin(2r7r/n) (4.3) In the limit of 6 — > 0, these manifolds become (generalized) conifolds with their Kahler poten- tials, /C N /AT Af- hXt l\„\2N N+1 a|2A'Met(lM + V'V)] J [|a|2^det(l^ + <^V)]' a|2^det(l^ + ^t^)] h .^-i for Gn,m , = -(^ , for SO{2N)/U{N) , = , for Sp{N)/U{N) . (4.4) 4.2 Ricci-flat Kahler Metrics We can calculate the Ricci-flat Kahler metrics substituting the solutions ( |4.1| ) into ( |3.1| ). The component (^o-o-* is ' A^(Ae^^ + 6)i-'e^*|a|2^^^-2 , for G,v,M , ^iV^(y-l)^^g(iV-l)X +^)^lg(iV-l)^|^|2^(iV-l)-2 ^ fo^ 50(2iV)/[/(iV) ^ A^^^^(^(Ae(^+i)^ + 6)^-'e(^+i)*|a|2^(^+i)-2 , for Sp(iV)/[/(iV) , (4.5) where ^ was defined in ( |2.19 ). These are singular at the surface cr = 0: gaa*\<T=o = 0. This singularity is just a coordinate singularity of = {a,ipAa)- To find a regular coordinate, we perform coordinate transformations. P = \ a^^/MN, forG^,M, (7^(^-i)/iV(iV - 1) for S0{2N)/UiN) (4.6) with (or ifab) being unchanged. The metrics in the regular coordinates z^' = (p, fAa) can be calculated, to give 9pp* 9p{Bh)* 9{Aa){Bb)'' X- i-1 TV* A- 9 9 (Ae^^ + 6)^^e^V-9(B6).^ (4.7a) (4.7b) 9 m 10 for Gn, M, 9pp' + (Ae^'' + b)^-5(Aa)9(B6r^, (4.7c) / 5pM* = A ^'^""^" (Ae(^-^)^ + h)7-'e^^-'^%* • , (4.8b) + (Ae(^-i)^ + 6)7.9(,,)5(,,).*, (4.8c) for S0{2N)/U{N), and 9pp* = ^ iV^(iV + l) ^ ^) l-i^iN+i)^ ^ (4 9^) n = A ^'^^^+^^' (Ae(^+^^ + 6)^^e(^+^^p* • d^^,y^ , (4.9b) 5H)(c.). = A ^ (Ae(^+^^ + b)^-^e(^+^-^|H^-gH)^gM)^^ + (Ae(^+'^^ + fc)^-5(„,)5(,,).*, (4.9c) for Sp{N)/U{N), where ^' differentiated by the base coordinates (pAa or (pab are given in ( |3.5| ) and (ilD- The metrics of the submanifold defined by p = {dp = 0) are 9iAa)(Bb)*\p=o{f,f*) = b!)d(Aa)d{Bb)*^ foi Gn,m^ (4.10a) 9(ab)icdr\p=o{v,^l = b7d^,b)dicdr^ for S0{2N)/U{N) , (4.10b) 5{a6)M)*lp=o('^,¥'*) = for 5p(iV)/C/(iV) , (4.10c) where ^ is the Kahler potential of these manifolds found in ( |2.5D , and ^' differentiated by two fields is given in ( |3.5c| ) or ( p. 12c ). Therefore we find that the total spaces are the complex line bundles over these Hermitian symmetric spaces as base manifolds, with p (or a) being a fiber. Actually, it was shown in [22| that there exists a Ricci-flat metric on the complex line bundle over any Kahler- Einstein manifolds. In the limit of 6 — > 0, these base manifolds shrink and the manifolds become conifolds. The conical singularities are resolved by Gn,m, S0{2N)/U{N) and Sp{N)/U{N) of the radii 6^/^^, b^/'^^ and 6^/^'^, respectively. From the relation of Gtvi = CP^~^, we also have the complex line bundle over CP^^^. The Kahler potential (4.2) in the case oi M = 1 [g = N) coincides with the flat one in the limit of 6 ^ 0, but with a coordinate identification p = cj^ /N . The singular limit is C^/Zjv, and this orbifold singularity is resolved by CP^^^ . This coincides with the Calabi metric |15], so our manifolds can be considered as natural generalizations of the Calabi metric. 11 5 Conclusion and Discussions We have constructed non-compact Kahler manifolds, modifying the Kahler quotient construction of the Hermitian symmetric spaces of the classical groups by restricting the gauge group U (M) to SU{M). We have presented the Ricci-flat metrics and their Kahler potentials on these manifolds. The essential point was that the partial differential equation ( |3.3[ ) was reduced to the ordinary differential equations ( p. 101 ), ( p. 17 ) and ( p.20| ), using the isotropy transformation. These metrics contain the resolution parameter as an integration constant, and the conical singularities are re- solved by the Hermitian symmetric spaces with the radii of the resolution parameter. They have been recognized as the line bundle over the Hermitian symmetric spaces, and contain the Cal- abi metrics on the line bundle over CP^^^. Our manifolds in lower dimensions are discussed in Appendix, which are not included in the list of |24]. Our method can be applied to the cases in which all non-compact directions can be transformed to each other by the isotropy. Such a view point was discussed in [^] in terms of the super symmetric nonlinear realization. We can also construct other conifolds with the isometry of the exceptional groups from the Hermitian symmetric spaces of the exceptional groups [p^ j. We would like to discuss whether the deformation parameter exists, as in the case of the conifold |^]. We also would like to clarify the relation between our manifolds of the line bundle over Sp{2)/U{2) ~ and the Spin(7) manifold in [25|, since both manifolds can be written in the form of R x Sp{2) / SU{2). The investigation of superconformal field theories corresponding to our manifolds is also an interesting task. Acknowledgements We would like to thank Michihiro Naka, Kazutoshi Ohta and Takashi Yokono for valuable comments and discussions. This work was supported in part by the Grant-in-Aid for Scientific Research (#13640283). A Isomorphism We have sets of the isomorphism between the lower dimensional base manifolds, i) ~ 50(4)/C/(2) ~ Sp{l)/U{l) ~ , (A.la) ii) ~ 50(6)/C/(3) , (A.lb) iii) Sp{2)/U{2) ~ , (A.lc) iv) G4,2 ^ Q\ (A.ld) 12 in addition to the novel duality relation Gn. M N-M (A.le) In this appendix we show that total spaces on these base manifolds coincide. It gives a nontrivial check for our results. Before doing that we quote the results of the line bundle over Q^~'^ = SO{N)/[SO{N — 2) x U{1)], as a conifold The superfields a and Wi {i = 1, - ■ ■ N — 2) constitute an A^- vector as = o"(l, u)i, — ^ ^^^^(ifj)'^). The Kahler potential differentiated by the invariant X = log<I>^^$ and a coordinate transformation are (Ae(^-2)x+5)^ ^ ^ = ^iL, (A.2) dK. dX N Note that the notation of X is different from that of |10|. i) Eguchi-Hanson space. All of the lowest dimensional manifolds of ( A. lap coincide with the Eguchi-Hanson gravitational instanton Xj = log det $|^>/ are The matrix field <!>/ (/ = 1,2,3,4) and invariants $1 $2 0-1 <72 ( 1 1 <f2 \ 1 \ 0-3 ( $4 (74 ^3 log|(Tlp +log(l + 1^51 1 Xi = 21og|cJ2p + 21og(l + |(/92| logksl^ + log(l + Iv^sl^) (A.3a) (A.3b) (A.3c) X. log|cJ4p + 21og(l + -|^4p (A.3d) 1 (/34 for the cases of the base manifolds CP-*^, 50(4)/?7(2), 5p(l)/C/(l) and Q^, respectively. Relations of the base and the fiber coordinates of these four manifolds are v^i = 932 = <^3 = ^a/V^ and ((Ti)^ ~ (c2)^ ~ ('^3)^ ~ (74 ~ /9, respectively. Note that each fiber ai {I = 1,2,3,4) consistently defines the same p as the regular coordinate from (|4.6| ) and ( [A.2| ). The Kahler potentials coincide up to a overall constant: die dXi \/ Ae^^i + b ~ V Xe^^ + b ~ \/ Ae^^s + ft \/ Xe^^, + ft . (A.4) The orbifold singularity in C^/Z2 is resolved by 5^. 13 ii) Complex four-dimensional Calabi metric. The matrix field (I = 1,2) and invariants Xi = logdet$J$/ are (i = 1,2,3) <i>2 <72 L \ J- Xi = log 1 \ 1 1 v^l -ipl -V2 -¥^3 / \W.:\ (A.5a) i=l X2 = 31og|cJ2|^ + 21og(l + ^ m\ (A.5b) for the cases of the base manifolds CP^ and SO{Q) /U{?>), respectively. Identifications of the base and the fiber coordinates are Wi = ipi and (cti)^ ~ (<72)^ ~ P, respectively, where each fiber a J {I = 1,2) consistently defines the same p as the regular coordinate from ([4.6|). The Kahler potentials coincide up to a overall constant: die dXi 2X2 (A.6) The orbifold singularity in C^/Z^ is resolved by CP^ ~ SO{6)/U{3). iii) Another metric with complex four dimensions. The matrix field <&/ (I = li 2) and invariants Xi = logdet$J$/ are (i = 1,2,3) $1 = 0-1 0-2 /l o\ 1 Xi = 21og|ai|2 + log(l + ^|(^i|2 + i=l -993 - yji992 (A.7a) 3 ^3 , X2 = log|a2|2 + log(l + ^|u;ip + -|^u;2 ■t=l i=l (A.7b) for the cases of the Sp{2)/U{2) and Q"^ base manifolds. Identifications of the base and the fiber coordinates are and (cTi)^ ~ (172)^ ~ p, respectively. Again, each fiber aj {I = 1,2) consistently defines the same p as the regular coordinate from ( [4. 61 ) and ( A.2| ). The Kahler potentials coincide up to a overall ( i V2 1 V2 \ ^ Wl ^ i V2 1 V2 [ 1 / \W3 J 14 constant: die 'dX'i 3X2 (A.9) iv) The line bundle over the Klein quadric (with complex five dimensions). The embedding of ^4,2 into CP^ is known as the Pliicker embedding. The matrix field (/ = 1,2) and invariants Xi = logdet^>|$/ are (i = 1,2,3,4) / 1 \ $1 = 0-1 1 1 , Xi = 2iog + log ( 1 + + Ww2 - y3y^4| (A.lOa) $9 0-2 1 V^4 „.,2 to? (A.lOb) , ^2 = log|cT2p + log(l + ^|w;iP + i|^. for the cases of the base manifolds G4 2 and Q^. Identifications of the base and the fiber coordinates are V / ^ 72 73 ^ ^ ^ ^2 73 -7S W3 (A.ll) V 73 73 / V / and (cTi)*^ ~ {^2)^ ~ P) respectively, from ( |4.6| ) and ( A. 2 ). Each fiber defines the same the regular fiber coordinate p. The Kahler potentials coincide up to a overall constant: die dXi (A.12) v) Duality between the Grassmann manifolds. The matrix field $7 {I = 1,2) and invariants Xj = log det are $1 = ai $5 <72 9^1 / ^2 , Xi = Mlog|aip + logdet(lM + '^iVi) , , X2 = (iV-M)log|cJ2p+logdet(lAr_M + <yf2V2) , (A.13a) (A.lSb) for the cases of the base manifolds Gn,m and Gn,n-m-, respectively. Here ipi and ip2 are [{N — M) X M]- and [M x (A^ — M)]-matrices, respectively. Identifications of the base and the fiber coordinates are (pi = ip2 , and (cii) \NM M) p, respectively, due to (|4.6|), in which 15 each fiber defines the same regular coordinate p. The Kahler potentials coincide up to a overall constant: ^ ^ (Ae^^i+6)i ~ (Ae^^^+6)i. (A.14) References [1] B. Zumino, Phys. Lett. 87B (1979) 203. L. Alvarez-Gaume and D. Z. Freedman, Comm. Math. Phys. 80 (1981) 443. [2] L. Alvarez-Gaume, Nucl. Phys. B184 (1981) 180. C. M. Huh, Nucl. Phys. B260 (1985) 182. L. Alvarez-Gaume and P. Ginsparg, Comm. Math. Phys. 102 (1985) 311. [3] M. T. Grisaru, A. E. M. van de Ven and D. Zanon, Phys. Lett. 173B (1986) 423; Nucl. Phys. B277 (1986) 388; Nucl. Phys. B277 (1986) 409. [4] D. Nemeschansky and A. Sen, Phys. Lett. 178B (1986) 365. [5] K. Higashijima, T. Kimura and M. Nitta, Phys. Lett. B 515 (2001) 421, tiep-th/0104184 . [6] M. B. Stenzel, Manuscripta Math. 80 (1993) 151. M. Cvetic, G. W. Gibbons, H. Lii and C. N. Pope, liep-th/0012011 [7] T. Eguchi and A. J. Hanson, Phys. Lett. 74B (1978) 249. [8] P. Candelas and X. C. de la Ossa, Nucl. Phys. B342 (1990) 246. R. Minasian and D. Tsimpis, Nucl. Phys. B572 (2000) 499, |hep-th/99 11042 K. Ohta and T. Yokono, JHEP 0002 (2000) 023, |hep-th/99 12266 [9] L. A. Pando Zayas and A. A. Tseytlin, JHEP 0011 (2000) 028, |hep-th/00l"0088|; Phys. Rev D63 (2001) 086006, hep-th/0101043 [10] K. Higashijima, T. Kimura and M. Nitta, Phys. Lett. B 518 (2001) 301, |iep-th/0l67l00 . [11] K. Higashijima and M. Nitta, Prog. Theor. Phys. 103 (2000) 635, |hep-th/9911139 . [12] K. Higashijima and M. Nitta, Prog. Theor. Phys. 103 (2000) 833, |hep-th/99 11225 . [13] K. Higashijima and M. Nitta, Proceedings of Confinement 2000 (World Scientific, 2001) 279, [hep-th/0006025| ; Proceedings of ICHEP 2000 (World Scientific, 2001) 1368, |hep-th/0008240 . 16 [14] K. Higashijima, T. Kimura, M. Nitta and M. Tsuzuki, Prog. Theor. Phys. 105 (2001) 261, |hep-th/0010272 . [15] E. Calabi, Ann. Scient. Ec. Norm. Sup. 12 (1979) 269. [16] A. D'adda, P. Di Vecchia and M. Liischer, Nucl. Phys. B152 (1979) 125. [17] S. Aoyama, Nuovo Cim. 57A (1980) 176. [18] U. Lindstrom and M. Rocek, Nucl. Phys. B222 (1983) 285. N. J. Hitchin, A. Karlhede, U. Lindstrom and M. Rocek, Comm. Math. Phys. 108 (1987) 535. [19] M. A. Luty and W. Taylor IV, Phys. Rev. D53 (1996) 3339, |hep-th/9506098 [20] M. Bando, T. Kuramoto, T. Maskawa and S. Uehara, Phys. Lett. 138B (1984) 94; Prog. Theor. Phys. 72 (1984) 313, 1207. W. Lerche, Nucl. Phys. B238 (1984) 582. G. M. Shore, Nucl. Phys. B248 (1984) 123. [21] M. Nitta, Int. J. Mod. Phys. A14 (1999) 2397, |hep-th/9805038 [22] D. N. Page and C. N. Pope, Class. Quantum Grav. (1987) 213. [23] K. Higashijima, T. Kimura and M. Nitta, [hep-th/0110216 [24] M. Cvetic, G. W. Gibbons, H. Lii and C. N. Pope, Nucl. Phys. B 617 (2001) 151, |hep-th/0102185 . [25] M. Cvetic, G. W. Gibbons, H. Lii and C. N. Pope, |hep-th/0 103155 . Y. Konishi and M. Naka, tiep-th/0 104208. 17