SearcharxivSearch

arXiv subjects

Alexei Morozov

Publications and source records attributed to Alexei Morozov.

At least 19 recordsLinked to original sources

Two roles of Alexander in two Kashaev phases

The crucial feature of resurgence theory is the ambiguity of non-perturbative behavior, reflected either in the different choices of integration contours or in the existence of several solutions to Ward identities. This is well illustrated by considering exactly solvable models, of which the prominent example is Chern-Simons theory. Its important chapter, which should have a direct generalization to arbitrary Yang-Mills, is the consideration of Wilson averages in the double-scaling limit of large representation and small coupling. For historical reasons, we call it a Kashaev limit. It possesses a natural interpretation in terms of quasiclassical/WKB approximation, which is, however, somewhat peculiar and thus sheds new light on the old story. The crucial point is the appearance of Alexander polynomials $\Delta$ in two seemingly opposite roles: the classical $A$-polynomials have common roots with $\Delta$, while Jones polynomials tend to $\Delta^{-1}$ in the perturbative expansion. The consistency is provided by the peculiar form of the quantum $A$-polynomial, and the resolution of the puzzle is the co-existence of two different branches (phases) in the quasiclassical limit -- with non-trivial and with vanishing classical actions. The first leads to classical $A$-polynomials and hyperbolic volumes, the second -- to inverse Alexanders.

hep-th

Shading A-polynomials via huge representations of $U_q(\mathfrak{su}_N)$

Classical A-polynomials $A(\ell,m)$ define constraints on coordinates $\ell$ and $m$ in $SL(2,\mathbb{C})$ (a complexification of $SU(2)$) character varieties associated to knot complements $S^3\setminus K$. Quantum A-polynomials $\hat A(\hat \ell,\hat m)$ are difference operators annihilating Jones polynomials believed to represent wave functions of 3d Chern-Simons theory with gauge group $SU(2)$ on a toroidal pipe surrounding the knot $K$ strand -- a boundary of the knot complements $S^3\setminus K$. We suggest a construction of classical shaded A-polynomials $A_a(\ell_b,m_c)$ associated to Lie groups $SU(N)$. We exploit a formalism of Clebsh-Gordan (CG) chords, where indices $a$, $b$, $c$ run over $1,\ldots,N-1$. CG chords have a natural interpretation in terms of 2d CFTs of WZW type, or, alternatively, in terms of quantum group $U_q(\mathfrak{su}_N)$. In the case of $\mathfrak{su}_2$ CG chords could be associated to Reeb chords in a knot contact homology (KCH) framework. KCH suggests its own analogue of A-polynomials known as augmentation polynomials allowed to have extra spurious roots in principle. Yet the CG chord formalism could be easily extended to arbitrary $\mathfrak{su}_N$ allowing us to generalize the construction of A(ugmentation)-polynomials to arbitrary $\mathfrak{su}_N$ and arbitrary representation as well. Primarily we aim at classical A-polynomials by considering a double scaling limit when $q=e^{\hbar}$, $\hbar\to 0$ and the representations are huge, in particular, highest weight vector components $w_i\to \infty$ so that $\hbar w_i\sim m_i$ remain finite. Still we expect the presented techniques would be helpful in deriving quantum A-polynomials for arbitrary Lie (super)algebras $\mathfrak{g}$. Also we discuss explicit examples of A-polynomials for knots $3_1$, $4_1$ and $5_1$ for $\mathfrak{g}=\mathfrak{su}_3$.

hep-th

Group character averages via a single Laguerre

Average of exponential ${\rm Tr}_R e^X$, i.e. of a group rather than an algebra character, in Gaussian matrix model is known to be an amusing generalization of Schur polynomial, where time variables are substituted by traces of products of non-commuting matrices ${\rm Tr} \left(\prod_i A_{k_i}\right)$ and are thus labeled by weak compositions. The entries of matrices $A_k$ are made from extended Laguerre polynomials, what introduces additional difficulties. We describe the generic sum rules, which express arbitrary traces through convolutions of a single Laguerre polynomial $L_{N-1}^1(z_{k_i})$, what is a considerable simplification.

hep-th

Weyl Mutations in Quiver Yangians

The problem of solving non-linear equations would be considerably simplified by a possibility to convert known solutions into the new ones. This could seem an element of art, but in the context of ADHM-like equations describing quiver varieties there is a systematic approach. In this note we study moduli spaces and dualities of quiver gauge theories associated to effective dynamics of D-branes compactified on Calabi-Yau resolutions. We concentrate on a subfamily of quivers $\mathfrak{Q}_{\mathfrak{g}}$ covering Dynkin diagrams for simple Lie algebras $\mathfrak{g}$, where the respective BPS algebra is expected to be the Yangian algebra $Y(\mathfrak{g})$. For Yangians labeled by quivers their representations are described by solutions of ADHM-like equations. As quivers substitute Dynkin diagrams a generalization of the Weyl group $\mathcal{W}_{\mathfrak{g}}$ acts on the ADHM solutions. Here we work with the case $\mathfrak{g}=\mathfrak{sl}_{n+1}$ and treat this group as a group of electro-magnetic Seiberg-like dualities (we call them Weyl mutations) on the respective quiver gauge theories. We lift it to the case of higher representations associated to rectangular Young diagrams. An action of Weyl mutations on the BPS Yangian algebra is also discussed.

