arxiv:hep-th/ v1 24 Jul 2003

Transcription

1 Lab/UFRHEP/0301-GNPHE/0301 arxiv:hep-th/ v1 24 Jul 2003 Geometric Engineering of N= 2 CFT 4 s based on Indefinite Singularities: Hyperbolic Case M. Ait Ben Haddou 1,2,3, A. Belhaj 2,4 and E.H. Saidi 1,2 1 Lab/UFR-Physique des Hautes Energies, Faculté des Sciences de Rabat, Morocco. 2-Groupement National de Physique des Hautes Energies, GNPHE; Siege focal, Rabat, Morocco. 3 Département de Mathématique & Informatique, Faculté des Sciences, Meknes, Morocco. 4-Instituto de Fisica Teorica, C-XVI, Universidad Autonoma de Madrid, E Madrid, Spain. April 8, 2008 Abstract Using Katz, Klemm and Vafa geometric engineering method of N = 2 supersymmetric QFT 4s (hep-th/ ) and results on the classification of generalized Cartan matrices of Kac-Moody-Lie algebras, we study the un-explored class of N = 2 CFT 4s based on indefinite singularities. We show that the vanishing of the general condition for the vanishing of the beta function of N = 2 quiver gauge QFT 4s coincides exactly with the fundamental classification theorem of Kac-Moody Lie algebras. Explicit solutions are derived for mirror geometries of CY threefolds with hyperbolic singularities. Keywords: Geometric engineering of N= 2 QFT 4 s, Indefinite and Hyperbolic Lie algebras, CY threefolds with indefinite singularities, N= 2 CFT 4 s embedded in type II strings. aitbenha@fsmek.ac.ma ufrhep@fsr.ac.ma H-saidi@fsr.ac.ma

2 1 Introduction During the last few years supersymmetric d dimension conformal field theories ( CFT d ) have been subject to an intensive interest in connection with superstring compactifications on Calabi- Yau manifolds ( CY) [1, 2, 3, 4] and AdS/CFT correspondence [5, 6, 7, 8, 9]. An important class of these CFTs correspond to those embedded in type II string compactifications on elliptic fibered CY threefolds with ADE singularities preserving eight supersymmetries. These field models, which give exact solutions for the moduli space of the Coulomb branch and which admit a very nice geometric engineering [10] in terms of quiver diagrams, were shown to be classified into two categories according to the type of singularities: (i) N = 2 CFT 4, based on finite ADE singularities; with gauge group G = i SU (n i) and matters in both fundamental n i and bi-fundamental (n i,n j ) representations of G. (ii) N = 2 CFT 4 with gauge group G = i SU (s in) and bi-fundamental matters only. This second category of scale invariant field models are classified by affine ADE Lie algebras. The positive integers s i appearing in G are the usual Dynkin weights; they form a special positive definite integer vector s = (s i ) satisfying K ij s j = 0 and so K ij n j = 0, (1) where n j = ns j = and where K is the Cartan matrix. The appearance of this remarkable eq in the geometric engineering of N = 2 CFT 4 s is very exciting; first because 4d conformal invariance, requiring the vanishing of the beta function, is now translated into a condition on allowed Kac-Moody-Lie algebras eq(1). Second, even for N = 2 CFT 4 based on finite ADE with m i n i fundamental matters, the condition for scale invariance may be also formulated in terms of K as, K ij n j = m i. (2) The identities (1,2) can be rigorously derived by starting from mirror geometry of type IIA string on Calabi-Yau threefolds and taking the field theory limit in the weak gauge couplings g r regime associated with large volume base ( V r = 1/ε with ε 0 ). In this limit, one shows that complex deformations a r,l of the mirror geometry scale as ε l kr 1 and the universal coupling parameters Z (gr) ( given by special ratios of a r,l and a r±1,l ) behave as ε br where b r is the beta function coefficient of the r-th U (n r ) gauge sub-group factor of G. Scale invariance of the CFT 4 s requires b r = 0 r and turns out to coincide exactly with eqs(1,2) depending on the type of ADE singularities one is considering; i.e affine or finite. The third exciting feature we want to give here is that both eqs(1,2) can be viewed as just the two leading relations of the triplet K (q) ij n j = qm i ; q = 0, +1, 1. (3) The extra relation namely K ( ) ij n j = m i describes the so called indefinite subset in the classification of Kac-Moody-Lie algebras in terms of generalized Cartan matrices. If one forgets for a while the algebraic geometry aspect of singular surfaces and focus on the classification of N = 2

