Search

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., Comment: 16 pages, v2: minor updates

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., Comment: 26 pages, 2 figures, v2: typos corrected, references added

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.

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})$., Comment: 41 pages, 9 figures

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., Comment: 36 pages, 7 figures, minor corrections, references added

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.

We review the main ideas underlying the emerging theory of Yangians -- the new type of hidden symmetry in string-inspired models. Their classification by quivers is a far-going generalization of simple Lie algebras classification by Dynkin diagrams. However, this is still a kind of project, while a more constructive approach goes through toric Calabi-Yau spaces, related supersymmetric systems and the Duistermaat-Heckmann/equivariant integrals between the fixed points in the ADHM-like moduli spaces. These fixed points are classified by crystals (Young-type diagrams) and Yangian generators describe ``instanton'' transitions between them. Detailed examples will be presented elsewhere.

We explicitly construct cut-and-join operators and their eigenfunctions -- the Super-Schur functions -- for the case of the affine super-Yangian $\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})$. This is the simplest non-trivial (semi-Fock) representation, where eigenfunctions are labeled by the superanalogue of 2d Young diagrams, and depend on the supertime variables $(p_k,\theta_k)$. The action of other generators on diagrams is described by the analogue of the Pieri rule. As well we present generalizations of the hook formula for the measure on super-Young diagrams and of the Cauchy formula. Also a discussion of string theory origins for these relations is provided., Comment: 27 pages, 3 figures

The answers for Feynman diagrams satisfy various kinds of differential equations -- which is not a surprise, because they are defined as Gaussian correlators, possessing a vast variety of Ward identities and superintegrability properties. We study these equations in the simplest example of banana diagrams. They contain any number of loops, but can be efficiently handled in position rather than momentum representation, where loop integrals do not show up. We derive equations for the case of scalar fields, explain their origins and drastic simplification at coincident masses. To further simplify the story we do not consider coincident points, i.e. ignore delta-function contributions and ultraviolet divergences for the most part. The equations in this case reduce to homogeneous and have as many solutions as there are different Green functions -- $2^n$ for $n$ loops in quadratic theory, what reduces to just $n+1$ for coincident masses, i.e. for a single field. We comment on the recovery of the delta-functions directly from the homogeneous equations and also compare our result with momentum space formulas known in the literature., Comment: 26 pages, 1 figure

Knot matrix models are defined so that the averages of characters are equal to knot polynomials. From this definition one can extract single trace averages and generation functions for them in the group rank - which generalize the celebrated Harer-Zagier formulas for Hermitian matrix model. We describe the outcome of this program for HOMFLY-PT polynomials of various knots. In particular, we claim that the Harer-Zagier formulas for torus knots factorize nicely, but this does not happen for other knots. This fact is mysteriously parallel to existence of explicit beta = 1 eigenvalue model construction for torus knots only, and can be responsible for problems with construction of a similar model for other knots.

We derive the analogues of the Harer-Zagier formulas for single- and double-trace correlators in the q-deformed Hermitian Gaussian matrix model. This fully describes single-trace correlators and opens a road to $q$-deformations of important matrix models properties, such as genus expansion and Wick theorem.

We conjecture explicit evolution formulas for Khovanov polynomials for pretzel knots in some regions in the windings space. Our description is exhaustive for genera 1 and 2. As previously observed, evolution at T != -1 is not fully smooth: it switches abruptly at the boundaries between different regions. We reveal that this happens also at the boundary between thin and thick knots, moreover, the thick-knot domain is further stratified. For thin knots evolution is governed by the standard T-deformation lambda of the eigenvalues of the R-matrix. Emerging in the thick knots regions are additional Lyapunov exponents, which are multiples of the naive ones. Such frequency doubling is typical for non-linear dynamics, and our observation can signal about a hidden non-linearity of superpolynomial evolution. Since evolution with eigenvalues lambda^2, ..., lambda^g is "faster" than the one with lambda in the thin-knot region, we name it "nimble., Comment: 16 pages

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

We review the basic properties of effective actions of families of theories (i.e., the actions depending on additional non-perturbative moduli along with perturbative couplings), and their description in terms of operators (called check-operators), which act on the moduli space. It is this approach that led to constructing the (quantum) spectral curves and what is now nicknamed the EO/AMM topological recursion. We explain how the non-commutative algebra of check-operators is related to the modular kernels and how symplectic (special) geometry emerges from it in the classical (Seiberg-Witten) limit, where the quantum integrable structures turn into the well studied classical integrability. As time goes, these results turn applicable to more and more theories of physical importance, supporting the old idea that many universality classes of low-energy effective theories contain matrix model

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

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