hep-th

Conformal blocks of Wess-Zumino-Witten model from its free-field representation

A powerful approach to the celebrated Wess-Zumino-Witten (WZW) model is provided by its free-field realization. However, explicit calculations of conformal blocks are not described in the literature in full detail. We begin this study with the simplest cases of the $\hat{sl}(2)_k$ and $\hat{sl}(3)_k$ WZW models, with special emphasis on their global $sl(2)$ and $sl(3)$ symmetries of the resulting correlators, which are not explicit in this formalism. Also non-trivial is the verification of the Knizhnik-Zamolodchikov equations in the $\hat{sl}(3)_k$ case, where the answers take the form of double integrals over screening charge positions and do not look like ordinary hypergeometric functions.

hep-th

Operator lift of Reshetikhin-Turaev formalism to Khovanov-Rozansky TQFTs

Topological quantum field theory (TQFT) is a powerful tool to describe homologies, which normally involve complexes and a variety of maps/morphisms, what makes a functional integration approach with a sum over a single kind of maps seemingly problematic. In TQFT this problem is overcame by exploiting the rich set of zero modes of BRST operators, which appear sufficient to describe complexes. We explain what this approach looks like for the important class of Khovanov-Rozansky (KR) cohomologies, which categorify the observables (Wilson lines or knot polynomials) in 3d Chern-Simons theory. We develop a construction of odd differential operators, associated with all link diagrams, including tangles with open ends. These operators become nilpotent only for diagram with no external legs, but even for open tangles one can develop a factorization formalism, which preserve Reidemeister/topological invariance -- the symmetry of the problem. This technique seems much more ``physical'' than conventional language of homological algebra and should have many applications to various problems beyond Chern-Simons theory. We also hope that this language will provide efficient algorithms, and finally allow to computerize the calculation of KR cohomologies -- for closed diagrams and for open tangles.

hep-th

On geometric bases for A-polynomials II: $\mathfrak{su}_3$ and Kuberberg bracket

We continue the study of quantum A-polynomials -- equations for knot polynomials with respect to their coloring (representation-dependence) -- as the relations between different links, obtained by hanging additional ``simple'' components on the original knot. Depending on the choice of this ``decoration'', the knot polynomial is either multiplied by a number or decomposes into a sum over ``surrounding'' representations by a cabling procedure. What happens is that these two of decorations, when complicated enough, become dependent -- and this provides an equation. Remarkably it can be made independent of the representation. However, the equivalence of links is not a topological property -- it follows from the properties of $R$-matrices, and strongly depends on the choice the gauge group and particular links. The relatively well studied part of the story concerns $\mathfrak{su}_2$, where $R$-matrices can be chosen in an especially convenient Kauffman form, what makes the derivation of equations rather geometrical. To make these geometric methods somewhat simpler we suggest to use an arcade formalism/representation of the braid group to simplify decorating links universally. Here we attempt to extend this technique to the next case, $\mathfrak{su}_3$, where the Kauffman rule is substituted by a more involved Kuberberg rule, still remains more geometric than generic analysis of MOY-diagrams, needed for higher ranks. Already in this case we encounter a classification problem for possible ``decorations'' and emergence of two-lined Young diagrams in enumeration of representations.

hep-th

Macdonald deformation of Vogel's universality and link hyperpolynomials

Vogel's universality implies a unified description of the adjoint sector of representation theory for simple Lie algebras in terms of three parameters $\alpha,\beta,\gamma$, which are homogeneous coordinates of Vogel's plane. Actually this is true (if at all) only for a piece of representation theory captured by knot/Chern-Simons theory, where some irreducible representations are often undistinguishable and combined into new ``universally-irreducible" entities (uirreps). We consider from this point of view the recently discovered Macdonald deformation of quantum dimensions, for which a kind of universality holds for the ADE series. The claim is that universal are not Macdonald dimensions themselves, but their products with Littlewood-Richardson coefficients, which themselves are functions of $q$ and $t$ in Macdonald theory. These products are precisely what arises in knot/refined Chern-Simons theory. Actually, we consider the simplest decomposition of adjoint square into six uirreps and obtain the universal formulas for hyperpolynomials of the Hopf link and, more generally, of the torus links $T[2,2n]$.

