arxiv: v1 [math-ph] 31 Dec 2018

Transcription

1 arxiv: v1 [math-ph] 31 Dec 2018 Three-partition Hodge integrals and the topological vertex Toshio Naatsu Institute for Fundamental Sciences, Setsunan University 17-8 Ieda Naamachi, Neyagawa, Osaa , Japan Kanehisa Taasai Department of Mathematics, Kindai University Kowaae, Higashi-Osaa, Osaa , Japan Abstract A conjecture on the relation between the cubic Hodge integrals and the topological vertex in topological string theory is resolved. A central role is played by the notion of generalized shift symmetries in a fermionic realization of the two-dimensional quantum torus algebra. These algebraic relations of operators in the fermionic Foc space are used to convert generating functions of the cubic Hodge integrals and the topological vertex to each other. As a byproduct, the generating function of the cubic Hodge integrals at special values of the parameters w therein is shown to be a tau function of the generalized KdV aa Gelfand-Dicey hierarchies. December, naatsu@mpg.setsunan.ac.jp taasai@math.indai.ac.jp 1

2 1 Introduction Let M g,n denote the moduli space of connected complex algebraic curves of genus g with n mared points and M g,n the Deligne-Mumfordcompactification. Mared points on an algebraic curve C of genus g are referred to as z 1,...,z n. The Hodge integrals are integrals on M g,n of the form ψ i 1 1 ψn in λj 1 1 λ jg g, M g,n where ψ i = c 1 L i is thefirst Chernclass ofthebundle L i ofthecotangent space ofc at the i-th mared point z i, and λ j = c j E is the j-th Chern class of the Hodge bundle E over M g,n. These Hodge integrals are building blocs of the localization computation of Gromov-Witten invariants [1]. The localization formula expresses those invariants as a sum of weighted graphs [2]. Integrals of the form s i=1 g u i n, j=1 1 zj ψ j M g,n where g u is the characteristic polynomial g g u = 1 r λ r u g r = u g λ 1 u g g λ g, r=0 arise as the vertex weights in the localization computation of Gromov-Witten invariants of an s-dimensional target space. Li, Liu, Liu and Zhou [3] reformulated the topological vertex in topological string theory[4] on the basis of formal relative Gromov-Witten theory of non-compact Calabi- Yau threefolds. The topological vertex is a diagrammatic method to compute allgenus A-model topological string amplitudes on smooth non-compact toric Calabi- Yau threefolds. It is somewhat confusing that the vertex weight itself is called the topological vertex. All building blocs of the vertex weight are genuinely combinatorial objects such as partitions, the Littlewood-Richardson numbers and the Schur functions. The geometric approach of Li et al. stems from their proof of the Mariño-Vafa 1 conjecture and its generalization [5, 6, 7]. The Mariño-Vafa conjecture [8] is a 1 The Mariño-Vafa conjecture was also resolved by Oounov and Pandharipande using a quite different method. 2

3 variation of the so called ELSV formula [9]. The ELSV formula expresses the Hurwitz numbers of ramified coverings of P 1 in terms of linear s = 1 Hodge integrals. The Mariño-Vafa conjecture claims a similar relation between certain open Gromov-Witten invariants and cubic s = 3 Hodge integrals. Actually, the open Gromov-Witten invariants considered therein are related to a special case of the topological vertex. The approach to the full i.e., three-partition topological vertex, just lie the proof of the Mariño-Vafa conjecture, starts from a generating function of cubic Hodge integrals. The cubic Hodge integrals are labelled by a triple µ = µ 1,µ 2,µ 3 of partitions and depend on a triple w = w 1,w 2,w 3 of parameters. Li et al. employ various sillful ideas to derive a combinatorial expression of the topological vertex from the generating function. This expression, however, taes a form apparently different from the topological vertex of Aganagic et al. Showing several pieces of evidence, Li et al. conjecture that the two expressions of the topological vertex are equivalent. In this paper, we prove the equivalence of the two different expressions of the topological vertex. Our strategy is to construct a generating function of the topological vertex of Aganagic et al. modified to depend on the parameters w of the cubic Hodge integrals, and to show that it coincides with an exponentiated version of the generating function of Li et al. To this end, we mae use of tools developed in a series of our wor on the melting crystal models [10, 11] and topological string theory [12, 13, 14]. A central role is played by the notion of generalized shift symmetries [15] in a fermionic realization of the two-dimensional quantum torus algebra. We start from a fermionic representation of the generating function of the topological vertex. The generalized shift symmetries enable us to convert this fermionic representation to the generating function of cubic Hodge integrals of Li et al. This implies the equivalence of the two expressions of the topological vertex. As a byproduct, we find a new lin between the topological vertex and integrable hierarchies. Just after the first proposal [4], particular generating functions of the topological vertex were pointed out to be tau functions of integrable hierarchies such as the KP and 2D Toda hierarchies [16, 17]. We show that the generating function of the cubic Hodge integrals at special values of the parameters w is a tau function of the generalized KdV aa Gelfand-Dicey hierarchies. Such a lin with the generalized KdV hierarchies seems to be unnown in the past literature. Let us explain these bacgrounds and results in more detail. 3

4 1.1 Partitions, representations of symmetric group and the Schur functions Our notations for partitions, representations of symmetric groups and the Schur functions are mostly borrowed from Macdonald s boo [18]. Let us recall these notions and basic facts. A partition is a sequence of non-negative integers µ = µ i i=1 = µ 1,µ 2,... satisfying µ i µ i+1 for all i 1. The number of the non-zero µ i is the length of µ, denoted by lµ. The sum of the non-zero µ i is the weight of µ, denoted by µ = µ 1 +µ 2 +. Partitions have another expression which indicates the number of times each non-negative integers occurs in a partition µ = 1 m 1 2 m 2..., where m i = m i µ denotes the number of i occurs in µ. The automorphism group of µ, denoted by Autµ, consists of possible permutations among the non-zero µ i s that leave µ. The number of elements in Autµ is Autµ = m i µ!. Note that partitions are identified with the Young diagrams. The size of the Young diagram µ is µ, which is the total number of boxes of the diagram, and lµ is the height of the diagram. The conjugate or transpose of µ is the partition t µ whose diagram is the transpose of the diagram µ. If µ = d, we say that µ is a partition of d. Each partition of d corresponds to a conjugacy class of the d-th symmetric group S d. Let Cµ denote the conjugacy class determined byapartitionµofd. Itisdeterminedbythecycletypeµofarepresentative σ S d of Cµ as σ = 1,...,µ 1 µ 1 +1,...,µ 1 +µ 2 µ 1 + +µ l 1,...,d, where l = lµ and j 1,...,j m means the cyclic permutation sending j 1 j 2 j m j 1. The number of elements in Cµ is Cµ = d!, z µ = m i µ!i miµ. z µ 4 i=1 i=1

5 Each partition µ of d determines the irreducible representation ρ µ,v µ of S d. χ µ denotes the character Tr Vµ ρ µ. The value of χ µ on the conjugacy class Cν S d, denoted by χ µ ν = χ µ Cν, can be computed by the Frobenius formula s µ x = ν =d χ µ ν z ν p ν, x = x i i=1 = x 1,x 2,..., 1.1 where p ν s are the monomials p ν = p ν1 p ν2... of the power sums p = x i, = 1,2,..., i=1 and s µ x denotes the Schur function. 1.1 has the inversion formula p µ = χ ν µs ν x. 1.2 ν =d Let us recall the Jacobi-Trudi formula s µ x = deth µi i+jx n i,j=1, 1.3 where the length of µ = µ i i=1 is not larger than n and h m x s are the complete symmetric functions defined by the generating function h m xz m = m=0 1 x i z 1. i=1 Liewise, the sew Schur functions have a determinant formula similar to 1.3. Let ν = ν i i=1 be a partition such that µ ν, i.e., µ i ν i for all i. The determinant formula reads s µ/ν x = det h µi ν j i+jx n i,j=1, 1.4 where µ/ν represents the sew diagram obtained by removing the Young diagram ν from the larger one µ. 5

