Skip to main content

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