hep-th

Itzykson-Zuber correlators from character expansion

We demonstrate the consistency of character expansion for the Itzykson-Zuber (IZ) model in terms of Schur polynomials with the old formulas for pair correlators with the IZ measure. An essential new feature of the correlators is that they are not symmetric in eigenvalues - and thus can not be expressed through Schur polynomials only. Instead, we demonstrate that an expression is possible in terms of Schur derivatives. This opens a new way to study arbitrary IZ correlators of any order in character expansion.

hep-th

Can Yang-Baxter imply Lie algebra?

Quantum knot invariants (like colored HOMFLY-PT or Kauffman polynomials) are a distinguished class of non-perturbative topological invariants. Any known way to construct them (via Chern-Simons theory or quantum R-matrix) starts with a finite simple Lie algebra. Another set of knot invariants - of finite type - is related to quantum invariants via a perturbative expansion. However can all finite type invariants be obtained in this way? Investigating this problem, P. Vogel discovered a way to polynomially parameterize the expansion coefficients with three parameters so that, at different specific values, this reproduces the answers for all simple Lie (super)algebras. Then it is easy to construct a polynomial $P_{alg}$ that vanishes for all simple Lie algebras, and the corresponding Vassiliev invariant would thus be absent from the perturbative expansion. We review these Vogel claims pointing out at least two interesting implications of his construction. First, we discuss whether infinite-dimensional Lie algebras might enlarge Chern-Simons theory. Second, Vogel's construction implies an alternative axiomatization of simple Lie algebras - when we start from knot invariants and arrive at Lie algebras and their classification, which is opposite to conventional logic that we mentioned at the beginning.

hep-th

Tunnels Under Geometries (or Instantons Know Their Algebras)

In the tight binding model with multiple degenerate vacua we might treat wave function overlaps as instanton tunnelings between different wells (vacua). An amplitude for such a tunneling process might be constructed as $\mathsf{T}_{i\to j}\sim e^{-S_{\mathrm{ inst}}}{\mathbf{v}}_j^{+}{\mathbf{v}}_i^{-}$, where there is canonical instanton action suppression, and $\mathbf{v}_i^{-}$ annihilates a particle in the $i^{\mathrm{th}}$ vacuum, whereas $\mathbf{v}_j^{+}$ creates a particle in the $j^{\mathrm{th}}$ vacuum. Adiabatic change of the wells leads to a Berry-phase evolution of the couplings, which is described by the zero-curvature Gauss-Manin connection i.e. by a quantum $R$-matrix. Zero-curvature is actually a consequence of level repulsion or topological protection, and its implication is the Yang-Baxter relation for the $R$-matrices. In the simplest case the story is pure Abelian and not very exciting. But when the model becomes more involved, incorporates supersymmetry, gauge and other symmetries, such amplitudes obtain more intricate structures. Operators $\mathbf{v}_i^{-}$, $\mathbf{v}_j^{+}$ might also evolve from ordinary Heisenberg operators into a more sophisticated algebraic object -- a ``tunneling algebra''. The result for the tunneling algebra would depend strongly on geometry of the QFT we started with, and, unfortunately, at the moment we are unable to solve the reverse engineering problem. In this note we revise few successful cases of the aforementioned correspondence: quantum algebras $U_q(\mathfrak{g})$ and affine Yangians $Y(\hat{\mathfrak{g}})$. For affine Yangians we demonstrate explicitly how instantons ``perform'' equivariant integrals over associated quiver moduli spaces appearing in the alternative geometric construction.

hep-th

Super-Hamiltonians for super-Macdonald polynomials

The Macdonald finite-difference Hamiltonian is lifted to a super-generalization. In addition to canonical bosonic time variables $p_k$ new Grassmann time variables $\theta_k$ are introduced, and the Hamiltonian is represented as a differential operator acting on a space of functions of both types of variables $p_k$ and $\theta_k$. Eigenfunctions for this Hamiltonian are a suitable generalization of Macdonald polynomials to super-Macdonald polynomials discussed earlier in the literature. Peculiarities of the construction in comparison to the canonical bosonic case are discussed.

hep-th

On geometric bases for quantum A-polynomials of knots

A simple geometric way is suggested to derive the Ward identities in the Chern-Simons theory, also known as quantum $A$- and $C$-polynomials for knots. In quasi-classical limit it is closely related to the well publicized augmentation theory and contact geometry. Quantization allows to present it in much simpler terms, what could make these techniques available to a broader audience. To avoid overloading of the presentation, only the case of the colored Jones polynomial for the trefoil knot is considered, though various generalizations are straightforward. Restriction to solely Jones polynomials (rather than full HOMFLY-PT) is related to a serious simplification, provided by the use of Kauffman calculus. Going beyond looks realistic, however it remains a problem, both challenging and promising.

