An official website of the United States government
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
Three-Dimensional Mirror Symmetry and Elliptic Stable Envelopes
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
- Award ID(s):
- 1954266
- PAR ID:
- 10317902
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- ISSN:
- 1073-7928
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Karshon, Yael; Melrose, Richard; Uhlmann, Gunther; Uribe, Alejandro (Ed.)Hessenberg varieties H(X,H) form a class of subvarieties of the flag variety G/B, parameterized by an operator X and certain subspaces H of the Lie algebra of G. We identify several families of Hessenberg varieties in type A_{n−1} that are T -stable subvarieties of G/B, as well as families that are invariant under a subtorus K of T. In particular, these varieties are candidates for the use of equivariant methods to study their geometry. Indeed, we are able to show that some of these varieties are unions of Schubert varieties, while others cannot be such unions. Among the T-stable Hessenberg varieties, we identify several that are GKM spaces, meaning T acts with isolated fixed points and a finite number of one-dimensional orbits, though we also show that not all Hessenberg varieties with torus actions and finitely many fixed points are GKM. We conclude with a series of open questions about Hessenberg varieties, both in type A_{n−1} and in general Lie type.more » « less
-
null (Ed.)Abstract The elliptic algebras in the title are connected graded $$\mathbb {C}$$ -algebras, denoted $$Q_{n,k}(E,\tau )$$ , depending on a pair of relatively prime integers $$n>k\ge 1$$ , an elliptic curve E and a point $$\tau \in E$$ . This paper examines a canonical homomorphism from $$Q_{n,k}(E,\tau )$$ to the twisted homogeneous coordinate ring $$B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$$ on the characteristic variety $$X_{n/k}$$ for $$Q_{n,k}(E,\tau )$$ . When $$X_{n/k}$$ is isomorphic to $E^g$ or the symmetric power $S^gE$ , we show that the homomorphism $$Q_{n,k}(E,\tau ) \to B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$$ is surjective, the relations for $$B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$$ are generated in degrees $$\le 3$$ and the noncommutative scheme $$\mathrm {Proj}_{nc}(Q_{n,k}(E,\tau ))$$ has a closed subvariety that is isomorphic to $E^g$ or $S^gE$ , respectively. When $$X_{n/k}=E^g$$ and $$\tau =0$$ , the results about $$B(X_{n/k},\sigma ',\mathcal {L}^{\prime }_{n/k})$$ show that the morphism $$\Phi _{|\mathcal {L}_{n/k}|}:E^g \to \mathbb {P}^{n-1}$$ embeds $E^g$ as a projectively normal subvariety that is a scheme-theoretic intersection of quadric and cubic hypersurfaces.more » « less
-
Abstract Given a closed symplectic manifoldX, we construct Gromov-Witten-type invariants valued both in (complex)K-theory and in any complex-oriented cohomology theory$$\mathbb{K}$$which isKp(n)-local for some MoravaK-theoryKp(n). We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee’s work for the quantumK-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantumK-theory and quantum$$\mathbb{K}$$-theory as commutative deformations of the corresponding (generalised) cohomology rings ofX; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input of these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus toX. On the algebraic side, in order to establish a common framework covering both ordinaryK-theory andKp(n)-local theories, we introduce a formalism of ‘counting theories’ for enumerative invariants on a category of global Kuranishi charts.more » « less
-
Abstract Given a K3 surface X over a number field K with potentially good reduction everywhere, we prove that the set of primes of K where the geometric Picard rank jumps is infinite. As a corollary, we prove that either $$X_{\overline {K}}$$ has infinitely many rational curves or X has infinitely many unirational specialisations. Our result on Picard ranks is a special case of more general results on exceptional classes for K3 type motives associated to GSpin Shimura varieties. These general results have several other applications. For instance, we prove that an abelian surface over a number field K with potentially good reduction everywhere is isogenous to a product of elliptic curves modulo infinitely many primes of K .more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1093/imrn/rnaa389
