skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Pursuing Quantum Difference Equations II: 3D mirror symmetry
Abstract Let $$\textsf {X}$$ and $$\textsf {X}^{!}$$ be 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 $$\mathfrak {m} \in K(\textsf {X}\times \textsf {X}^{!})$$. We show that this class provides correspondences $$ \begin{align*} & \Phi_{\mathfrak{m}}: K(\textsf{X}) \leftrightarrows K(\textsf{X}^{!}) \end{align*}$$mapping the $$K$$-theoretic stable envelopes to the $$K$$-theoretic stable envelopes. This construction allows us to relate various representation theoretic objects of $$K(\textsf {X})$$, such as action of quantum groups, quantum dynamical Weyl groups, $$R$$-matrices, etc., to those for $$K(\textsf {X}^{!})$$. In particular, we relate the wall $$R$$-matrices of $$\textsf {X}$$ to the $$R$$-matrices of the dual variety $$\textsf {X}^{!}$$. As an example, we apply our results to $$\textsf {X}=\textrm {Hilb}^{n}({{\mathbb {C}}}^2)$$—the Hilbert scheme of $$n$$ points in the complex plane. In this case, we arrive at the conjectures of Gorsky and Negut from [10].  more » « less
Award ID(s):
2054527
PAR ID:
10433249
Author(s) / Creator(s):
;
Publisher / Repository:
Oxford University Press
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2023
Issue:
15
ISSN:
1073-7928
Page Range / eLocation ID:
p. 13290-13331
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We consider a pair of quiver varieties $$(X;X^{\prime})$$ related by 3D mirror symmetry, where $$X =T^*{Gr}(k,n)$$ is the cotangent bundle of the Grassmannian of $$k$$-planes of $$n$$-dimensional space. We give formulas for the elliptic stable envelopes on both sides. We show an existence of an equivariant elliptic cohomology class on $$X \times X^{\prime} $$ (the mother function) whose restrictions to $$X$$ and $$X^{\prime} $$ are the elliptic stable envelopes of those varieties. This implies that the restriction matrices of the elliptic stable envelopes for $$X$$ and $$X^{\prime}$$ are equal after transposition and identification of the equivariant parameters on one side with the Kähler parameters on the dual side. 
    more » « less
  2. We construct finite $$R$$-matrices for the first fundamental representation $$V$$ of two-parameter quantum groups $$U_{r,s}(\mathfrak{g})$$ for classical $$\mathfrak{g}$$, both through the decomposition of $$V\otimes V$$ into irreducibles $$U_{r,s}(\mathfrak{g})$$-submodules as well as by evaluating the universal $$R$$-matrix. The latter is crucially based on the construction of dual PBW-type bases of $$U^{\pm}_{r,s}(\mathfrak{g})$$ consisting of the ordered products of quantum root vectors defined via $(r,s)$-bracketings and combinatorics of standard Lyndon words. We further derive explicit formulas for affine $$R$$-matrices, both through the Yang-Baxterization technique of [Internat. J. Modern Phys. A 6 (1991), 3735-3779] and as the unique intertwiner between the tensor product of $V(u)$ and $V(v)$, viewed as modules over two-parameter quantum affine algebras $$U_{r,s}(\widehat{\mathfrak{g}})$$ for classical $$\mathfrak{g}$$. The latter generalizes the formulas of [Comm. Math. Phys. 102 (1986), 537-547] for one-parametric quantum affine algebras. 
    more » « less
  3. Abstract Let $$k \leq n$$ be positive integers, and let $$X_n = (x_1, \dots , x_n)$$ be a list of $$n$$ variables. The Boolean product polynomial$$B_{n,k}(X_n)$$ is the product of the linear forms $$\sum _{i \in S} x_i$$, where $$S$$ ranges over all $$k$$-element subsets of $$\{1, 2, \dots , n\}$$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call Chern plethysm. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials $$B_{n,k}(X_n)$$ for certain $$k$$ to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate $$B_{n,n-1}(X_n)$$ to a bigraded action of the symmetric group $${\mathfrak{S}}_n$$ on a divergence free quotient of superspace. 
    more » « less
  4. The question of when a vertex algebra is a quantization of the arc space of its associated scheme has recently received a lot of attention in both the mathematics and physics literature. This property was first studied by Tomoyuki Arakawa and Anne Moreau (see their paper in the references), and was given the name \lq\lq classical freeness by Jethro van Ekeren and Reimundo Heluani [Comm. Math. Phys. 386 (2021), no. 1, pp. 495-550] in their work on chiral homology. Later, it was extended to vertex superalgebras by Hao Li [Eur. J. Math. 7 (2021), pp. 1689–1728]. In this note, we prove the classical freeness of the simple affine vertex superalgebra L n ( o s p m | 2 r ) L_n(\mathfrak {o}\mathfrak {s}\mathfrak {p}_{m|2r}) for all positive integers m , n , r m,n,r satisfying −<#comment/> m 2 + r + n + 1 > 0 -\frac {m}{2} + r +n+1 > 0 . In particular, it holds for the rational vertex superalgebras L n ( o s p 1 | 2 r ) L_n(\mathfrak {o}\mathfrak {s}\mathfrak {p}_{1|2r}) for all positive integers r , n r,n
    more » « less
  5. In this article a condition is given to detect the containment among thick subcategories of the bounded derived category of a commutative noetherian ring. More precisely, for a commutative noetherian ring R R and complexes of R R -modules with finitely generated homology M M and N N , we show N N is in the thick subcategory generated by M M if and only if the ghost index of N p N_\mathfrak {p} with respect to M p M_\mathfrak {p} is finite for each prime p \mathfrak {p} of R R . To do so, we establish a “converse coghost lemma” for the bounded derived category of a non-negatively graded DG algebra with noetherian homology. 
    more » « less