3 CFT 4 s listed above, one learns from the striking resemblance between the three sectors of eqs(3) that it is legitimate to ask why not a third class of N = 2 CFT 4 s associated with the third sector of eq(3). A positive answer to this question will not only complete the picture on N = 2 CFT 4 s embedded in type II strings on CY threefolds given in [10]; but will also open an issue to approach singularities based on indefinite Lie algebras. The triplet (3) is not the unique motivation for our interest in this third kind of N = 2 supersymmetric scale invariant field theory. There is also an other strong support coming from geometric engineering of N = 2 QFT 4 [10, 11], [12]. There, the geometric engineering of fundamental matters requires the introduction of the so called trivalent vertex. This vertex has a Mori vector q τ = (1, 2, 1; 1, 1) with five entries ( sometimes called also CY charges ). The first three ones are common as they are involved in the geometric engineering of gauge fields and bi-fundamental matters. They lead to eq(1). The fourth entry is used in the engineering of fundamental matters of CFT 4 s based on finite ADE and lead to eq(2). But until now, the fifth entry has been treated as a spectator only needed to ensure the CY condition 5 τ=1 q τ = 0. Handling this vertex on equal footing as the four previous others gives surprisingly the missing third sector of eqs(3) we are after. In this paper, we study the remarkable class of the yet un-explored N = 2 CFT 4 s associated with the third sector of eq(3). To achieve this goal, we have to prove that this kind of N = 2 CFTs really exist by computing the general expression of the beta function and then show that the moduli space of their solutions is non trivial. To do so, we have to develop the following: (i) study indefinite singularities of CY threefolds in relation with the third sector of eqs(3). (ii) develop the geometric engineering of N = 2 QFT 4 s embedded in type II strings on these class of singular CY 3-folds and then solve N = 2 QFT 4 scale invariance constraint eqs. Moreover, as the algebraic geometry of CY manifolds with indefinite singularities, like the classification of indefinite Lie algebras, are still open questions, we will approach our problem throughout explicit examples. Fortunately, we dispose actually of partial results dealing the classification of a subset of indefinite Lie algebras. This concerns the so called hyperbolic subset having Dynkin diagrams very closed to the usual finite and affine Lie algebras. Since we know much about finite and affine ADE geometries, one suspects to get here also exact results for hyperbolic mirror geometries. In addition to the explicit results one expects, the study of hyperbolic singularities is particularly interesting because it will give us more insight on the way Katz, Mayr and Vafa basic result regarding ADE bundles on elliptic curve could be generalized to include indefinite singularities. The presentation of this paper is as follows: In section 2, we review the computation of the general expression of beta function of N = 2 QFT 4 s based on trivalent geometry. Here we show that the general solutions for N = 2 CFT 4 scale invariance condition coincides exactly with the Lie algebraic classification eq(3). The missing sector of N = 2 CFT 4 s turns out to be intimately related to the extra fifth entry of q τ. In section 3, we study indefinite Lie algebras and too particularly their hyperbolic subset as well links with N = 2 supersymmetric field theories in 2

4 4 dimensions. In section 4, we expose our explicit solutions for N = 2 CFT 4 s based on hyperbolic singularities and in section 5, we give the conclusion and perspectives. 2 Trivalent geometry and Beta function In [10], trivalent geometry has been introduced to engineer N = 2 supersymmetric QFT 4 s ( with fundamental matter ) embedded in type IIA string theory on CY threefolds with ADE singularities. This geometry extends the standard ADE Dynkin diagrams and involves higher dimension vertices [10, 12]. In this section, we give the necessary tools one needs for the computation of the beta function of N = 2 QFT 4 s. Details and techniques regarding this geometry can be found in [10, 11] and subsequent works on this subject [12, 13],. 2.1 Trivalent geometry To illustrate the ideas, we start by considering the case of a unique trivalent vertex; then we give the results for chains of trivalent vertices. a) Case of one trivalent vertex Since trivalent vertices depend on the kind of the Dynkin diagrams one is using, we will fix our attention on those appearing in linear chains ivolving A k type singularities. A quite similar analysis is also valid for DE graphs. In the case of A type diagrams, trivalent geometry is described by the typical three dimensional vertices V i, V 0 = (0, 0, 0); V 1 = (1, 0, 0); V 2 = (0, 1, 0); V 3 = (0, 0, 1); V 4 = (1, 1, 1) (4) satisfying the following toric geometry relation 4 q i V i = 2V 0 + V 1 + V 2 + V 3 V 4 = 0 (5) i=0 The vector charge (q i ) = ( 2, 1, 1, 1, 1) is known as the Mori vector and the sum of its q i components is zero as required by the CY condition; i q i = 0. In type IIB strings on mirror CY3, the (V 0, V 1, V 2, V 3, V 4 ) vertices are represented by complex variables (u 0, u 1, u 2, u 3, u 4 ) constrained as i uqi i = 1 and solved by (1, x, y, z, xyz); see figure 1. In terms of these variables, the algebraic eq describing mirror geometry, associated to eq(5), is given by the following complex surface, P (X ) = e + ax + by + (c dxy)z, (6) where a, b, c, d and e are complex moduli. Note that upon eliminating the z variable, the above ( trivalent) algebraic geometry eqs reduces exactly to the standard bivalent vertex of A 1 geometry, P (X ) = ax + e + bc d 3 1 x. (7)

5 Figure 1: This figure represents a typical vertex in trivalent mirror geometry. To the central node, it is attached four legs; two of them are of Dynkin type and the two others are linked to CY toric geometry and deals, amongst others, with fundamental matters. The monomials y 0 = x, y 1 = 1 and y 2 = 1 x satisfy the well known su (2) relation namely y 0y 2 = y 2 1. To get algebraic geometry eq of the CY3, one promotes the non zero coefficients a, b, c, d and e to holomorphic polynomials a CP 1 as follows: e = c = n r i=0 e i w i ; a = n r 1 i=0 a i w i ; b = n r+1 i=0 b i w i, m r c i w i ; d = d i w i ; e 0, a 0, b 0, c 0, d 0 0. (8) i=0 m r i=0 These analytic polynomials encode the fibrations of SU (1 + n r 1 ) SU (1 + n r ) SU (1 + n r+1 ) gauge and SU (1 + m r ) SU (1 + m r) flavor symmetries; of the underlying N = 2 QFT 4 ; engineered over the nodes of the trivalent vertex. For instance SU (1 + n r 1 ) gauge symmetry is fibered over V 0 and SU (1 + m r ) and SU (1 + m r) flavor invariances are fibered over the nodes V 3 and V 4 respectively, see figure2. Note that the functions a, b, c, d and e are not all of them independent as one can usually fix one of them. In [10], the coefficient d of eq(7) was set to one and c kept arbitrary in order to geometric engineer the needed fundamental matters for finite ADE CFT 4 s. Here we will keep all of these moduli arbitrary and fix one of them only at appropriate time. The reason is that by fixing one of these moduli from the begining; one rules out a full sector in the moduli space of CFT 4 s as it has been the case for the CFT 4 sector associated with indefinite Lie algebras we want to study here. N = 2 QFT 4 limit To get the various N = 2 CFT 4 s embedded in type II strings on CY3-folds, we have to study the field theory limit one gets from mirror geometry of type IIA string on CY3 and look for the scaling properties of the gauge coupling constants moduli. We will do this for the case of one trivalent vertex eq(6) and then give the general result for a chain of several trivalent vertices. To that purpose, we proceed in three steps: First determine the behaviour of the complex moduli f i 4