hep-th

Supersymmetric polynomials and algebro-combinatorial duality

In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynomials form a representation of a super-algebra analog $\mathsf{T}(\widehat{\mathfrak{gl}}_{1|1})$ of Ding-Ioahara-Miki (quantum toroidal) algebra, emerging as a BPS algebra of D-branes on a conifold. A supersymmetric modification for Young tableaux and Kostka numbers are also discussed.

hep-th

Macdonald polynomials for super-partitions

We introduce generalization of famous Macdonald polynomials for the case of super-Young diagrams that contain half-boxes on the equal footing with full boxes. These super-Macdonald polynomials are polynomials of extended set of variables: usual $p_k$ variables are accompanied by anti-commuting Grassmann variables $\theta_k$. Starting from recently defined super-Schur polynomials and exploiting orthogonality relations with triangular decompositions we are able to fully determine super-Macdonald polynomials. These new polynomials have similar properties to canonical Macdonald polynomials -- they respect two different orderings in the set of (super)-Young diagrams simultaneously.

hep-th

Algorithms for representations of quiver Yangian algebras

In this note, we aim to review algorithms for constructing crystal representations of quiver Yangians in detail. Quiver Yangians are believed to describe an action of the BPS algebra on BPS states in systems of D-branes wrapping toric Calabi-Yau three-folds. Crystal modules of these algebras originate from molten crystal models for Donaldson-Thomas invariants of respective three-folds. Despite the fact that this subject was originally at the crossroads of algebraic geometry with effective supersymmetric field theories, equivariant toric action simplifies applied calculations drastically. So the sole pre-requisite for this algorithm's implementation is linear algebra. It can be easily taught to a machine with the help of any symbolic calculation system. Moreover, these algorithms may be generalized to toroidal and elliptic algebras and exploited in various numerical experiments with those algebras. We illustrate the work of the algorithms in applications to simple cases of $\mathsf{Y}(\mathfrak{sl}_2)$, $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1})$ and $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$.

hep-th

Wall-Crossing Effects on Quiver BPS Algebras

BPS states in supersymmetric theories can admit additional algebro-geometric structures in their spectra, described as quiver Yangian algebras. Equivariant fixed points on the quiver variety are interpreted as vectors populating a representation module, and matrix elements for the generators are then defined as Duistermaat-Heckman integrals in the vicinity of these points. The well-known wall-crossing phenomena are that the fixed point spectrum establishes a dependence on the stability (Fayet-Illiopolous) parameters $\zeta$, jumping abruptly across the walls of marginal stability, which divide the $\zeta$-space into a collection of stability chambers -- ``phases'' of the theory. The standard construction of the quiver Yangian algebra relies heavily on the molten crystal model, valid in a sole cyclic chamber where all the $\zeta$-parameters have the same sign. We propose to lift this restriction and investigate the effects of the wall-crossing phenomena on the quiver Yangian algebra and its representations -- starting with the example of affine super-Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. In addition to the molten crystal construction more general atomic structures appear, in other non-cyclic phases (chambers of the $\zeta$-space). We call them glasses and also divide in a few different classes. For some of the new phases we manage to associate an algebraic structure again as a representation of the same affine Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. This observation supports an earlier conjecture that the BPS algebraic structures can be considered as new wall-crossing invariants.

hep-th

Simple Representations of BPS Algebras: the case of $Y(\widehat{\mathfrak{gl}}_2)$

BPS algebras are the symmetries of a wide class of brane-inspired models. They are closely related to Yangians -- the peculiar and somewhat sophisticated limit of DIM algebras. Still they possess some simple and explicit representations. We explain here that for $Y(\widehat{\mathfrak{gl}}_r)$ these representations are related to Uglov polynomials, whose families are also labeled by natural $r$. They arise in the limit $\hbar\longrightarrow 0$ from Macdonald polynomials, and generalize the well-known Jack polynomials ($\beta$-deformation of Schur functions), associated with $r=1$. For $r=2$ they approximate Macdonald polynomials with the accuracy $O(\hbar^2)$, so that they are eigenfunctions of {\it two} immediately available commuting operators, arising from the $\hbar$-expansion of the first Macdonald Hamiltonian. These operators have a clear structure, which is easily generalizable, -- what provides a technically simple way to build an explicit representation of Yangian $Y(\widehat{\mathfrak{gl}}_2)$, where $U^{(2)}$ are associated with the states $|\lambda\rangle$, parametrized by chess-colored Young diagrams. An interesting feature of this representation is that the odd time-variables $p_{2n+1}$ can be expressed through mutually commuting operators from Yangian, however even time-variables $p_{2n}$ are inexpressible. Implications to higher $r$ become now straightforward, yet we describe them only in a sketchy way.

hep-th