-
Super Macdonald polynomials and BPS state counting on the blow-up
Authors:
Hiroaki Kanno,
Ryo Ohkawa,
Jun'ichi Shiraishi
Abstract:
We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov fac…
▽ More
We explore the relation of the super Macdonald polynomials and the BPS state counting on the blow-up of $\mathbb{P}^2$, which is mathematically described by framed stable perverse coherent sheaves. Fixed points of the torus action on the moduli space of BPS states are labeled by super partitions. From the equivariant character of the tangent space at the fixed points we can define the Nekrasov factor for a pair of super partitions, which is used for the localization computation of the partition function. The Nekrasov factor also allows us to compute matrix elements of the action of the quantum toroidal algebra of type $\mathfrak{gl}_{1|1}$ on the $K$ group of the moduli space. We confirm that these matrix elements are consistent with the Pieri rule of the super Macdonald polynomials.
△ Less
Submitted 7 July, 2025; v1 submitted 2 June, 2025;
originally announced June 2025.
-
Grassmann Tensor Renormalization Group for two-flavor massive Schwinger model with a theta term
Authors:
Hayato Kanno,
Shinichiro Akiyama,
Kotaro Murakami,
Shinji Takeda
Abstract:
We investigate the $N_f=2$ Schwinger model with the massive staggered fermions in the presence of a $2π$ periodic $θ$ term, using the Grassmann tensor renormalization group. Thanks to the Grassmann tensor network formulation, there is no difficulty in dealing with the massive staggered fermions. We study the $θ$ dependence of the free energy in the thermodynamic limit. Our calculation provides con…
▽ More
We investigate the $N_f=2$ Schwinger model with the massive staggered fermions in the presence of a $2π$ periodic $θ$ term, using the Grassmann tensor renormalization group. Thanks to the Grassmann tensor network formulation, there is no difficulty in dealing with the massive staggered fermions. We study the $θ$ dependence of the free energy in the thermodynamic limit. Our calculation provides consistent results with the analytical solution in the large mass limit. The results also suggest that the $N_f=2$ Schwinger model on a lattice has a different phase structure from that described by the continuum theory.
△ Less
Submitted 23 January, 2025;
originally announced January 2025.
-
Grassmann Tensor Renormalization Group for $N_f=2$ massive Schwinger model with a $θ$ term
Authors:
Hayato Kanno,
Shinichiro Akiyama,
Kotaro Murakami,
Shinji Takeda
Abstract:
We use the Grassmann tensor renormalization group method to investigate the $N_f=2$ Schwinger model with the staggered fermions in the presence of a $2π$ periodic $θ$ term in a broad range of mass. The method allows us to deal with the massive staggered fermions straightforwardly and to study the $θ$ dependence of the free energy and topological charge in the thermodynamic limit. Our calculation p…
▽ More
We use the Grassmann tensor renormalization group method to investigate the $N_f=2$ Schwinger model with the staggered fermions in the presence of a $2π$ periodic $θ$ term in a broad range of mass. The method allows us to deal with the massive staggered fermions straightforwardly and to study the $θ$ dependence of the free energy and topological charge in the thermodynamic limit. Our calculation provides consistent results with not only the analytical solution in the large mass limit but also the previous Monte Carlo studies in the small mass regime. Our numerical results also suggest that the $N_f=2$ Schwinger model on a lattice has a different phase structure, than the model in the continuum limit.
△ Less
Submitted 12 December, 2024;
originally announced December 2024.
-
A quantum deformation of the ${\mathcal N}=2$ superconformal algebra
Authors:
H. Awata,
K. Harada,
H. Kanno,
J. Shiraishi
Abstract:
We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinant…
▽ More
We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in the Neveu-Schwarz sector, $m\in \mathbb{Z}$ in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit $q\rightarrow 1$ of ${\mathcal{SV}ir\!}_{q,k}$ we recover the ordinary ${\mathcal N}=2$ superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra ${\mathcal{SV}ir\!}_{q,k}$, making a twist of the $U(1)$ boson in the Wakimoto representation of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$, which naturally follows from the construction of ${\mathcal{SV}ir\!}_{q,k}$ by gluing the deformed $Y$-algebras of Gaiotto and Rap$\check{\mathrm{c}}$ák.
△ Less
Submitted 16 April, 2025; v1 submitted 30 June, 2024;
originally announced July 2024.
-
Non-Stationary Difference Equation and Affine Laumon Space II: Quantum Knizhnik-Zamolodchikov Equation
Authors:
Hidetoshi Awata,
Koji Hasegawa,
Hiroaki Kanno,
Ryo Ohkawa,
Shamil Shakirov,
Jun'ichi Shiraishi,
Yasuhiko Yamada
Abstract:
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 qu…
▽ More
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.
△ Less
Submitted 22 August, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Solitons in Open N=2 String Theory
Authors:
Masashi Hamanaka,
Shan-Chi Huang,
Hiroaki Kanno
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 April, 2023; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Non-Stationary Difference Equation and Affine Laumon Space: Quantization of Discrete Painlevé Equation
Authors:
Hidetoshi Awata,
Koji Hasegawa,
Hiroaki Kanno,
Ryo Ohkawa,
Shamil Shakirov,
Jun'ichi Shiraishi,
Yasuhiko Yamada
Abstract:
We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlevé 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…
▽ More
We show the relation of the non-stationary difference equation proposed by one of the authors and the quantized discrete Painlevé 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.
△ Less
Submitted 9 November, 2023; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Quasi-Hopf twist and elliptic Nekrasov factor
Authors:
Panupong Cheewaphutthisakun,
Hiroaki Kanno
Abstract:
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 fact…
▽ More
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.
△ Less
Submitted 3 December, 2021; v1 submitted 8 October, 2021;
originally announced October 2021.
-
Anomaly and Superconnection
Authors:
Hayato Kanno,
Shigeki Sugimoto
Abstract:
We study anomalies of fermions with spacetime dependent mass. Using Fujikawa's method, it is found that the anomalies associated with the $U(N)_+\times U(N)_-$ chiral symmetry and $U(N)$ flavor symmetry for even and odd dimensions, respectively, can be written in terms of superconnections. In particular, the anomaly for a vector-like $U(1)$ symmetry is given by the Chern character of the superconn…
▽ More
We study anomalies of fermions with spacetime dependent mass. Using Fujikawa's method, it is found that the anomalies associated with the $U(N)_+\times U(N)_-$ chiral symmetry and $U(N)$ flavor symmetry for even and odd dimensions, respectively, can be written in terms of superconnections. In particular, the anomaly for a vector-like $U(1)$ symmetry is given by the Chern character of the superconnection in both even and odd dimensional cases. It is also argued that the non-Abelian anomaly for a system in D-dimensional spacetime is characterized by a (D+2)-form part of the Chern character of the superconnection which generalizes the usual anomaly polynomial for the massless case. These results enable us to analyze anomalies in the systems with interfaces and spacetime boundaries in a unified way. Applications to index theorems, including Atiyah-Patodi-Singer index theorem and Callias-type index theorem, are also discussed. In addition, we give a natural string theory interpretation of these results.
△ Less
Submitted 26 August, 2021; v1 submitted 3 June, 2021;
originally announced June 2021.
-
MacMahon KZ equation for Ding-Iohara-Miki algebra
Authors:
Panupong Cheewaphutthisakun,
Hiroaki Kanno
Abstract:
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 ope…
▽ More
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
△ Less
Submitted 8 October, 2021; v1 submitted 5 January, 2021;
originally announced January 2021.
-
Elliptic lift of the Shiraishi function as a non-stationary double-elliptic function
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov
Abstract:
As a development of arXiv:1912.12897, we note that the ordinary Shiraishi functions have an insufficient number of parameters to describe generic eigenfunctions of double elliptic system (Dell). The lacking parameter can be provided by substituting elliptic instead of the ordinary Gamma functions in the coefficients of the series. These new functions (ELS-functions) are conjectured to be functions…
▽ More
As a development of arXiv:1912.12897, we note that the ordinary Shiraishi functions have an insufficient number of parameters to describe generic eigenfunctions of double elliptic system (Dell). The lacking parameter can be provided by substituting elliptic instead of the ordinary Gamma functions in the coefficients of the series. These new functions (ELS-functions) are conjectured to be functions governed by compactified DIM networks which can simultaneously play the three roles: solutions to non-stationary Dell equations, Dell conformal blocks with the degenerate field (surface operator) insertion, and the corresponding instanton sums in $6d$ SUSY gauge theories with adjoint matter. We describe the basics of the corresponding construction and make further conjectures about the various limits and dualities which need to be checked to make a precise statement about the Dell description by double-periodic network models with DIM symmetry. We also demonstrate that the ELS-functions provide symmetric polynomials, which are an elliptic generalization of Macdonald ones, and compute the generation function of the elliptic genera of the affine Laumon spaces. In the particular $U(1)$ case, we find an explicit plethystic formula for the $6d$ partition function, which is a non-trivial elliptic generalization of the $(q,t)$ Nekrasov-Okounkov formula from $5d$.
△ Less
Submitted 24 July, 2020; v1 submitted 21 May, 2020;
originally announced May 2020.
-
Quiver matrix model of ADHM type and BPS state counting in diverse dimensions
Authors:
Hiroaki Kanno
Abstract:
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 lab…
▽ More
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.
△ Less
Submitted 3 May, 2020; v1 submitted 12 April, 2020;
originally announced April 2020.
-
Shiraishi functor and non-Kerov deformation of Macdonald polynomials
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov
Abstract:
We suggest a further generalization of the hypergeometric-like series due to M. Noumi and J. Shiraishi by substituting the Pochhammer symbol with a nearly arbitrary function. Moreover, this generalization is valid for the entire Shiraishi series, not only for its Noumi-Shiraishi part. The theta function needed in the recently suggested description of the double-elliptic systems, 6d N=2* SYM instan…
▽ More
We suggest a further generalization of the hypergeometric-like series due to M. Noumi and J. Shiraishi by substituting the Pochhammer symbol with a nearly arbitrary function. Moreover, this generalization is valid for the entire Shiraishi series, not only for its Noumi-Shiraishi part. The theta function needed in the recently suggested description of the double-elliptic systems, 6d N=2* SYM instanton calculus and the doubly-compactified network models, is a very particular member of this huge family. The series depends on two kinds of variables, $\vec x$ and $\vec y$, and on a set of parameters, which becomes infinitely large now. Still, one of the parameters, $p$ is distinguished by its role in the series grading. When $\vec y$ are restricted to a discrete subset labeled by Young diagrams, the series multiplied by a monomial factor reduces to a polynomial at any given order in $p$. All this makes the map from functions to the hypergeometric-like series very promising, and we call it Shiraishi functor despite it remains to be seen, what are exactly the morphisms that it preserves. Generalized Noumi-Shiraishi (GNS) symmetric polynomials inspired by the Shiraishi functor in the leading order in $p$ can be obtained by a triangular transform from the Schur polynomials and possess an interesting grading. They provide a family of deformations of Macdonald polynomials, as rich as the family of Kerov functions, still very different from them, and, in fact, much closer to the Macdonald polynomials. In particular, unlike the Kerov case, these polynomials do not depend on the ordering of Young diagrams in the triangular expansion.
△ Less
Submitted 28 February, 2020;
originally announced February 2020.
-
On complete solution of the quantum Dell system
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov
Abstract:
The mother functions for the eigenfunctions of the Koroteev-Shakirov version of quantum double-elliptic (Dell) Hamiltonians can be presented as infinite series in Miwa variables, very similar to the recent conjecture due to J. Shiraishi. Further studies should clear numerous remaining obstacles and thus solve the long-standing problem of explicitly constructing a Dell system, the top member of the…
▽ More
The mother functions for the eigenfunctions of the Koroteev-Shakirov version of quantum double-elliptic (Dell) Hamiltonians can be presented as infinite series in Miwa variables, very similar to the recent conjecture due to J. Shiraishi. Further studies should clear numerous remaining obstacles and thus solve the long-standing problem of explicitly constructing a Dell system, the top member of the Calogero-Moser-Ruijsenaars system, with the $PQ$-duality fully explicit at the elliptic level.
△ Less
Submitted 30 April, 2020; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Can tangle calculus be applicable to hyperpolynomials?
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov
Abstract:
We make a new attempt at the recently suggested program to express knot polynomials through topological vertices, which can be considered as a possible approach to the tangle calculus: we discuss the Macdonald deformation of the relation between the convolution of two topological vertices and the HOMFLY-PT invariant of the 4-component link $L_{8n8}$, which both depend on four arbitrary representat…
▽ More
We make a new attempt at the recently suggested program to express knot polynomials through topological vertices, which can be considered as a possible approach to the tangle calculus: we discuss the Macdonald deformation of the relation between the convolution of two topological vertices and the HOMFLY-PT invariant of the 4-component link $L_{8n8}$, which both depend on four arbitrary representations. The key point is that both of these are related to the Hopf polynomials in composite representations, which are in turn expressed through composite Schur functions. The latter are further expressed through the skew Schur polynomials via the remarkable Koike formula. It is this decomposition that breaks under the Macdonald deformation and gets restored only in the (large $N$) limit of $A^{\pm 1}\longrightarrow 0$. Another problem is that the Hopf polynomials in the composite representations in the refined case are "chiral bilinears" of Macdonald polynomials, while convolutions of topological vertices involve "non-chiral combinations" with one of the Macdonald polynomials entering with permuted $t$ and $q$. There are also other mismatches between the Hopf polynomials in the composite representation and the topological 4-point function in the refined case, which we discuss.
△ Less
Submitted 1 May, 2019;
originally announced May 2019.
-
The MacMahon R-matrix
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov,
K. Suetake,
Y. Zenkevich
Abstract:
We introduce an $R$-matrix acting on the tensor product of MacMahon representations of Ding-Iohara-Miki (DIM) algebra $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1)$. This $R$-matrix acts on pairs of $3d$ Young diagrams and retains the nice symmetry of the DIM algebra under the permutation of three deformation parameters $q$, $t^{-1}$ and $\frac{t}{q}$. We construct the intertwining operator for a…
▽ More
We introduce an $R$-matrix acting on the tensor product of MacMahon representations of Ding-Iohara-Miki (DIM) algebra $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1)$. This $R$-matrix acts on pairs of $3d$ Young diagrams and retains the nice symmetry of the DIM algebra under the permutation of three deformation parameters $q$, $t^{-1}$ and $\frac{t}{q}$. We construct the intertwining operator for a tensor product of the horizontal Fock representation and the vertical MacMahon representation and show that the intertwiners are permuted using the MacMahon $R$-matrix.
△ Less
Submitted 20 April, 2019; v1 submitted 17 October, 2018;
originally announced October 2018.
-
Equivariant U(N) Verlinde algebra from Bethe/Gauge correspondence
Authors:
Hiroaki Kanno,
Katsuyuki Sugiyama,
Yutaka Yoshida
Abstract:
We compute the topological partition function (twisted index) of $\mathcal{N}=2$ $U(N)$ Chern-Simons theory with an adjoint chiral multiplet on $Σ_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…
▽ More
We compute the topological partition function (twisted index) of $\mathcal{N}=2$ $U(N)$ Chern-Simons theory with an adjoint chiral multiplet on $Σ_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_λ(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.
△ Less
Submitted 11 June, 2018; v1 submitted 8 June, 2018;
originally announced June 2018.
-
A non-torus link from topological vertex
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov,
An. Morozov
Abstract:
The recently suggested tangle calculus for knot polynomials is intimately related to topological string considerations and can help to build the HOMFLY-PT invariants from the topological vertices. We discuss this interplay in the simplest example of the Hopf link and link $L_{8n8}$. It turns out that the resolved conifold with four different representations on the four external legs, on the topolo…
▽ More
The recently suggested tangle calculus for knot polynomials is intimately related to topological string considerations and can help to build the HOMFLY-PT invariants from the topological vertices. We discuss this interplay in the simplest example of the Hopf link and link $L_{8n8}$. It turns out that the resolved conifold with four different representations on the four external legs, on the topological string side, is described by a special projection of the four-component link $L_{8n8}$, which reduces to the Hopf link colored with two composite representations. Thus, this provides the first explicit example of non-torus link description through the topological vertex. It is not a real breakthrough, because $L_{8n8}$ is just a cable of the Hopf link, still, it can help to intensify the development of the formalism towards more interesting examples.
△ Less
Submitted 22 August, 2018; v1 submitted 4 June, 2018;
originally announced June 2018.
-
$(q,t)$-KZ equations for quantum toroidal algebra and Nekrasov partition functions on ALE spaces
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov,
K. Suetake,
Y. Zenkevich
Abstract:
We describe the general strategy for lifting the Wess-Zumino-Witten model from the level of one-loop Kac-Moody $U_q(\widehat{\mathfrak{g}})_k$ to generic quantum toroidal algebras. A nearly exhaustive presentation is given for the two series $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1)$ and $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_n)$, when screenings do not exist and thus all the correlators a…
▽ More
We describe the general strategy for lifting the Wess-Zumino-Witten model from the level of one-loop Kac-Moody $U_q(\widehat{\mathfrak{g}})_k$ to generic quantum toroidal algebras. A nearly exhaustive presentation is given for the two series $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_1)$ and $U_{q,t}(\widehat{\widehat{\mathfrak{gl}}}_n)$, when screenings do not exist and thus all the correlators are purely algebraic, i.e. do not include additional hypergeometric type integrations/summations. Generalizing the construction of the intertwiner (refined topological vertex) of the Ding-Iohara-Miki (DIM) algebra, we obtain the intertwining operators of the Fock representations of the quantum toroidal algebra of type $A_n$. The correlation functions of these operators satisfy the $(q,t)$-Knizhnik-Zamolodchikov (KZ) equation, which features the ${\cal R}$-matrix. Matching with the Nekrasov function for the instanton counting on the ALE space is worked out explicitly. We also present an important application of the DIM formalism to the study of $6d$ gauge theories described by the double elliptic integrable systems. We show that the modular and periodicity properties of the gauge theories are neatly explained by the network matrix models providing solutions to the elliptic $(q,t)$-KZ equations.
△ Less
Submitted 20 March, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
(q,t)-KZ equation for Ding-Iohara-Miki algebra
Authors:
Hidetoshi Awata,
Hiroaki Kanno,
Andrei Mironov,
Alexei Morozov,
Andrey Morozov,
Yusuke Ohkubo,
Yegor Zenkevich
Abstract:
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 sys…
▽ More
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.
△ Less
Submitted 28 August, 2017; v1 submitted 17 March, 2017;
originally announced March 2017.
-
Anomaly in RTT relation for DIM algebra and network matrix models
Authors:
H. Awata,
H. Kanno,
A. Mironov,
A. Morozov,
An. Morozov,
Y. Ohkubo,
Y. Zenkevich
Abstract:
We discuss the recent proposal of arXiv:1608.05351 about generalization of the RTT relation to network matrix models. We show that the RTT relation in these models is modified by a nontrivial, but essentially abelian anomaly cocycle, which we explicitly evaluate for the free field representations of the quantum toroidal algebra. This cocycle is responsible for the braiding, which permutes the exte…
▽ More
We discuss the recent proposal of arXiv:1608.05351 about generalization of the RTT relation to network matrix models. We show that the RTT relation in these models is modified by a nontrivial, but essentially abelian anomaly cocycle, which we explicitly evaluate for the free field representations of the quantum toroidal algebra. This cocycle is responsible for the braiding, which permutes the external legs in the q-deformed conformal block and its 5d/6d gauge theory counterpart, i.e. the non-perturbative Nekrasov functions. Thus, it defines their modular properties and symmetry. We show how to cancel the anomaly using a construction somewhat similar to the anomaly matching condition in gauge theory. We also describe the singular limit to the affine Yangian (4d Nekrasov functions), which breaks the spectral duality.
△ Less
Submitted 4 April, 2017; v1 submitted 22 November, 2016;
originally announced November 2016.
-
Toric Calabi-Yau threefolds as quantum integrable systems. R-matrix and RTT relations
Authors:
Hidetoshi Awata,
Hiroaki Kanno,
Andrei Mironov,
Alexei Morozov,
Andrey Morozov,
Yusuke Ohkubo,
Yegor Zenkevich
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 November, 2016; v1 submitted 18 August, 2016;
originally announced August 2016.
-
Explicit examples of DIM constraints for network matrix models
Authors:
Hidetoshi Awata,
Hiroaki Kanno,
Takuya Matsumoto,
Andrei Mironov,
Alexei Morozov,
Andrey Morozov,
Yusuke Ohkubo,
Yegor Zenkevich
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 2 December, 2016; v1 submitted 28 April, 2016;
originally announced April 2016.
-
Hyperkahler Metrics from Monopole Walls
Authors:
Masashi Hamanaka,
Hiroaki Kanno,
Daichi Muranaka
Abstract:
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 wit…
▽ More
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.
△ Less
Submitted 6 March, 2014; v1 submitted 27 November, 2013;
originally announced November 2013.
-
W_3 irregular states and isolated N=2 superconformal field theories
Authors:
Hiroaki Kanno,
Kazunobu Maruyoshi,
Shotaro Shiba,
Masato Taki
Abstract:
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…
▽ More
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.
△ Less
Submitted 1 February, 2013; v1 submitted 4 January, 2013;
originally announced January 2013.
-
Generalized Whittaker states for instanton counting with fundamental hypermultiplets
Authors:
Hiroaki Kanno,
Masato Taki
Abstract:
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…
▽ More
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.
△ Less
Submitted 19 March, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
Instanton counting with a surface operator and the chain-saw quiver
Authors:
Hiroaki Kanno,
Yuji Tachikawa
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 July, 2011; v1 submitted 2 May, 2011;
originally announced May 2011.
-
Localization with a Surface Operator, Irregular Conformal Blocks and Open Topological String
Authors:
Hidetoshi Awata,
Hiroyuki Fuji,
Hiroaki Kanno,
Masahide Manabe,
Yasuhiko Yamada
Abstract:
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 asy…
▽ More
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.
△ Less
Submitted 31 July, 2012; v1 submitted 3 August, 2010;
originally announced August 2010.
-
Macdonald operators and homological invariants of the colored Hopf link
Authors:
Hidetoshi Awata,
Hiroaki Kanno
Abstract:
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…
▽ More
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.
△ Less
Submitted 30 August, 2011; v1 submitted 1 October, 2009;
originally announced October 2009.
-
Quiver Matrix Model and Topological Partition Function in Six Dimensions
Authors:
Hidetoshi Awata,
Hiroaki Kanno
Abstract:
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 localizati…
▽ More
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.
△ Less
Submitted 15 July, 2009; v1 submitted 2 May, 2009;
originally announced May 2009.
-
Changing the preferred direction of the refined topological vertex
Authors:
Hidetoshi Awata,
Hiroaki Kanno
Abstract:
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 ident…
▽ More
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.
△ Less
Submitted 26 October, 2012; v1 submitted 31 March, 2009;
originally announced March 2009.
-
Refined BPS state counting from Nekrasov's formula and Macdonald functions
Authors:
Hidetoshi Awata,
Hiroaki Kanno
Abstract:
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 top…
▽ More
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.
△ Less
Submitted 10 March, 2009; v1 submitted 2 May, 2008;
originally announced May 2008.
-
Instanton Calculus and Loop Operator in Supersymmetric Gauge Theory
Authors:
Hiroaki Kanno,
Sanefumi Moriyama
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 April, 2008; v1 submitted 3 December, 2007;
originally announced December 2007.
-
Instanton calculus and chiral one-point functions in supersymmetric gauge theories
Authors:
Shigeyuki Fujii,
Hiroaki Kanno,
Sanefumi Moriyama,
Soichi Okada
Abstract:
We compute topological one-point functions of the chiral operator Tr φ^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=Λ^{2N} and are of particular interest from gauge/string theory correspondence, since they are related to the Gromov-Witten theory of P^…
▽ More
We compute topological one-point functions of the chiral operator Tr φ^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=Λ^{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φ}.
△ Less
Submitted 1 September, 2008; v1 submitted 15 February, 2007;
originally announced February 2007.
-
Universal Character and Large N Factorization in Topological Gauge/String Theory
Authors:
Hiroaki Kanno
Abstract:
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 te…
▽ More
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.
△ Less
Submitted 27 February, 2006; v1 submitted 17 February, 2006;
originally announced February 2006.
-
Instanton counting, Macdonald function and the moduli space of D-branes
Authors:
Hidetoshi Awata,
Hiroaki Kanno
Abstract:
We argue the connection of Nekrasov's partition function in the Ω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 ε_1, ε_2 of toric action on C^2 factorizes correctly as the character of SU(2)_L \times SU…
▽ More
We argue the connection of Nekrasov's partition function in the Ω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 ε_1, ε_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 χ_y and elliptic genera of the Hilbert scheme of n points on C^2 by the method of topological vertex.
△ Less
Submitted 7 April, 2005; v1 submitted 4 February, 2005;
originally announced February 2005.
-
Whitham Prepotential and Superpotential
Authors:
H. Itoyama,
H. Kanno
Abstract:
N=2 supersymmetric U(N) Yang-Mills theory softly broken to N=1 by the superpotential of the adjoint scalar fields is discussed from the viewpoint of the Whitham deformation theory for prepotential. With proper identification of the superpotential we derive the matrix model curve from the condition that the mixed second derivatives of the Whitham prepotential have a nontrivial kernel.
N=2 supersymmetric U(N) Yang-Mills theory softly broken to N=1 by the superpotential of the adjoint scalar fields is discussed from the viewpoint of the Whitham deformation theory for prepotential. With proper identification of the superpotential we derive the matrix model curve from the condition that the mixed second derivatives of the Whitham prepotential have a nontrivial kernel.
△ Less
Submitted 24 January, 2004; v1 submitted 30 December, 2003;
originally announced December 2003.
-
Geometric transitions, Chern-Simons gauge theory and Veneziano type amplitudes
Authors:
Tohru Eguchi,
Hiroaki Kanno
Abstract:
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 ampli…
▽ More
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.
△ Less
Submitted 5 February, 2004; v1 submitted 18 December, 2003;
originally announced December 2003.
-
Topological Strings and Nekrasov's formulas
Authors:
Tohru Eguchi,
Hiroaki Kanno
Abstract:
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 βand \hbar. βis related to the size of the fiber of {…
▽ More
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 βand \hbar. β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 β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.
△ Less
Submitted 16 December, 2003; v1 submitted 26 October, 2003;
originally announced October 2003.
-
Supereigenvalue Model and Dijkgraaf-Vafa Proposal
Authors:
H. Itoyama,
H. Kanno
Abstract:
We present a variant of the supereigenvalue model proposed before by Alvarez-Gaume, Itoyama, Manes, and Zadra. This model derives a set of three planar loop equations which takes the same form as the set of three anomalous Ward-Takahashi identities on the gaugino condensates recently derived by Cachazo, Douglas, Seiberg and Witten. Another model which implements N=2 superVirasoro constraints is…
▽ More
We present a variant of the supereigenvalue model proposed before by Alvarez-Gaume, Itoyama, Manes, and Zadra. This model derives a set of three planar loop equations which takes the same form as the set of three anomalous Ward-Takahashi identities on the gaugino condensates recently derived by Cachazo, Douglas, Seiberg and Witten. Another model which implements N=2 superVirasoro constraints is constructed for comparison.
△ Less
Submitted 22 April, 2003;
originally announced April 2003.
-
Harmonic Forms and Deformation of ALC metrics with Spin(7) holonomy
Authors:
Hiroaki Kanno,
Yukinori Yasui
Abstract:
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 canoni…
▽ More
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.
△ Less
Submitted 28 August, 2002; v1 submitted 20 August, 2002;
originally announced August 2002.
-
On Spin(7) holonomy metric based on SU(3)/U(1): II
Authors:
Hiroaki Kanno,
Yukinori Yasui
Abstract:
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…
▽ More
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).
△ Less
Submitted 28 November, 2001; v1 submitted 22 November, 2001;
originally announced November 2001.
-
On Spin(7) holonomy metric based on SU(3)/U(1)
Authors:
Hiroaki Kanno,
Yukinori Yasui
Abstract:
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 $Σ_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 singularitie…
▽ More
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 $Σ_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.
△ Less
Submitted 28 November, 2001; v1 submitted 30 August, 2001;
originally announced August 2001.
-
Five-Dimensional Gauge Theories and Local Mirror Symmetry
Authors:
Tohru Eguchi,
Hiroaki Kanno
Abstract:
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$ lyi…
▽ More
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.
△ Less
Submitted 19 June, 2000; v1 submitted 1 May, 2000;
originally announced May 2000.
-
Octonionic Yang-Mills Instanton on Quaternionic Line Bundle of Spin(7) Holonomy
Authors:
H. Kanno,
Y. Yasui
Abstract:
The total space of the spinor bundle on the four dimensional sphere S^4 is a quaternionic line bundle that admits a metric of Spin(7) holonomy. We consider octonionic Yang-Mills instanton on this eight dimensional gravitational instanton. This is a higher dimensional generalization of (anti-)self-dual instanton on the Eguchi-Hanson space.
We propose an ansatz for Spin(7) Yang-Mills field and d…
▽ More
The total space of the spinor bundle on the four dimensional sphere S^4 is a quaternionic line bundle that admits a metric of Spin(7) holonomy. We consider octonionic Yang-Mills instanton on this eight dimensional gravitational instanton. This is a higher dimensional generalization of (anti-)self-dual instanton on the Eguchi-Hanson space.
We propose an ansatz for Spin(7) Yang-Mills field and derive a system of non-linear ordinary differential equations. The solutions are classified according to the asymptotic behavior at infinity. We give a complete solution, when the gauge group is reduced to a product of SU(2) subalgebras in Spin(7). The existence of more general Spin(7) valued solutions can be seen by making an asymptotic expansion.
△ Less
Submitted 3 December, 1999; v1 submitted 1 October, 1999;
originally announced October 1999.
-
A Note on Higher Dimensional Instantons and Supersymmetric Cycles
Authors:
H. Kanno
Abstract:
We discuss instantons in dimensions higher than four. A generalized self-dual or anti-self-dual instanton equation in n-dimensions can be defined in terms of a closed (n-4) form $Ω$ and it was recently employed as a topological gauge fixing condition in higher dimensional generalizations of cohomological Yang-Mills theory. When $Ω$ is a calibration which is naturally introduced on the manifold o…
▽ More
We discuss instantons in dimensions higher than four. A generalized self-dual or anti-self-dual instanton equation in n-dimensions can be defined in terms of a closed (n-4) form $Ω$ and it was recently employed as a topological gauge fixing condition in higher dimensional generalizations of cohomological Yang-Mills theory. When $Ω$ is a calibration which is naturally introduced on the manifold of special holomony, we argue that higher dimensional instanton may be locally characterized as a family of four dimensional instantons over a supersymmetric (n-4) cycle $Σ$ with respect to the calibration $Ω$. This is an instanton configuration on the total space of the normal bundle $N(Σ)$ of the submanifold $Σ$ and regarded as a natural generalization of point-like instanton in four dimensions that plays a distinguished role in a compactification of instanton moduli space.
△ Less
Submitted 1 April, 1999; v1 submitted 31 March, 1999;
originally announced March 1999.
-
Donaldson-Witten Functions of Massless N=2 Supersymmetric QCD
Authors:
Hiroaki Kanno,
Sung-Kil Yang
Abstract:
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 sin…
▽ More
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.
△ Less
Submitted 1 June, 1998;
originally announced June 1998.
-
Picard-Fuchs Equation and Prepotential of Five Dimensional SUSY Gauge Theory Compactified on a Circle
Authors:
Hiroaki Kanno,
Yuji Ohta
Abstract:
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; th…
▽ More
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.
△ Less
Submitted 19 January, 1998; v1 submitted 8 January, 1998;
originally announced January 1998.
-
Cohomological Yang-Mills Theory in Eight Dimensions
Authors:
L. Baulieu,
H. Kanno,
I. M. Singer
Abstract:
We construct nearly topological Yang-Mills theories on eight dimensional manifolds with a special holonomy group. These manifolds are the Joyce manifold with $Spin(7)$ holonomy and the Calabi-Yau manifold with SU(4) holonomy. An invariant closed four form $T_{μνρσ}$ on the manifold allows us to define an analogue of the instanton equation, which serves as a topological gauge fixing condition in…
▽ More
We construct nearly topological Yang-Mills theories on eight dimensional manifolds with a special holonomy group. These manifolds are the Joyce manifold with $Spin(7)$ holonomy and the Calabi-Yau manifold with SU(4) holonomy. An invariant closed four form $T_{μνρσ}$ on the manifold allows us to define an analogue of the instanton equation, which serves as a topological gauge fixing condition in BRST formalism. The model on the Joyce manifold is related to the eight dimensional supersymmetric Yang-Mills theory. Topological dimensional reduction to four dimensions gives non-abelian Seiberg-Witten equation.
△ Less
Submitted 16 May, 1997;
originally announced May 1997.
-
Special Quantum Field Theories In Eight And Other Dimensions
Authors:
L. Baulieu,
H. Kanno,
I. M. Singer
Abstract:
We build nearly topological quantum field theories in various dimensions. We give special attention to the case of 8 dimensions for which we first consider theories depending only on Yang-Mills fields. Two classes of gauge functions exist which correspond to the choices of two different holonomy groups in SO(8), namely SU(4) and Spin(7). The choice of SU(4) gives a quantum field theory for a Cal…
▽ More
We build nearly topological quantum field theories in various dimensions. We give special attention to the case of 8 dimensions for which we first consider theories depending only on Yang-Mills fields. Two classes of gauge functions exist which correspond to the choices of two different holonomy groups in SO(8), namely SU(4) and Spin(7). The choice of SU(4) gives a quantum field theory for a Calabi-Yau fourfold. The expectation values for the observables are formally holomorphic Donaldson invariants. The choice of Spin(7) defines another eight dimensional theory for a Joyce manifold which could be of relevance in M- and F-theories. Relations to the eight dimensional supersymmetric Yang-Mills theory are presented. Then, by dimensional reduction, we obtain other theories, in particular a four dimensional one whose gauge conditions are identical to the non-abelian Seiberg-Witten equations. The latter are thus related to pure Yang-Mills self-duality equations in 8 dimensions as well as to the N=1, D=10 super Yang-Mills theory. We also exhibit a theory that couples 3-form gauge fields to the second Chern class in eight dimensions, and interesting theories in other dimensions.
△ Less
Submitted 30 July, 1997; v1 submitted 24 April, 1997;
originally announced April 1997.