6 Figure 2: This graph describes a typical vertex one has in trivalent geometric engineering of N= 2 supersymmetric QFT 4. SU (1 + l) gauge and flavour symmetries are fibered over the five black nodes. Flavor symmetries require large base volume. appearing in the expansion eq(8) under a shift of w by 1/ε with ε 0. Doing this and requiring that eqs(8) should be preserved, that is still staying in the singularity described by eqs(8), we get the following, e l ε l nr ; a l ε l nr 1 ; b l ε l nr+1 ; c l ε l mr ; d l ε l m r. (9) Second compute the scaling of the gauge coupling constant moduli Z (g) under the shift w = w + 1/ε. Putting eqs(9) back into the explicit expression of Z (g) namely we get the following behaviour Z (g) ε br with b r given by, Z (g) = a 0b 0 c 0 e 2 0 d, (10) 0 b r = 2n r n r 1 n r+1 (m r m r). (11) In the limit ε 0, finiteness of Z (g) requires then that the field theory limit should be asymptotically free; that is b r 0. Satured bound b r = 0 corresponds to scale invariance we are interested in here. With these relations at hand, let us see how they extend to the case of several trivalent vertices. b) Chains of trivalent vertices 5

7 Thinking about the vertices of eq(5) as a generic trivalent vertex of a linear chain of N trivalent vertices, that is V 0 V 0 α ; V 3 V + α ; V 4 V α V 1 V 0 α 1 ; V 0 2 V 0 α+1, (12) and varying α on the set {1,..., N} together with intersections between Vα 0 and V α±1 0 specified by Mori vector qα, i one can build more general toric geometries. In the generic case, the analogue of eq(5) extends as α 0 ( q i α V 0 α + V + i V ) i = 0. (13) Note that the ± upper indices carried by the V ± i vertices refer to the fourth +1 and five 1 entries of the Mori vector qτ i = ( qα i ; +1, 1) of trivalent vertex. In practice, the Mori vectors qα i s form a N (N + s) rectangular matrix whose N N square sub-matrix qj i is minus the generalized Cartan matrix K ij. For the example of affine A N 1, the Mori charges read as qα i = 2δi α δi 1 α δi+1 α with the usual periodicity of affine SU (N). The remaining N s part of qα i is fixed by the Calabi-Yau condition α qi α = 0 and the corresponding vertices are interpreted as dealing with non compact divisors defining the singular space on which live singularities. In mirror geometry where x α 1, x α, x α+1, y α, and xα 1xα+1yα y are the variables associated with the vertices (12), eq(6) extends α 2 x as a α 1 x α 1 + a α x α +a α+1 x α+1 + c α y α + d α 1x α+1y α α x = 0 where a 2 α, c α and d α are complex α moduli. Summing over the vertices of the chain and setting y α = x α z α, one gets P (X ) = a 0 x 0 + ( ) x α 1 x α+1 z α a α x α + c α x α z α + d α. (14) x α α 1 Eliminating the variable z α as we have done for eq(7), we obtain P (X ) = α 0 x α a α (w) β 1 ( ) α β cβ (w). (15) d β (w) We will use this expression as well as eqs(8) when building mirror geometries of CY threefolds with hyperbolic singularities. 2.2 Classification of N = 2 CFT 4 s Using eq(11), and focusing on the interesting situation where n α = m α = m α = 0 for α > N, (16) and all remaining others are non zero, the condition for conformal invariance of the underlying N = 2 supersymmetric gauge theory reads, in terms of generalized Cartan matrices K of Lie algebras, as K ij n j (m i m i) = 0; 1 i N. (17) 6

