arXiv:math/9805094v2 [math.DG] 11 Jun 1998 eso fMro ojcuei h ojcua xsec,fra for existence, conjectural the is X Conjecture Mirror of version Φ fcbcplnmason polynomials cubic of e in set ris nteohrhn,cutn frtoa uvspoie a provides curves rational of counting hand, other som with the connection flat On a is It erties. family. this on connection Gauss-Manin i oyoilΦ(nPyisltrtr,i scle h uaacoupling), Yukawa the called is it Φ literature, family Physics a (in get Φ polynomial bic e in set on hr sadfraino h ope tutrson structures complex the of deformation a is there B unu ring quantum orsn[9 rBri-ees[] hr r w aua Frobeniu natural two are There [2]. Calabi-Yau Bertin-Peters any or [19] Morrison hr Ω where hoyo nte aaiYumanifold Calabi-Yau another on theory etasae noteeuvlneo hoyo aaiYumanifo Calabi-Yau a on theory A of equivalence the into translated be rings ntecmlxsrcueof structure complex the on yLa-i-a [15]. Lian-Liu-Yau by omon form frtoa uvso n ereo uni in quintic a on [4 degree Ossa-Green-Parkes any la of Candelas-de curves to rational ba due of physicists formula by the made is predictions jecture mathematical the of One history. 2] hr r w oooia ofra edtere naCalabi-Y a on theories field conformal ex topological As two are Conjecture. there Mirror [28], the of formulation mathematical better hoyi needn ftecmlxsrcueof structure complex the of independent is theory A B ( faohrClb-a 3-fold Calabi-Yau another of , X o ahmtclepsto ntrso aito fHdestruct Hodge of variation of terms in exposition mathematical a For tigter ed otemseiu irrCnetr,seYau see Conjecture, Mirror mysterious the to leads theory String h hoyo unu ooooy losgetdb physicists, by suggested also cohomology, quantum of theory The 1 ( H ohatoswr upre npr yNSF by part in supported were authors Both X a eietfidwith identified be can ) RBNU AIODSRCUEO DOLBEAULT ON STRUCTURE MANIFOLD FROBENIUS n R Ψ = ) H H ( X, and r rmDleutcmlxo n lsdKalrmnfl,a K¨ahler cohomology. manifold, closed Dolbeault any on of structure manifold complex Dolbeault from bra Abstract. 1 − 1 X ( ( k X, X, C hl hoyi needn fteKalrfr of K¨ahler form the of independent is theory B while , A .EeyFoeisagbasrcuecnb hrceie yac a by characterized be can structure algebra Frobenius Every ). stesefo ooopi etost Λ to sections holomorphic of sheaf the is R A OOOOYADMRO SYMMETRY MIRROR AND COHOMOLOGY Ω ( Ω X R ′ B ( − ˆ − X rs rmteetere,adtento fmro ymtycould symmetry mirror of notion the and theories, these from arise ( n 1 ,advc versa. vice and ), 1 X a eietfidwith identified be can .A diinlsrcuepoie yagbacgoer sthe is geometry algebraic by provided structure additional An ). = ) -fold, .Teeoe n esafml fFoeisagbastructures algebra Frobenius of family a gets one Therefore, ). ecntutadffrnilGerstenhaber-Batalin-Vilkovi differential a construct We fcbcplnmason polynomials cubic of ) ⊕ k n =0 A UIDN A INZHOU JIAN & CAO HUAI-DONG H ( X X k aaeeie ya pnstin set open an by parameterized ) ( aa[5 xlie o w unu cohomology quantum two how explained [25] Vafa . H X, n X Ω ( ˆ X, uhta n a identify can one that such , k ) B , C .B oooo-inTdrvtheorem, Bogomolov-Tian-Todorov By ). R 1 X ′ ˆ . ( aldtemro of mirror the called , X = ) H n CP ( ⊕ X, k n 4 =0 eety thsbe proved been has it Recently, . X C X H aaeeie ya open an by parameterized ) u eed nteK¨aher the on depends but , aaeeie ya open an by parameterized k k X T ( X, yHdetheory, Hodge By . daFrobenius a nd Ω − B k aaiYu3-fold Calabi-Yau lie nWitten in plained X H ) ( ntenumber the on ] X , k alge- sky e nti con- this on sed X uhta the that such , umanifold au 1 aiyΨ family u depends but , ( lerson algebras s with ) a edt a to lead has X, xr prop- extra e rs e e.g. see ures, ld 2]frthe for [29] Ω X 1 .One ). ihB with A owe so A ( ( X X ˆ X u- ), ) : 2 HUAI-DONGCAO&JIANZHOU
Witten [27] proposed that the associativity property of quantum cohomology can be encoded in WDVV (Witten-Dijkgraaf-Verlinde-Verlinde) equations (p.275, (3.14)). Dubrovin [7] studied family of Frobenius algebras which are parameterized by the underlying vector space, such that the family of structure cubic polynomials admits some symmetry, so that it becomes the third derivative of a single potential function. This potential function satisfies WDVV equations. Such a family will be called a potential family. He then introduced and studied the concept of Frobe- nius manifolds. See Dubrovin [8]. Ruan-Tian [21] gave a mathematical formulation of quantum cohomology (see also Liu [16] and McDuff-Salamon [17]). They also proved the potential property (WDVV equations) of the quantum cohomology, and gave the construction of a flat connection (suggested by Dubrovin’s construction), which is the candidate for the mirror of Gauss-Manin connection. (In general, there is some convergence problem involved in their construction, except for the case of complete intersection Calabi-Yau manifolds. See Tian [23], 10.) Witten [28] suggested two kinds of extended moduli spaces, one containing§ the deforma- tion space of the complex structure, the other containing the complexified K¨ahler cone. Kontsevich [11], besides reformulating Mirror Conjecture in a more general setting, proposed a construction of extended moduli space of complex structures. Recently, Barannikov-Kontsevich [1] constructed an extended formal moduli space for any Calabi-Yau manifold, as a generalization of Bogomolov-Tian-Todorov the- orem. Furthermore, they showed that there is a structure of formal Frobenius manifold on it. Manin [18] has formulated a generalization to the construction of a formal Frobenius manifold from any differential Gerstenhaber-Batalin-Vilkovisky (dGBV) algebra with some mild conditions. By Hodge theory (see e.g. Griffiths-Harris [10]), there is a decomposition
∗ p,q H (X, C) = p,qH (X), ∼ ⊕ where Hp,q(X) is the Dolbeault cohomology. Furthermore, exterior product induces
Hp,q(X) Hr,s(X) Hp+r,q+s(X). ∧ ⊂ In Cao-Zhou [5], the authors developed a quantum de Rham cohomology theory. In that theory, quantum Dolbeault cohomology can be defined such that it sat- isfies the usual properties of the ordinary Dolbeault cohomology. This suggests the construction of Frobenius manifold structure on Dolbeault cohomology. In this paper, we construct dGBV algebra for a general closed K¨ahler manifold. From this, we obtain a formal Frobenius manifold on the A-side for any closed K¨ahler manifold. Comparison with that of Barannikov-Kontsevich [1] suggests that these two kinds of formal Frobenius manifolds should be mirror image of each other. A standard argument in Kodaira-Spencer-Kuranishi deformation theory shows that one actually obtains a Frobenius (super)manifold structure on a neighborhood of the origin in the relevant cohomology, in the setting of both Barannikov-Kontsevich and ours. Now we have two formal Frobenius manifolds on the A-side: one from counting rational curves by Gromov-Witten invariants, the other from our con- struction. We conjecture that they can be identified. If this is true, it should have some applications in enumerative geometry. Acknowledgements. The authors would like to thank Gang Tian and S.-T. Yau for their interest. The work in this paper is carried out while the second author is visiting Texas A&M University. He likes to express his appreciation for the FROBENIUS MANIFOLD STRUCTURE ON DOLBEAULT COHOMOLOGY 3 hospitality and financial support of the Mathematics Department and the Geometry- Analysis-Topology group. He also likes to thank Blaine Lawson for bringing his attention to the reference [12], which made him come across Barannikov-Kontsevich [1] and Manin [18] on the internet.
1. A construction of Frobenius (super)manifolds In this section, we review a construction of Frobenius supermanifolds. For de- tails, the reader should consult the papers by Tian [23], Todorov [24], Barannikov- Kontsevich [1] and Manin [18]. Here, we follow the formulation by Manin [18]. The input of the construction is a differential Gerstenhaber-Batalin-Vilkovisky (dGBV) algebra (see e.g. [18], 5). Let ( , ) be a supercommutative algebra with identity over a field k, i.e., ( ,§ ) is an algebraA ∧ with identity over k, furthermore, A ∧ has Z2-grading, such that for any homogeneous elements a,b with degrees Aa , b respectively, we have ∈ A | | | | a b = ( 1)|a|·|b|b a. ∧ − ∧ Assume that there are two k-linear maps of odd degrees δ and ∆ on , such that A δ2 = 0, δ∆ + ∆δ =0, ∆2 = 0. • δ is a derivation: δ(a b) = (δa) b + ( 1)|a|a (δb). • ∧ ∧ − ∧ If [a b] = ( 1)|a|(∆(a b) ∆a b ( 1)|a|a ∆b), then [a ]: is • a derivation• − of degree a∧ +− 1, i.e.,∧ − − ∧ •· A → A | | [a (b c)] = [a b] c + ( 1)(|a|+1)|b|b [a c]. • ∧ • ∧ − ∧ • The quintuple ( , , δ, ∆, [ ]) with the above properties is called a dGBV algebra. As in Manin [18],A ∧5, we have·•· § [a b]= ( 1)(|a|+1)(|b|+1)[b a], • − − • [a [b c]] = [[a b] c] + ( 1)(|a|+1)(|b|+1)[b [a c]], • • • • − • • ∆[a b] = [∆a b] + ( 1)|a|+1[a ∆b], • • − • δ[a b] = [δa b] + ( 1)|a|+1[a δb]. • • − • We will be interested in the cohomology ring H = H( ,δ), which we assume to be finite dimensional. An integral on is an even linearA functional : k, such that A R A → (1) (δa) b = ( 1)|a|+1 a (δb), ∧ − ∧ (2) R (∆a) b = ( 1)|a| Ra (∆b), R ∧ − R ∧ for any homogeneous a,b . It follows from (1) that induces a well-defined k-bilinear functional ∈ A R ( , ): H( ,δ) H( ,δ) k, · · A ⊗ A → (α, β)= α β, R ∧ where [α] and [β] are cohomology classes represented by δ-closed a and b respec- tively. If ( , ) is nondegenerate, we say that the integral is nice. It is obvious that · · (α β,γ) = (α, β γ). ∧ ∧ By definition, (H( , d), , ( , )) is then a Frobenius algebra, when has a nice integral. A ∧ · · A 4 HUAI-DONGCAO&JIANZHOU
To find a deformation of the ring structure on H, consider δa : for even a . When a satisfies A → A ∈ A 1 δa + [a a]=0, (3) 2 • ∆a =0, then ( , ,δa, ∆, [ ]) is also a dGBV algebra. If is an integral for ( , , δ, ∆, [ A ∧ ·•· A ∧ ·• ]), so is it for ( , ,δa, ∆, [ ]). If there is a naturalR way to identify H( ,δa) with ·H = H( ,δ) whichA ∧ preserves·•· ( , ), then we get another Frobenius algebraA structure on H. TheA construction of Frobenius· · manifold structure is based on the existence j of a solution Γ = Γn to (3), such that Γ0 =0, Γ1 = x ej , ej Ker δ Ker ∆. ∈ ∩ j For n > 1, Γn PIm∆ is a homogeneous super polynomialP of degree n in x ’s, ∈ 0 such that the total degree of Γn is even. Furthermore, x only appears in Γ1. Such a solution is called a normalized universal solution. Its existence can be established inductively. This is how Tian [22] and Todorov [24] proved that the deformation of complex structures on a Calabi-Yau manifold is unobstructed. This was generalized by Barannikov-Kontsevich [1] to the case of extended moduli space of complex structures of a Calabi-Yau manifold. Manin [18] further generalized it to the case of dGBV algebras, which can be stated as follows: Theorem 1.1. Let ( , , δ, ∆, [ ]) be a dGBV algebra which satisfies the following conditions: A ∧ ·•· 1. H = H( ,δ) is finite dimensional. 2. There isA a nice integral on . The inclusions i : (Ker ∆,δA) ֒ ( ,δ) and j : (Ker δ, ∆) ֒ ( , ∆) induce .3 isomorphisms on cohomology. → A → A Then there is a structure of formal Frobenius manifold on the formal spectrum of k[[H′]], the algebra of formal power series generated by H′, where H′ is the dual k-vector space of H.
2. Frobenius manifold structures on Dolbeault cohomology In this section, (X,g,J) will be a closed K¨ahler manifold with K¨ahler form ω. Consider the quadruple (Ω∗,∗(X), ,δ = ∂,¯ ∆= ∂∗). It is well-known that ∂¯2 = 0, (∂∗)2 = 0, and ∂∂¯ ∗ + ∂∗∂¯ = 0. Furthermore,∧ ∂¯ is a derivation. Set
|a| ∗ ∗ |a| [a b]∂∗ = ( 1) (∂ (a b) ∂ a b ( 1) a ∂b). • − ∧ − ∧ − − ∧ (To the authors’ knowledge, a formula of this type in differential geometry was first discovered by Tian [22] (see also Todorov [24]) to prove the important result that deformations of Calabi-Yau manifolds are unobstructed. ) Since both ω and J are parallel with respect to the Levi-Civita connection, it follows that near each x X, one can find a local frame e1, ,en of T 1,0X, such that ω = e1 e¯1 + +en∈ e¯n. { ··· } ∧1 ···n ∧ Furthermore, ej ek = e¯j ek = ej e¯k = e¯j e¯k = 0 at x. Let e , ,e be the dual basis. Then∇ at x, for∇ any α ∇ Ω∗,∗(X∇), we have (Griffiths-Harris{ ··· [10],} p. 113): ∈ j j ∂α = e e α, ∂α¯ =e ¯ e α, ∧ ∇ j ∧ ∇¯j ∗ ∗ ∂ α = ej e α, ∂¯ α = e¯j e α, − ⊢ ∇¯j − ⊢ ∇ j
(|a|+1)|b| Lemma 2.1. [a (b c]]∂∗ = [a b]∂∗ c + ( 1) b [a c]∂∗ . • ∧ • ∧ − ∧ • FROBENIUS MANIFOLD STRUCTURE ON DOLBEAULT COHOMOLOGY 5
Proof. The left hand side is given by ( 1)|a|(∂∗(a b c) (∂∗a) b c ( 1)|a|a ∂∗(b c)) − ∧ ∧ − ∧ ∧ − − ∧ ∧ |a| = ( 1) ( ej e (a b c) + (ej e a) b c − − ⊢ ∇¯j ∧ ∧ ⊢ ∇¯j ∧ ∧ |a| +( 1) a ej e (b c)) − ∧ ⊢ ∇¯j ∧ |a| = ( 1) ( ej ( e a (b c)+ a e (b c)) + (ej e a) b c − − ⊢ ∇¯j ∧ ∧ ∧ ∇¯j ∧ ⊢ ∇¯j ∧ ∧ |a| +( 1) a ej e (b c)) − ∧ ⊢ ∇¯j ∧ |a| |a| = ( 1) ( (ej e a) (b c) ( 1) e a ej (b c) − − ⊢ ∇¯j ∧ ∧ − − ∇¯j ∧ ⊢ ∧ |a| (ej a) e (b c) ( 1) a ej e (b c) − ⊢ ∧ ∇¯j ∧ − − ∧ ⊢ ∇¯j ∧ |a| +(ej e a) b c + ( 1) a ej e (b c)) ⊢ ∇¯j ∧ ∧ − ∧ ⊢ ∇¯j ∧ |a| = e a ej (b c) ( 1) (ej a) e (b c). −∇¯j ∧ ⊢ ∧ − − ⊢ ∧ ∇¯j ∧ The right hand side is computed in a similar fashion. [a b] c + ( 1)(|a|+1)|b|b [a c] • ∧ − ∧ • = ( 1)|a|(∂∗(a b) (∂∗a) b ( 1)|a|a ∂∗b) c − ∧ − ∧ − − ∧ ∧ +( 1)(|a|+1)|b|( 1)|a|b (∂∗(a c) (∂∗a) c ( 1)|a|a ∂∗c) − − ∧ ∧ − ∧ − − ∧ |a| = ( 1) ( (ej e (a b)) c + (ej e a) b c − − ⊢ ∇¯j ∧ ∧ ⊢ ∇¯j ∧ ∧ |a| +( 1) a (ej e b) c) − ∧ ⊢ ∇¯j ∧ (|a|+1)|b| |a| +( 1) ( 1) b ( ej e (a c) + (ej e a) c − − ∧ − ⊢ ∇¯j ∧ ⊢ ∇¯j ∧ |a| +( 1) a (ej e c)) − ∧ ⊢ ∇¯j |a| (|a|+1)|b| |a| = ( 1) (ej e (a b)) c ( 1) ( 1) b ej e (a c) − − ⊢ ∇¯j ∧ ∧ − − − ∧ ⊢ ∇¯j ∧ |b| +a (ej e b) c + ( 1) a b (ej e c) ∧ ⊢ ∇¯j ∧ − ∧ ∧ ⊢ ∇¯j |a| +2( 1) (ej e a) b c − ⊢ ∇¯j ∧ ∧ |b| = e a (ej b) c ( 1) e a b (ej c) −∇¯j ∧ ⊢ ∧ − − ∇¯j ∧ ∧ ⊢ |a| |a| ( 1) (ej a) e b c ( 1) (ej a) b e c − − ⊢ ∧ ∇¯j ∧ − − ⊢ ∧ ∧ ∇¯j |a| = e a ej (b c) ( 1) (ej a) e (b c). −∇¯j ∧ ⊢ ∧ − − ⊢ ∧ ∇¯j ∧
Thus (Ω∗,∗(X), ,δ = ∂,¯ ∆= ∂∗) is a dGBV algebra. ∧ Remark 2.1. One can obtain an indirect proof as follows. Cao-Zhou [6] showed that for a K¨ahler manifold, √ 1(∂¯∗ ∂∗) is the operator ∆ defined in Koszul [13], who also defined the covariant− Schouten-Nijenhuis− bracket a,b = (∆a) b + ( 1)|a|a (∆b) ∆(a b) { } ∧ − ∧ − ∧ which satisfies the property a,b c = a,b c + ( 1)(|a|+1)|b|b a,c . { ∧ } { } ∧ − ∧{ } As pointed out in Cao-Zhou [6],
[a b] = ( 1)|a| a,b • − { } 6 HUAI-DONGCAO&JIANZHOU is the bracket generated by ∆. Using the type decomposition and [a (b c)] = • ∧ [a b] c + ( 1)(|a|+1)|b|b [a c], one then gets • ∧ − ∧ • (|a|+1)|b| [a (b c]]∂∗ = [a b]∂∗ c + ( 1) b [a c]∂∗ . • ∧ • ∧ − ∧ • ∗,∗ C Let X : Ω (X) be the ordinary integration of differential forms. Analo- gous toR Claim 4.1 in→ Barannikov-Kontsevich [1], we have Lemma 2.2. The following identity holds on closed K¨ahler manifolds: ∂a¯ b = ( 1)|a|+1 a ∂b,¯ X ∧ − X ∧ R ∗ |a| R ∗ X ∂ a b = ( 1) X a ∂ b, R ∧ − R ∧ Proof. By linearity, we can assume that a has type (p, q). To prove the first identity, we only need to consider the case of b having type (n p,n q 1). Then we have ∂(a b) = 0, since it has type (n +1,n 1). Hence d−(a b−)=−∂¯(a b). Similarly, we have∧ da b = ∂a¯ b. By Stokes theorem,− we have ∧ ∧ ∧ ∧ ∂a¯ b + ( 1)|a|a ∂b¯ = ∂¯(a b)= d(a b)=0. ZX ∧ − ∧ ZX ∧ ZX ∧ To prove the second equality, recall that ∂∗ = ∂ , and 2α = ( 1)|α|α (see Griffiths-Harris [10], p. 82). Then since b = a −∗1, we∗ have ∗ − | | | |− ∂∗a b = ( 1)|b| ∂∗a ( b) ZX ∧ − ZX ∧∗ ∗ = ( 1)|b|(∂∗a, b) = ( 1)|b|(a, ∂ b) − ∗ − ∗ = ( 1)|b| a ∂ b = ( 1)|b| a ∂∗b − ZX ∧∗ ∗ − − ZX ∧ = ( 1)|a| a ∂∗b. − ZX ∧
Proposition 2.1. The two natural inclusions i : (Ker ∂∗, ∂¯) (Ω∗,∗(X), ∂¯) and j : (Ker ∂,¯ ∂∗) (Ω∗,∗(X), ∂∗) induce isomorphisms on cohomology.→ → ∗ ∗ ¯¯∗ ¯∗ ¯ Proof. Consider the Laplace operators ∆∂ = ∂∂ + ∂ ∂ and ∆∂¯ = ∂∂ + ∂ ∂. On 1 K¨ahler manifold (see e.g. Griffiths-Harris [10], p. 115), we have ∆∂ = ∆∂¯ = 2 ∆d. By Hodge theory, every element in H(Ω∗,∗, ∂¯) is represented by an element α, such ∗ ∗ that ∆∂¯α = 0. It then follows that ∆∂ α = 0, and hence ∂ α = 0, i.e., α Ker ∂ . This proves that H(i) is surjective. ∈ To show that H(i) is injective, let α Ker ∂∗, such that α = ∂β¯ for some β. We ¯ ∗ ∈ ¯ need to show that α ∂ Ker ∂ . By Hodge decomposition, ∂β = ∆∂¯γ for some γ. Then we have ∈ ¯ ¯ ¯2 ∆∂¯∂γ = ∂∆∂¯γ = ∂ β =0, which implies that ∂γ¯ = 0. Furthermore, ∗ ∗ ∗ ∗ ∆∂ ∂ γ = ∂ ∆∂ γ = ∂ ∆∂¯γ = ∂ α =0 ∗ ¯ ¯∗ ¯∗ ¯ ¯ ¯∗ implies that ∂ γ = 0. Now α = ∆∂¯γ = ∂(∂ γ)+ ∂ (∂γ)= ∂(∂ γ). But ∂∗(∂¯∗γ)= ∂¯∗(∂∗γ)=0 − show that ∂¯∗γ Ker ∂∗, therefore, α ∂¯Ker ∂∗, thus H(i) is injective. The proof for H(j) is similar.∈ ∈ FROBENIUS MANIFOLD STRUCTURE ON DOLBEAULT COHOMOLOGY 7
Now we use Theorem 1.1 to get Theorem 2.1. For any closed K¨ahler manifold X, if K is the algebra of formal ∗ power series generated by the dual space of the Dolbeault cohomology H∂¯(X), then there is a structure of formal Frobenius manifold on the formal spectrum of K obtained from the dGBV algebra (Ω∗,∗(X), ,δ = ∂,¯ ∆= ∂∗). ∧ Remark 2.2. The construction involves the solution by power series method to the equation 1 ∂¯Γ+ [Γ, Γ]=0, 2 j j where Γ = n Γn, Γ0 = 0, Γ1 = x ηj , Γn is a (super)polynomial in x ’s with ∗ ∗ ∗ coefficients inP Im ∂∂¯ . Here ηj is aP basis of Ker ∂¯ Ker ∂¯ = H = H(Γ(X, Λ TX ∗ ∩ ∼ ⊗ Λ∗T X), ∂¯), xj is the dual basis of H′. Notice that Γ is a (super)polynomial for xj ’s (Fermionic coordinates) with odd degrees, and is a power series only for xj ’s with even degrees (Bosonic coordinates). A modification of the standard argument in Kodaira-Spencer-Kuranishi deformation theory (see e.g. Morrow-Kodaira [20], 4.2) shows that these series converges for all Fermionic xj ’s, and for small values of Bosonic§ xj ’s (this method was also used by Tian [22] and Todorov [24]). Therefore, one gets a Frobenius supermanifold with the Bosonic part an open neighborhood of the zero vector in Heven.
Remark 2.3. The same construction carries through if we take δ = ∂,∆= ∂¯∗.
3. Comparison with Barannikov-Kontsevich’s Frobenius manifold Assume that X is a closed Calabi-Yau n-manifold, fix a nowhere vanishing holo- morphic n-form Ω Γ(X, ΛnT ∗X). Barannikov-Kontsevich [1] considered the dGBV algebra with ∈ p q ∗ = k, k = q p kΓ(X, Λ TX Λ T X). A ⊕A A ⊕ + = ⊗ Here is Z-graded. It also has an induced Z2-grading. This grading is different fromA that in [1] (shifted by 1), we adopt this grading to be compatible with the notations of Manin [18]. The multiplication on is given by the ordinary wedge ∗ ∧ A products on Λ∗T X and Λ∗TX. The derivation is δ = ∂¯. Notice that for any two integers 0 p, q n, Ω defines an isomorphism ≤ ≤ ∗ ∗ ΛpTX ΛqT X Λn−pT ∗X ΛqT X, γ γ Ω, ⊗ → ⊗ 7→ ⊢ defined by contraction of the p-vector with Ω to get a form of type (n p, 0). Then ∆ is defined by − (∆γ) Ω= ∂(γ Ω). ⊢ ⊢ Tian-Todorov lemma shows that the bracket, defined by [α β] = ( 1)|α|(∆(α β) ∆α β ( 1)α|α ∆β), • − ∧ − ∧ − − ∧ is given by the wedge product on type (0, )-forms and the Schouten-Nijenhuis bracket on type ( , 0) polyvector fields. It is straightforward∗ to check that ( , , δ, ∆) as above is a dGBV∗ algebra. Furthermore, the linear functional A ∧
: C, γ = (γ Ω) Ω Z X A → R R ⊢ ∧ is a nice integral on X. 8 HUAI-DONGCAO&JIANZHOU
Since the complex ( ,δ) contains the deformation complex A ∂¯ ∂¯ Ω0,0(TX) Ω0,1(TX) Ω0,2(TX), → → It is called the extended deformation complex. Barannikov-Kontsevich [1] (Lemma 2.1) showed that the deformation functor associated with the graded differential Lie algebra ( [ 1], δ, [ ]) is represented by the formal spectrum of formal power series generatedA − by H′,·•· the dual of H = H( ,δ). This is the extended moduli space of complex structures in Witten [28]. Furthermore,A they constructed a structure of a formal Frobenius manifold on it. Remark 3.1. As in Remark 2.2, One gets Frobenius supermanifold structure. To facilitate the comparison with our construction, we now rewrite the opera- tor ∆ in Barannikov-Kontsevich [1], which appeared in earlier work of Tian [23] and Todorov [24] with different notation, in terms of more familiar operator. To ∗ start with, notice that the Hermitian metric induces an isomorphism TX ∼= T X. Therefore, we get, for any two integers 0 p, q n, an isomorphism ≤ ≤ p q ∗ p ∗ q fp,q :Λ TX Λ T X Λ T X Λ TX. ∗ ⊗ → ⊗ On ΛpT X ΛqTX, we consider the opeartor ⊗ ∗ ∗ ∂¯∗ : Γ(X, ΛpT X ΛqTX) Γ(X, Λp−1T X ΛqTX). ⊗ → ⊗ Lemma 3.1. We have the following commutative diagram: ∗ ∗ Γ(X, ΛpTX ΛqT X) ∆ Γ(X, Λp−1TX ΛqT X) ⊗ −−−−→ ⊗
fp,q fp−1,q ∗ ∗ Γ(X, ΛpT yX ΛqTX) Γ(X, Λp−1T yX ΛqTX). ⊗ −−−−→−∂¯∗ ⊗ Proof. It is well-known that both ω and Ω are parallel with respect to the Levi- Civita connection. It follows that near each x X, one can find a local frame e1, ,en of T 1,0X, such that Ω = e1 e∈n, ω = e1 e¯1 + + en e¯n. { ··· } ∧ · · · ∧ 1 ··· n ∧ Furthermore, ej ek = e¯j ek = ej e¯k = e¯j e¯k = 0 at x. Let e , ,e be the ∇ ∇ ∇ ∇ ∗ { ··· } dual basis. Near x, every γ Γ(X, Λp−1TX ΛqT X) can be written as ∈ ⊗ K γ = γJK eJ e¯ , X ⊗ wehre J runs over multiple indices (j , , jp), 1 j < < jp n, K run 1 ··· ≤ 1 ··· ≤ over multiple inddices (k , , kq), 1 k < < kq n, eJ = ej1 ej , 1 ··· ≤ 1 ··· ≤ ∧···∧ p e¯K =e ¯k1 e¯kq . Then we have ∧···∧ −1 ¯∗ −1 ¯∗ J fp−1,q∂ fp,qγ = fp−1,q( ∂ (γJK e¯ eK )) X ∧ −1 J = fp−1,q( ( ej γJK )(¯ej e¯ ) eK ) − X ∇ ⊢ ∧ j K = ( ej γJK )(e eJ ) e¯ . − X ∇ ⊢ ∧ On the other hand, (∆γ) Ω = ∂(γ Ω) ⊢ ⊢ K = ∂(γJK (eJ Ω) e¯ ) X ⊢ ∧ j K = ( ej γJK )(e (eJ Ω)) e¯ . X ∇ ∧ ⊢ ∧ FROBENIUS MANIFOLD STRUCTURE ON DOLBEAULT COHOMOLOGY 9
−1 ∗ It is then obvious that f ∂¯ fp,qγ = ∆γ. p−1,q − ¯∗ −1 ¯∗ Denote ∂ = fp−1,q∂ fp,q. We have the following interesting comparison of the two dGBVc algebras: p q ∗ ∗ (BK) = p,qΓ(X, Λ TX Λ T X), δ = ∂,¯ ∆= ∂¯ , A ⊕ ⊗ − p ∗ q ∗ ∗ (CZ) = p,qΓ(X, Λ T X Λ T X), δ = ∂,¯ ∆= ∂c, A ⊕ ⊗ (The definitions of the multiplications are similar!) It is reasonable to conjecture that the two corresponding Frobenius manifolds are mirror images of each other.
References [1] S. Barannikov, M. Kontsevich, Frobenius Manifolds and Formality of Lie Algebras of Polyvec- tor Fields, preprint, alg-geom/9710032. [2] J. Bertin, C. Peters, Variations de structures de Hodge, vari´et´es de Calabi-Yau et sym´etrie miroir, in Introduction `ala th´eorie de Hodge, 169–256, Panor. Synth`eses, 3, Soc. Math. France, Paris, 1996. [3] J.-L. Brylinski, A differential complex for Poisson manifolds, J. Differential Geom. 28 (1988), no. 1, 93–114. [4] P. Candelas, X. C. de la Ossa, p. S. Green, L. Parkes, A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory, Nuclear Phys. B 359 (1991), no. 1, 21–74. [5] H.-D. Cao, J. Zhou, On Quantum de Rham Cohomology Theory, preprint, April, 1998. [6] H.-D. Cao, J. Zhou, Identification of Two Frobenius Manifolds In Mirror Symmetry, preprint, 1998. [7] B. Dubrovin, Integrable systems in topological field theory, Nuclear Phys. B 379 (1992), no. 3, 627–689. [8] B. Dubrovin, Geometry of 2D topological field theories, in Integrable systems and quan- tum groups (Montecatini Terme, 1993), 120–348, Lecture Notes in Math., 1620, Springer, Berlin, 1996. [9] W.M. Goldman, J.J. Millson, The deformation theory of representations of fundamental groups of compact Khler manifolds, Inst. Hautes tudes Sci. Publ. Math. No. 67 (1988), 43–96. [10] P. Griffiths, J. Harris, Principles of algebraic geometry. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York, 1978. [11] M. Kontsevich, Homological algebra of mirror symmetry, in Proceedings of the Interna- tional Congress of Mathematicians, Vol. 1, 2 (Zrich, 1994), 120–139, Birkhuser, Basel, 1995. [12] M. Kontsevich, Deformation quantization of Poisson manifolds, I, preprint, q-alg/9709040. [13] J.-L. Koszul, Crochet de Schouten-Nijenhuis et cohomologie, The mathematical heritage of Elie´ Cartan (Lyon, 1984). Astrisque 1985, Numero Hors Serie, 257–271. [14] J. Li, G. Tian, Comparison of the algebraic and the symplectic Gromov-Witten invariants, preprint, alg-geom/9712035. [15] B. Lian, K. Liu, S.T. Yau, Mirror principle I, preprint, alg-geom/9712011. [16] G. Liu, Associativity of quantum multiplication, preprint, 1994. [17] D. McDuff, D. Salamon, J-holomorphic curves and quantum cohomology. University Lecture Series, 6. American Mathematical Society, Providence, RI, 1994. [18] Y. Manin, Three constructions of Frobenius manifolds: a comparative study, preprint, math.QA/9801006. [19] D.R. Morrison, Mirror symmetry and rational curves on quintic threefolds: a guide for mathematicians, J. Amer. Math. Soc. 6 (1993), no. 1, 223–247. [20] J. Morrow, K. Kodaira Complex manifolds, Holt, Rinehart and Winston, Inc., New York- Montreal, Que.-London, 1971. [21] Y. Ruan, G. Tian, A mathematical theory of quantum cohomology, J. Differential Geom. 42 (1995), no. 2, 259–367. [22] G. Tian, Smoothness of the universal deformation space of compact Calabi-Yau manifolds and its Petersson-Weil metric, in Mathematical aspects of string theory (San Diego, Calif., 1986), 629–646, Adv. Ser. Math. Phys., 1, World Sci. Publishing, Singapore, 1987. 10 HUAI-DONGCAO&JIANZHOU
[23] G. Tian, Quantum cohomology and its associativity, in Current developments in math- ematics, 1995 (Cambridge, MA), 361–401, Internat. Press, Cambridge, MA, 1994. [24] A.N. Todorov, The Weil-Petersson geometry of the moduli space of SU(n ≥ 3) (Calabi-Yau) manifolds. I., Comm. Math. Phys. 126 (1989), no. 2, 325–346. [25] C. Vafa, Topological mirrors and quantum rings, in Essays on mirror manifolds, S.T. Yau ed., 96–119, Internat. Press, Hong Kong, 1992. [26] I. Vaisman, Lectures on the geometry of Poisson manifolds. Progress in Mathematics, 118. Birkhuser Verlag, Basel, 1994. [27] E. Witten, Two-dimensional gravity and intersection theory on moduli space, in Surveys in differential geometry (Cambridge, MA, 1990), 243–310, Lehigh Univ., Bethlehem, PA, 1991. [28] E. Witten, Mirror manifolds and topological field theory, in Essays on mirror manifolds, S. T. Yau ed., International Press Co., Hong Kong, 1992. [29] S.T. Yau ed., Essays on mirror manifolds, International Press, Hong Kong, 1992.
Department of Mathematics, Texas A & M University, College Station, TX 77843 E-mail address: [email protected], [email protected]