6 The Littlewood-Richardson numbers c η µν are non-negative integers which are determined by the relation s µ xs ν x = c η µνs η x, 1.5 η P where the sum with respect to η ranges over the set P of all partitions, and is a finite sum because c η µν = 0 unless η = µ + ν, η µ and η ν. The sew Schur functions can be expressed in a linear combination of the Schur functions weighted by the Littlewood-Richardson numbers as s µ/ν x = η P c µ νη s ηx Three-partition Hodge integrals The three-partition Hodge integrals are Hodge integrals that depend on a triple of partitions in a specific manner. For a triple of partitions µ = µ 1,µ 2,µ 3 P 3 = P P P, we use the notations l µ = 3 lµ a, Aut 3 µ = Autµ a. a=1 a=1 l µ mared points on an algebraic curve of genus g are referred to as z 1 1,...,z 1 lµ 1, z 2 1,...,z2 and lµ 2 z3 1,...,z3. Cotangent lines of curves at the mared point lµ 3 za i are glued together and form the complex line bundle L a i over M g,l µ. Let w = w 1,w 2,w 3 be a triple of variables which satisfy the condition w 1 +w 2 + w 3 = 0. The indices of those variables are understood to be cyclic as w i+3 w i. For µ P 3 + = P 3 {,, }, the three-partition Hodge integrals are defined by G g, µ w = 1 l µ Aut µ 3 a=1 3 M g,l µ a=1 lµ a i=1 { w a+1 i µ a 1+ µa j=1 g w aw lµa 1 lµ a i=1 a wa µ a i ψ a i i w a+1 jw a }, 1.7 where ψ a i = c 1 L a i are the ψ-classes associated with the mared points z a i. 6

7 We introduce generating functions of these three-partition Hodge integrals. Let p 1 = p 1, p2 = p 2 and p3 = p 3 be formal variables, denoted collectively by p = p 1,p 2,p 3. We put p µ a = lµ i=1 pa µ i for a non-zero partition µ = µ i i=1, and pa = 1 for the zero partition. The generating functions are defined by G µ λ; w = λ 2g 2+l µ G g, µ w, 1.8 g=0 Gλ; p ; w = µ P 3 + G µ λ; w 3 a=1 p a µ a, 1.9 where λ amounts to the string coupling constant. By degree counting of the RHS of 1.7, three-partition Hodge integrals turn out to be homogeneous of degree 0 with respect to w: This implies that G g, µ t w = G g, µ w, t w = tw 1,tw 2,tw 3, t 0. G µ λ;t w = G µ λ; w, Gλ; p ;t w = Gλ; p ; w. Therefore, w can be chosen as w = 1, τ, 1 τ 1.10 where τ is a new variable. For w of the form 1.10, the three-partition Hodge integrals are expressed in a shortened form as G g, µ τ = G g, µ 1,τ, 1 τ. The same abbreviation is also used for the generating functions 1.8 and 1.9 as G µ λ;τ = G µ λ;1,τ, 1 τ, Gλ; p ;τ = Gλ; p ;1,τ, 1 τ. The generating function 1.9 can be expanded in an infinite series of the Schur functions by the inversion formula 1.2. The disconnected version of 1.9 turns out to tae the specific form [3] expgλ; p ; w = µ P 3 1 C µ λe 2 λ 3 a=1 κµa w a+1 /w a 3 a=1 s a µ a,

8 where κµ a = i=1 µ a i µ a i 2i+1 denotes the second Casimir invariant of µ a and s a µ a = ν P χ µ aν p ν a. z ν s a µ a is the Schur function s µ a obtained by substituting p ν = p a ν shows that expgλ; p ; w depends on w in a particular form. It is a consequence of the invariance theorem [3] for a generating function of formal relative Gromov-Witten invariants of C 3. These invariants count stable maps from possibly disconnected curves toc 3. Inthelocalizationcomputationofthese invariants, thefixed points are labelled by a triple of partitions. The contribution from each fixed point taes the form of three-partition Hodge integrals multiplied by the double Hurwitz numbers of P 1. Thus, the generating function of the formal relative Gromov-Witten invariants is a sum of these products over the sets of partitions. Though these terms depend on w, the invariance theorem implies that the generating function itself does not depend on w in total. Accordingly, w-dependence of each term should cancel out after the summation. With the aid of a combinatorial expression [7] of the double Hurwitz numbers, the cancellation eventually yields the expansion Three-partition Hodge integrals at special values of τ reduce to two-partition Hodge integrals since the ψ-classes can be renumbered in terms of two partitions at such values of τ. For instance, at τ = 1, G g,µ 1,µ 2,µ 1 = 1 3 µ1 lµ 1 z µ 1 µ 2 G z µ 1z g,,µ 1 µ 2,µ 1 3 µ 2 1 m+1 +δ g,0 m δ µ 1,µ 2,µ,,m,2m, where µ 1 µ 2 denotes the partition obtained by the union of the parts of µ 1 and µ 2 which are rearranged in descending order. The second term in the RHS is an anomalous contribution from the unstable cases. In terms of the generating functions 8

9 1.9, the reduction formula 1.12 taes the form exp G λ;p 1,p 2,p 3 ;1 = exp G λ;0,p +,p 3 ;1 1 m+1 exp m p1 m p 3 2m, 1.13 where p + = p +, p+ = 1+1 p 1 +p 2. An explicit expression of the coefficients C µ λ can be read out from 1.13 by plugging 1.11 into 1.13: e 1λ κµ 1 /2+κµ 2 +κµ 3 /4 Cµ 1,µ 2,µ λ 3 = c µ1 t η 1 ν c ν+ 1 t ν 1 µ c µ3 2 η 3 ν e 1λκν + +κν 3 /4 C,ν 3 +,ν 3 λ ν 1,ν 3,ν +,η 1,η 3 P ξ P χ η 1ξχ η 32ξ z ξ, 1.14 where 2ξ = 2ξ i i=1 for ξ = ξ i i=1, and c µ1 t η 1 ν 1, c ν+ t ν 1 µ 2 and c µ3 η 3 ν 3 are the Littlewood- Richardson numbers1.5. Furthermore, the cut-and-join equations for the two-partition Hodge integrals [7] imply that C,ν +,ν 3 λ = q κν3 /2 s ν +q ρ st ν 3q ν+ ρ, 1.15 where q = e 1λ, and s ν +q ρ and st ν 3q ν+ ρ are the special values of the infinitevariateschurfunctionss ν +xandst ν 3xatq ρ = q i 1/2 i=1 andq ν+ ρ = q ν+ i +i 1/2 i=1. As a consequence of 1.14 and 1.15, C µ λ can be expressed in a closed form [3]: C µ λ = q κµ1 /2 κµ 2 κµ 3 /4 ν 1,ν 3,ν +,η 1,η 3 P c µ1 t η 1 ν c ν+ 1 t ν 1 µ c µ3 2 η 3 t ν q κν+ +κν 3 /4 s 3 ν +q ρ s ν 3q ν+ ρ ξ P χ η 1ξχ η 32ξ z ξ Topological vertex and three-partition Hodge integrals The toric data of a non-compact toric Calabi-Yau threefold are encoded in the associated fan of rational cones of dimension 3 on R 3. A plane section of this fan yields 9