8 This is a very remarkable relation; first because it can be put into the form eq(3) and second its solutions, which depend on the sign of (m i m i ), are exactly given by the fundamental theorem on the classification of Lie algebras. Let us first recall this theorem and then give our solutions a) Theorem I: Classification of Lie algebras A generalized indecomposable Cartan matrix K obey one and only one of the following three statements: i) Finite type ( detk > 0 ): There exist a real positive definite vector u ( u i > 0; i = 1, 2,...) such that K ij u j = v j > 0. (18) ii) Affine type, corank(k) = 1, detk = 0: There exist a unique, up to a multiplicative factor, positive integer definite vector n ( n i > 0; i = 1, 2,...) such that K ij n j = 0. (19) iii) Indefinite type ( detk 0 ), corank(k) 1: There exist a real positive definite vector u (u i > 0; i = 1, 2,...) such that K ij u j = v i < 0. (20) Eqs(18-20) combine together to give eq(3). These eqs tell us, amongst others, that whenever there exist a real ( integer ) positive definite vector u i > 0 such that K ij u j < 0, then the Cartan matrix is of indefinite type. b) Solutions of eq(17) Setting u i = n i and v i = m i m i in the constraint eq(17) required by the vanishing of the beta function, one gets the general solutions for N = 2 supersymmetric conformal invariance in four dimensions. The previous theorem teaches us that there should exist three kinds of N = 2 CFT 4 s in one to one correspondence with finite, affine and indefinite Lie algebras. These CFTs are as follows: (i) N = 2 CFT 4 s based on finite Lie algebras; this subset is associated with the case m i > m i 0. (ii) N = 2 CFT 4 s based on affine Lie algebras; they correspond to the case m i = m i and too particularly m i = m i = 0 considered in QFT 4 literature. (iii) N = 2 CFT 4 s based on indefinite Lie algebras; they correspond to the case 0 m i < m i. This result generalizes the known classification concerning N = 2 CFT 4 s using finite and affine Lie algebras which are recovered here by setting m i = 0. For the other remarkable case where m i = 0; but m i > 0, we get the missing third class of N = 2 CFT 4 s involving indefinite Lie algebras. Before giving the geometric engineering of these N = 2 CFT 4 s, note that the beta function eqs(11) is invariant under the change m i m i m i and m i m i m i. By appropriate choices of the positive numbers m i ; for instance by taking m i = m i or setting m i = m i one can usually rewrite eq(17) as in eq(3) namely K (q) ij n j = qm i ; with q = 0, ±1. This symmetry reflects just the freedom to fix one of the complex moduli of eq(14). 7

9 3 More on Indefinite Lie algebras As the subject of indefinite Lie algebras is still a mathematical open problem since the full classification of their generalized Cartan matrices has not yet been achieved, we will focus our attention here on the Wanglai Li special subset [14, 15], [16], known also as hyperbolic Lie algebras. This is a subset of indefinite Kac-Moody-Lie algebras which is intimately related to finite and affine ones and on which we know much about their classification. The results we will derive here concerns these hyperbolic algebras; but they apply as well to other kinds of indefinite Lie algebras that are not of Wanglai Li type. For other applications of hyperbolic Lie algebras in string theory; see [17, 18] -[19, 20]. To start, note that the derivation of hyperbolic Lie algebras is based on the same philosophy one uses in building affine Lie algebras ĝ from finite ones g by adding a node to the Dynkin diagram of g. Using this method, Wanglai Li constructed and classified the 238 possible Dynkin diagrams of the hyperbolic Lie algebras from which one derives their generalized Cartan matrices. The corresponding diagrams, which were denoted in [14] as Hi n ; i = 1,..., contain as a sub-diagram of co-order 1, the usual Dynkin graphs associated with ĝ and g Lie algebras. In other words, by cutting a node of an order n hyperbolic Dynkin diagram, the resulting (n 1)-th sub-diagrams one gets is one of the two following: (i) either it coincides with one of the Dynkin graphs of g; or (ii) it coincides with an affine ĝ one. The general structure of hyperbolic Dynkin diagrams are then of the form figure 3; Figure 3: Figures 3a and 3b represent the two kinds of Dynkin diagrams of Hyperbolic Lie algebras. These diagrams are built by adding one node to given finite and affine Dynkin graphs. The full set of hyperbolic Dynkin diagrams may be found in [18]. In what follows we give some features of H n i hyperbolic algebras that are close to finite and affine ADE. 3.1 Hyperbolic Lie algebras Following [14, 15]-[16], an indecomposable generalized Cartan matrix K is said to be hyperbolic (resp strictly hyperbolic) if: (1) it is of indefinite type and (2) any connected proper 8

10 sub-diagram of the Dynkin diagram, associated with the matrix K, is of finite or affine ( rep finite ) type. Classification Motivated by physical applications, we prefer to rearrange the Hi n Wanglai Li hyperbolic algebras into two types as follows: (1) Type I hyperbolic Lie algebras, (TypeIH). They concern the Hi n s that contain order (n 1) affine Lie algebras. These Hi n algebras are given by the following list: Simply laced T ypeih: A careful inspection of the Wanglai Li classification shows that simply laced diagrams are: H 4 3, H 5 1, H 5 8, H 6 1, H 6 5, H 6 6, H 7 1, H 7 4, H 8 1, H8 4, H8 5, H9 1, H9 4, H9 5, H10 1, H10 4. (21) These hyperbolic algebras contain the well known affine ADE as maximal Lie subalgebras; some of them have internal discrete automorphisms. Note in passing that Hi n Dynkin graphs with D and E sub-diagrams are denoted, in trivalent geometry as T (p,q,r) or again as DE s. Non simply laced TypeIH: There are 63 non simply laced diagrams of TypeIH; those having an order greater than 6 are as follows the others can be found in [15]. H 7 2, H7 3, H8 2, H8 3, H9 2, H9 3, H10 2, H10 3, (22) (2) Type II hyperbolic Lie algebras, (TypeIIH). They concern the Hi n s that are not in TypeIH list; their Dynkin diagrams do contain no order (n 1) affine sub-diagram once cutting a node. Hyperbolic Symmetries In studying Wanglai Li hyperbolic symmetries, one should distinguish two cases: hyperbolic algebras of order two and those with orders greater than two. For the first ones there are infinitely many, whereas the number of the second type is finite. The two following theorems classify these algebras. a) Theorem II: Let K be an indecomposable generalized Cartan matrix of order 2 with K 11 = K 22 = 2 and K 12 = a and K 21 = b where a and b are positive integers; then, we have the following classification (i) K is of finite type if and only if detk >0; i.e ab < 4 (ii) K is of affine type if and only if detk =0; i.e ab = 4 (iii) K is of indefinite type if and only if detk <0; i.e ab > 4 From this result, one sees that while ab 4 has a finite number of solutions for positive integers 9

