Search

We show that Shakirov's non-stationary difference equation, when it is truncated, implies the quantum Knizhnik-Zamolodchikov ($q$-KZ) equation for $U_{\mathsf v}\bigl(A_1^{(1)}\bigr)$ with generic spins. Namely, we can tune mass parameters so that the Hamiltonian acts on the space of finite Laurent polynomials. Then the representation matrix of the Hamiltonian agrees with the $R$-matrix, or the quantum $6j$ symbols. On the other hand, we prove that the $K$ theoretic Nekrasov partition function from the affine Laumon space is identified with the well-studied Jackson integral solution to the $q$-KZ equation. Combining these results, we establish that the affine Laumon partition function gives a solution to Shakirov's equation, which was a conjecture in our previous paper. We also work out the base-fiber duality and four-dimensional limit in relation with the $q$-KZ equation.

The open N=2 string theory is defined on the four-dimensional space-time with the split signature (+,+,-,-). The string field theory action of the open N=2 string theory is described by the four-dimensional Wess-Zumino-Witten (WZW_4) model. Equation of motion of the WZW_4 model is the Yang equation which is equivalent to the anti-self-dual Yang-Mills equation. In this paper, we study soliton-type classical solutions of the WZW_4 model in the split signature by calculating the action density of the WZW_4 model. We find that the action density of the one-soliton solutions is localized on a three-dimensional hyperplane. This shows that there would be codimension-one-solitonic objects, or equivalently, some kind of three-branes in the open N=2 string theory. We also prove that in the asymptotic region of the space-time, the action density of the n-soliton solutions is a ``nonlinear superposition'' of n one-solitons. This suggests the existence of intersecting n three-branes in the N=2 strings. Finally we make a reduction to a (1+2)-dimensional real space-time to calculate energy densities of the soliton solutions. We can successfully evaluate the energy distribution for the two-soliton solutions and find that there is no singularity in the interacting region. This implies the existence of smooth intersecting codimension-one branes in the whole region. Soliton solutions in the Euclidean signature are also discussed., Comment: 54 pages, 2 figures; v2: minor changes; v3: minor changes; v4: a reference added, typos corrected, published version

We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlev\'e VI equation. The five-dimensional Seiberg-Witten curve associated with the difference equation has a consistent four-dimensional limit. We also show that the original equation can be factorized as a coupled system for a pair of functions $\bigl(\mathcal{F}^{(1)},\mathcal{F}^{(2)}\bigr)$, which is a consequence of the identification of the Hamiltonian as a translation element in the extended affine Weyl group. We conjecture that the instanton partition function coming from the affine Laumon space provides a solution to the coupled system.

We investigate the quasi-Hopf twist of the quantum toroidal algebra of $\mathfrak{gl}_1$ as an elliptic deformation. Under the quasi-Hopf twist the underlying algebra remains the same, but the coproduct is deformed, where the twist parameter $p$ is identified as the elliptic modulus. Computing the quasi-Hopf twist of the $R$ matrix, we uncover the relation to the elliptic lift of the Nekrasov factor for instanton counting of the quiver gauge theories on $\mathbb{R}^4 \times T^2$. The same $R$ matrix also appears in the commutation relation of the intertwiners, which implies an elliptic quantum KZ equation for the trace of intertwiners. We also show that it allows a solution which is factorized into the elliptic Nekrasov factors and the triple elliptic gamma function., Comment: 45 pages, 3 figures

We derive a generalized Knizhnik-Zamolodchikov equation for the correlation function of the intertwiners of the vector and the MacMahon representations of Ding-Iohara-Miki algebra. These intertwiners are cousins of the refined topological vertex which is regarded as the intertwining operator of the Fock representation. The shift of the spectral parameter of the intertwiners is generated by the operator which is constructed from the universal $R$ matrix. The solutions to the generalized KZ equation are factorized into the ratio of two point functions which are identified with generalizations of the Nekrasov factor for supersymmetric quiver gauge theories, Comment: (v4) typos in the figures are fixed