Following the suggestion of arXiv:1407.6319 to lift the knot polynomials for virtual knots and links from Jones to HOMFLY, we apply the evolution method to calculate them for an infinite series of twist-like virtual knots and antiparallel 2-strand links. Within this family one can check topological invariance and understand how differential hierarchy is modified in virtual case. This opens a way towards a definition of colored (not only cabled) knot polynomials, though problems still persist beyond the first symmetric representation., Comment: 28 pages

Virtual knots are associated with knot diagrams, which are not obligatory planar. The recently suggested generalization from N=2 to arbitrary N of the Kauffman-Khovanov calculus of cycles in resolved diagrams can be straightforwardly applied to non-planar case. In simple examples we demonstrate that this construction preserves topological invariance -- thus implying the existence of HOMFLY extension of cabled Jones polynomials for virtual knots and links., Comment: 12 pages

In temporal gauge A_{0}=0 the 3d Chern-Simons theory acquires quadratic action and an ultralocal propagator. This directly implies a 2d R-matrix representation for the correlators of Wilson lines (knot invariants), where only the crossing points of the contours projection on the xy plane contribute. Though the theory is quadratic, P-exponents remain non-trivial operators and R-factors are easier to guess then derive. We show that the topological invariants arise if additional flag structure (xy plane and an y line in it) is introduced, R is the universal quantum R-matrix and turning points contribute the "enhancement" factors q^{\rho}., Comment: 27 pages, 17 figures

We analyze the pattern of normal modes in linearized Lorentz-violating massive gravity over the 5-dimensional moduli space of mass terms. Ghost-free theories arise at bifurcation points when the ghosts get out of the spectrum of propagating particles due to vanishing of the coefficient in front of \omega^2 in the propagator. Similarly, the van Dam-Veltman-Zakharov (DVZ) discontinuities in the Newton law arise at another type of bifurcations, when the coefficient vanishes in front of \vec k^2. When the Lorentz invariance is broken, these two kinds of bifurcations get independent and one can easily find a ghost-free model without the DVZ discontinuity in the moduli space, at least, in the quadratic (linearized) approximation., Comment: 29 pages

We perform a systematic study of various versions of massive gravity with and without violation of Lorentz symmetry in arbitrary dimension. These theories are well known to possess very unusual properties, unfamiliar from studies of gauge and Lorentz invariant models. These peculiarities are caused by mixing of familiar transverse fields with revived longitudinal and pure gauge (Stueckelberg) fields and are all seen already in quadratic approximation. They are all associated with non-trivial dispersion laws, which easily allow superluminal propagation, ghosts, tachyons and essential irrationalities. Moreover, coefficients in front of emerging modes are small, what makes the theories essentially non-perturbative within a large Vainshtein radius. Attempts to get rid of unwanted degrees of freedom by giving them infinite masses lead to DVZ discontinuities in parameter (moduli) space, caused by un-permutability of different limits. Also, the condition m_{gh}=\infty can not be preserved already in non-trivial gravitational backgrounds and is unstable under any other perturbations of linearized gravity. At the same time an {\it a priori} healthy model of massive gravity in quadratic approximation definitely exists: provided by any mass level of Kaluza-Klein tower. It bypasses the problems because gravity field is mixed with other fields, and this explains why such mixing helps in other models. At the same time this can imply that the really healthy massive gravity can still require infinite number of extra fields beyond quadratic approximation., Comment: 46 pages

An explicit check of the AGT relation between the W_N-symmetry controlled conformal blocks and U(N) Nekrasov functions requires knowledge of the Shapovalov matrix and various triple correlators for W-algebra descendants. We collect simplest expressions of this type for N=3 and for the two lowest descendant levels, together with the detailed derivations, which can be now computerized and used in more general studies of conformal blocks and AGT relations at higher levels., Comment: 29 pages

The field theoretical renormalization group equations have many common features with the equations of dynamical systems. In particular, the manner how Callan-Symanzik equation ensures the independence of a theory from its subtraction point is reminiscent of self-similarity in autonomous flows towards attractors. Motivated by such analogies we propose that besides isolated fixed points, the couplings in a renormalizable field theory may also flow towards more general, even fractal attractors. This could lead to Big Mess scenarios in applications to multiphase systems, from spin-glasses and neural networks to fundamental string (M?) theory. We consider various general aspects of such chaotic flows. We argue that they pose no obvious contradictions with the known properties of effective actions, the existence of dissipative Lyapunov functions, and even the strong version of the c-theorem. We also explain the difficulties encountered when constructing effective actions with chaotic renormalization group flows and observe that they have many common virtues with realistic field theory effective actions. We conclude that if chaotic renormalization group flows are to be excluded, conceptually novel no-go theorems must be developed., Comment: 40 pages