11 a and b, there are however infinitely many for ab > 4; but no one of the corresponding algebra is simply laced. For orders greater than two, there is a similar classification; but the following theorem shows that, for n 3, there exist however a finite set of hyperbolic algebras. b) Theorem III The full list of the Dynkin diagrams of hyperbolic Cartan matrices for 3 n 10 is given in [14, 15]; see also [16].There are altogether 238 hyperbolic diagrams, 35 diagrams are strictly hyperbolic ones and 142 diagrams are symmetric or symmetrisable. (i) The orders n of strictly hyperbolic Cartan matrices are bounded as 2 n 5 (ii) The orders n of a hyperbolic Cartan matrices are bounded as 2 n From Affine to Hyperbolic In this subsection, we study simply laced typeih hyperbolic Lie algebras (21); see also figure 2. This subset is more a less simple to handle when building mirror geometries of N = 2 CFT 4 s embedded in type IIA strings on CY Threefolds. Simply laced hyperbolic geometries has no branch cuts; but can be also extended to the case of general geometries associated with non simply laced hyperbolic symmetries; especially those obtained from simply laced typeih algebras by following the idea of folding used in [12, 21]-[22]. Moreover, as simply laced typeih algebras contain affine ADE symmetries as maximal subalgebras, we will use results on affine geometries to derive the mirror geometries associated with typeih. To do so, we start from the known results on affine ADE geometries and look for generalizations that solve the constraint eqs required by typeih invariance. For pedagogical reasons, we will illustrate our method on the four examples of figure 4. Generalization to other diagrams is straightforward. Let us first give some particular features on these special hyperbolic Lie algebras, then consider the building of the corresponding mirror geometries and hyperbolic N = 2 CFT 4 s. H3 4 hyperbolic Lie algebra From the Dynkin diagram of figure 4a, one derives the following generalized Cartan matrix with diagonal entries 2 associated with the (1 + 3) nodes N i and off diagonal negative integers describing intersections K ( H3) 4 = (23) This matrix K ij, 0 i, j 3 has a negative determinant (detk = 3 ) and exhibits remarkable properties in agreement with the classification of [16]. K ( H3) 4 contains the Cartan matrix of affine A 2 and that of finite A 3 as 3 3 sub-matrices. The first one is obtained by subtracting 10

12 Figure 4: Figures 4a, 4b, 4c and 4d represent four examples of simply laced Dynkin diagrams of order three and four Hyperbolic Lie algebras. The simple root system as well as Cartan matrices associated with these graphs may be easily read from the Â2, Â 3 and D 5 affine ones. the first row and column of (23) or equivalently by cutting the node N 0 of figure 4a. The second is recovered by subtracting the last row and column which correspond to cutting N 3. H1 5 hyperbolic Lie algebra Figure 4b leads to the the following H1 5 generalized Cartan matrix, K ( H1) 5 = (24) The determinant of this matrix is equal to 4 and its Dynkin diagram contains those of affine A 3, finite A 4 and finite D 4 as three sub-graphs of order 4. Like for TypeIH3, 4 the Dynkin graph of H1 5 has a Z 2 internal automorphism fixing three nodes and interchanging two. H1 7 and H1 8 hyperbolic Lie algebras 11

13 Denoted also as DE 7 in [16], the generalized Cartan matrix for H 7 1 reads as, K ( H1) 7 = (25) This is a hyperbolic Lie algebra of order 7 and has three order six subalgebras namely affine D 5, finite D 6 and finite E 6. Similarly, one can check that the order seven subalgebras of H1 8 ( DE 8) are affine D 6, finite D 7 and finite E 7. 4 Hyperbolic CFT 4 s Following [10], mirror geometries of type IIA string on CY threefolds with ADE singularities are described by an algebraic geometry eq of the form P (X ) = α a α y α, (26) where a α = a α (w) are complex moduli with expansion of type eq(8) and where the y α complex variables are constrained as n j=1 y qi j j = n+4 α=n+1 y qi α α. (27) In this eq q i j is minus K ij and y α, with n < α < n + 5, are some extra complex variables that define the elliptic curve on which lives the singularity. 4.1 Flat ADE bundles on elliptic curve In the case of affine ADE singularities, the n first variables y i are solved in terms of the the four extra ones, y n+1, y n+2, y n+3 and y n+4, which themselves are realized as y n+1 = y 2, y n+2 = x 3, y n+3 = z 6, y n+4 = xyz, (28) where (y, x, z) are the homogeneous coordinates of the weighted projective space WP 2 (3, 2, 1). These monomials generate an elliptic curve, y 2 + x 3 + z 6 + xyz = 0, (29) embedded in WP 2 (3, 2, 1) WP 3 (3, 2, 1, 6 N). Using y, x, z and v coordinates of WP 3 (3, 2, 1, 6 N) and considering the generalized Cartan matrix K ij of an affine Lie algebra, one also gets by help 12