We review the problem of BPS state counting described by the generalized quiver matrix model of ADHM type. In four dimensions the generating function of the counting gives the Nekrasov partition function and we obtain generalization in higher dimensions. By the localization theorem, the partition function is given by the sum of contributions from the fixed points of the torus action, which are labeled by partitions, plane partitions and solid partitions. The measure or the Boltzmann weight of the path integral can take the form of the plethystic exponential. Remarkably after integration the partition function or the vacuum expectation value is again expressed in plethystic form. We regard it as a characteristic property of the BPS state counting problem, which is closely related to the integrability., Comment: 22 pages, (v2) typos corrected, submitted to the special issue of PTEP dedicated to Tohru Eguchi

We compute the topological partition function (twisted index) of $\mathcal{N}=2$ $U(N)$ Chern-Simons theory with an adjoint chiral multiplet on $\Sigma_g \times S^1$. The localization technique shows that the underlying Frobenius algebra is the equivariant Verlinde algebra which is obtained from the canonical quantization of the complex Chern-Simons theory regularized by $U(1)$ equivariant parameter $t$. Our computation relies on a Bethe/Gauge correspondence which allows us to represent the equivariant Verlinde algebra in terms of the Hall-Littlewood polynomials $P_\lambda(x_B, t)$ with a specialization by Bethe roots $x_B$ of the $q$-boson model. We confirm a proposed duality to the Coulomb branch limit of the lens space superconformal index of four dimensional $\mathcal{N}=2$ theories for $SU(2)$ and $SU(3)$ with lower levels. In $SU(2)$ case we also present more direct computation based on Jeffrey-Kirwan residue operation., Comment: 45 pages, 4 figures

We derive the generalization of the Knizhnik-Zamolodchikov equation (KZE) associated with the Ding-Iohara-Miki (DIM) algebra U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1). We demonstrate that certain refined topological string amplitudes satisfy these equations and find that the braiding transformations are performed by the R-matrix of U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1). The resulting syste is the uplifting of the \widehat{\mathfrak{u}}_1 Wess-Zumino-Witten model. The solutions to the (q,t)-KZE are identified with the (spectral dual of) building blocks of the Nekrasov partition function for 5d linear quiver gauge theories. We also construct an elliptic version of the KZE and discuss its modular and monodromy properties, the latter being related to a dual version of KZE., Comment: 22 pages

R-matrix is explicitly constructed for simplest representations of the Ding-Iohara-Miki algebra. The calculation is straightforward and significantly simpler than the one through the universal R-matrix used for a similar calculation in the Yangian case by A.~Smirnov but less general. We investigate the interplay between the R-matrix structure and the structure of DIM algebra intertwiners, i.e.\ of refined topological vertices and show that the R-matrix is diagonalized by the action of the spectral duality belonging to the SL(2,Z) group of DIM algebra automorphisms. We also construct the T-operators satisfying the RTT relations with the R-matrix from refined amplitudes on resolved conifold. We thus show that topological string theories on the toric Calabi-Yau threefolds can be naturally interpreted as lattice integrable models. Integrals of motion for these systems are related to q-deformation of the reflection matrices of the Liouville/Toda theories., Comment: 31 pages

Dotsenko-Fateev and Chern-Simons matrix models, which describe Nekrasov functions for SYM theories in different dimensions, are all incorporated into network matrix models with the hidden Ding-Iohara-Miki (DIM) symmetry. This lifting is especially simple for what we call balanced networks. Then, the Ward identities (known under the names of Virasoro/W-constraints or loop equations or regularity condition for qq-characters) are also promoted to the DIM level, where they all become corollaries of a single identity., Comment: 46 pages

