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
Pursuing Quantum Difference Equations II: 3D mirror symmetry
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
- 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
-
-
more » « less
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.
-
This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) .more » « less
-
more » « less
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
and complexes of -modules with finitely generated homology and , we show is in the thick subcategory generated by if and only if the ghost index of with respect to is finite for each prime of . To do so, we establish a “converse coghost lemma” for the bounded derived category of a non-negatively graded DG algebra with noetherian homology. -
Abstract For any compact connected one-dimensional submanifold $K\subset \mathbb R^{2\times 2}$ without boundary that has no rank-one connection and is elliptic, we prove the quantitative rigidity estimate $$\begin{align*} \inf_{M\in K}\int_{B_{1/2}}| Du -M |^2\, \textrm{d}x \leq C \int_{B_1} \operatorname{dist}^2(Du, K)\, \textrm{d}x, \qquad\forall u\in H^1(B_1;\mathbb R^2). \end{align*}$$This is an optimal generalization, for compact connected submanifolds of $\mathbb R^{2\times 2}$ without boundary, of the celebrated quantitative rigidity estimate of Friesecke, James, and Müller for the approximate differential inclusion into $SO(n)$. The proof relies on the special properties of elliptic subsets $K\subset{{\mathbb{R}}}^{2\times 2}$ with respect to conformal–anticonformal decomposition, which provide a quasilinear elliptic partial differential equation satisfied by solutions of the exact differential inclusion $Du\in K$. We also give an example showing that no analogous result can hold true in $\mathbb R^{n\times n}$ for $n\geq 3$.more » « less