14 of eqs(27) the other y i s. Putting altogether in eqs(26), we obtain the following result for the cases of affine Â2 and affine Â3 geometries respectively For the case of affine D 5, we have  2 : y 2 + x 3 + z 6 + xyz + v ( bz 3 + cxz + dy ) = 0, (30)  3 : y 2 + x 3 + z 6 + xyz + v ( bz 4 + cxz 2 + dyz + ex 2) = 0. (31) D 5 : 0 = y 2 + x 3 + z 6 + xyz +v ( b 1 yz 5 + b 2 z 8 + c 1 yxz 3 + c 2 x 2 z 4) (32) +v 2 ( a 1 z 10 + a 2 xz 8) The generic relations for eq(26) with generic finite and affine ADE singularities, including eqs(30), eqs(31), eqs(32), may be found in [10, 11], [12]. Before going ahead note that for affine singularities, the powers l of the complex variable v appearing in the mirror geometries are given by the Dynkin weights of the corresponding affine algebra. These integers have a remarkable interpretation in toric geometry representation of CY threefolds. The vertices V α = (l α, r α, s α ) are arranged into subsets belonging to parallel square lattices of Z 3. For the case of eq(32), the vertices of the elliptic curve have l α = 0; those associated with the nodes with Dynkin weights 1 have l α = 1 and finally those Dynkin nodes with weights 2 have l α = 2. Note moreover, that homogeneity of the polynomials P (X ) describing mirror geometries with affine singularities requires v to have, in general, a homogeneous dimensions 6 N. This dimension vanishes for N = 6, a remarkable feature which give the freedom to have arbitrary powers of v without affecting the homogeneity of P (X ). The solutions we will derive here below for the case of hyperbolic singularities use, amongst others, this special property. To avoid confusion, from now on, we denote the variable v of the case N = 6 by t and thinking about it as parameterizing the complex plane. 4.2 Flat Hyperbolic bundles on elliptic K3 In the case of hyperbolic singularities we are after, the previous elliptic curve is replaced by the following special elliptic fibered K3 surface, y 2 + x 3 + t 1 z 6 + xyz = 0, (33) where the fourth variable t parameterizes the base of K3. This complex surface describes the base manifold of the mirror CY threefold with hyperbolic singularities we are interested in here. As these kind of unfamiliar manifolds look a little bit unusual, let us give also the solutions for the vertices these CY threefolds. For the case of eq(33), the corresponding four vertices read as yxz (0, 0, 0) y 2 (0, 0, 1) x 3 (0, 1, 0) (34) t 1 z 6 ( 1, 2, 3) 13

15 To get the algebraic geometry eq P ( n Xhyp) = y 2 + x 3 + t 1 z 6 + xyz + a i y i, (35) describing mirror geometries of CY threefolds with hyperbolic singularities we solve eqs(27) for hyperbolic generalized Cartan matrices of order n. The y i s one gets are given by monomials of type y i = y α i x β i z γ it l i and so P ( n Xhyp) = y 2 + x 3 + t 1 z 6 + xyz + a i (w) y αi x β i z γ it l i (36) i=1 i=1 The vertices V i corresponding to the monomials y αi x β i z γ it l i powers of the variable t; i.e, have first entries equal to the l i y α i x β i z γ it l i (l i, r α, s α ). (37) The remaining others are determined by solving eq n+4 α=0 qi α V α = 0. To see how the machinery works in practice, let us illustrate our solutions on the four hyperbolic Lie algebra examples of figure Explicit solutions Here we consider the mirror geometry of CY threefolds with H3, 4 H1, 5 H1 7 and H1 8 hyperbolic singularities of figures 4. First we describe the surfaces with H3 4 and H5 1 singularities; then consider the case of Calabi-Yau threefolds based on H3 4 and H1 5 geometries. After, we give the mirror geometries with gauge groups and fundamental matters that lead, in the weak gauge coupling regime, to N = 2 supersymmetric CFT 4 s with H3 4 and H1 5 singularities. As the analysis for H1 5 and H8 1 is quite similar to H4 3 and H7 1 respectively, we give just the results for these algebras. Mirror geometry of surfaces with H3 4 singularity To get the mirror geometry of surface with H3 4 singularity, we have to solve eqs(27). To that purpose, we have to specify the qα i integers associated with H3. 4 They are given by the following 4 (4 + 4) rectangular matrix qα i = (38) The first 4 4 block is just the Cartan matrix for H3 4 and the other 3 4 block is associated with the y 5, y 6, y 7 and y 8 realized as, y 5 = y 2, y 6 = x 3, y 7 = t 1 z 6, y 8 = xyz. (39) 14

16 Putting eqs(39) and (38) back into eqs(27), we get, after some straightforward computations, the following result: P ( ) X H 4 3 = y 2 + x 3 + z 6 t 1 + xyz + [ az 6 + btz 6 + ctxz 4 + dyz 3 t ], (40) where a, b, c and d are complex structures. This is a compact homogeneous complex two dimension surface embedded in WP 3 (3, 2, 1, 0); it shares features with affine A 2 mirror geometry (30). The vertices associated with the monomials of the second line of eq(28) are, z 6 (0, 2, 3) tz 6 (1, 2, 3) (41) txz 4 (1, 1, 2) tyz 3 (1, 1, 1). In the case of H1, 5 the Mori vectors are given by qα i = (42) and eq(40) extends as, ( ) P X H 5 1 = y 2 + x 3 + z 6 t 1 + xyz + [ az 6 + btz 6 + ctxz 4 + dyz 3 t + etx 2 z 2]. (43) Here also one can write down the analogue of the vertices (41). Calabi-Yau threefolds with H 4 3 and H5 1 singularities. To get the mirror of Calabi-Yau threefolds with H3 4 and H5 1 singularities, we have to vary the complex structures f ( f stands for a, b, c, d and e ) on the CP 1 base parameterized by w ( ) P X H = y 2 + x 3 + z 6 t 1 + xyz [ z 6 a (w) + tz 6 b (w) + txz 2 c (w) + yztd (w) ], (44) where f(w)s are as in (8). A similar eq is also valid for H 5 1 hyperbolic singularity. In the N = 2 supersymmetric QFT 4 limit, the degree n f of these polynomials defines the rank of the gauge group SU (n f + 1) fibered on the corresponding node. Hyperbolic CFT 4 s 15