We present ALH hyperkahler metrics induced from well-separated SU(2) monopole walls which are equivalent to monopoles on T^2 x R. The metrics are explicitly obtained due to Manton's observation by using explicit monopole solutions. These are doubly-periodic and have the modular invariance with respect to the complex structure of the complex torus T^2. We also derive metrics from monopole walls with Dirac-type singularities., Comment: 7 pages, 2 figures, LaTeX; v2: a reference added, minor changes, version to appear in Phys. Rev. D

We explore the proposal that the six-dimensional (2,0) theory on the Riemann surface with irregular punctures leads to a four-dimensional gauge theory coupled to the isolated N=2 superconformal theories of Argyres-Douglas type, and to two-dimensional conformal field theory with irregular states. Following the approach of Gaiotto-Teschner for the Virasoro case, we construct W_3 irregular states by colliding a single SU(3) puncture with several regular punctures of simple type. If n simple punctures are colliding with the SU(3) puncture, the resulting irregular state is a simultaneous eigenvector of the positive modes L_n, ..., L_{2n} and W_{2n}, ..., W_{3n} of the W_3 algebra. We find the corresponding isolated SCFT with an SU(3) flavor symmetry as a nontrivial IR fixed point on the Coulomb branch of the SU(3) linear quiver gauge theories, by confirming that its Seiberg-Witten curve correctly predicts the conditions for the W_3 irregular states. We also compare these SCFT's with the ones obtained from the BPS quiver method., Comment: 1+53 pages, 1 figure; v2: minor corrections

M-theoretic construction of N=2 gauge theories implies that the instanton partition function is expressed as the scalar product of coherent states (Whittaker states) in the Verma module of an appropriate two dimensional conformal field theory. We present the characterizing conditions for such states that give the partition function with fundamental hypermultiplets for SU(3) theory and SU(2) theory with a surface operator. We find the states are no longer the coherent states in the strict sense but we can characterize them in terms of a few annihilation operators of lower levels combined with the zero mode (Cartan part) of the Virasoro algebra L_0 or the sl(2) current algebra J_0^0., Comment: 46 pages; minor changes

We describe the moduli space of SU(N) instantons in the presence of a general surface operator of type N=n_1+ ... +n_M in terms of the representations of the so-called chain-saw quiver, which allows us to write down the instanton partition function as a summation over the fixed point contributions labeled by Young diagrams. We find that the instanton partition function depends on the ordering of n_I which fixes a choice of the parabolic structure. This is in accord with the fact that the Verma module of the W-algebra also depends on the ordering of n_I. By explicit calculations, we check that the partition function agrees with the norm of a coherent state in the corresponding Verma module., Comment: 25+5 pages, 2 figures, 1 Mathematica file. v2: published version

Following a recent paper by Alday and Tachikawa, we compute the instanton partition function in the presence of the surface operator by the localization formula on the moduli space. For SU(2) theories we find an exact agreement with CFT correlation functions with a degenerate operator insertion, which enables us to work out the decoupling limit of the superconformal theory with four flavors to asymptotically free theories at the level of differential equations for CFT correlation functions (irregular conformal blocks). We also argue that the K theory (or five dimensional) lift of these computations gives open topological string amplitudes on local Hirzebruch surface and its blow ups, which is regarded as a geometric engineering of the surface operator. By computing the amplitudes in both A and B models we collect convincing evidences of the agreement of the instanton partition function with surface operator and the partition function of open topological string., Comment: 73 pages, 8 figures. v2: minor changes in section 6 and Appendix A, typos corrected and references added. v3: sections 1--3 revised, conventions fixed, references added. v4: minor changes. v5: minor changes

Using a power sum (boson) realization for the Macdonald operators, we investigate the Gukov, Iqbal, Kozcaz and Vafa (GIKV) proposal for the homological invariants of the colored Hopf link, which include Khovanov-Rozansky homology as a special case. We prove the polynomiality of the invariants obtained by GIKV's proposal for arbitrary representations. We derive a closed formula of the invariants of the colored Hopf link for antisymmetric representations. We argue that a little amendment of GIKV's proposal is required to make all the coefficients of the polynomial non-negative integers., Comment: 31 pages. Published version with an additional appendix

