arxiv:math/ v2 [math.dg] 11 Nov 2004

Transcription

1 arxiv:math/990402v2 [math.dg] Nov 2004 Lagrangian torus fibration of quintic Calabi-Yau hypersurfaces I: Fermat quintic case Wei-Dong Ruan Department of mathematics Columbia University New York, NY 0027 Revised December 999 Abstract In this paper we give a construction of Lagrangian torus fibration for Fermat type quintic Calabi-Yau hypersurfaces via the method of gradient flow. We also compute the monodromy of the expected special Lagrangian torus fibration and discuss structures of singular fibers. Contents Introduction and background 2 2 Lagrangian torus fibration for large complex limit 4 3 Lagrangian torus fibration via a gradient flow 8 3. The gradient vector field Flow from the smooth part of X Flow from the singular part of X Lagrangian torus fibration structure Monodromy of expected special Lagrangian fibration 6 4. Introduction and assumptions One forms and one cycles Monodromy around the legs of Γ Monodromy around baricenter of 2-cell Monodromy around baricenter of -cell Partially supported by NSF Grant DMS

2 5 Geometry of the singular fibers 24 6 Comparison 35 7 The Mirror construction and dual polyhedra 37 Introduction and background In this paper we give a construction of Lagrangian torus fibration for Fermat type quintic Calabi-Yau manifolds via the method of gradient flow. This method will produce Lagrangian torus fibration for Calabi-Yau hypersurfaces in general toric varieties. The results for general quintic hypersurfaces appeared in [0]; for Calabi-Yau hypersurfaces in general toric varieties are written in [2]. The motivation of our work comes from the study of Mirror Symmetry. Mirror Symmetry conjecture originated from physicists work in conformal field theory and string theory. It proposes that for a Calabi-Yau 3-fold M there exists a Calabi-Yau 3-fold W as its mirror manifold. The quantum geometry of M and W are closely related. In particular one can compute the number of rational curves in M by solving the Picard-Fuchs equation coming from variation of Hodge structure of W. The first example of mirror symmetry was the Fermat type quintic given in the calculations by Candelas et al ([3]. Numerous examples of such calculations were worked out after that. A more general construction via toric varieties was given by Batyrev ([]. For a more complete history and reference the readers can consult [4]. In 996 Strominger, Yau and Zaslow ([3] proposed a geometric construction of mirror manifold via special Lagrangian torus fibration. According to their program (we will call it SYZ construction, a Calabi-Yau 3-fold should admit a special Lagrangian torus fibration. The mirror manifold can be obtained by dualizing the fibers. Or equivalently, the mirror manifold of M is the moduli space of special Lagrangian 3-torus in M with a flat U( connection. This conjectural construction was the first to give the mirror manifold directly from a Calabi-Yau manifold itself. The notion of special Lagrangian submanifolds was first given by Harvey and Lawson in their celebrated paper [7]. For a Calabi-Yau manifold (X, Ω, ω g, where Ω is a holomorphic (n, 0 form and ω g is the Kähler form of the Calabi- Yau metric, a Lagrangian submanifold L in X is called special Lagrangian if L is area minimizing, or equivalently Ω restrict to L is a constant multiple of the volume form of L. 2

3 According to the SYZ construction, special Lagrangian submanifold and special Lagrangian fibration for Calabi-Yau manifolds seem to play very important roles in understanding mirror symmetry. However, despite its great potential in solving the mirror symmetry conjecture, our understanding in special Lagrangian submanifolds is very limited. The known examples are mostly explicit local examples or examples coming from n = 2. There are very few examples of special Lagrangian submanifold or special Lagrangian fibration for dimension higher than two. M. Gross, P.M.H. Wilson, N. Hitchin, P. Lu and R. Bryant([4][5][6][8] did some work in this area in recent years. On the other extreme, in [5], Zharkov constructed some non-lagrangian torus fibration of Calabi-Yau hypersurfaces in toric variety. When dimension n = 2, Calabi-Yau manifold is hyperkähler. Therefore for any Calabi-Yau metric, there is an S 2 family of complex structures that are compatible with the given Calabi-Yau metric. Special Lagrangian submanifold for one compatible complex structure exactly corresponds to complex curves for another compatible complex structure. Therefore special Lagrangian theory is reduced to the theory of complex curves in X, which is fairly well understood. For n 3, there are no nice interpretations like this. Given our lack of knowledge for special Lagrangian, one may consider relaxing the requirement to consider Lagrangian fibration. Special Lagrangians are very rigid and hard to find. On the other hand, Lagrangian submanifolds are more flexible and can be modified locally by Hamiltonian deformation. This is a reasonable first step to take. For many applications to mirror symmetry, especially those concerning (symplectic topological structure of fibration, Lagrangian fibration will provide quite sufficient information. In this paper we mainly consider Lagrangian torus fibration of Calabi-Yau hypersurfaces in toric varieties. Our idea is a very natural one. We try to use gradient flow to get Lagrangian torus fibration from a known Lagrangian torus fibration at the Large Complex Limit. It will in principle be able to produce Lagrangian fibration in general Calabi-Yau hypersurfaces. For simplicity, it is helpful to explore the case of Fermat type quintic Calabi-Yau threefold in CP 4 in detail first, which is the case studied in [3]. Most of the essential features for Calabi-Yau hypersurfaces in general toric varieties already show up here. The paper is organized as follows: In Section 2 we will first describe a Lagrangian torus fibration for Fermat type quintic Calabi-Yau familly {X ψ } in P 4 3

4 p ψ = 5 5 zk 5 5ψ z k = 0 k= at the large complex limit X p = 5 z k = 0. k= In Section 3 we construct an appropriate vector field whose gradient flow will give Lagrangian fibration to nearby Calabi-Yau hypersurfaces. In Section 4, we will discuss the expected fibration structure by explicitly computing the monodromy transformations of the expected fibration if the fibration is actually special Lagrangian fibration. In Section 5 we will describe the expected structures of singular fibers implied by monodromy information. In Section 6 we will compare our Lagrangian fibration with the expected special Lagrangian fibration their topological structure are not exactly the same; we will discuss the cause for their differences. Finally in Section 7, we will discuss the relevance to mirror construction for toric Calabi-Yau manifolds through the dual polyhedra construction. This paper is the first part of several papers in this subject. In [0] we discuss general construction of Lagrangian torus fibration for general quintic (non- Fermat Calabi-Yau hypersurfaces. In [9] we address the technical problem of modifying our construction into a Lagrangian torus fibration with the topological type of the expected one. 2 Lagrangian torus fibration for large complex limit Consider the well studied Fermat type quintic Calabi-Yau familly {X ψ } in P 4 defined by p ψ = 5 5 zk 5 5ψ z k = 0. k= When ψ approaches, The familly approach its large complex limit X 5 p = z k = 0. k= 4

5 X is a union of five P 3. There is a natural degenerate T 3 fibration structure for X. Let {P i } 5 i= be five points in R4 that are in general position. Consider the natural map F : P 4 R 4. F([z] = 5 k= z k 2 5 i= z i 2 P k. Then = Image(F is a 4-simplex. X is naturally fibered over via this map F with general fiber being T 3. This is precisely the T 3 special Lagrangian fibration for X as indicated by SYZ construction. To see this fact, we need to construct a suitable Calabi-Yau metric on X such that F is a special Lagrangian torus fibration with respect to the Kähler form of the Calabi-Yau metric. Since X is just a union of several CP 3 s, we will concentrate on one of these CP 3. We will actually carry out the discussion for general CP n. In general, on C n+ there is a natural flat Kähler metric with Kähler form ω 0 = n+ i= dz i d z i z i 2 which is singular along the coordinate hyperplanes. Consider the natural projection π : C n+ {0} CP n. The restriction of ω 0 to the hypersurface n+ i= z i = in C n+ naturally push forward via π to a flat Kähler metric ω on CP n that is singular along the union of projective coordinate hyperplanes, which is exactly our large complex limit Y. (Here we use Y to denote dimention n version of the large complex limit in CP n to distinguish from X that corresponding to n = 4 case. Take local coordinate x i = zi z n+ for i =,,n. Then ω = n i= ( dx i d x i x i 2 n n + i= It is nice to compute their Kähler potentials: ω 0 = ( n+ dx i x i (log z i 2 2 i= ( n i= d x i x i ( n ω = (log x i 2 2 n n + ( log x i 2 2 i= 5 i=

6 Clearly ω n = ( n(n 2 n! n + Ω Ω where Ω = n i= is the holomorphic n-form on CP n \Y. Notice that ω corresponds to a complete Calabi-Yau metric on CP n \Y. Consider the n-dimension real torus T n represented by dx i x i e iθ = (e iθ, e iθ2,,e iθn as a real abelian Lie group. Then T n act naturally on CP n e iθ (x = (e iθ x, e iθ2 x 2,, e iθn x n as symplectomorphisms. The moment map is exactly F : CP n \Y R n F(x = (log x 2, log x 2 2,,log x n 2 It is easy to see that when Ω is restricted to the fibre, we have n Ω T n (x = i n dθ i Therefore F naturally gives us the special Lagrangian fibration of CP n \Y. Specialize to n = 3 case, this construction gives us the special Lagrangian torus fibration with respect to a complete (flat Calabi-Yau metric on X \Sing(X. When ψ is large, according to SYZ conjecture, we expect that X ψ will also possess a special largrangian T 3 fibration with base identified with which is topologically an S 3. There are still serious analysis and geometric works to be done to totally justify the special Lagrangian fibration. We will instead give a natural construction of Lagrangian torus fibration. i= For our purpose, we will consider the Fubini-Study metric ω FS = log( + x 2. 6

7 The nice thing about the Fubini-Study metric is that the T n action is also a symplectomorphism with respect to ω FS. The corresponding moment map is ( x 2 F(x = + x 2, x x 2,, x n 2 + x 2 which is easy to see if we write ω FS in polar coordinates. ω FS = log( + x 2 = i n j= ( xi 2 dθ i d + x 2. The most symmetric expression of the Kähler potential for the Fubini-Study metric is h = + x 2 ( n i= x i 2 n+ = z 2 ( n+ i= z i 2 n+ This expression can also be derived by restricting z 2 to the hypersurface n+ i= z i = and then push down by π. In general, we have the following lemma: Lemma 2. For a Kähler metric ω = h(x T n acts as symplectomorphism if and only if h can be chosen to depend only on x i 2. Proof: Assume that this is the case, then where ω = h = i n dθ i dh i. j= h i = x i 2 h x i 2. From above expression of ω, clearly T n acts as symplectomorphism and F h (x = (h, h 2,, h n 7

8 is the moment map. For the purpose of this paper, any T n -invariant Kähler metric as in Lemma 2. is as good. We will mainly use the Fubini-Study metric. 3 Lagrangian torus fibration via a gradient flow 3. The gradient vector field Consider the meromorphic function s = 5 k= z k 5 z5 k defined on P 4. Let ω denote the Kähler form of a Kähler metric g on P 4, and f denote the gradient vector field of real function f = Re(s with respect to the Kähler metric g. To describe the construction, we need the following facts. Lemma 3. The gradient flow of f leaves the set {Im(s = 0} invariant and deforms Lagrangian submanifolds in X to Lagrangian submanifolds in X ψ. Proof: Clearly f is always perpendicular to level sets of f. Therefore, J f(f = 0. Let s = f + ih. Since s is holomorphic, we have f(h = J f(f = 0. Therefore h is constant along the gradient flow, or in another word, {Im(s = constant} is invariant under the gradient flow of f. In particular, {Im(s = 0} is invariant under the gradient flow of f. Notice the fact that {Im(s = 0} = ψ R X ψ 8

9 Let L be a Lagrangian submanifold of X. To prove the lemma, it is sufficient to show that the 4-dimension submanifold S swept out by L under the gradient flow of f is Lagrangian submanifold of P 4. First, for a vector field v on L, since L X and f is perpendicular to level sets of f (in particular, perpendicular to X, we see that Jv is along X and f is perpendicular to Jv along L. Therefore, ω(v, f = 0. Let V, W denote vector fields on S that are invariant under the gradient flow φ t. f is a vector field of this type. Using the fact that f is pluri-harmonic and ω g is Kähler form, it is easy to derive that d dt ω g(v, W = L f ω g (V, W = (di( fω g (V, W = (djdf(v, W = 2i f(v, W = 0. Therefore ω g (V, W is constant along the flow. Since initial value of invariant vector fields are spanned by vector fields along L and f, by the Lagrangian property of L and the fact that ω(v, f = 0 for vector field v on L, we have ω g (V, W = 0, therefore S is Lagrangian. Remark: (i The lemma can also be understood roughly by the fact: f = H h (the hamiltonian vector field generated by h = Im(s. At the smooth part of the vector field, this fact essentially implies the lemma, although at singular part of the vector field, additional argument as in the proof is needed. (ii The proof of the lemma actually implies something more. Lower dimension torus in X form critical set of f. The proof of the lemma also implies that the stable manifold of a lower dimensional torus with respect to flow of f is Lagrangian in P 4, therefore intersect with X ψ at a Lagrangian submanifold. With this lemma in mind, the construction of Lagrangian torus fibration of X ψ for ψ large is immediate. Recall that in last section we had a canonical Lagrangian torus fibration of X over. Deform along gradient flow of f will naturally induce a Lagrangian torus fibration of X ψ over for ψ large and real. However X is singular and f is also singular where s is singular. To get a really honest Lagrangian torus fibration, we need to discuss how to deal with these singularities. 9

10 Along the gradient flow of f we have df dx = f = f f = f 2 dt dt We see the gradient flow of f does not exactly move X to X ψ. To ensure this property, the flow has to satisfy df dt = constant. This will be true if we scale the vector field f to V = f f Flow from the smooth part of X To understand the flow of f and V, it is helpful to express them in local coordinate. Recall that X = 5 k= D k, where D k = {z k = 0}. Let s choose coordinate x i = z i /z 5, for i =, 2, 3, 4 and consider D 4, where x 4 = 0. Under this coordinate, we have s = 4 i= x i 4 i= x5 i + ds = 4 i= x i ( 4 2 i= x5 i x 5 j + 5x5 dx i i x i i= j= ds D4 = 3 i= x i 3 i= x5 i + dx 4 For simplicity, we choose Kähler metric to be 4 g = dx i d x i i= Then when restricted to D 4, we have 3 ds 2 i= = x 2 i 3 i= x5 i + 0

11 3 i= s = x i 3 i= x5 i + x 4 These give us ( V = f 3 f 2 = Re i= x5 i + 3 i= x i x 4 So we see that the flow of V is smooth when restricted to the smooth part of X. Another way to understand V is to realize that ds is a holomorphic section of N X, (ds is a natural holomorphic section of N X. Notice the exact sequence 0 T X T P 4 X N X 0 With respect to the Kähler metric g on T P 4, the exact sequence has a natural (non-holomorphic splitting T P 4 X = T X N X V is just real part of the natural lift of (ds via this splitting. V is singular exactly when (ds is singular or equivalently, when ds = 0, which corresponds to singular part of X. On the other hand, the union of the smooth threedimensional Lagrangian torus fibers of X is exactly the smooth part of X. All these 3-torus fibers will be carried to X ψ nicely by the flow of V. 3.3 Flow from the singular part of X Now we will try to understand how the gradient flow of f behaves at singularities of X. For this purpose, it is helpful to understand the following example. Example: Consider holomorphic function s(z = e iθ z z 2 z n on C n. X = {s = 0} is a variety with normal crossing singularities. There is a natural map F : C n R n +, F(z,, z n = ( z,, z n. For c R n +, the fiber

12 F (c = {z : z i = c i, for i =,,n} is n-torus for generic c. Let f = Re(s, then with respect to the flat metric on C n, we have ( n f = Re s z i z i By our previous argument, h(z = Im(s = Im(e iθ z z 2 z n is invariant under gradient flow of f. It is also easy to observe that f will leave h ij (z = z i 2 z j 2 invariant. For c = (c,,c n such that c i = 0, let i= S c = {z : h(z = 0, h ij = c ij = c i c j, for i, j =,,n}. It is easy to see that S c are special Lagrangians in C n. Actually this is an example mentioned in Harvey and Lawson s paper. Let X r = {z : s(z = r}, then L c,r = S c X r give us a smooth Lagrangian n-torus fibration of X r for r real. Define θ ij = θ i θ j = i 2 ( log z i log z j, z i z j where θ i is the argument of z i. Then f(θ ij = ( s 2 Im z i 2 s z j 2 = 2 ( z i 2 z j 2 h(z. Recall that the real hypersurface {h(z = 0} is invariant under the flow. Above equation implies that when restricted to {h(z = 0} θ ij is invariant. For c = (c,, c n such that c i = 0, let T c = {z : h(z = 0, θ ij = c ij = c i c j, for i, j =,,n}. There is another very illustrative way to write T c. T c = {z : θ i θ j = c ij = c i c j, θ + n θ i = 0} = {z : θ i = c i θ n } It is easy to see that T c are special Lagrangians in C n that is invariant under the flow. T c,r = T c X r give us a smooth Lagrangian fibration on the horizontal directions of X r for r real. i= 2

13 As we know, X has only normal crossing singularities. The above example gave us a rough picture of the local behavior of the gradient flow of f around singularities of X when denominator of s is non-zero. For detailed discussion and proof, please refer to [9]. Finally it remains to analyze the case when denominator of s is zero and X is singular, which is the following set Σ. Let Σ ijk = {[z] CP 4 z 5 i + z 5 j + z 5 k = 0, z l = 0 for l {, 2, 3, 4, 5}\{i, j, k}}. Σ ijk is a genus 6 curve. Let Σ = {i,j,k} {,2,3,4,5} We see that Σ = Sing(X X ψ for any ψ. Σ ijk In general, points in X X ψ are fixed under the flow. In particular, Σ X X ψ is fixed under the flow. Since the vector field V is singular along Σ, more argument is needed to ensure the flow behave as expected near Σ. For the argument to work, it is actually necessary to deform the Kähler form slightly near Σ. For details, please also refer to [9]. 3.4 Lagrangian torus fibration structure To understand the Lagrangian torus fibration of X ψ, it is helpful to first review the torus fibration of X. For any subset I {, 2, 3, 4, 5}, Let D I = {z : z i = 0, z j 0, for i I, j {, 2, 3, 4, 5}\I}, I = F(D I. Let I denote the cardinality of I. We have = I {, 2, 3, 4, 5} 0 < I < 5 I The fibers over I are 4 I dimensional torus. The flow of V moves X to X ψ. When I =, the flow is diffeomorphism on D I and moves the corresponding smooth 3-torus fibration in D I to 3-torus fibration in X ψ. When I >, by above discussion after the example, each point of D I \Σ 3

14 will be deform to a I torus under the flow of V. Therefore a torus fiber in D I not intersecting Σ will be deformed to a smooth 3-torus Lagrangian fiber of X ψ under the flow of V. Now let s try to understand the singular fibers. Notice that D I Σ if and only if I = 2, 3. Let Γ ijk = F(Σ ijk. There are 3 types of singular fiber over different portion of Γ = {i,j,k} {,2,3,4,5} Let Γ 2 denote the interior of Γ, and Γ = Γ Then I =2 Γ 0 = Γ I =3 I I Γ = Γ 0 Γ Γ 2. Γ ijk,. Without loss of generality, let us concentrate on D 45 = {z : z 4 = z 5 = 0} with the natural coordinate x i = z i /z 3 for i =, 2. Under this coordinate Σ 23 = {x = (x, x 2 x 5 + x5 2 + = 0}. r = (r, r 2 = ( x, x 2 can be thought of as coordinate on 45. Under this coordinate Γ 23 = {r = (r, r 2 r 5 + r5 2, r5 + r5 2, r5 2 + r5 } For simplicity, we will omit the index and denote Σ 23 by Σ and Γ 23 by Γ. Then Γ 2 = {r = (r, r 2 r 5 + r 5 2 >, r 5 + > r 5 2, r > r 5 }, Γ 0 = {(, 0, (0, }, 4

15 Γ = {r = (r, r 2 r 5 + r5 2 = or r5 = r5 2 + or r5 2 = r5 + }\ Γ 0. (x, x 2 (e 2πi 5 k x, e 2πi 5 k2 x 2 give us a natural action of Z 5 Z 5 on Σ. Combine with the Z 2 action (x, x 2 ( x, x 2 we have Z 2 Z 5 Z 5 Σ F F is a 50-sheet covering map over Γ 2. Z 2 is the stablizer of the group action on F ( Γ Σ. For p Γ, F (p is a 2-torus that intersect Σ at 25 points. Z 2 Z 5 is the stablizer of the group action on F ( Γ 0 Σ. For p Γ 0, F (p is a circle that intersect Σ at 5 points. From our previous discussion, when I >, each point of D I \Σ will be deform to a I torus under the flow of V and points in Σ will not move under the flow of V. Let L D I X be the original fiber of F that move to Lagrangian fiber L X ψ under the flow of V. Then follow the flow backward we will have a fibration π : L L. Over L \Σ, π : L\Σ L \Σ is a I torus smooth fibration. Over L Σ, π : L Σ = L Σ is an identification. It is now easy to see that for p Γ 2, F (p under the flow of V will deform to Lagrangian 3-torus with 50 circles collapsed to 50 singular points. For p Γ, F (p under the flow of V will deform to Lagrangian 3-torus with 25 circles collapsed to 25 singular points. For p Γ 0, F (p under the flow of V will deform to Lagrangian 3-torus with 5 two-torus collapsed to 5 singular points. Now we have finished the discussion of all Lagrangian fibers of our Lagrangian fibration of X ψ. Γ Theorem 3. Flow of V will produce a Lagrangian fibration F : X ψ. There are 4 types of fibers. (i. For p \ Γ, F (p is a smooth Lagrangian 3-torus. (ii. For p Γ 2, F (p is a Lagrangian 3-torus with 50 circles collapsed to 50 singular points. (iii. For p Γ, F (p is a Lagrangian 3-torus with 25 circles collapsed to 25 singular points. (iv. For p Γ 0, F (p is a Lagrangian 3-torus with 5 two-torus collapsed to 5 singular points. 5

16 4 Monodromy of expected special Lagrangian fibration 4. Introduction and assumptions In this section we will explore what the SYZ special Lagrangian fibration of X ψ should look like if it exists. Recall from Section 2 that X is a union of five P 3. There is a natural degenerate T 3 fibration structure for X. Let {P i } 5 i= be five points in R 4 that are in general position. Consider the natural map F : P 4 R 4. F([z] = 5 k= z k 2 5 i= z i 2 P k = Image(F is a 4-simplex. X is naturally fibered over via this map F with general fiber being T 3. This is precisely the T 3 special Lagrangian fibration for X as indicated by SYZ construction. When ψ is large, we expect that X ψ will also possess a special Largrangian T 3 fibration with base identified with which topologically is an S 3. There are still serious analysis and geometric works to be done to totally justify the special Lagrangian fibration. We will discuss in this section that IF such special Lagrangian fibration exist on X ψ, what should be its expected topological and geometrical structures. Our discussion is based on two principle assumptions: ( special Lagrangian fibration on X ψ is a deformation of special Lagrangian fibration on X. (2 Singular locus of the special Lagrangian fibration on X ψ is of codimension 2. ( is very natural, because we expect the Calabi-Yau metric on X ψ suitably rescaled (keeping fiber class constant volume will approach the standard Calabi- Yau metric on X when ψ approach infinity. (2 is also very reasonable given the structure of elliptic fibration of complex surface that correspond to dimension n = 2 situation. For ψ large, X ψ will approach X = 5 k= D k, where D k = {z k = 0}. Let us consider the part of the X ψ that is close to D 5. (We denote it as U 5, for example we may take U 5 as inverse image in X ψ of an open set in D 5 that stay away from D k for k 5 by the following map π 5. Then the restriction of the projection π 5 : U 5 D 5, π 5 ([z, z 2, z 3, z 4, z 5 ] = [z, z 2, z 3, z 4, 0] 6

17 will identify U 5 with an open set in D 5, which at the same time will carry over the T 3 fibration to U 5 from D 5. When ψ is large, this fibration should be very close to the special Lagrangian T 3 fibration for U 5. When we discuss the topology aspect, it will be sufficient to use the induced fibration instead of the special Lagrangian fibration when staying away from intersections of D k s, where the special Lagrangian fibration of X degenerate. We will use these identifications to compute monodromy of the special Lagrangian fibration in the following. 4.2 One forms and one cycles We first fix some notation and introduce some construction. On D 5, let γ52 be the circles determined by {z 5 = 0, z z z 2 = c, 3 z z 2 = c 2, 4 z 2 = c 3 }. We will also use it to denote circles carried over to U 5. In general, we have γ j ik for {i, j, k} {, 2, 3, 4, 5}. Understanding monodromy is equivalent to understanding transformations among {γ j ik }. It is easy to check that (4. γ j ik = γ j il, for {i, j, k, l} {, 2, 3, 4, 5}. 5 γ j ik = γij, l for {i, j, k} {, 2, 3, 4, 5}. l( i,j= On P 4 we can introduce meromorphic -forms They have the simple relations α ij = d(log z i z j, i j. α ij = α ik + α kj for {i, j, k} {, 2, 3, 4, 5}. We also use the same notation for the restriction to X ψ. α ij have pole along D j X ψ on X ψ, where D j X ψ = z 5 z j = 0, zi 5 = 0 For this reason we introduce Uj i = z U j 5 i( j= 5 z k z i k( i,j= On U i j, all α kl are regular. On U j i we have circles <. γij k, for k {, 2, 3, 4, 5}\{i, j} 7

18 and -forms It is easy to check that α kj, for k {, 2, 3, 4, 5}\{j} and < γ k ij, α lj >= δ kl for {i, j, k, l} {, 2, 3, 4, 5} < γ k ij, α ij >= for {i, j, k} {, 2, 3, 4, 5} Use these relations for U j i and U j k, we will get (4.2 γ k ij = γ i kj, for {i, j, k} {, 2, 3, 4, 5} γij l = γkj i + γl kj, for {i, j, k, l} {, 2, 3, 4, 5} From (4. we can see that without confusion, we may denote γ j ik by γj i. then the relations (4. and (4.2 can be rewrite together as (4.3 Let 5 j( i= γ j i = 0, for {i} {, 2, 3, 4, 5} γ j i + γi j = 0, for {i, j} {, 2, 3, 4, 5} γ j i + γk j + γi k = 0, for {i, j, k} {, 2, 3, 4, 5} U i = z X ψ 5 5 z k z i k( i= <. Then α ki, for k {, 2, 3, 4, 5}\{i} are regular on U i. So there are no monodromy among U i j Ui for j {, 2, 3, 4, 5}\{i}. On the other hand, in U j the T 3 fibration is regular. So there are also no monodromy among U i j U j for j {, 2, 3, 4, 5}\{i}. From these discussions we can see that the discriminant locus of the fibration (where the T 3 fibration is singular is topologically a graph Γ in. Vertices of Γ are P ij (baricenter for 2-simplex ij for {i, j} {, 2, 3, 4, 5} and P ijk (baricenter for 3-simplex ijk for {i, j, k} {, 2, 3, 4, 5}. Legs of Γ are Γ k ij which connects P ijk and P ij for {i, j, k} {, 2, 3, 4, 5}. 8

19 P 4 P 34 P 4 P 34 P 24 P 3 P 24 P 234 P 3 P P 2 P 23 P 23 P 2 Figure : 4.3 Monodromy around the legs of Γ We would like to compute monodromy Tij k around Γk ij. To simplify the notation without loss of generality, we will compute T24. 3 This amounts to compute the transformation: U 4 5 U 2 5 U 2 U 4 U 4 5 denote the transforma- Let S jk i denote the transformation: U j i Ui k and Sjk i tion: Uj i Ui k for {i, j, k} {, 2, 3, 4, 5}. Then For U 4 5 U2 5 we have S5 42 ( γ 54 γ54 2 γ54 3 T24 3 = S5S 4 24 S5S = ( γ 52 γ 3 52 γ

20 For U5 2 U2 we have S 2 5 ( γ 52 γ 3 52 γ 4 52 For U 2 U 4 we have S 24 ( γ 3 2 γ2 4 γ2 5 For U 4 U 4 5 we have Therefore S 2 5 ( γ 2 4 γ 3 4 γ 5 4 = and T 3 24 ( γ 54 γ 2 54 γ 3 54 = ( γ 3 2 γ 4 2 γ 5 2 = ( γ 2 4 γ 3 4 γ 5 4 = ( γ 54 γ 2 54 γ 3 54 T24 3 = S4 5 S = S2 5 S = ( γ 54 γ 2 54 γ In general for {i, j, k, l, m} = {, 2, 3, 4, 5} representing the same orientation with the written order Tjl k ( ( γ i m γm j γk m = γ i m γm j γk 5 0 m 0 0, 0 0 where the monodromy is computed along the path U l m U j m U j i Ul i U l m. If orientation is different, then 5 should be replaced by 5. 20

21 4.4 Monodromy around baricenter of 2-cell Now we compute the monodromy around a baricenter of a 2-cell. Let S kl m denote the transformation: U k m U l m Sm kl ( γ i m γm j γm l = ( γ i m γ j m γ k m and Sml k denote the transformation: Uk m Uk l Sml k ( ( γ i m γm j γm l = γ i l γ j l γl m For (i, j, k, l, m = (, 4, 2, 3, 5 T43 2 ( ( γ 5 γ5 4 γ5 2 = γ 5 γ5 4 γ5 2 For (i, j, k, l, m = (, 3, 4, 2, 5 T32 4 ( ( γ 5 γ5 3 γ5 4 = γ 5 γ5 3 γ Write under the same basis T 2 43 ( γ 5 γ 2 5 γ 3 5 = T 2 43 ( γ 5 γ 2 5 γ = ( γ 5 γ 2 5 γ = ( γ 5 γ 2 5 γ which gives 2

22 T 2 43 ( γ 5 γ 2 5 γ 3 5 = ( γ 5 γ 2 5 γ T 4 32 ( γ 5 γ 2 5 γ 3 5 = T 4 32 ( γ 5 γ 3 5 γ = ( γ 5 γ 3 5 γ = ( γ 5 γ 2 5 γ which gives T 4 32 ( γ 5 γ 2 5 γ 3 5 = ( γ 5 γ 2 5 γ From these expressions, it is clear that T 4 32, T 3 24 and T 2 43 commute with each other and T 4 32 T 3 24 T 2 43 = Id. They determine a natural filtration: W 0 W = H (T 3,Z with W 0 generated by the vanishing circle γ 5, which is the common vanishing cycle of T 4 32, T 3 24 and T Recall that the T 3 fibration of X over degenerate to be a T 2 fibration over 5. An interesting fact is that this T 2 is exactly the quotient of T 3 by γ 5. 22

23 4.5 Monodromy around baricenter of -cell We can similarly compute the monodromies around a midpoint of a -edge, for instance, P 24. We have for (i, j, k, l, m = (5, 2,, 4, 3 T24 ( ( γ 5 3 γ3 2 γ3 = γ 5 3 γ3 2 γ and for (i, j, k, l, m = (3, 2, 5, 4, T24 5 ( ( γ 3 γ 2 γ 5 = γ 3 γ 2 γ 5 write under the same basis (γ5, γ2 5, γ3 5. T24 ( ( γ 5 γ5 2 γ5 3 = T 24 γ 5 3 γ3 2 γ = ( γ 5 3 γ 2 3 γ = ( γ 5 γ 2 5 γ which gives T 24 ( γ 5 γ 2 5 γ 3 5 = ( γ 5 γ 2 5 γ T 5 24 ( γ 5 γ 2 5 γ 3 5 = T 5 24 ( γ 3 γ 2 4 γ = ( γ 3 γ 2 γ

24 = ( γ 5 γ 2 5 γ which gives T 5 24 ( γ 5 γ 2 5 γ 3 5 = ( γ 5 γ 2 5 γ From these expressions, it is clear that T24, T 24 3 and T 24 5 other and commute with each T 24 T 3 24 T 5 24 = Id. They determine a natural filtration: W 0 W = H (T 3,Z with W 0 generated by the vanishing circle γ 5 and γ 3 5. Recall that the T 3 fibration of X over degenerate to be a T fibration over 35. An interesting fact is that this T is exactly the quotient of T 3 by γ 5 γ Geometry of the singular fibers With monodromy information in mind, we would like to discuss possible structure of singular special Lagrangian fibers. We will start by describing a possible model for the structure of special Lagrangian fibration, especially the singular fibers, that is of conjectural nature. Then we will use our construction of Lagrangian fibration to give some partial justification. Suppose that we have a special Lagrangian fibration F : X ψ. Then the monodromy information will suggest that it is likely that F is smooth fibration over \Γ, where the singular locus Γ is topologically a graph in. Vertices of Γ are P ij (baricenter for 2-simplex ij for {i, j} {, 2, 3, 4, 5} and P ijk (baricenter for 3-simplex ijk for {i, j, k} {, 2, 3, 4, 5}. Legs of Γ are Γ k ij which connects P ijk and P ij for {i, j, k} {, 2, 3, 4, 5}. In general for {i, j, k, l, m} = {, 2, 3, 4, 5} representing the same orientation 24

25 with the written order, the monodromy around Γ k ij computed along the path U j m U i m U i l U j l U j m. can be written as Tij k ( γ l m γm i γm k = ( γ l m γ i m γ k m This suggests that singular fibers on Γ k ij should be of I 5 S type, where I 5 is a Kodaira type elliptic singular fiber as degeneration of γm l γm i with vanishing cycle γm l, and the S corresponds to γm k. This is a general type of singular fibers. Let s call it type I 5 singular fiber. Since Type I 5 singular fibers have S factor, they give no contribution to Euler number. On the other hand, around P ijk, monodromies are Tij k ( ( γ l m γm i γm k = γ l m γm i γm k Tjk i ( ( γ l m γm i γm k = γ l m γm i γm k T j ( ( ki γ l m γm i γm k = γ l m γm i γm k They determine the natural filtration: W 0 W = H (T 3,Z with W 0 generated by the common vanishing cycle γm l. By the symmetric property, the singular fiber over P ijk can be described as follows. Let Γ ijk be the graph in T 2 = T 3 /γm l as discribed by the following picture, where {lm} = {ijk}. Then the singular fiber over P ijk can be identified topologically as T 3 collapsing circles (γm l over Γ ijk to points. We call this kind of fibers type II 5 5. It is easy to see that the Euler number of a type II 5 5 fiber is 25. Finally we are left to determine the singular fiber over P ij. Around P ij the monodromies are Tij k ( ( γ l m γm i γm k = γ l m γm i γm k

26 Tij l ( γ l m γm i γm k Tij l ( γ l m γm i γm k They determine the natural filtration: Figure 2: Type II 5 5 fiber = ( γ l m γ i m γ k m = ( γ l m γ i m γ k m W 0 W = H (T 3,Z with W 0 generated by the vanishing circles γ l m and γ k m. The singular fiber over P ij is sort of generalization of I 5 singularity to 3-dimension. Topologically equivalent to T 3 collapsing five of sub-t 2 equivalent to γ l m γ k m. It looks like five 3-dimensional pseudomanifolds linked into a necklace via their singular points. Each 3-dimensional pseudomanifold is a T 2 [0, ] collapsing the two boundaries to two singular points. An illustration of this singular fiber is in the following picture. We will call these type III 5 singular fibers. A type III 5 singular fiber has Euler number 5. All together we have 0 type II 5 5 and 0 type III 5 singular fibers, which give 26

27 Figure 3: Type III 5 fiber total Euler number χ(x = 0 ( = 200. This is exactly the Euler number of a smooth quintic Calabi-Yau threefold. It is instructive to understand the singular point set of the fibration map f, namely the points in X ψ where tangent maps of f are not surjective. The singular point set of a type I 5 fiber is five S s. The singular point set of a type II 5 5 fiber is the graph in figure 2. The singular point set of a type III 5 fiber is five points. Together they form a Riemann surface. The Riemann surface has 0 irreducable components {Σ ijk }. Σ ijk is fibered over Γ k ij Γj ki Γi jk and centered over P ijk. Singular fibers are three of 5-point sets and Γ ijk. Total Euler number is So g(σ ijk = 6. χ(σ ijk = = 0 = 2 2g(Σ ijk. Actually there is a very explicit description of the local structure of the map f arround a singular point in a type III 5 fiber. It was given in the celebrated paper of R. Harvey and H. B. Lawson ([7]. The construction is as follows. 27

28 Theorem 5. Let M c = f (c, where f : C 3 R 3 f i (z = z 2 z i 2, i = 2, 3; f = Im(z z 2 z 3. Then M c (with the correct orientation is a special Lagrangian submanifold of C 3. It is pretty obvious why this characterize the singular points in type III 5 singular fiber. Since each M c is invariant under the action of the group 0 0 T 2 = eiθ 0 e iθ2 0 θ + θ 2 + θ 3 = e iθ3 An easy computation will show that the singular point set around origin is exactly the union of the three coordinate axes. This is where three of the irreducible components of the singular point set meet. The singular locus in R 3 is {c R 3 c 2 0, c 3 = c = 0} {c R 3 c 3 0, c 2 = c = 0} {c R 3 c 2 + c 3 0, c 2 c 3 = c = 0}. Fiber over origin is of type III 5 singularity and fibers over other points in the singular locus are Type I 5. An important observation is that Σ ijk is exactly equivalent to the genus 6 curve {[z] CP 4 z 5 i + z5 j + z5 k = 0, z l = 0 for l {, 2, 3, 4, 5}\{i, j, k}} Associate to the special lagrangian torus fiberation f there is the Leray spectral sequence, which abuts to H (X ψ,q and in which E p,q 2 = H p ( ; R q f Q This spectral sequence degenerates at E 2 term. We can use it to compute cohomology of X ψ. This spectral sequence was discussed and computed in [6] for expected SYZ special Lagrangian fiberation of generic Calabi-Yau manifolds. Our situation is far from generic. Fermat type quintics have a lot of symmetries and actually represent singular (orbifold points in the moduli space of Calabi-Yau. It is interesting to compute the spectral sequence of the fiberation and compare with the generic situation. Since R 0 f Q = Q, = S 3. It is easy to see that the bottom row of the 28

29 spectral sequence is E 3,q 2 = H q (S 3,Q : Q, 0, 0, Q. In general, we have the following exact sequence 0 K q R q f Q i E q 0 with the second non-trivial map being the attachment map with E q = i R q f Q for i : \Γ. Space B = has a natural filtration B = B 3 B 2 B B 0 B 0 = φ where B 2 = B = Γ, B 0 = {P ij i, j {, 2, 3, 4, 5}} {P ijk i, j, k {, 2, 3, 4, 5}}. Each stratum S i = B i \B i is a i-manifold. We denote V i = B\B i. E q is a local system on V = \Γ and K q is supported on B = Γ. Each R q f Q is a locally constant sheaf. Its germ over P B is (R q f Q P = H q (f (P,Q = (H q (f (P,Q E 3 is obviously a constant sheaf, so i E 3 = Q. According to our geometric description of the singular fibers, R 3 f Q is of dimension over S 3, dimension 5 over S, dimension 5 over P ij and dimension 25 over P ijk. Therefore K 3 is supported in B = Γ and is of dimension 4 over S, dimension 4 over P ij and dimension 24 over P ijk. Clearly only possible non-trivial cohomologies for K 3 are H 0 (K 3,Q and H (K 3,Q. Proposition 5. H (K 3,Q = 0 Proof: We will compute the Čech cohomology. There is a natural map π ijk : (K 3 Pijk (K 3 Γ k ij (K 3 Γ i jk (K 3 Γ j ki We will show that π ijk is surjective, which easily implies that H (K 3,Q = 0. Observe that π ijk is induced from π ijk : (R 3 f Q Pijk (R 3 f Q Γ k (R 3 f Q ij Γ i (K 3 jk Γ j ki Choose generators {x ij i, j {, 2, 3, 4, 5}} of (R 3 f Q Pijk, {u i } 5 i= of (R3 f Q Γ k ij, (representing geometric cy- {v i } 5 i= of (R3 f Q Γ j and {w i } 5 i= of (R3 f Q ki Γ k ij cles. If we choose correctly, we should have π ijk (x lm = (u l, v m, w n, n l m (mod 5. 29

30 By simple linear algebra, we can see that ( a l u l, b l v l, c l w l Im( π ijk i= i= i= if and only if a l = b l = c l ; i= i= i= and ( a l u l, b l v l, c l w l Im(π ijk i= i= i= if and only if a l = b l = c l = 0. Therefore π ijk is surjective. i= i= i= Proposition 5.2 h 0 (K 3 = 60. Proof: We will compute Euler number e(k 3 = h 0 (K 3 h (K 3. We compute in the chain level. Let c i = dim(c i be the dimension of the space of dimension i cochain. It is easy to see c 0 = = 280, c = 30 4 = 20, e(k 3 = c 0 c = 60. Then h (K 3 = 0 from last proposition gives us that h 0 (K 3 = 60. Now use the long exact sequence associated to we get Proposition K 3 R 3 f Q i E 3 0 h 0 (R 3 f Q = 6, h (R 3 f Q = h 2 (R 3 f Q = 0, h 3 (R 3 f Q =. 30

31 To compute the cohomology for R f Q, notice that R f Q = i E for local system E. It is easy to see that the monodromy of the local system E generate SL 3 (Z. So h 0 (R f Q = 0. From this we will have Proposition 5.4 h 3 (R f Q = h 3 (R 2 f Q = 0. Proof: By Poincare duality for general fibers, E 2 = E. So R 2 f Q = Di E in V 2 where DE is the dual of E in the sense of Verdier. Then by Verdier duality H 3 (R 2 f Q = H 3 (Di E = H 0 (i E = 0. The space B have a natural symmetry s which respects the filtration. It is a piecewise linear map satisfying (5. s = s : B B; s(p i = P i, s(p ij = P ij where S indicate compliment of S {, 2, 3, 4, 5}. It is easy to check by looking at the monodromy that s E = E2. (Later we will see that this fact is related to the mirror symmetry construction of Fermat type mirror construction. Therefore and i E = s R 2 f Q in V 2 H 3 (R f Q = H 3 (i E = H 3 (R 2 f Q = 0. To compute H (R f Q, we need to use intersection cohomology. Since R f Q = i E, We have H (R f Q = I 0 H (B, E. Where I p H i (B, E denote the i-th intersection cohomology of B with coefficient in the local system E and perversity p. Proposition 5.5 h (R f Q =. Proof: By Poincare duality and E 2 = E, we have H (R f Q = I 0 H (B, E = I t H 2 (B, E 2 3

32 where t denote the top perversity. Intersection homology is related to intersection cohomology as I t H 2 (B, E 2 = I t H (B, E 2. So we only need to compute I t H (B, E 2, where for P V we have (E 2 P = H (f (P,Q. Consider the first barycentric subdivision of the standard triangulation of B. The -simpleces allowed to compute I t H (B, E 2 are the - simpleces Γ i jkl connecting P i and P ijkl. P 4 P Γ P 3 Γ234 P Γ24 P 3 P P 2 34 Γ P 2 P 2 Figure 4: We can introduce the following -chain L = γ i j Γi ij By (4.3, it is easy to see that L = 0. Actually this L generate I t H (B, E 2, namely h (R f Q = dim(i t H (B, E 2 = Proposition 5.6 h 2 (R f Q =. Proof: We will show this by proving that χ(r f Q = 0, which clearly implies this proposition by results in proposition 5.5 and 5.6. The Euler number can be computed in two ways, either by straightforward Čech cohomology computation 32

33 or by the identification H i (R f Q = I 0 H i (B, E = I 0 H 3 i (B, E. We will use the latter approach, which is more elegant. To get the number right, the key point is to choose the right triangulation, which respects the filtration of B. The previous trangulation as indicated in figure 4 is not good enough. The problem is that the 0-simplices P ij, P ijk B 0 will span a -simplex Γ k ij which is in B but not in B 0. The right triangulation which respects the filtration of B can be achieved by taking the baricentric subdivision of Γ and then naturally extend to a subdivision of the previous triangulation of B. Practically, each old 3-simplex is divided into two new 3-simleces by a new 2-simplex as indicated in the following picture. P 4 P 234 P 23 P 3 P P 2 P2 P 2 Figure 5: It is easy to see that I 0 C 0 = I 0 C = 5 (E Pi P i (E Pi P i i= 5 i, j = (i j and c 0 = 0 3 = 30, c = 20 3 = 60. (E <Pi,P j > < P i, P j >, 33

34 For the I 0 C 2, it is easy to see that only the newly added 2-simplices < P i, P {ij}{ijk}, P ijkl > will be relavent. Since the boundary of the intersection 2-chain should not intersect Γ. An intersection 2-chain containing < P i, P {ij}{ijk}, P ijkl > should also contain all other newly added 2-simplices that contain P {ij}{ijk}, namely should contain Therefore k ij = {2 simplex with P {ij}{ijk} as one vertex}. where the upper index Tij k 30 2 = 60. I 0 C 2 = Γ k ij (E T k ij k k ij ij indicates the T k ij invariant piece of E. So c 2 = Since an intersection 2-chain is not supposed to contain P ij or P ijk. The boundary of an intersection 3-chain also should not contain P ij or P ijk. Hence an intersection 3-chain containing < P i, P ij, P {ij}{ijk}, P ijkl > has to contain ij = {3 simplex with P ij as one vertex}. An intersection 3-chain containing < P i, P ijk, P {ij}{ijk}, P ijkl > has to contain ij = {3 simplex with P ijk as one vertex}. And I 0 C 3 = ij (E Gij ij ij (E G ijk ijk ijk, ijk where G ij is the monodromy group around P ij and G ijk is the monodromy group around P ijk. And c 3 = = 30. Therefore 3 χ(r f Q = χ(i 0 C. = ( i c i = ( = 0. i=0 Now the only thing we do not yet know is h (R 2 f Q. Proposition 5.7 h (R 2 f Q = 4. 34

35 Proof: Clearly we only need to compute h (K 2. Since the germ of K 2 at P ij only have zero section. It is clear that h 0 (K 2 = 0. It is now reduced to compute χ(k 2. We will simply count the Čech cochains. c = (5 30 = 20, c 0 = (0 2 0 = 80. So h (K 2 = 40 and h (R 2 f Q = 4. χ(k 2 = c 0 c = = 40. Now we have the whole E 2 term of the spectral sequence. Theorem 5.2 E 2 term of the Leray spectral sequence of fibration F is One can see that the E 2 term of our situation is quite different from the E 2 term of generic Calabi-Yau situation as indicated in [6]. Note: Our discussion so far is of conjectural nature. Since we can not construct special Lagrangian fibration, we can only guess its possible structure based on our monodromy discussion. 6 Comparison The Lagrangian fibration we constructed in Section 3 is different from the expected special Lagrangian fibration structure described in the previous two sections. Yet they are very closely related. The singular locus Γ of the expected special Lagrangian fibration is of codimension 2 (an one dimensional graph and each singular fiber has singularity of codimension 2. The singular locus Γ of the Lagrangian fibration we constructed is of codimension and most singular fibers have singularity of codimension 3. On the other hand, Γ is just a fattened version of Γ. S 3 \ Γ and S 3 \Γ have the identical fundamental group. We can compare monodromies of the two fibrations. Since our Lagrangian fibration on X ψ is a deformation of the standard special Lagrangian fibration on X, it satisfies the principle assumption ( that 35

36 we based to compute monodromy. For this reason, it is not hard to see that above computation of monodromy naturally apply to our Lagrangian fibration. Therefore Theorem 6. Our Lagrangian fibration have the same monodromy as the monodromy computed for the expected special Lagrangian fibration. The singularities of the two fibrations are also closely related. For one thing, the singular point set of our construction in X ψ is Σ (the union of 0 genus 6 curves, and the singular point set of the expected special Lagrangian fiberation is naturally equivalent to Σ. One way to see this is to notice that we can easily construct a homotopy contraction p : Γ Γ that is the homotopy inverse of the natural injection i : Γ Γ that satisfy p i = id (for instance map point in Γ to the nearest point in Γ. Let q denote the composition of projection of Σ to Γ and p. Then q map Σ to Γ. It is easy to observe that the inverse image of a point P in Γ with respect to q is exactly corresponding to singular set of the expected singular special Lagrangian fiber over P as described in the previous section. With this fact in mind, we intend to modify our Lagrangian torus fibration into the expected topological shape. If one is willing to sacrifies Lagrangian property, it is not hard to deform the fibration we constructed into a non-lagrangian smooth fiberation with the same topological shape as we expected of special Lagrangian fibration. One way to do this is to notice that there is a natural horizontal foliation in P 2 where one of the component of Σ is located. Then conceivably, one can smoothly deform part of 2-torus above Γ that intersect Σ along horizontal direction away from Γ in direction indicated by map p. So that eventually only those 2-torus above Γ will intersect Σ at one dimensional graphs that is the inverse image under q of the corresponding point. Then we run the flow of V, we will get a non-lagrangian torus fibration with topological structure that is the same as expected special Lagrangian fibration. This will give an alternative simple proof of the result in [5] that gave a smooth torus non-lagrangian fibration. Since our major concern is to construct smooth Lagrangian torus fiberation, we will not get into great details in this direction. However to get a Lagrangian torus fibration of the right shape is much trickier. We will address this problem in the sequel to this paper([9]. Another important observation is that for an n-torus Lagrangian fibration such that the fibration map is C (actually C 2 is enough, there is a natural action of R n on each fiber (smooth or singular. Look at our construction, one can see that there are no action of R 3 on most of our singular fibers, which seems 36

37 to be a contradiction. It turns out that fibration map of our construction is not C it is typically only piecewise smooth and globally merely C 0, (Lipschitz. This reveals a major difference between a non-lagrangian fibration and a Lagrangian fibration. If one does not care keeping the Lagrangian property, the map usually can be smoothed by a small perturbation. Above ovservation shows that in general a Lagrangian fiberation can not be deformed to a smooth Lagrangian fiberation by small perturbation. In ([9] we will explore this issue further and try to get a smooth Lagrangian fibration. We will also discuss general construction of Lagrangian torus fibration for general quintic Calabi-Yau hypersurfaces in [0] and Calabi-Yau hypersurfaces in more general toric varieties in [2]. 7 The Mirror construction and dual polyhedra It is well known that the mirror familly {Y ψ } of the family {X ψ } can be given by Y ψ = X ψ /G with the induced complex structure and the Calabi-Yau orbifold metric. G =< g 0, g, g 2, g 3 > is the symmetry group of X ψ. G acts on CP 4 as follows g 0 = (ξ,,,, ξ, g = (, ξ,,, ξ, g 2 = (,, ξ,, ξ, g 3 = (,,, ξ, ξ, where ξ is a fifth root of unity. By analyzing the action of G on X ψ, it should be clear that G = Z 3 5 will map every special Lagrangian fiber to itself, and is conjugate to the standard action of Z 3 5 on T 3. The special Lagrangian fibration f : X ψ B will naturally induce special Lagrangian fibration ˆf : Y ψ B. For any p B, ˆf (p = f (p/g, especially ˆf can be identified with f (p quite canonically. SYZ construction predict that the T 3 fibrations f and ˆf when restrict to V B should be dual to each other. But the above discussion implies that the two fibrations can be natually identified to each other instead of dual, especially the monodromy for ˆf is the same as the monodromy for f. The key point is that the mirror map induce nontrivial identification s : B B of base B as defined in (5.. Fibrations ˆf and B f are actually dual to each other when restricted to V B. This corresponds to the fact that the monodromy around P ij is dual to the monodromy around P ij. The reason why this is the correct interpretation is that the two fibrations should actually be written as 37