17 The N = 2 supersymmetric QFT 4 limit may be made scale invariant by introducing fundamental matters. Since, the K ij n j vector should be equal to m i ; with m i positive integers, we have 2n a n b = m a n a + 2n b n c n d = m b n b + 2n c n d = m c (45) n b n c + 2n d = m d. In geometric engineering method, this is equivalent to engineer m i n fi fundamental matters of SU (n fi ) on the trivalent nodes of the hyperbolic diagram with negative Mori charges. The simplest configuration one may write down corresponds to take n a = 0, n b = n c = n d = n ; i.e ( m a = n, m b = m c = m d = 0 ) and engineer a SU (n) flavor symmetry on the hyperbolic node by using trivalent geometry techniques of [10]. The resulting mirror geometry reads as ( ) P X H = y 2 + x 3 + z 6 t 1 + xyz 4 3 [ ] 1 + α (w) z6 + tz 6 b (w) + txz 4 c (w) + yztd (w) where α (w), b (w), c (w) and d (w) are all of them polynomials of degree n. A quite similar result is valid for N = 2 CFT 4 based on the H 5 1 singularity. CY threefolds with H 7 1 and H8 1 singularities These solutions share features with affine D 5 and affine D 6 mirror geometries of [10]. We will derive here the mirror geometry associated with H1 7 singularity and the underlying N = 2 supersymmetric CFT 4. Then we give the results for H 8 1. Surfaces with H 7 1 and H 8 1 singularities Complex surface with H 7 1 singularity is described by P ( X hyp) = y 2 + x 3 + t 1 z 6 + xyz + (46) 7 a i y i = 0, (47) where the the y i s are constrained as 7 j=1 yqi j j = 11 α=8 y qi α α and where qj i is given by, qα i = (48) i=1 16

18 Using this explicit expression (48), one can solve the expression of the y i s in terms of x, y, z and t. Putting these expressions back into (47), we get the following result: ( ) P X H = y 2 + x 3 + z 6 t 1 + xyz 7 1 +hz 6 + b 2 tz 6 + b 2 yz 3 t + c 1 txyz + c 2 txz 2 (49) +a 1 t 2 z 6 + a 2 t 2 xz 4, where a i, b i, c i and h are complex moduli. For the case of H1 8 singularity, the result we get is ( ) P X H = y 2 + x 3 + z 6 t 1 + xyz 8 1 +hz 6 + b 2 tz 6 + b 2 yz 3 t + c 1 txyz + c 2 tx 3 (50) H 8 1 +a 1 t 2 z 6 + a 2 t 2 xz 4 + a 3 t 2 x 2 z 2. Calabi-Yau threefolds with H 7 1 and H8 1 singularities Varying the complex moduli on CP 1 base, we get the mirror of CY threefolds with H 7 1 and singularities. We obtain ( ) P X H = y 2 + x 3 + z 6 t 1 + xyz 7 1 +h (w)z 6 + b 2 (w) tz 6 + b 1 (w) yz 3 t + c 1 (w) txyz + c 2 (w) tx 3 (51) and a quite similar eq for H 8 1. Hyperbolic CFT 4 s +a 1 (w) t 2 z 6 + a 2 (w) t 2 xz 4 + a 3 (w) t 2 x 2 z 2, The N = 2 supersymmetric QFT 4 limit may be made scale invariant by introducing fundamental matters. As before the K ij n j vector, n h n b2 n a1 n b1 n a2 n c1 n c2 2n h n b2 n h + 2n b2 n a1 n b2 + 2n a1 n b1 n a2 = n a1 + 2n b1, (52) n a1 + 2n a2 n c1 n c2 n a2 + 2n c1 n a2 + 2n c2 should be a negative integer vector; i.e v = m. Its entries are interpreted as the numbers of fundamental matters one should engineer on the trivalent nodes of H 7 1 with negative Mori vector weight. There are various kinds of solutions one can write down; but the simplest one corresponds to take 17