We consider a topological quiver matrix model which is expected to give a dual description of the instanton dynamics of topological U(N) gauge theory on D6 branes. The model is a higher dimensional analogue of the ADHM matrix model that leads to Nekrasov's partition function. The fixed points of the toric action on the moduli space are labeled by colored plane partitions. Assuming the localization theorem, we compute the partition function as an equivariant index. It turns out that the partition function does not depend on the vacuum expectation values of Higgs fields that break U(N) symmetry to U(1)^N at low energy. We conjecture a general formula of the partition function, which reduces to a power of the MacMahon function, if we impose the Calabi-Yau condition. For non Calabi-Yau case we prove the conjecture up to the third order in the instanton expansion., Comment: 29 pages, no figure; (v2) Proofs in section 4 improved, Appendix B revised; (v3) minor changes, references added and updated

We consider the issue of the slice invariance of refined topological string amplitudes, which means that they are independent of the choice of the preferred direction of the refined topological vertex. We work out two examples. The first example is a geometric engineering of five-dimensional U(1) gauge theory with a matter. The slice invariance follows from a highly non-trivial combinatorial identity which equates two known ways of computing the chi_y genus of the Hilbert scheme of points on C^2. The second example is concerned with the proposal that the superpolynomials of the colored Hopf link are obtained from a refinement of topological open string amplitudes. We provide a closed formula for the superpolynomial, which confirms the slice invariance when the Hopf link is colored with totally anti-symmetric representations. However, we observe a breakdown of the slice invariance for other representations., Comment: 35 pages, 3 figures; (v3) a few improvements, references updated

It has been argued that the Nekrasov's partition function gives the generating function of refined BPS state counting in the compactification of M theory on local Calabi-Yau spaces. We show that a refined version of the topological vertex we proposed before (hep-th/0502061) is a building block of the Nekrasov's partition function with two equivariant parameters. Compared with another refined topological vertex by Iqbal-Kozcaz-Vafa (hep-th/0701156), our refined vertex is expressed entirely in terms of the specialization of the Macdonald symmetric functions which is related to the equivariant character of the Hilbert scheme of points on C^2. We provide diagrammatic rules for computing the partition function from the web diagrams appearing in geometric engineering of Yang-Mills theory with eight supercharges. Our refined vertex has a simple transformation law under the flop operation of the diagram, which suggests that homological invariants of the Hopf link are related to the Macdonald functions., Comment: 56 pages, 13 figures; v2 a few improvements, typos fixed, a reference added; v3 Appendix A revised, typos corrected; v4 equations in section 5 corrected, technical improvements on the specialization of the Macdonald function; v5 minor corrections

We compute one-point function of the glueball loop operator in the maximally confining phase of supersymmetric gauge theory using instanton calculus. In the maximally confining phase the residual symmetry is the diagonal U(1) subgroup and the localization formula implies that the chiral correlation functions are the sum of the contributions from each fixed point labeled by the Young diagram. The summation can be performed exactly by operator formalism of free fermions, which also featured in the equivariant Gromov-Witten theory of P^1. By taking the Laplace transformation of the glueball loop operator, we find an exact agreement with the previous results for the generating function (resolvent) of the glueball one-point functions., Comment: 19 pages, 2 figures, v2: references added

We compute topological one-point functions of the chiral operator Tr \phi^k in the maximally confining phase of U(N) supersymmetric gauge theory. These one-point functions are polynomials in the equivariant parameter \hbar and the parameter of instanton expansion q=\Lambda^{2N} and are of particular interest from gauge/string theory correspondence, since they are related to the Gromov-Witten theory of P^1. Based on a combinatorial identity that gives summation formula over Young diagrams of relevant functions, we find a relation among chiral one-point functions, which recursively determines the \hbar expansion of the generating function of one-point functions. Using a result from the operator formalism of the Gromov-Witten theory, we also present a vacuum expectation value of the loop operator Tr e^{it\phi}., Comment: 31 pages, no figure; (v2) substantially revised: a few mistakes corrected, a new result (section 6) and references added; (v3) some clarifications added, typos corrected; (v4) minor corrections, to appear in Adv. Theor. Math. Phys