10 Figure 1: A diagrammatic representation of the topological vertex a triangulated polyhedron. Its dual graph is trivalent, and referred to as the web or toric diagram. Each vertex of this trivalent graph is given a vertex weight called the topological vertex. According to the proposal of Aganagic et al. [4], the topological string amplitudes on the Calabi-Yau threefold can be obtained by gluing these vertex weights along the edges of the graph. Let q be a parameter in the range 0 < q < 1. The vertex weight at each vertex is labelled by a triple of partitions µ = µ 1,µ 2,µ 3 P 3, and defined as 2 C µ q = q κµ1 /2 st µ 2q ρ η Ps µ 1 /ηq t µ 2 ρ st µ 3 /ηq µ2 ρ µ 1,µ 2 and µ 3 are assigned to the three legs of the trivalent vertex numbered in a counterclocwise direction. See Figure 1. s µ 1 /ηq t µ 2 ρ and st µ 3 /ηq µ2 ρ are the special values of the infinite-variate sew Schur functions s µ 1 /ηx and st µ 3 /ηx at q t µ 2 ρ = q t µ 2 i +i 1/2 i=1 and ρ = q q µ2 µ2 i +i 1/2 i=1. We introduce a generating function of the topological vertex. Let x = x i i=1, y = y i i=1 and z = z i i=1 be three sets of infinitely many variables. Define the generating function as Wq;x,y,z; w = 3 C µ qq 1 2 a=1 κµa 1+w a+1 /w a s µ 1xs µ 2ys µ 3z. µ P We follow a definition used in the recent literature [19, 20]. This definition differs from the earlier one [4, 16] in that q is replaced by q 1 and an overall factor of the form q 3 a=1 κµa /2 is multiplied. 10

11 In the case where w taes the form 1.10, we use the abbreviated notation Wq;x,y,z;τ = Wq;x,y,z;1,τ, 1 τ. Our goal is to show the equivalence between the aforementioned generating functions of the topological vertex and three-partition Hodge integrals. More precisely, we prove the following: Theorem 1. Let q = e 1λ. The generating function 1.18 coincides with the exponential of the generating function 1.9 as W q;x,y,z; w = expgλ; p ; w, 1.19 where the variables x, y and z are related to p = p 1,p 2,p 3 as p 1 = p x, p 2 = p y, p 3 = p z, = 1,2, In other words, the coefficients C µ λ of 1.11 are connected with the topological vertex as C µ λ = q a=1 κµa C µ q, µ = µ 1,µ 2,µ 3 P An immediate corollary of this result is cyclic symmetry of the topological vertex, which means that it is invariant under a cyclic permutation of three partitions assigned to the three legs, i.e., C µ 1,µ 2,µ 3 q = C µ 2,µ 3,µ 1 q, µ = µ 1,µ 2,µ 3 P Actually, three-partition Hodge integral is easily found to be invariant under simultaneous cyclic permutations of µ = µ 1,µ 2,µ 3 and w = w 1,w 2,w 3 as G g,µ 1,µ 2,µ 3w 1,w 2,w 3 = G g,µ 2,µ 3,µ 1w 2,w 3,w 1. This fact implies the cyclic symmetry of C µ q by

12 1.4 Integrable structure at positive integer values of τ The reduction formula 1.13 of three-partition Hodge integrals can be extended to the case where τ taes any positive integer value N = 1,2,... Moreover, this leads to an unexpected relation with the generalized KdV hierarchies. The generalized KdV hierarchies are reduced systems of the KP hierarchy see Dicey s boo [21] for details of these integrable hierarchies. The KP hierarchy in the Lax formalism is the system L t = [B,L], = 1,2,..., of Lax equations for the pseudo-differential operator L = x + n=1 u n+1 n x, x = x, where the coefficients u n are functions of the time variables t = t 1,t 2,..., t 1 is identified with x, and B is the differential operator part B = L + = x +b 2 2 x + +b of the -th power of L. If the N +1-st power L = L N+1 of L is a differential operator, i.e., L = B N+1 = N+1 x L does not depend on t mn+1, m = 1,2,...: +b 2 N 1 x + +b N+1, L t mn+1 = 0, m = 1,2,... This condition conversely characterizes the condition L N+1 = B N+1. The remaining Lax equations can be reduced to the Lax equations L t = [B,L], = 1,2,..., for L. These Lax equations comprises the N-th generalized KdV hierarchy. The KdV hierarchy amounts to the case where N = 1. 12

13 This reduction procedure can be reformulated in terms of the tau function T = T t. The tau function yields the dressing operator via the generating function wt,z = 1+ n=1 W = 1+ n=1 w n n x w n z n = T t 1 z 1,...,t z /,.... T t 1,...,t,... The dressing operator, in turn, defines the Lax operator as L = W x W 1. Consequently, if the tau function satisfies the equations 2 logt t t mn+1 = 0,,m = 1,2,..., 1.23 the coefficients of W and L do not depend on t mn+1, m = 1,2,... This is a sufficient condition for the KP hierarchy to reduce to the N-th generalized KdV hierarchy. Note that this reduction condition is weaer than the commonly used condition T t mn+1 = 0, m = 1,2,... It is the weaer condition 1.23 that is relevant to the generating function 1.11 of three-partition Hodge integrals. Let Tλ,N,p 1,p 2,t denote the function of t = t obtained from the generating function 1.11 by substituting t = p 3 /, = 1,2,...: λ,n,p 1 and p 2 are treated as parameters. T λ,n,p 1,p 2,t = expgλ; p; N Theorem 2. Let N be a positive integer. T λ,n,p 1,p 2,t is a tau function of the KP hierarchy that satisfies the condition The associated Lax operator L satisfies the reduction condition L N+1 = B N+1 for the N-th generalized KdV hierarchy. 13

14 Organization of the article We start Section 2 with a brief review on a two-dimensional charged free fermion system. Various operators on the fermionic Foc space, including a realization of the two-dimensional quantum torus algebra, are introduced. These operators are used as fundamental tools in the discussions through the article. In Proposition 2.2, we give a fermionic representation of the generating function of the topological vertex. In Section 3, we explain the generalized shift symmetries. These symmetries act on a set of basis elements V m of the quantum torus algebra so as to shift the indices,m in a certain way. The shift symmeries are formulated by special values of the vertex operators Γ ± x and Γ ± x and the exponential operator qk/2 = exp K logq, as 2 V m L = 1 L V m, V m L = L V m, qk/2 V m q K/2 = V m m, where L = Γ + q ρ Γ q ρ and L = Γ +q ρ Γ q ρ are the products of multivariate vertex operators Γ ± x = i=1 Γ ±x i and Γ ± x = i=1 Γ ± x i specialized to q ρ. These shift symmetries can be generalized by replacing L and L with L α = s α q ρ Γ q α ρ Γ + q t α ρ, L α = s α q ρ Γ q α ρ Γ +q t α ρ and modifying q K/2 in a certain manner. The generalized shift symmetries are summarized in Propositions 3.1 and 3.2. The fermionic representation of the generating function in Proposition 2.2 involves a weighted sum of operators of the form G α τs α, α P where G α τ = q κα/2 q τk/2 L α q τk/21+τ is a particular linear combination of the generalized shift symmetries. The generalized shift symmetries imply that, at certain values of τ, the foregoing sum is factorized into a triple product of operators. The factorization formula at τ = 1 is given in Theorem 3. In Section 4, we prove Theorem 1 using the results obtained in the preceding section. The aforementioned fermionic representation of the generating function of the topological vertex can be converted into a new representation by Theorem 3. The resulting representation is presented in Proposition 4.2. With the aid of the new representation of the generating function, we can reconsider its Schur function expansion and eventually find out the relation Theorem 1 is thus proved. 14

