-
Cohomology rings of the moduli of one-dimensional sheaves on the projective plane
Authors:
Yakov Kononov,
Woonam Lim,
Miguel Moreira,
Weite Pi
Abstract:
We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,χ}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including Mumford-type relations, and prove that their ideal is generated by certain primitive relations via the Virasoro operators. Using BPS integrality and the computationa…
▽ More
We initiate a systematic study on the cohomology rings of the moduli stack $\mathfrak{M}_{d,χ}$ of semistable one-dimensional sheaves on the projective plane. We introduce a set of tautological relations of geometric origin, including Mumford-type relations, and prove that their ideal is generated by certain primitive relations via the Virasoro operators. Using BPS integrality and the computational efficiency of Virasoro operators, we show that our geometric relations completely determine the cohomology rings of the moduli stacks up to degree 5.
As an application, we verify the refined Gopakumar--Vafa/Pandharipande--Thomas correspondence for local $\mathbb{P}^2$ in degree 5. Furthermore, we propose a substantially strengthened version of the $P=C$ conjecture, originally introduced by Shen and two of the authors. This can be viewed as an analogue of the $P=W$ conjecture in a compact and Fano setting.
△ Less
Submitted 23 June, 2024; v1 submitted 10 March, 2024;
originally announced March 2024.
-
Perverse filtrations, Chern filtrations, and refined BPS invariants for local $\mathbb{P}^2$
Authors:
Yakov Kononov,
Weite Pi,
Junliang Shen
Abstract:
We explore connections between three structures associated with the cohomology of the moduli of 1-dimensional stable sheaves on $\mathbb{P}^2$: perverse filtrations, tautological classes, and refined BPS invariants for local $\mathbb{P}^2$. We formulate the $P=C$ conjecture identifying the perverse filtration with the Chern filtration for the free part of the cohomology. This can be viewed as an a…
▽ More
We explore connections between three structures associated with the cohomology of the moduli of 1-dimensional stable sheaves on $\mathbb{P}^2$: perverse filtrations, tautological classes, and refined BPS invariants for local $\mathbb{P}^2$. We formulate the $P=C$ conjecture identifying the perverse filtration with the Chern filtration for the free part of the cohomology. This can be viewed as an analog of de Cataldo--Hausel--Migliorini's $P=W$ conjecture for Hitchin systems. Our conjecture is compatible with the enumerative invariants of local $\mathbb{P}^2$ calculated by refined Pandharipande--Thomas theory or Nekrasov partition functions. It provides a cohomological lift of a conjectural product formula of the asymptotic refined BPS invariants. We prove the $P=C$ conjecture for degrees $\leq 4$.
△ Less
Submitted 1 December, 2023; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Ultrametrics and complete multipartite graphs
Authors:
Viktoriia Bilet,
Oleksiy Dovgoshey,
Yuriy Kononov
Abstract:
We describe the class of graphs for which all metric spaces with diametrical graphs belonging to this class are ultrametric. It is shown that a metric space $(X, d)$ is ultrametric iff the diametrical graph of the metric $d_{\varepsilon}(x, y) = \max\{d(x, y), \varepsilon\}$ is either empty or complete multipartite for every $\varepsilon > 0$. A refinement of the last result is obtained for totall…
▽ More
We describe the class of graphs for which all metric spaces with diametrical graphs belonging to this class are ultrametric. It is shown that a metric space $(X, d)$ is ultrametric iff the diametrical graph of the metric $d_{\varepsilon}(x, y) = \max\{d(x, y), \varepsilon\}$ is either empty or complete multipartite for every $\varepsilon > 0$. A refinement of the last result is obtained for totally bounded spaces. Moreover, using complete multipartite graphs we characterize the compact ultrametrizable topological spaces. The bounded ultrametric spaces, which are weakly similar to unbounded ones, are also characterized via complete multipartite graphs.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Two-dimensional topological theories, rational functions and their tensor envelopes
Authors:
Mikhail Khovanov,
Victor Ostrik,
Yakov Kononov
Abstract:
We study generalized Deligne categories and related tensor envelopes for the universal two-dimensional cobordism theories described by rational functions, recently defined by Sazdanovic and one of the authors.
We study generalized Deligne categories and related tensor envelopes for the universal two-dimensional cobordism theories described by rational functions, recently defined by Sazdanovic and one of the authors.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
-
Pursuing quantum difference equations II: 3D-mirror symmetry
Authors:
Yakov Kononov,
Andrey Smirnov
Abstract:
Consider a pair of symplectic varieties dual with respect to 3D-mirror symmetry. The K-theoretic limit of the elliptic duality interface is an equivariant K-theory class of the product. We show that this class provides correspondences in the product mapping the K-theoretic stable envelopes to the K-theoretic stable envelopes. This construction allows us to extend the action of various representati…
▽ More
Consider a pair of symplectic varieties dual with respect to 3D-mirror symmetry. The K-theoretic limit of the elliptic duality interface is an equivariant K-theory class of the product. We show that this class provides correspondences in the product mapping the K-theoretic stable envelopes to the K-theoretic stable envelopes. This construction allows us to extend the action of various representation theoretic objects on K(X), such as action of quantum groups, quantum Weyl groups, R-matrices etc., to their action on the K-theory of the variety dual to X. In particular, we relate the wall R-matrices to the R-matrices of the dual variety.
As an example, we apply our results to the Hilbert scheme of n points in the complex plane. In this case we arrive at the conjectures of E.Gorsky and A.Negut.
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
Pursuing quantum difference equations I: stable envelopes of subvarieties
Authors:
Yakov Kononov,
Andrey Smirnov
Abstract:
Let $X$ be a symplectic variety equipped with an action of a torus $A$. Let $ν\subset A$ be a finite cyclic subgroup. We show that K-theoretic stable envelope of subvarieties $X^ν\subset X$ can be obtained via various limits of the elliptic stable envelopes of $X$. An example of $X$ given by the Hilbert scheme of points in the complex plane is considered in details.
Let $X$ be a symplectic variety equipped with an action of a torus $A$. Let $ν\subset A$ be a finite cyclic subgroup. We show that K-theoretic stable envelope of subvarieties $X^ν\subset X$ can be obtained via various limits of the elliptic stable envelopes of $X$. An example of $X$ given by the Hilbert scheme of points in the complex plane is considered in details.
△ Less
Submitted 13 June, 2022; v1 submitted 15 April, 2020;
originally announced April 2020.
-
The 2-leg vertex in K-theoretic DT theory
Authors:
Ya. Kononov,
A. Okounkov,
A. Osinenko
Abstract:
K-theoretic Donaldson-Thomas counts of curves in toric and many related threefolds can be computed in terms of a certain canonical 3-valent tensor, the K-theoretic equivariant vertex. In this paper we derive a formula for the vertex in the case when two out of three entries are nontrivial. We also discuss some applications of this result.
K-theoretic Donaldson-Thomas counts of curves in toric and many related threefolds can be computed in terms of a certain canonical 3-valent tensor, the K-theoretic equivariant vertex. In this paper we derive a formula for the vertex in the case when two out of three entries are nontrivial. We also discuss some applications of this result.
△ Less
Submitted 4 May, 2019;
originally announced May 2019.
-
On rectangular HOMFLY for twist knots
Authors:
Ya. Kononov,
A. Morozov
Abstract:
As a new step in the study of rectangularly-colored knot polynomials, we reformulate the prescription of arXiv:1606.06015 for twist knots in the double-column representations $R=[rr]$ in terms of skew Schur polynomials. These, however, are mysteriously shifted from the standard topological locus, what makes further generalization to arbitrary $R=[r^s]$ not quite straightforward.
As a new step in the study of rectangularly-colored knot polynomials, we reformulate the prescription of arXiv:1606.06015 for twist knots in the double-column representations $R=[rr]$ in terms of skew Schur polynomials. These, however, are mysteriously shifted from the standard topological locus, what makes further generalization to arbitrary $R=[r^s]$ not quite straightforward.
△ Less
Submitted 15 October, 2016;
originally announced October 2016.
-
Rectangular superpolynomials for the figure-eight knot
Authors:
Ya. Kononov,
A. Morozov
Abstract:
We rewrite the recently proposed differential expansion formula for HOMFLY polynomials of the knot $4_1$ in arbitrary rectangular representation $R=[r^s]$ as a sum over all Young sub-diagrams $λ$ of $R$ with extraordinary simple coefficients $D_{λ^{tr}}(r)\cdot D_λ(s)$ in front of the $Z$-factors. Somewhat miraculously, these coefficients are made from quantum dimensions of symmetric representatio…
▽ More
We rewrite the recently proposed differential expansion formula for HOMFLY polynomials of the knot $4_1$ in arbitrary rectangular representation $R=[r^s]$ as a sum over all Young sub-diagrams $λ$ of $R$ with extraordinary simple coefficients $D_{λ^{tr}}(r)\cdot D_λ(s)$ in front of the $Z$-factors. Somewhat miraculously, these coefficients are made from quantum dimensions of symmetric representations of the groups $SL(r)$ and $SL(s)$ and restrict summation to diagrams with no more than $s$ rows and $r$ columns. They possess a natural $β$-deformation to Macdonald dimensions and produces positive Laurent polynomials, which can be considered as plausible candidates for the role of the rectangular superpolynomials. Both polynomiality and positivity are non-evident properties of arising expressions, still they are true. This extends the previous suggestions for symmetric and antisymmetric representations (when $s=1$ or $r=1$ respectively) to arbitrary rectangular representations. As usual for differential expansion, there are additional gradings. In the only example, available for comparison -- that of the trefoil knot $3_1$, to which our results for $4_1$ are straightforwardly extended, -- one of them reproduces the "fourth grading" for hyperpolynomials. Factorization properties are nicely preserved even in the 5-graded case.
△ Less
Submitted 10 September, 2016; v1 submitted 1 September, 2016;
originally announced September 2016.
-
On Factorization of Generalized Macdonald Polynomials
Authors:
Ya. Kononov,
A. Morozov
Abstract:
A remarkable feature of Schur functions -- the common eigenfunctions of cut-and-join operators from $W_\infty$ -- is that they factorize at the peculiar two-parametric topological locus in the space of time-variables, what is known as the hook formula for quantum dimensions of representations of $U_q(SL_N)$ and plays a big role in various applications. This factorization survives at the level of M…
▽ More
A remarkable feature of Schur functions -- the common eigenfunctions of cut-and-join operators from $W_\infty$ -- is that they factorize at the peculiar two-parametric topological locus in the space of time-variables, what is known as the hook formula for quantum dimensions of representations of $U_q(SL_N)$ and plays a big role in various applications. This factorization survives at the level of Macdonald polynomials. We look for its further generalization to {\it generalized} Macdonald polynomials (GMP), associated in the same way with the toroidal Ding-Iohara-Miki algebras, which play the central role in modern studies in Seiberg-Witten-Nekrasov theory. In the simplest case of the first-coproduct eigenfunctions, where GMP depend on just two sets of time-variables, we discover a weak factorization -- on a codimension-one slice of the topological locus, what is already a very non-trivial property, calling for proof and better understanding.
△ Less
Submitted 8 September, 2016; v1 submitted 3 July, 2016;
originally announced July 2016.
-
Flat coordinates for Saito Frobenius manifolds and String theory
Authors:
Alexander Belavin,
Doron Gepner,
Yakov Kononov
Abstract:
It was shown in \cite{DVV} for $2d$ topological Conformal field theory (TCFT) \cite{EY,W} and more recently in \cite{BSZ}-\cite{BB2} for the non-critical String theory \cite{P}-\cite{BAlZ} that a number of models of these two types can be exactly solved using their connection with the Frobenius manifold (FM) structure introduced by Dubrovin\cite{Dub}. More precisely these models are connected with…
▽ More
It was shown in \cite{DVV} for $2d$ topological Conformal field theory (TCFT) \cite{EY,W} and more recently in \cite{BSZ}-\cite{BB2} for the non-critical String theory \cite{P}-\cite{BAlZ} that a number of models of these two types can be exactly solved using their connection with the Frobenius manifold (FM) structure introduced by Dubrovin\cite{Dub}. More precisely these models are connected with a special case of FMs, so called Saito Frobenius manifolds (SFM)\cite{Saito} (originally called Flat structure together with the Flat coordinate system), which arise on the space of the versal deformations of the isolated Singularities after choosing of a suitabe so-called Primitive form, and which also arises on the quotient spaces by reflection groups. In this paper we explore the connection of the models of TCFT and non-critical String theory with SFM. The crucial point for obtaining an explicit expression for the correlators is finding the flat coordinates of SFMs as functions of the parameters of the deformed singularity. We suggest a direct way to find the flat coordinates, using the integral representation for the solutions of Gauss-Manin system connected with the corresponding SFM for a simple singularity. Also, we address the possible generalization of our approach for the models investigated in \cite{Gep} which are ${SU(N)_k}/({SU(N-1)_{k+1} \times U(1)})$ Kazama-Suzuki theories \cite{KS}.
△ Less
Submitted 24 February, 2016; v1 submitted 23 October, 2015;
originally announced October 2015.
-
Colored HOMFLY and Generalized Mandelbrot set
Authors:
Ya. Kononov,
A. Morozov
Abstract:
Mandelbrot set is a closure of the set of zeroes of $resultant_x(F_n,F_m)$ for iterated maps $F_n(x)=f^{\circ n}(x)-x$ in the moduli space of maps $f(x)$. The wonderful fact is that for a given $n$ all zeroes are not chaotically scattered around the moduli space, but lie on smooth curves, with just a few cusps, located at zeroes of $discriminant_x(F_n)$. We call this phenomenon the Mandelbrot prop…
▽ More
Mandelbrot set is a closure of the set of zeroes of $resultant_x(F_n,F_m)$ for iterated maps $F_n(x)=f^{\circ n}(x)-x$ in the moduli space of maps $f(x)$. The wonderful fact is that for a given $n$ all zeroes are not chaotically scattered around the moduli space, but lie on smooth curves, with just a few cusps, located at zeroes of $discriminant_x(F_n)$. We call this phenomenon the Mandelbrot property. If approached by the cabling method, symmetrically-colored HOMFLY polynomials $H^{\cal K}_n(A|q)$ can be considered as linear forms on the $n$-th "power" of the knot ${\cal K}$, and one can wonder if zeroes of $resultant_{q^2}(H_n,H_m)$ can also possess the Mandelbrot property. We present and discuss such resultant-zeroes patterns in the complex-$A$ plane. Though $A$ is hardly an adequate parameter to describe the moduli space of knots, the Mandelbrot-like structure is clearly seen -- in full accord with the vision of arXiv:hep-th/0501235, that concrete slicing of the Universal Mandelbrot set is not essential for revealing its structure.
△ Less
Submitted 5 October, 2015;
originally announced October 2015.
-
Factorization of colored knot polynomials at roots of unity
Authors:
Ya. Kononov,
A. Morozov
Abstract:
From analysis of a big variety of different knots we conclude that at q which is an root of unity, q^{2m}=1, HOMFLY polynomials in symmetric representations [r] satisfy recursion identity: H_{r+m} = H_r H_m for any A, which is a generalization of the property H_r = (H_1)^r for special polynomials at q=1. We conjecture a natural generalization to arbitrary representation R, which, however, is check…
▽ More
From analysis of a big variety of different knots we conclude that at q which is an root of unity, q^{2m}=1, HOMFLY polynomials in symmetric representations [r] satisfy recursion identity: H_{r+m} = H_r H_m for any A, which is a generalization of the property H_r = (H_1)^r for special polynomials at q=1. We conjecture a natural generalization to arbitrary representation R, which, however, is checked only for torus knots. Next, Kashaev polynomial, which arises from H_R at q=exp(iπ/|R|), turns equal to the special polynomial with A substituted by A^|R|, provided R is a single-hook representations (e.g. arbitrary symmetric) -- what provides a q-A dual to the similar property of Alexander polynomial. All this implies non-trivial relations for the coefficients of the differential expansions, which are believed to provide reasonable coordinates in the space of knots -- existence of such universal relations means that these variables are still not unconstrained.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
On the defect and stability of differential expansion
Authors:
Ya. Kononov,
A. Morozov
Abstract:
Empirical analysis of many colored knot polynomials, made possible by recent computational advances in Chern-Simons theory, reveals their stability: for any given negative N and any given knot the set of coefficients of the polynomial in r-th symmetric representation does not change with r, if it is large enough. This fact reflects the non-trivial and previously unknown properties of the different…
▽ More
Empirical analysis of many colored knot polynomials, made possible by recent computational advances in Chern-Simons theory, reveals their stability: for any given negative N and any given knot the set of coefficients of the polynomial in r-th symmetric representation does not change with r, if it is large enough. This fact reflects the non-trivial and previously unknown properties of the differential expansion, and it turns out that from this point of view there are universality classes of knots, characterized by a single integer, which we call defect, and which is in fact related to the power of Alexander polynomial.
△ Less
Submitted 7 May, 2015; v1 submitted 27 April, 2015;
originally announced April 2015.