We establish a formula of the large N factorization of the modular S-matrix for the coupled representations in U(N) Chern-Simons theory. The formula was proposed by Aganagic, Neitzke and Vafa, based on computations involving the conifold transition. We present a more rigorous proof that relies on the universal character for rational representations and an expression of the modular S-matrix in terms of the specialization of characters., Comment: 16 pages, 2 figures, (v2) typos corrected

We argue the connection of Nekrasov's partition function in the \Omega background and the moduli space of D-branes, suggested by the idea of geometric engineering and Gopakumar-Vafa invariants. In the instanton expansion of N=2 SU(2) Yang-Mills theory the Nakrasov's partition function with equivariant parameters \epsilon_1, \epsilon_2 of toric action on C^2 factorizes correctly as the character of SU(2)_L \times SU(2)_R spin representation. We show that up to two instantons the spin contents are consistent with the Lefschetz action on the moduli space of D2-branes on (local) F_0. We also present an attempt at constructing a refined topological vertex in terms of the Macdonald function. The refined topological vertex with two parameters of T^2 action allows us to obtain the generating functions of equivariant \chi_y and elliptic genera of the Hilbert scheme of n points on C^2 by the method of topological vertex., Comment: 33 pages, 2 figures, (v2) minor changes, references added, (v3) Comments and more references added

We consider the geometric transition and compute the all-genus topological string amplitudes expressed in terms of Hopf link invariants and topological vertices of Chern-Simons gauge theory. We introduce an operator technique of 2-dimensional CFT which greatly simplifies the computations. We in particular show that in the case of local Calabi-Yau manifolds described by toric geometry basic amplitudes are written as vacuum expectation values of a product vertex operators and thus appear quite similar to the Veneziano amplitudes of the old dual resonance models. Topological string amplitudes can be easily evaluated using vertex operator algebra., Comment: 16 pages, 2 figures, (v2,3) minor changes, to appear in Phys. Lett. B

We apply the method of geometric transition and compute all genus topological closed string amplitudes compactified on local {\bf F}_0 by making use of the Chern-Simons gauge theory. We find an exact agreement of the results of our computation with the formula proposed recently by Nekrasov for {\cal N}=2 SU(2) gauge theory with two parameters \beta and \hbar. \beta is related to the size of the fiber of {\bf F}_0 and \hbar corresponds to the string coupling constant. Thus Nekrasov's formula encodes all the information of topological string amplitudes on local {\bf F}_0 including the number of holomorphic curves at arbitrary genus. By taking suitable limits \beta and/or \hbar \to 0 one recovers the four-dimensional Seiberg-Witten theory and also its coupling to external graviphoton fields. We also compute topological string amplitude for the local 2nd del Pezzo surface and check the consistency with Nekrasov's formula of SU(2) gauge theory with a matter field in the vector representation., Comment: 38 pages, 4 figures, (v2) References added, Appendices expanded, (v3) Typos corrected, References added

Asymptotically locally conical (ALC) metric of exceptional holonomy has an asymptotic circle bundle structure that accommodates the M theory circle in type IIA reduction. Taking Spin(7) metrics of cohomogeneity one as explicit examples, we investigate deformations of ALC metrics, in particular that change the asymptotic S^1 radius related to the type IIA string coupling constant. When the canonical four form of Spin(7) holonomy is taken to be anti-self-dual, the deformations of Spin(7) metric are related to the harmonic self-dual four forms, which are given by solutions to a system of first order differential equations, due to the metric ansatz of cohomogeneity one. We identify the L^2-normalizable solution that deforms the asymptotic radius of the M theory circle., Comment: 33 pages, no figure, minor corrections, reference added