15 In Section 5, we prove Theorem 2. The foregoing weighted sum of operators can be factorized in the cases where τ = 1/N, N = 2,3,..., as well. The factorized expression is presented in Theorem 4. This formula yields in Proposition 5.1 a new representation of the generating functions of the topological vertex at positive integral valuesofτ. Theorem1andProposition5.1leadtoareductionformulaofthegenerating functions of three-partition Hodge integrals in Proposition 5.2. This formula gives a generalization of 1.12 at all positive integral values of τ. We then consider integrable hierarchies underlying the generating functions of two-partition Hodge integrals. By combining these considerations, we eventually obtain Theorem 2. Acnowledgements This wor is supported by JSPS KAKENHI Grant Numbers JP15K04912 and JP18K Fermionic representations of generating functions 2.1 Fermionic Foc space and operators Let ψ n,ψn,n Z, denote the Fourier modes of two-dimensional charged free fermion fields ψz = ψ n z n 1, ψ z = n n Z n Zψ z n. They satisfy the anti-commutation relations ψ m ψ n +ψ nψ m = δ m+n,0, ψ m ψ n +ψ n ψ m = 0, ψ mψ n +ψ nψ m = 0. The associated Foc space and its dual space are decomposed into the charge-p sector for p Z. Only the charge-0 sector is relevant to the subsequent computations. An orthonormal basis of the charge-0 sector is given by the ground states and the excited states 0 =...ψ i+1...ψ 1 ψ 0, 0 = ψ 0 ψ 1...ψ i 1... λ =...ψ λ i i+1...ψ λ 2 1 ψ λ 1, 15

16 λ = ψ λ1 ψ λ ψ λi +i 1... labelled by partitions. The normal ordered product is prescribed by : ψ m ψ n : = ψ m ψ n 0 ψ m ψ n 0. Fundamental tools in our computations are the following operators on the Foc space which preserve the charge. i The zero modes L 0 = n Z n : ψ n ψ n :, W 0 = n Zn 2 : ψ n ψ n : of the Virasoro and W 3 algebras and the Fourier modes J m = n Z : ψ m n ψ n :, m Z of the U1 current Jz = m Z J mz m 1 =: ψzψ z :. ii The fermionic realization K = W 0 L 0 +J 0 /4 = n Zn 1/2 2 : ψ n ψ n : of the so called cut-and-join operator [22]. iii The basis elements and V m = q m+1/2 q n : ψ m n ψn : q/2 1 q δ m,0, Z 0, m Z n Z V 0 m = J m, m Z of a fermionic realization 3 of the quantum torus algebra, which satisfy the commutation relations [ V m, V ] n l = q n lm 2 q n lm 2 V +l m+n +mδ +l,0 δ m+n,0,,l,m,n Z. 3 The normalization of V m for 0 differs from [10, 11] in that an overall factor q /2 is multiplied and that a constant term q /2 1 q 1 δ m,0 is subtracted. 16

17 iv The vertex operators Γ ± z = exp z J ±, Γ ± z = exp z J ± and the multi-variable extensions Γ ± x = Γ ± x i, Γ ±x = i=1 Γ ±x i. i=1 The matrix elements of those operators are well-nown. J 0 = V 0 0, L 0 and W 0 are diagonal to the basis { λ } λ P in the charge-0 sector as Consequently, we have λ J 0 µ = 0, λ L 0 µ = δ λµ λ, λ W 0 µ = δ λµ κλ+ λ. λ K µ = δ λµ κλ. 2.1 Other zero modes of the quantum torus algebra are liewise diagonal to the basis { λ } λ P. Their matrix elements are of the form λ V 0 µ = δ λµ ϕ µ, Z 0, where ϕ µ = q t µ i +i 1/2 for 1, i=1 i=1 q µ i+i 1/2 for 1. It is also well nown that the matrix elements of Γ ± x and Γ ± x are sew Schur functions λ Γ x µ = µ Γ + x λ = s λ/µ x, 2.2 λ Γ x µ = µ Γ + x λ = st λ/ t µx

18 2.2 Fermionic representation of generating function 1.18 Let us provide a fermionic representation of the generating function We first introduce a set of operator-valued functions labeled by partitions as G α τ = q κα 2τ sα q ρ q τ 2 K Γ q α ρ Γ + q t α ρ q 21+τ K, α P, τ 0, 1, 2.4 whereq τk/2 andq τk/21+τ aretheexponentialoperatorsexp τk 2 logq,exp τk 21+τ logq, and Γ q α ρ and Γ + q t α ρ denote respectively the multi-variate operators Γ x and Γ + x specialized at q α ρ and q t α ρ. The matrix element of 2.4 yields the topological vertex 1.17 as follows: Proposition 2.1. C µ q = q 1+τ 2 κµ1 1 2τ κµ2 + τ 21+τ κµ3 µ 1 Gt µ 2τ t µ 3, 2.5 where µ = µ 1,µ 2,µ 3. Proof. Wecomputethematrixelement intherhsof2.5byinterposing theidentity η η = 1 in the charge-0 sector as follows: η P µ 1 Gt µ 2τ t µ 3 = q κt µ 2 2τ st µ 2q ρ µ 1 q τ 2 K Γ q t µ 2 ρ τ η η Γ + q µ2 ρ τ q 21+τ K t µ 3 = q κµ2 2τ st µ 2q ρ η P µ 1 q τ 2 K Γ q t µ 2 ρ η η Γ + q µ2 ρ q 21+τ K t µ 3. By 2.1 and 2.2, the matrix elements in the RHS can be expressed as η P µ 1 q τ 2 K Γ q t µ 2 ρ η = q τ 2 κµ1 s µ 1 /ηq t µ 2 ρ, τ η Γ + q µ2 ρ q 21+τ K t µ 3 = q τ 21+τ κµ3 st µ /ηq 3 µ2 ρ. By plugging those expressions into 2.6, we find µ 1 Gt µ 2τ t µ 3 18 τ 2.6

19 = q τ 2 κµ τ κµ2 τ 21+τ κµ3 st µ 2q ρ s µ /ηq 1 t µ 2 ρ st µ /ηq 3 µ2 ρ η P = q 1+τ 2 κµ τ κµ2 τ 21+τ κµ3 C µ q. Thus we obtain 2.5. The generating function 1.18 has a fermionic expression of the following form due to 2.5: Proposition 2.2. Wq;x,y,z;τ = 0 Γ + x α P G α τst αy Γ z Proof. Using 2.5, three sums in the RHS of 1.18 for w = 1,τ, 1 τ become Wq;x,y,z;τ = µ 1 Gt µ 2τ t µ 3 s µ 1xs µ 2ys µ 3z µ P 3 = µ 1 P s µ 1x µ 1 µ 2 P Gt µ 2τs µ 2y = 0 Γ + x G α τst αy Γ z 0, α P where 2.2 and 2.3 are used in the last line. µ 3 P t µ 3 s µ 3z 3 Generalized shift symmetry and factorization formula The shift symmetries [10, 11] act on the basis elements of the quantum torus algebra. There are three different types of shift symmetries: i For 1 and m Z, V m Γ q ρ Γ + q ρ = 1 Γ q ρ Γ + q ρ V m

