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 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 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 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 , 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 . 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 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 . 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]