We continue the investigation of Spin(7) holonomy metric of cohomogeneity one with the principal orbit SU(3)/U(1). A special choice of U(1) embedding in SU(3) allows more general metric ansatz with five metric functions. There are two possible singular orbits in the first order system of Spin(7) instanton equation. One is the flag manifold $SU(3)/T^2$ also known as the twister space of CP(2) and the other is CP(2) itself. Imposing a set of algebraic constraints, we find a two-parameter family of exact solutions which have SU(4) holonomy and are asymptotically conical. There are two types of asymptotically locally conical (ALC) metrics in our model, which are distingushed by the choice of $S^1$ circle whose radius stabilizes at infinity. We show that this choice of M theory circle selects one of possible singular orbits mentioned above. Numerical analyses of solutions near the singular orbit and in the asymptotic region support the existence of two families of ALC Spin(7) metrics: one family consists of deformations of the Calabi hyperKahler metric, the other is a new family of metrics on a line bundle over the twister space of CP(2)., Comment: Latex, 21 pages, one figure, typos corrected and references added, (v3) minor corrections

We investigate the $Spin(7)$ holonomy metric of cohomogeneity one with the principal orbit $SU(3)/U(1)$. A choice of U(1) in the two dimensional Cartan subalgebra is left as free and this allows manifest $\Sigma_3=W(SU(3))$ (= the Weyl group) symmetric formulation. We find asymptotically locally conical (ALC) metrics as octonionic gravitational instantons. These ALC metrics have orbifold singularities in general, but a particular choice of the U(1) subgroup gives a new regular metric of $Spin(7)$ holonomy. Complex projective space ${\bf CP}(2)$ that is a supersymmetric four-cycle appears as a singular orbit. A perturbative analysis of the solution near the singular orbit shows an evidence of a more general family of ALC solutions. The global topology of the manifold depends on a choice of the U(1) subgroup. We also obtain an $L^2$-normalisable harmonic 4-form in the background of the ALC metric., Comment: 21 pages, Latex, Introduction slightly expanded, an error in section 6 corrected and references added, (v3) minor corrections

We study the dynamics of 5-dimensional gauge theory on $M_4\times S^1$ by compactifying type II/M theory on degenerate Calabi-Yau manifolds. We use the local mirror symmetry and shall show that the prepotential of the 5-dimensional SU(2) gauge theory without matter is given exactly by that of the type II string theory compactified on the local ${\bf F}_2$, i.e. Hirzebruch surface ${\bf F}_2$ lying inside a non-compact Calabi-Yau manifold. It is shown that our result reproduces the Seiberg-Witten theory at the 4-dimensional limit $R\to 0$ ($R$ denotes the radius of $S^1$) and also the result of the uncompactified 5-dimensional theory at $R\to \infty$. We also discuss SU(2) gauge theory with $1\le N_f\le 4$ matter in vector representations and show that they are described by the geometry of the local ${\bf F}_2$ blown up at $N_f$ points., Comment: 18 pages, Latex, minor changes, a version to appear in Nucl.Phys.B

We study the Donaldson-Witten function in four-dimensional topological gauge theory which is constructed from N=2 supersymmetric SU(2) gauge theory with $N_f < 4$ massless fundamental hypermultiplets. When $N_f = 2,3$, the strong-coupling singularities with multiple massless monopoles appear in the moduli space (the u-plane) of the Coulomb branch. We show that the invariants made out of such singularities exhibit a property which is similar to the one expected for four-manifolds of generalized simple type., Comment: 22 pages, Latex, no figures