20 ii For 1 and m Z, iii For,m Z, V m Γ q ρ Γ + q ρ = Γ q ρ Γ + q ρ V m. 3.2 q K/2 V m q K/2 = V m m. 3.3 These symmetries together with their combinations are used to clarify the integrable structures of various melting crystal models [10, 11] and open topological string amplitudes [12], [13]. Liewise, quantum curves of open topological strings on the closed topological vertex and the strip geometries are derived [14] using the symmetries. An extension of the symmetries is investigated in the companion paper [15]. The generalized shift symmetries obtained therein provides a powerful tool to prove Theorem Generalized shift symmetries on quantum torus algebra The sew Young diagram α/β is called a ribbon iff there exist positive integers r and s, r > s, such that partitions α = α i i=1 and β = β i i=1 correlate to each other through the condition { αi i } N i=1 {β r r} = { β i i } N i=1 {α s s}, N > r, where { α i i } N and{ β i=1 i i } N arefinitesubsets ofzconsisting ofn distinct integers. i=1 See Figure 2. The semi-infinite subsets { α i i } and { β i=1 i i } are referred to the i=1 Maya diagrams of α and β. The length of a ribbon α/β is given by α β and the height, denoted by htα/β, is given by r s. The set of partitions of which subtraction from α leaves a ribbon of length is denoted by R,α = {β P } α/β is a ribbon of length.. Liewise, the set of partitions which leave a ribbon of length by subtraction of α is } R +,α {β = P β/α is a ribbon of length.. 20

21 Figure 2: The Young diagrams α = 7,5,4,4,3,2 and β = 7,5,3,2,1 are laid to overlap. The sew Young diagram α/β is indicated with hatched boxes and is a ribbon of length 7 and height 3. We describe these sets in a single symbol indexed by α P and Z, 0, as R,α = { R,α for 1, R +,α for 1. That means that R,α consists of partitions which can be obtained from α by removing a ribbon of length for 1 or by adding a ribbon of length for 1. For α P and β R,α, we introduce their relative sign by { 1 htα/β for 1, sgnα,β = 1 htβ/α for 1. Since β R,α implies α R,β, the relative sign is symmetric under the exchange of partitions sgnα,β = sgnβ,α. 21

22 3.1.1 Generalized shift symmetries Let us explain the extension of the shift symmetries i, ii and iii which is derived in [15]. For α P, we introduce an operator of the form Note that 3.1 is written with the aid of L as L α = s α q ρ Γ q α ρ Γ + q t α ρ. 3.4 V m L = 1 L V m, 1, m Z. We generalize the shift symmetry i by replacing L in the LHS with L α. This yields an extension of the following form. Proposition 3.1. [15] For Z, 0 and m Z, we have V m L α = 1 L α V m +qj 0 sgnα,βq mκα κβ/2 L β. 3.5 β R,α As regards the Heisenberg sub-algebra generated by V 0 m, we have V 0 m L α = L α V 0 m +ϕ m αl α. 3.6 Remar of α = with 1 reproduces 3.1. Otherwise, there is no counterpart in i. For instance, R l, = R + l, l 1 consists of hoos 1 l j j 1 of weight l. Thus, rewriting = l, 3.5 of α = with 1 reads V l m L = 1 l L V l m+l +q lj 0 l 1 l j q ml+1 2j/2 L 1 l j j, l 1. 1 j=1 The shift symmetry ii can be generalized in a manner similar to the case of i as described in Proposition 3.1. With α P, we associate an operator of the form Note that 3.2 is written with the aid of L as V m L α = s α q ρ Γ q α ρ Γ + q t α ρ. 3.7 L = 1 L V m, 1, m Z. The symmetry ii can be generalized by replacing L in the LHS with L α. We then obtain an extension of the following form. 22

23 Proposition 3.2. [15] For Z, 0 and m Z, we have V m L α = L α V m + 1m+1 q J 0 sgnα,βq mκα κβ/2 L β. 3.8 β R,α As regards the generators of the Heisenberg sub-algebra, we have V 0 m L α = L α V 0 m + 1m+1 ϕ m αl α. 3.9 Remar of α = with 1 reproduces 3.2. Otherwise, there is no counterpart in ii. The shift symmetry iii can be generalized as follows: Proposition 3.3. For,m Z, we have q γk V m q γk = V 2mγ m, 3.10 where γ is chosen to be a rational number which satisfies 2mγ Z. Proof. The commutation relations [K,ψ n ] = n+ 1 2 ψ n, [K,ψn 2 ] = n 1 2 ψn 2 are integrated to give q γk ψ n q γk = q γn+1/22 ψ n, q γk ψnq γk = q γn 1/22 ψ n Consider the case of m 0. Using 3.11, the LHS of 3.10 is computed as q γk V m q γk = q m+1/2 n = q m+1/2 n q n q γk : ψ m n ψ n : q γk q n+γn n+1/22 γn 1/2 2 : ψ m n ψ n : = q 2mγm+1/2 n q 2mγn : ψ m n ψ n : = V 2mγ m. In the case of m = 0, since K commutes with V 0, we have q γk V 0 q γk = V 0. Thus, we obtain

24 3.1.2 Particular combinations of generalized shift symmetries Combining 3.5 and 3.10, we obtain an operator-valued identity. Proposition 3.4. For m Z, m 0, at values of τ satisfying mτ Z and mτ 0, we have the operator-valued identity J m G α τ = G α τ 1 mτ J m1+τ +q mτj 0 sgnα,βg β τ β R mτ,α Proof. Using L α, we express G α τ in 2.4 as The symmetry 3.10 with γ = τ/2 reads which converts J m G α τ to G α τ = q κα/2τ q τk/2 L α q τk/21+τ. q τk/2 J m q τk/2 = V mτ m, J m G α τ = q κα/2τ J m q τk/2 L α q τk/21+τ Using 3.5, the RHS of 3.13 is further converted to RHS of 3.13 = q κα/2τ q τk/2 { 1 mτ L α V mτ m1+τ +qmτj 0 = G α τ 1 mτ q τk/21+τ V mτ m1+τ qτk/21+τ +q mτj 0 Here, the symmetry 3.10 gives = q κα/2τ q τk/2 V mτ m L α q τk/21+τ sgnα,βq κα κβ 2τ L β }q τk/21+τ β R mτ,α q τk/21+τ V mτ m1+τ qτk/21+τ = V 0 m1+τ = J m1+τ. Thus, the last line in 3.14 becomes RHS of 3.14 = G α τ 1 mτ J m1+τ +q mτj 0 24 β R mτ,α sgnα,βg β τ β R mτ,α sgnα,βg β τ.

25 We therefore obtain Operator-valued identity analogous to 3.12 can be obtained if we focus on 3.8 instead of 3.5. With α P, let us introduce an operator-valued function of the form G α τ = q κα/2τ q τk/2 L α q τk/21+τ, τ 0, Wenotethatthetopologicalvertex 1.17canbewrittenintermsofthematrixelement of 3.15 as C µ q = q 1+τ 2 κµ1 1 2τ κµ2 + τ 21+τ κµ3 t µ 1 G t µ 2 τ µ 3. Proposition 3.5. For m Z, m 0, at values of τ satisfying mτ Z, mτ 0, we have the operator-valued identity J m G α τ = G α τj m1+τ + 1 m+1 q mτj 0 sgnα,βg β τ β R mτ,α Proof. Using 3.8 instead of 3.5, the same computations as in the proof of Proposition 3.4 give rise to Factorization formulas at τ = 1 We consider generating functions of the operator-valued functions 2.4 and These generating functions can be factorized at τ = 1. Let us introduce infinite-variate functions s α [t] = 0 exp t J α, t = t. It is well nown that the functions s α [t] are converted to the Schur functions s α x by the Miwa transformation t = 1 x i, = 1,2,..., i=1 25

26 and the Schur functions st αx by another version of the transformation t = 1 x i, = 1,2,.... i=1 We note that the partial derivatives of s α [t] with respect to t become as follows. Proposition 3.6. tm s α [t] = β R m,α sgnα,βs β [t], m = 1,2, Proof. We rewrite the partial derivatives as tm s α [t] = tm 0 exp t J α = 0 exp t J J m α, 3.18 which can be computed by use of a version of Murnaghan-Naayama s rule: J α = β R,α sgnα,β β, Z 0. Applying the rule into the RHS of 3.18, we see RHS of 3.18 = sgnα, β 0 exp t J β = Thus we obtain β R m,α Operator-valued generating functions We define operator-valued generating functions by β R m,α sgnα,βs β [t]. G[t;τ] = α PG α τs α [t], 3.19 G [t;τ] = α PG α τs α[t]

27 Proposition 3.7. Partial derivatives of 3.19 and 3.20 with respect to t = t are expressed in the following forms. tm G[t;τ] = sgnα,βg β τ s α [t], 3.21 α P where m = 1,2,.... tm G [t;τ] = α P β R + m,α β R + m,α sgnα,βg βτ Proof. By 3.17, the partial derivatives of G[t;τ] read = α P β R m,α tm G[t;τ] = α PG α τ tm s α [t] sgnα,βg α τs β [t] = α P β R + m,α s α [t], 3.22 sgnβ,αg β τs α [t], 3.23 where the roles of α and β are exchanged in the last line. Similarly, the partial derivatives of G [t;τ] can be expressed as tm G [t;τ] = G α τ t m s α [t] = sgnβ,αg β τs α[t] α P α P β R + m,α Taing account of the symmetry sgnβ,α = sgnα,β, we find that 3.23 and 3.24 yield 3.21 and 3.22 respectively Factorization formulas at τ = 1 The operator-valued generating functions G[t;τ] and G [t;τ] at τ = 1 can be factorized into a triple product of operators. Theorem 3. factorization formulas at τ = 1 G[t;τ] and G [t;τ] at τ = 1 satisfy the identities G[t;1] = exp t q J 0 J G 1exp 1 +1 t q J 0 J 2,

28 G [t;1] = exp 1 +1 t q J 0 J G 1exp 1 t q J 0 J 2, 3.26 where G 1 and G 1 are operators of G τ and G τ specialized to τ = 1. Proof. Let us derive differential equations for G[t;1] and G [t;1]. We first consider the case of G[t;1]. Partial derivatives of G[t;1] with respect to t areof the form Note here that 3.12 now reads J G α 1 = G α 1 1 J 2 +q J 0 sgnα,βg β 1, Z β R,α We rewrite 3.27 for the cases of 1. By letting = m, these become sgnα,βg β 1 = q mj 0 J m G α 1+G α 1 1 m+1 q mj 0 J 2m, 3.28 β R + m,α where m = 1,2,.... By plugging 3.28 into the double sum, the RHS of 3.21 turns out to be RHS of 3.21 at τ=1 = q mj 0 J m G α 1+G α 1 1 m+1 q mj 0 J 2m s α [t] α P = q mj 0 J m α PG α 1s α [t]+ α P = q mj 0 J m G[t;1]+G[t;1] 1 m+1 q mj 0 J 2m. We thus find that G[t; 1] satisfies the first-order differential equations G α 1s α [t] 1 m+1 q mj 0 J 2m tm G[t;1] = q mj 0 J m G[t;1]+G[t;1] 1 m+1 q mj 0 J 2m 3.29 for m = 1,2,.... By the uniqueness of solutions of the initial value problem, 3.29 can be solved as G[t;1] = exp t q J 0 J G[0;1]exp 1 +1 t q J 0 J 2, 3.30 where G[0;1] denotes an operator at the initial time. Since G[0;1] = G 1, 3.30 yields

29 3.26 is liewise obtained by using Proposition 3.5 in place of Proposition 3.4. Partial derivatives of G [t;1] with respect to t are of the form Specialized to τ = 1, the double sum therein can be computed by Proposition therein reads J G α1 = G α1j q J 0 sgnα,βg β1, Z β R,α We rewrite 3.31 for the cases of 1. By letting = m, these become sgnα,βg β1 = 1 m+1 q mj 0 J m G α1 G α1q mj 0 J 2m, 3.32 β R + m,α where m = 1,2,.... By plugging 3.32 into the double sum, the RHS of 3.22 is converted to RHS of 3.22 at τ=1 = 1 m+1 q mj 0 J m G α 1 G α1q mj 0 J 2m α P = 1 m+1 q mj 0 J m G [t;1]+g [t;1] 1 m q mj 0 J 2m. We thus find that G [t;1] satisfies the first-order differential equations tm G [t;1] = 1 m+1 q mj 0 J m G [t;1]+g [t;1] 1 m q mj 0 J 2m 3.33 for m = 1,2,.... General solutions of the differential equations 3.33 are of the form G [t;1] = exp 1 +1 t q J 0 J G [0;1]exp 1 t q J 0 J 2, 3.34 where G [0;1] denotes an operator at the initial time. In the current case, we have G [0;1] = G 1. Therefore, 3.34 yields Proof of Theorem Yet another representation at τ = 1 In the case of τ = 1, another expression of generating function of the topological vertex can be derived from Theorem 3. We conveniently start with an operator identity of the following form. 29

30 Proposition 4.1. G 1Γ z = exp Proof. Let us rewrite Γ z as Γ z = exp = exp 3.27 implies the relation 1 m+1 p 2m z J m G 1Γ z, 4.1 m p 2m 1 z 2m 1 J 2m+1 Combining 4.2 with 4.3, we see Thus we obtain 4.1. p 2m z m J 2m p 2m z 2m J 2m Γ z. 4.2 J m G 1 = 1 m G 1J 2m, m = 1,2,...,. 4.3 G 1Γ z = G 1exp = exp p 2m z m J 2m Γ z 1 m+1 p 2m z J m G 1Γ z. m Proposition 4.2. The generating function 1.18 at τ = 1 has a fermionic representation of the form Wq;x,y,z;1 = 0 Γ + xγ + yg 1 m+1 1Γ z 0 exp m p mxp 2m z

31 Proof. We adopt the fermionic representation 2.7 for a description of the generating function Letting τ = 1, we rewrite 2.7 by using Theorem 3. Actually, substituting t = 1 +1 p y/ in 3.25, we find α P G α 1st αy = exp 1 +1 p y q J 0 J G 1exp p y qj 0 J 2. The sum of operators in 2.7 can be thus converted into a triple product of operators as Wq;x,y,z; p y = 0 Γ + xexp J G 1exp = 0 Γ + xγ +yg 1exp p y J 2 Γ z 0 p y J 2 Γ z We further rewrite the RHS of 4.5. The commutation relations Γ zj 2 = J 2 Γ z+γ zp 2z, and the annihilation property J 2 0 = 0 for 1 yield p y exp J 2 Γ z 0 = Γ z 0 exp By 4.6, the RHS of 4.5 can be converted to Wq;x,y,z;1 = 0 Γ + xγ + yg 1Γ z 0 exp The bra vector in 4.7 can be expressed with the aid of 4.1 as follows: 0 Γ + xγ + yg 1Γ z p yp 2 z. 4.6 p yp 2 z. 4.7 = 0 Γ + xγ + yexp 1 m+1 p 2m z J m G 1Γ z m 4.8 { = 0 Γ + xγ + yg 1 1Γ zexp p m yp 2m z+ 1 m+1 p m xp 2m z }, m 31

32 where the negative modes J m have been moved to the left by the commutation relations Γ + xj m = J m Γ + x+γ + xp m x, Γ + yj m = J m Γ + y+γ + y 1m+1 p m y, together with 0 J m = 0 at the end. Designating the last part of 4.8 as the bra vector and its pairing with the et vector 0 being substituted for the matrix element in 4.7, we eventually obtain 4.4. The matrix element in the RHS of 4.4 has an expansion in terms of the Schur functions and the sew Schur functions. Proposition 4.3. The matrix element in the fermionic expression 4.4 has a Schur function expansion of the form 0 Γ + xγ + yg 1Γ z 0 = +κν s ν 1xs 3 ν + / t ν 1yst ν /4 3zqκν+ s ν +q ρ s ν 3q ν+ ρ. ν 1,ν 3,ν + P 4.9 Proof. By inserting the identity ν P ν ν = 1 between all pairs of adjacent operators in Γ + xγ + yg 1Γ z, the LHS of 4.9 reads 0 Γ + xγ + yg 0Γ z 0 = 0 Γ + x ν 1 ν 1 Γ + y t ν + t ν + G 1 t ν 3 t ν 3 Γ z 0 = ν 1,ν +,ν 3 P ν 1 P ν + P ν 3 P s ν 1xs ν + / t ν 1yst ν 3z t ν + G 1 t ν Note that 2.2 and 2.3 have been used in the last line. The matrix element of G 1 = q K/2 Γ q ρ Γ + q ρ q K/4 can be expressed in terms of special values of the Schur function as t ν + G 1 t ν 3 = q κν+ +κν 3 /4 s ν +q ρ s ν 3q ν+ ρ

33 Pluging 4.11 into the RHS of 4.10, we obtain 4.9. Let us derive It is convenient to use the formula [12] q K/2 Γ q ρ Γ + q ρ t α = Γ q α ρ 0 st αq ρ, α P By taing the transpose and using 4.12, we can rewrite the LHS of 4.11 as t ν + G 1 t ν 3 = q κν+ /2 t ν + Γ q ρ Γ + q ρ q K/2 t ν 3 q κν3 /4 = q κν+ /2 st ν +q ρ 0 Γ + ρ t ν 3 q q ν+ κν3 /4 = q κν+ +κν 3 /4 s ν +q ρ s ν 3q ν+ ρ. Note that the identity st ν +q ρ = q κν+ /2 s ν +q ρ is used in the last line. Thus, we obtain Remar 4.1. Γ q ρ Γ + q ρ is a self-adjoint operator, that is, satisfies t β Γ q ρ Γ + q ρ t α = t α Γ q ρ Γ + q ρ t β, α,β P The matrix elements in 4.13 can be expressed in terms of special values of the Schur function by Actually, the LHS of 4.13 becomes t β Γ q ρ Γ + q ρ t α = q κβ/2 t β q K/2 Γ q ρ Γ + q ρ t α = q κβ/2 t β q K/2 Γ q α ρ 0 st αq ρ = q κα+κβ 2 s α q ρ s β q α ρ, whereas the RHS of 4.13 reads Thus, 4.13 implies the identity t α Γ q ρ Γ + q ρ t β = q κα+κβ 2 s α q β ρ s β q ρ. s α q ρ s β q α ρ = s α q β ρ s β q ρ, α,β P The identity 4.14 is exploited in [12] to simplify open topological string amplitudes including the case of open topological string on closed vertex. 33

34 Remar 4.2. From 2.5, the matrix element of G 1 can be written in terms of the two-legged topological vetrex as t ν + G 1 t ν 3 = q κν+ κν 3 /4 C t ν +,,ν 3 q. On the other hand, 1.17 and 4.11 yield another expression Furthermore, by 1.17 and 4.14, we find t ν + G 1 t ν 3 = q κν+ κν 3 /4 C ν 3, t ν +, q. C ν 3, t ν +, q = q κν3 /2 s ν 3q ν+ ρ s ν +q ρ = q κν3 /2 s ν 3q ρ s ν +q ν3 ρ = C,ν 3, t ν + q. These identities imply the cyclic symmetry of the two-legged topological vertex: C t ν +,,ν 3 q = C ν 3, t ν +, q = C,ν 3, t ν + q. 4.2 Proof of Theorem 1 We note that the exponentiation of quadratic form of the power sums in 4.4 has a Schur function expansion of the following form: Proposition m+1 exp m p mxp 2m z = η 1,η 3 Pst η 1xs η 3z ξ P χ η 1ξχ η 32ξ z ξ Proof. We rewrite the LHS of 4.15 into 1 m+1 exp m p mxp 2m z = 1 1 exp p xp 2 z = = m 1,m 2, 1 1m m! m m =0 1 1m m! m p xp 2 z m = ξ P 34 p xp 2 z m 1 ξ lξ z ξ p ξ xp 2ξ z, 4.16

35 where the summation over non-negative integers m s is replaced with the summation over partitions ξ by arranging ξ = 1 m 1 2 m2. Plugging the expansions 1 ξ lξ p ξ x = η 1 P χ η 1ξst η 1x, p 2ξz = η 3 Pχ η 32ξs η 3z into the RHS of 4.16, we obtain We can now rewrite W q;x,y,z;1 as follows. Proposition 4.5. W q;x,y,z;1 = µ P 3 C µ λq κµ1 /2+κµ 2 +κµ 3 /4 s µ 1xs µ 2ys µ 3z, 4.17 where C µ λ is given by 1.16 with q = e 1λ. Theorem1isanimmediateconsequenceofProposition4.5. By1.18,Wq;x,y,z;1 is a generating function of C µ q of the form Wq;x,y,z;1 = C µ qq κµ1 +κµ 2 /2 κµ 3/4 s µ 1xs µ 2ys µ 3z. µ P 3 Equating the coefficients of the Schur function products in this expression with those of 4.17, we obtain This also implies that 1.19 holds. Proof of Proposition 4.5. We derive an expansion of the fermionic representation 4.4 in the basis of the Schur functions. By 4.9 and 4.15, Wq;x,y,z;1 can be expressed as Wq;x,y,z;1 = +κν s ν 1xs 3 ν + / t ν 1yst ν /4 3zqκν+ s ν +q ρ s ν 3q ν+ ρ = ν 1,ν 3,ν + P ν 1,ν 3,ν +,η 1,η 3 P η 1,η 3 Pst η 1xs η 3z ξ P χ η 1ξχ η 32ξ z ξ st η 1xs ν 1xs ν + / t ν 1ys η 3zst ν 3z 35

36 q κν+ +κν 3 /4 s ν +q ρ s ν 3q ν+ ρ ξ P χ η 1ξχ η 32ξ z ξ The products of the Schur funcions and the sew Schur function can be expressed in terms of the Littlewood-Richardson numbers as st η 1xs ν 1x = c µ1 t η 1 ν s 1 µ 1x, Consequently, Wq;x,y,z;1 = = ν 1,ν 3,ν +,η 1,η 3 P µ 1 P µ 1 P s ν + / t ν 1y = µ 2 P s η 3zst ν 3z = c µ1 t η 1 ν 1 s µ 1x µ 3 P µ 2 P q κν+ +κν 3 /4 s ν +q ρ s ν 3q ν+ ρ ξ P c ν+ t ν 1 µ 2 s µ 2y, c µ3 η 3 t ν 3 s µ 3z. c ν+ t ν 1 µ 2 s µ 2y µ 3 P χ η 1ξχ η 32ξ z ξ c µ3 η 3 t ν 3 s µ 3z s µ 1xs µ 2ys µ 3z µ 1,µ 2,µ 3 P 3 c µ1 t η 1 ν c ν+ 1 t ν 1 µ c µ3 2 η 3 t ν q κν+ +κν 3 /4 s 3 ν +q ρ s ν 3q ν+ ρ χ η 1ξχ η 32ξ. z ξ ξ P ν 1,ν 3,ν +,η 1,η 3 P Thus we obtain Proof of Theorem Factorization formulas at τ = 1/N Just lie G[t;1] and G [t;1], the operator-valued generating functions 3.19 and 3.20 specialized toτ = 1/N N = 1,2,...canbefactorizedtoatripleproductofoperators. 36

37 Theorem 4. factorization formulas at τ = 1/N Let N be a positive integer. The operator-valued generating functions G[t;τ] and G [t;τ] satisfy the following identities at τ = 1/N: G [ t;1/n ] = exp t q J 0 J N G 1/N exp 1 +1 t q J 0 J N+1, 5.1 G [ t;1/n ] = exp 1 N+1 t q J 0 J N G 1/N exp 1 N t q J 0 J N Proof. The proof is mostly parallel to the proof of Theorem 3. We derive differential equations that the operator-valued generating functions satisfy at τ = 1/N. We describe the case of G[t;1/N] in detail. Partial derivatives of G[t;1/N] with respect to t can be expressed in the form of The double sum in 3.21 can be computed by Proposition 3.4. By specializing τ to τ = 1/N, 3.12 reads J N G α 1/N = G α 1/N 1 J N+1 +q J 0 sgnα,βg β 1/N 5.3 β R,α for Z, 0. By letting = m, we have sgnα,βg β 1/N = q mj 0 J mn G α 1/N+G α 1/N 1 m+1 q mj 0 J mn β R + m,α for m = 1,2,.... The RHS of 3.21 thereby becomes RHS of 3.21 at τ=1/n = q mj 0 J mn G α 1/N+G α 1/N 1 m+1 q mj 0 J mn+1 s α [t] α P = q mj 0 J mn G[t;1/N]+G[t;1/N] 1 m+1 q mj 0 J mn+1. We thus find that G[t; 1/N] satisfies the first-order differential equations tm G[t;1/N] = q mj 0 J mn G[t;1/N]+G[t;1/N] 1 m+1 q mj 0 J mn

38 for m = 1,2,.... General solutions of the differential equations 5.5 are given by G[t;1/N] = exp t q J 0 J N G[0;1/N]exp 1 +1 t q J 0 J N Since G[0;1/N] = G 1/N, 5.6 yields can be liewise derived from Proposition 3.5. Partial derivatives of G [t;1] with respect to t tae the form of The double sum therein can be computed using Proposition 3.5. By letting τ = 1/N, 3.16 yields sgnα,βg β 1/N = 1mN q mj 0 J mn G α 1/N+G α 1/Nq mj 0 J mn+1 β R + m,α 5.7 for m = 1,2,.... By plugging 5.7 into the RHS of 3.22, we eventually find out that G [t;1/n] satisfies the first-order differential equations tm G [t;1/n] = 1 mn+1 q mj 0 J mn G [t;1/n]+g [t;1/n] 1 mn q mj 0 J mn for m = 1,2,.... General solutions of 5.8 are given by G [t;1/n] = exp 1 N+1 t q J 0 J N G [0;1/N]exp 1 N t q J 0 J N+1. Since G [0;1/N] = G 1/N, 5.9 yields the formula Representation of generating function at τ = N 5.9 The foregoing factorization formula gives a new fermionic representation of the generating function of the topological vertex. Proposition 5.1. Let N be a positive integer. The generating function 1.18 at τ = N has a fermionic representation of the form p x Wq;x,y,z;N = 0 exp J N Γ + yg 1/N Γ z 0 38

39 1 m+1 exp m p mxp mn+1 z Proof. The cyclic symmetry 1.22 canbe embodied inthe language of the generating functions 1.18 as W q;x,y,z;τ 1 = W q;z,x,y;. 1+τ In view of 2.7, this relation leads to the expression 1 Wq;x,y,z;τ = 0 Γ + z G α 1+τ st αx Γ y α P We can replace the VEV in the RHS of 5.11 with the transpose. Actually, since the operator-valued functions G α 1/1+τ satisfy 1 β G α γ = α 1+τ γ Gt 1/τ β, β,γ P, we can rewrite 5.11 as Wq;x,y,z;τ = 0 Γ + y α PG α 1/τ sα x In particular, by specialization to τ = N, we find Wq;x,y,z;N = 0 Γ + y α PG α 1/N sα x Γ z 0. Γ z By substituting t = p x/, 5.1 converts the sum of operators in 5.12 into a triple product of operators as Wq;x,y,z;N = 0 Γ + yexp = 0 exp We thus obtain p x J N G 1/N exp p x J N Γ +yg 1/N Γ z 0 exp p x J N+1 Γ z 0 1 m+1 m p mxp mn+1 z.

40 5.3 Proof of Theorem 2 We first derive a reduction formula of the generating functions of three-partition Hodge integrals at positive integral values of τ. This formula gives a generalization of 1.12 at all positive integral values of τ. We then consider integrable hierarchies that capture a certain aspect of integrable structure underlying the generating functions of twopartition Hodge integrals. By combining these considerations, we eventually obtain Theorem 2. Let N be a positive integer. Proposition 5.2. The generating function 1.9 satisfies the relation G λ;p 1,p 2,p 3 ;N = G λ;0,p +,p 3 ;N + 1 m+1 m p1 m p 3 mn+1, 5.13 where p + = p + is a linear combination of p1 and p 2 given by { 1 +1 p + = Np 1 /N +p2, 0 mod N, 5.14 p 2, 0 mod N. Proof. By Theorem 1 and Proposition 5.1, we can rewrite the exponentiated generating function as expgλ; p ;N p 1 = 0 exp J 1 +1 p 2 N + J G 1/N exp 1 m+1 exp m p1 m p3 mn+1 p 3 J p + p 3 = 0 exp J G 1/N exp J 0 1 m+1 exp m p1 m p 3 mn

41 By letting p = 0,p 2,p 3, 5.15 taes the simplified form exp Gλ;0,p 2,p 3 ;N = 0 exp 1 +1 p 2 J G 1/N exp p 3 J 0. We can replace the VEV in the last part of 5.15 with this expression. This yields the relation hence exp Gλ;p 1,p 2,p 3 ;N = exp Gλ;0,p +,p 3 ;N 1 m+1 exp m p1 m p 3 mn+1, Proposition 5.3. T λ,n,0,p 2,t is a tau function of the KP hierarchy with respect to the time variables t, and satisfies the equations 2 logtλ,n,0,p 2,t t t mn+1 = 0,,m = 1,2, Proof. We start from the fermionic expression T λ,n,0,p 2,t = 0 gλ,n;p 2 exp t J 0, 5.17 where gλ,n;p 2 is an element of GL of the form gλ,n;p p 2 = exp J G 1/N. 5.3 contains the special subset G 1/NJ mn+1 = 1 m J mn G 1/N, m = 1,2,..., 41

42 which yields the algebraic relation gλ,n;p 2 exp t mn+1 J mn+1 = exp 1 m t mn+1 J mn gλ,n;p 2 exp 1 mn+1 p 2 mn t mn+1 satisfied by gλ,n;p 2. We can use this algebraic relation to rewrite 5.17 as N T λ,n,0,p 2,t = 0 gλ,n;p 2 exp t mn+1 r J mn+1+r 0 exp r=1 1 mn+1 p 2 This implies that Tλ,N,0,p 2,t satisfies mn t mn+1. Proof of Theorem 2. By 5.13, Tλ,N,p 1,p 2,t can be factorized as Tλ,N,p 1,p 2,t = exp Gλ; 0,p +,p 3 ; N 1 m+1 exp = T λ,n,0,p + 1 m+1,texp m p1 m p3 mn+1 This relation and 5.16 imply that T λ,n,p 1,p 2,t satisfies m p1 m p3 mn+1. References [1] T. Graber and R. Pandharipande, Localization of virtual classes, Invent. Math [2] M. Kontsevich, Enumeration of rational curves via torus actions, Progr. Math. 129, Birhäuser, Boston, Boston, MA, 1995, pp