19 n h = 0, n b1 = n b1 = n c1 = n c2 = n, (53) n a1 = n a2 = 2n, which correspond to have m h = n and m b1 = m b1 = m c1 = m c2 = m a1 = m a2 = 0. Therefore, the full symmetry of this N = 2 hyperbolic CFT 4 has SU 4 (n) SU 2 (2n) as a gauge group and SU (n) flavor symmetry carried by the negative node of the trivalent vertex of the H 7 1 hyperbolic chain. The corresponding mirror geometry is described by the following algebraic eq ( ) P X H = y 2 + x 3 + z 6 t 1 + xyz α (w) z6 + b 2 (w)tz 6 + b 1 (w) yz 3 t + c 1 (w)txyz + c 2 (w) tx 3 (54) +a 1 (w)t 2 z 6 + a 2 (w) t 2 xz 4 + a 3 (w) t 2 x 2 z 2 A similar result may be also written down for N = 2 CFT 4 based on the H 8 1 singularity. 5 Conclusion and Discussions In this paper, we have derived a new class of N = 2 CFT 4 s embedded in type IIA superstring on CY threefolds with indefinite singularities. We have also given the geometric engineering of N = 2 QFT 4 based on a special set of hyperbolic singularities as well as their infrared limit. This development has consequences on the understanding N = 2 QFT 4 s embedded in type IIA string theories; but also on the classification of indefinite singularities of complex surfaces. For the first point and besides the fact that most of the results, obtained in the context of ADE geometries during the last few years, extends naturally to the indefinite hyperbolic sector, there is also a remarkable and new fact which appear in this kind of field theories. Indeed viewed from type II superstring compactifications, our result tells that one may also have non perturbative gauge symmetries engineered by Lie algebras of indefinite type. It would be an interesting task to deeper this issue. From algebraic geometry point of view, our present study gives the first explicit steps towards the understanding of Calabi-Yau manifolds with indefinite singularities. Though type IIA defining algebraic geometry eqs of such singularities are still lacking, one may usually get precious informations on them by using the mirror geometry eqs n j=1 y Kij j = α 1 ξ qi α α. (55) where K ij is the generalized Cartan matrix. From these eqs, one may solve the y i s in term of ξ α ; but this program requires what ξ α s are? In the case of finite ADE singularities, these ξ α s parameterize a real two sphere S 2 CP 1 and for affine ADE; they parameterize an elliptic 18

20 curve embedded in WP 2. For the indefinite ( hyperbolic ) singularities, we have learnt from our present work that ξ α s parameterize the ( elliptic ) K3 surface y 2 + x 3 + z 6 t 1 + xyz with the remarquable pole at t = 0. We suspect that this is a signature of indefinite singularities and we suspect that in general one should have higher orders of poles. More details regarding these special issues will be considered in future occasion. Acknowledgement 1 This work is supported by Protars III, CNRST, Rabat, Morocco. A.Belhaj is supported by Ministerio de Education cultura y Deporte, grant SB References [1] S. Kachru, E. Silverstein, 4d Conformal Field Theories and Strings on Orbifolds, Phys.Rev.Lett. 80 (1998) , hep-th/ [2] A. Lawrence, N. Nekrasov, C. Vafa, On Conformal Theories in Four Dimensions, Nucl.Phys. B533 (1998) , [3] S. Katz, A. Klemm, C. Vafa, Geometric Engineering of Quantum Field Theories, Nucl.Phys. B497 (1997) , hep-th/ [4] S. Gukov, C. Vafa, E. Witten CFT s From Calabi-Yau Four-folds, Nucl.Phys. B584 (2000) ; Erratum-ibid. B608 (2001) , hep-th/ [5] J. M. Maldacena, The Large N Limit of Superconformal Field Theories and Supergravity, Adv.Theor.Math.Phys. 2 (1998) ; Int.J.Theor.Phys. 38 (1999) , hep-th/ [6] J. Maldacena, A. Strominger, E. Witten, Black Hole Entropy in M-Theory, JHEP 9712 (1997) 002, hep-th/ [7] N. Berkovits, C. Vafa, E. Witten, Conformal Field Theory of AdS Background with Ramond- Ramond Flux Authors, JHEP 9903 (1999) 018, hep-th/ [8] P. Kraus, H. Ooguri, S. Shenker, Inside the Horizon with AdS/CFT Authors: Per Kraus, Hirosi Ooguri, hep-th/ [9] S. R. Das, C. Gomez, Realizations of Conformal and Heisenberg Algebras in PP-wave-CFT Correspondence, JHEP 0207 (2002) 016, hep-th/ [10] S. Katz, P. Mayr, C. Vafa, Mirror symmetry and Exact Solution of 4D N=2 Gauge Theories I, Adv.Theor.Math.Phys. 1 (1998) , hep-th/ [11] A. Belhaj, A. Elfallah, E.H. Saidi, on the non simply laced mirror geometry in type II strings, Class.Quant.Grav.17: ,2000, Class.Quant.Grav.16: ,1999, 19

21 [12] A. Belhaj, E.H Saidi, Toric Geometry, Enhanced non Simply laced Gauge Symmetries in Superstrings and F-theory Compactifications, hep-th/ [13] A. Belhaj, Manifolds of G 2 Holonomy from N=4 Sigma Model, J.Phys. A35 (2002) , hep-th/ [14] Wanglai Li, Classification of generalized Cartan matrices of hyperbolic type; Chineese annals of Math 9B (1988) [15] W. Zhe-Xian, Intrtoduction to Kac-Moody algebras, World Scientific Singapore (1991) [16] V.G.Kac, Infinite dimensional Lie algebras, third edition, Cambridge University Press (1990). [17] H. Nicolai, D.I. Olive, The Principal SO(1,2) Subalgebra of a Hyperbolic Kac Moody Algebra Lett.Math.Phys. 58 (2001) , hep-th/ [18] T. Damour, M. Henneaux, H. Nicolai, E10 and a small tension expansion of M Theory, Phys.Rev.Lett. 89 (2002) , hep-th/ [19] P. West, Very Extended E 8 and A 8 at low levels, Gravity and Supergravity, hep-th/ [20] Bernard. Julia, U-opportunities: why is ten equal to ten?, Lecture at les Houches 2001,hep-th/ [21] C. Vafa, On N=1 Yang-Mills in Four Dimensions, Adv.Theor.Math.Phys. 2 (1998) , hep-th/ [22] P. Berglund, P. Mayr, Heterotic String/F-theory Duality from Mirror Symmetry, Adv.Theor.Math.Phys. 2 (1999) , hep-th/