Five dimensional supersymmetric gauge theory compactified on a circle defines an effective N=2 supersymmetric theory for massless fields in four dimensions. Based on the relativistic Toda chain Hamiltonian proposed by Nekrasov, we derive the Picard-Fuchs equation on the moduli space of the Coulomb branch of SU(2) gauge theory. Our Picard-Fuchs equation agrees with those from other approaches; the spectral curve of XXZ spin chain and supersymmetric cycle in compactified M theory. By making use of a relation to the Picard-Fuchs equation of SU(2) Seiberg-Witten theory, we obtain the prepotential and the effective coupling constant that incorporate both a perturbative effect of Kaluza-Klein modes and a non-perturbative one of four dimensional instantons. In the weak coupling regime we check that the prepotential exhibits a consistent behavior in large and small radius limits of the circle., Comment: revised version, appendix E is enlarged, references are added, latex, 32 pages, 1 figure, documentstyle[12pt,eclepsf,a4]{article}

We construct a generalization of the two-dimensional Wess-Zumino-Witten model on a $2n$-dimensional K\"ahler manifold as a group-valued non-linear sigma model with an anomaly term containing the K\"ahler form. The model is shown to have an infinite-dimensional symmetry which generates an $n$-toroidal Lie algebra. The classical equation of motion turns out to be the Donaldson-Uhlenbeck-Yau equation, which is a $2n$-dimensional generalization of the self-dual Yang-Mills equation., Comment: 12 pages, Latex

We investigate the structure of an infinite-dimensional symmetry of the four-dimensional K\"ahler WZW model, which is a possible extension of the two-dimensional WZW model. We consider the SL(2,R) group and, using the Gauss decomposition method, we derive a current algebra identified with a two-toroidal Lie algebra, a generalization of the affine Kac-Moody algebra. We also give an expression of the energy-momentum tensor in terms of currents and extra terms., Comment: 15 pages (1 eps figure), Latex. Comments, references added. To appear in Phys. Lett. B

In cohomological field theory we can obtain topological invariants as correlation functions of BRS cohomology classes. A proper understanding of BRS cohomology which gives non-trivial results requires the equivariant cohomology theory. Both topological Yang-Mills theory and topological string theory are typical examples of this fact. After reviewing the role of the equivariant cohomology in topological Yang-Mills theory, we show in purely algebraic framework how the $U(1)$ equivariant cohomology in topological string theory gives the gravitational descendants. The free energy gives a generating function of topological correlation functions and leads us to consider a deformation family of cohomological field theories. In topological strings such a family is controlled by the theory of integrable system. This is most easily seen in the Landau-Ginzburg approach by looking at the contact term interactions between topological observables., Comment: 17 pages, latex, no figures, Talk presented at International symposium on BRS symmetry, RIMS, Kyoto, September 18-22, 1995

We show that there is a series of topological string theories whose integrable structure is described by the Toda lattice hierarchy. The monodromy group of the Frobenius manifold for the matter sector is an extension of the affine Weyl group $\widetilde W (A_N^{(1)})$ introduced by Dubrovin. These models are generalizations of the topological $CP^1$ string theory with scaling violation. The logarithmic Hamiltonians generate flows for the puncture operator and its descendants. We derive the string equation from the constraints on the Lax and the Orlov operators. The constraints are of different type from those for the $c=1$ string theory. Higher genus expansion is obtained by considering the Lax operator in matrix form., Comment: 27 pages, latex, no figures

We obtain a new free field realization of $N=2$ super $W_{3}$ algebra using the technique of quantum hamiltonian reduction. The construction is based on a particular choice of the simple root system of the affine Lie superalgebra $sl(3|2)^{(1)}$ associated with a non-standard $sl(2)$ embedding. After twisting and a similarity transformation, this $W$ algebra can be identified as the extended topological conformal algebra of non-critical $W_{3}$ string theory., Comment: 14pages, UTHEP-277

We study the hamiltonian reduction of affine Lie superalgebra $sl(2|1)^{(1)}$. Based on a scalar Lax operator formalism, we derive the free field realization of the classical topological topological algebra which appears in the $c\leq1$ non-critical strings. In the quantum case, we analyze the BRST cohomology to get the quantum free field expression of the algebra., Comment: 13 pages Latex, UTHEP-264