## Characters of tangent spaces at torus fixed points and 3 d -mirror symmetry

Hunter Dinkins and Andrey Smirnov

## Abstract

Let X be a Nakajima quiver variety and X ′ its 3 d -mirror. We consider the action of the Picard torus K = Pic( X ) ⊗ C × on X ′ . Assuming that ( X ′ ) K is finite, we propose a formula for the K -character of the tangent spaces at the fixed points in terms of certain enumerative invariants of X known as vertex functions.

## 1 Overview

## 1.1

In this paper, we study symplectic varieties which appear as Higgs and Coulomb branches of certain three-dimensional gauge theories with N = 4 supersymmetry. These theories were considered, for example, in [BDG15, GW09, HW97, IS96]. We assume that the physical theories under consideration are of quiver type, in which case the Higgs branches are known as Nakajima quiver varieties , see [Nak98, Gin12] and Section 2 in [MO12] for an introduction . 1 In this subsection we recall the most basic facts about these varieties important in the constructions below.

The Nakajima varieties are smooth quasi-projective symplectic varieties equipped with a natural action of an algebraic torus T . The torus T acts on a Nakajima variety X by scaling the symplectic form ω ∈ H 2 ( X, C ). We denote by /planckover2pi1 ∈ char( T ) the character of the one-dimensional T -module C ω . We denote by A = ker( /planckover2pi1 ) ⊂ T the subtorus preserving the symplectic form and by C /planckover2pi1 × := T A / the corresponding one-dimensional factor.

1 We believe that our main conjecture holds in full generality. We restrict the exposition to the quiver varieties for the sake of simplicity of the exposition.

The Nakajima quiver varieties are examples of symplectic resolutions and thus their cohomology are even [Kal09].

The Nakajima varieties are defined as quotients by a group

$$\alpha \cos \cos \cos \cos \cos \cos \\ G = \prod _ { i \in I } G L ( \mathbf v _ { i } ) \\ \alpha \cos \cos \cos \cos \cos \cos \cos \cos \cos$$

where I denotes the (finite) set of vertices of the corresponding quiver. This means that X is naturally equipped with a set of rank v i tautological vector bundles V i .

Theorem 1 ([MN18]) . If X is a Nakajima variety then K alg T ( X ) = K top T ( X ) is generated by Schur functors of tautological bundles V i , i ∈ I .

We will use K T ( X ) to denote the T -equivariant K -theory ring of X . Due to the last theorem we do not distinguish between the algebraic and the topological versions. This theorem implies that:

$$K _ { \mathbf T } ( X ) = \mathbb { Z } [ x _ { i, j } ^ { \pm 1 }, a ^ { \pm }, \hbar { ^ { \pm 1 } } ] / R$$

where x i,j , i ∈ I , j = 1 , . . . , v i denote the Grothendieck roots of the tautological bundles, a , /planckover2pi1 stand for the equivariant parameters of T and R denotes certain ideal. If X T is finite, then the ideal R can be described as the ideal of Laurent polynomials whose restrictions (11) to all fixed points in X T vanish.

As a corollary of Theorem 1,

$$\text{Pic} ( X ) \cong \mathbb { Z } ^ { | I | }$$

is a finite dimensional lattice generated by the classes of the tautological line bundles

$$\mathcal { L } _ { i } = \det ( \mathcal { V } _ { i } ) = x _ { i, 1 } \cdots x _ { i, \nu _ { i } }, \ \ i \in I.$$

## 1.2

We denote K = Pic( X ) ⊗ C × . The coordinates on torus K are called K¨ ahler parameters of X (or Fayet-Iliopoulos parameters in physical literature). We use symbols z = ( z i ), i ∈ I to denote these characters.

The coordinates on T = C /planckover2pi1 × × A are called equivariant parameters (or mass parameters in physical literature) and are denoted by symbols /planckover2pi1 and a = ( a i ), i = 1 , . . . , dim( A ).

## 1.3

Assume X T is finite. The real Lie algebra Lie R ( A ) is naturally equipped with a set of hyperplanes { ω ⊥ } , where ω runs over the set of A -characters appearing as A -weights of the tangent spaces T X p for p ∈ X T . The complement of these hyperplanes is a union of connected components

$$\Delta _ { 1 } \Delta _ { 2 } \Delta _ { 3 } \Delta _ { 4 } \Delta _ { 5 } \Delta _ { 6 } \Delta _ { 7 } \Delta _ { 8 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \\ \Delta _ { 1 } \Delta _ { 2 } \Delta _ { 3 } \Delta _ { 4 } \Delta _ { 5 } \Delta _ { 6 } \Delta _ { 7 } \Delta _ { 8 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta _ { 9 } \Delta }$$

which are called chambers . For a chamber C we have the corresponding decomposition

$$T _ { p } X & = N _ { p } ^ { + } \oplus N _ { p } ^ { - } \\ \dots \dots \dots \dots$$

where N ,N + p -p are the subspaces whose A -characters take positive or negative values on C , respectively. The subspaces N ± p are sometimes referred to as attracting or repelling directions of the tangent space corresponding to C .

## 1.4

Recall that the vertex function V ( a z , ) of X is a K -theoretic analog of Givental's J -function in Gromov-Witten theory. It is defined by the equivariant count of quasimaps from a rational curve P 1 to X . For the definitions of quasimap moduli spaces and vertex functions see Section 7.2 in [Oko15], Section 3 in [AFO18] or Section 6 in [AO16].

By definition, the vertex function is a power series in the K¨hler parama eters:

$$\mathbf V ( a, z ) \in K _ { \mathrm T \times \mathbb { C } _ { q } ^ { \times } } ( X ) _ { l o c } [ [ z ] ] \\. \quad \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \$$

where K T × C × q ( X ) loc denotes the localized equivariant K -theory ring of X and C × q is a one-dimensional torus acting on the domain of the quasimaps P 1 by scaling the homogeneous coordinates such that the character of T 0 P 1 is equal to q .

The classes of the fixed points p ∈ X T provide a natural basis in localized K -theory. The components of the vertex function in this basis have the following form:

$$\mathcal { N } _ { p } ( a, z ) = \sum _ { d \in C _ { \text{eff} } ( X ) \cap H ^ { 2 } ( X, \mathbb { Z } ) } c _ { d } ( a ) z ^ { d }$$

where the degrees d run over a certain cone C eff ( X ) ⊂ H 2 ( X, R ) = Lie R ( K ) spanned by effective curves , and 2 c d ( a ) ∈ Z ( a , q, /planckover2pi1 ) are some rational functions.

Alternatively, the vertex function can be defined as the index of the 3 d gauge theory on C × S 1 . The choice of the fixed point p in (3) corresponds then to the choice of the vacuum of the theory at infinity of C × S 1 , see Section 8.5 in [AFO18] for a physical discussion in this direction.

Finally, we also mention that the vertex functions play an important role in the theory of integrable systems known as XXZ -spin chains, which were recently understood as the quantum K -theory of Nakajima varieties, see [NS09b, NS09a, AO17, PSZ16, KPSZ17, GK13].

## 1.5

We will be interested in specializations of the vertex functions corresponding to vanishing equivariant parameters. More precisely, let σ : w ∈ C × → A be a cocharacter from a chamber C . We define

$$\mathbf V _ { p } ( 0 _ { \mathfrak C }, z ) \coloneqq \lim _ { w \to 0 } \mathbf V _ { p } ( \sigma ( w ), z ) \in \mathbb { Z } ( q, \hbar { ) } [ [ z ] ].$$

It follows from the construction of the virtual structure sheaf on the moduli space of quasimaps that these limits exist and are well defined for all chambers.

## 1.6

3 d -mirror symmetry is a conjecture which claims that for every symplectic variety from the class discussed above there exists a dual variety X ′ called the 3 d -mirror of X . The geometries of X and X ′ intimately related.

A 3 d mirror X ′ can be characterized in the language of elliptic stable envelopes [RSVZ19b, RSVZ19a] . The definition in Section 1.1 in [RSVZ19a] 3 is especially convenient for us. This duality, among other things, provides the following data:

2 The choice of the cone C eff ( X ) corresponds to the choice of the stability parameter for the Nakajima variety X .

3 See also the talk by A.Okounkov ' Enumerative symplectic duality ' at the MSRI workshop Structures in Enumerative Geometry in April 2018 for the first discussion of these ideas (available online).

- · An isomorphisms of tori

where K ′ and A ′ × C /planckover2pi1 × ′ = T ′ are the K¨hler and the equivariant tori of a X ′ . In coordinates, the map κ is an invertible monomial transformation of the form

$$\kappa \colon A ^ { \prime } \times K ^ { \prime } \times \mathbb { C } _ { \hbar { ^ { \prime } } } ^ { \times } \times \mathbb { C } _ { q } ^ { \times } \longrightarrow A \times K \times \mathbb { C } _ { \hbar } ^ { \times } \times \mathbb { C } _ { q } ^ { \times } \quad \quad \quad$$

$$& \text{of the form} \\ & z _ { i } \to \hbar { ^ { m } } \prod _ { j } a _ { j } ^ { \prime m _ { i, j } }, \quad a _ { i } \to ( \hbar { ^ { \prime } } / q ) ^ { r _ { i } } \prod _ { j } z _ { j } ^ { \prime s _ { i, j } }, \ \hbar { \to } q / \hbar { ^ { \prime } } \quad \quad ( 5 ) \\ & \text{for some $n_{i}$}. r _ { i }. m _ { i }. s _ { i }. \in \mathbb { Z }.$$

for some n , r , m i i i,j , s i,j ∈ Z .

- · A bijection of sets of fixed points

$$b \colon X ^ { T } \rightarrow ( X ^ { \prime } ) ^ { T ^ { \prime } }$$

The restriction of (5) to ker q ( ) ∩ ker ( /planckover2pi1 ) provides an isomorphisms of tori:

$$\bar { \kappa } \, \colon A \to K ^ { \prime }, \quad K \to A ^ { \prime } \\ \vdots \quad \cdots \quad \vdots \quad \cdots \quad \cdots \quad \vdots$$

One often refers to this by saying that '3d mirror symmetry identifies equivariant parameters with K¨hler parameters of the dual theory'. a In addition, it provides an identification of chambers with effective cones of the 3 d mirror variety:

$$d \bar { \kappa } ( \mathfrak { C } ) = C _ { \text{eff} } ( X ^ { \prime } ), \quad d \bar { \kappa } ( C _ { \text{eff} } ( X ) ) = \mathfrak { C } ^ { \prime },$$

where dκ ¯ is the induced map of the Lie algebras. It is therefore more natural to think that the 3 d mirror symmetry provides a pair ( X , ′ C ′ ) for each pair ( X, C ).

## 1.7

The isomorphism (4) provides the dual variety X ′ with an action of the torus K . Given a fixed point p ∈ X T it is therefore natural to ask

What is the K -character of the tangent space T b ( p ) X ′ in terms of X ?

The 3 d -mirror of a symplectic variety is not known in most cases. Therefore, the above question is non-trivial. The answer to this question provides new interesting information about the geometry of X ′ .

In this paper, we propose a combinatorial formula for the character of T b ( p ) X ′ . The feature of our formula is that it describes the corresponding character purely in terms of the vertex functions of X . In particular, to compute the characters of T b ( p ) X ′ , one does not need to know what X ′ is.

## 1.8

For N ∈ K T ′ ( pt ) given by a polynomial N = w 1 + · · · + w m we abbreviate

$$\Xi ( b, N ) = \xi ( b, w _ { 1 } ) \cdots \xi ( b, w _ { m } ),$$

where

$$\xi ( b, w ) = \frac { \varphi ( b w ) } { \varphi ( w ) } \quad \text{and} \quad \varphi ( w ) = \prod _ { n = 0 } ^ { \infty } ( 1 - w q ^ { n } ) \\ \text{th a no-alow of the Gamma function } ( w a \, \text{are} \, \text{me} \, \text{$0\times lal\,<1$} \, \text{as that} \, \text{the}$$

is the q -analog of the Gamma function (we assume 0 &lt; q | | &lt; 1 so that the last infinite product is convergent). By the q -binomial theorem

$$\xi ( b, w ) = \sum _ { n = 0 } ^ { \infty } \, \frac { ( b ) _ { n } } { ( q ) _ { n } } w ^ { n }$$

where and thus we may think of Ξ( b, N ) as a power series in w i . Similarly, we denote

$$\Lambda \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \langle \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \rangle \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \\ \intertext { h e r e } ( a ) _ { n } = \frac { \mu } { \Lambda } ( a ) _ { n } = \frac { 1 } { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ {\Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lembda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda. } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } ) _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } ( a ) _ { n } = \frac { 1 } { 2 } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \\ ( a ) _ { n } = \frac { 1 } { 2 } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambd } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } & \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \delta _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ | \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \R | \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } ( \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lambda _ { \Lambda } \Lamb$$

$$\Phi ( N ) = \varphi ( w _ { 1 } ) \dots \varphi ( w _ { m } ),$$

and extend it by multiplicativity to polynomials with negative coefficients. For example:

$$\Phi ( a + 2 b - 3 c ) = \frac { \varphi ( a ) \varphi ( b ) ^ { 2 } } { \varphi ( c ) ^ { 3 } }.$$

## 1.9

Let ( X, C ) and ( X , ′ C ′ ) be pairs of symplectic varieties and chambers related by 3 d -mirror symmetry. For p ∈ X T let b ( p ) be the corresponding fixed point on the dual variety X ′ . The chamber C ′ = dκ C ¯( eff ( X )) provides a decomposition

$$T _ { \mathbf b ( p ) } X ^ { \prime } & = N _ { \mathbf b ( p ) } ^ { + } \oplus N _ { \mathbf b ( p ) } ^ { - }. \\ \dots \cdots \cdots \cdots \cdots \cdots.$$

We identify these spaces with their K -theory classes N ± b ( p ) ∈ K T ′ ( pt ) (i.e., simply the T ′ -character of this vector space)

Conjecture 1. The vertex functions of X with vanishing equivariant parameters are given by the Taylor series expansions of the following functions

$$\Big | \quad \kappa ^ { * } \mathbf V _ { p } ( 0 _ { \mathfrak C }, z ) = \Xi ( q / \hbar { ^ { \prime } }, ( N _ { b ( p ) } ^ { - } ) ^ { * } ) \quad \Big |$$

where κ ∗ stands for substitution (5) and ( N -b ( p ) ) ∗ is the T ′ -module dual to N -b ( p ) (i.e. the weights of ( N -b ( p ) ) ∗ are inverses of the weights of N -b ( p ) ).

Below we check this conjecture in several cases by explicit computation.

Note 1. Note that the right side of (9) is a product of dim( X / ′ 2) q -binomials (7) with b = /planckover2pi1 = q/ /planckover2pi1 ′ . Thus, the conjecture provides a non-trivial summation formula for the power series defining the vertex functions.

Note 2. Note that the left side of the proposed identity is defined purely in terms of X . Computing the vertex function of X we can therefore obtain the character of N -b ( p ) and thus the character of the whole tangent space on the dual side:

$$T _ { \mathbf b ( p ) } X ^ { \prime } = N _ { \mathbf b ( p ) } ^ { - } + ( N _ { \mathbf b ( p ) } ^ { - } ) ^ { * } / \hbar { ^ { \prime } }.$$

## Acknowledgments

This work is supported by the Russian Science Foundation under grant 1911-00062.

## 2 Vertex functions for Nakajima varieties

In this section we recall how to compute vertex function (3) for a Nakajima variety X . For more details we refer to Section 7.2 in [Oko15], Section 3 in [AFO18] or Section 6 in [AO16].

## 2.1

Let X be a Nakajima variety. We denote by Q be the corresponding quiver and by I the set of vertices of Q . Let V i and W i i , ∈ I be the vector spaces

and framing vector spaces corresponding to X . We denote v i = dim V i , w i = dim W i .

Let us fix an orientation of Q and define the polarization by the following virtual vector space

$$P = & \left ( \bigoplus _ { i \to j } V _ { i } ^ { * } \otimes V _ { j } \right ) \bigoplus \left ( \bigoplus _ { i \in I } W _ { i } ^ { * } \otimes V _ { i } \right ) - \bigoplus _ { i \in I } V _ { i } ^ { * } \otimes V _ { i } \\, \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot$$

where i → j denotes the sum running over arrows of Q (with fixed orientation). We denote by P ∈ K T ( X ) the virtual bundle associated to P . Explicitly, this K-theory class is given by the following Laurent polynomial:

$$\text{Explicitly, this $K$-theory class is given by the following Laurent polynomial} \text{:} \\ \mathcal { P } = \sum _ { i \to j } \left ( \sum _ { m = 1 } ^ { \nu _ { i } } x _ { i, m } ^ { - 1 } \right ) \left ( \sum _ { m = 1 } ^ { \nu _ { j } } x _ { j, m } \right ) + \sum _ { i \in I } \left ( \sum _ { m = 1 } ^ { \nu _ { i } } a _ { i, m } ^ { - 1 } \right ) \left ( \sum _ { m = 1 } ^ { \nu _ { i } } x _ { i, m } \right ) \\ - \sum _ { i \in I } \left ( \sum _ { m = 1 } ^ { \nu _ { i } } x _ { i, m } ^ { - 1 } \right ) \left ( \sum _ { m = 1 } ^ { \nu _ { i } } x _ { i, m } \right ) \quad ( 1 0 ) \\ \text{where $x_{i,j}$ and $a_{i,j}$ denote the Grothenteick roots of the tautological bundles}$$

where x i,j and a i,j denote the Grothendieck roots of the tautological bundles V i and the equivariant parameters associated to the framings W i .

## 2.2

For the tautological line bundles (1) we define the following formal expression in Grothendieck roots

$$& \mathrm e ( x, z ) \coloneqq \exp \left ( \frac { 1 } { \ln q } \sum _ { i \in I } \ln ( z _ { i } ) \ln ( \mathcal { L } _ { i } ) \right ) = \exp \left ( \frac { 1 } { \ln q } \sum _ { i \in I } \sum _ { j = 1 } ^ { v _ { i } } \ln ( z _ { i } ) \ln ( x _ { i, j } ) \right ) \\ & \mathcal { L } \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \end{array}.$$

where x abbreviates the set of all Grothendieck roots. This function has the following transformation properties:

$$\mathbf e ( x _ { 1, 1 }, \dots, x _ { i, j } q, \dots, z ) = z _ { i } \mathbf e ( x _ { 1, 1 }, \dots, x _ { i, j }, \dots, z )$$

and similarly

$$\mathrm e ( x, \dots, z _ { 1 }, \dots, z _ { i } q, \dots, z _ { | I | } ) = \mathcal { L } _ { i } \mathrm e ( x, \dots, z _ { 1 }, \dots, z _ { i }, \dots, z _ { | I | } ).$$

## 2.3

Let p ∈ X T be a fixed point on the quiver variety. The restriction of a tautological bundle V i to a fixed point provides a polynomial:

$$\mathcal { V } _ { i } | _ { p } = t _ { i, 1 } + \dots + t _ { i, \dim V _ { i } } \in K _ { \mathrm T } ( p t ).$$

This polynomial can be defined as 'evaluation' of the Grothendieck roots of V i at the corresponding fixed point:

$$x _ { i, j } \to x _ { i, j } ( p ) \coloneqq t _ { i, j } \in K _ { \mathrm T } ( p t ).$$

Note that all K -theory classes are symmetric polynomials in x i,j and thus the last operation is well defined. We denote by x ( p ) the set of x i,j ( p ).

## 2.4

Up to normalizing prefactor, the vertex function for Nakajima varieties equals

$$\tilde { V } _ { p } ( a, z ) & = \prod _ { i, j } \overset { x _ { i, j } ( p ) } { \int _ { 0 } } d _ { q } x _ { i, j } \, \Phi \Big ( ( q - \hbar { ) } \mathcal { P } \Big ) \text{e} ( x, z ) & & ( 1 2 ) \\, \quad. \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \,.$$

where the integral symbols denote the Jackson q -integral over all Grothendieck roots:

$$\underset { 0 } { \overset { a } { \int } } d _ { q } x f ( x ) \coloneqq \sum _ { n = 0 } ^ { \infty } \, f ( a q ^ { n } ), \\ \intertext { ( 1 0 ) \, e v r e s e d \, \text{in Control check } r }$$

P is the polarization (10) expressed in Grothendieck roots and Φ is defined by (8). The normalized vertex function equals:

$$V _ { p } ( a, z ) = \frac { 1 } { \Phi \left ( ( q - \hbar { ) } \mathcal { P } ( p ) \right ) \text{e} ( x ( p ), z ) } \tilde { \mathbf V } _ { p } ( a, z ), \quad & ( 1 3 ) \\ \text{where $\mathcal{P}(p)$ is the result substituting (11) into the polarization. Thanks to}$$

where P ( p ) is the result substituting (11) into the polarization. Thanks to the identity ϕ a /ϕ aq ( ) ( d ) = ( a ) d the function V p ( a z , ) is a power series in z with coefficients in Z ( a , /planckover2pi1 , q ). The normalization (13) has the effect of starting the power series with 1:

$$\mathbf V _ { p } ( a, z ) = 1 + O ( z ) \in \mathbb { Z } ( a, \hbar {, } q ) [ [ z ] ].$$

Theorem 2 (Theorem 4 in [AO16]) . For all p ∈ X T the functions (12) are solutions of certain q -difference equations in the equivariant and K¨hler a parameters with regular singularities.

For Nakajima quiver varieties the corresponding q -difference equations were described in [OS16]. As a corollary, the power series (13) converges to an analytical function in some neighborhood | z i | &lt; /epsilon1 i with 0 &lt; /epsilon1 i .

In the following sections we compute the vertex functions explicitly for several Nakajima varieties and check the identity (9).

## 3 Cotangent Bundle of Gr k, n ( )

## 3.1

Let X = T Gr k, n ∗ ( ), the cotangent bundle of the Grassmannian of k -planes in n -dimensional space. X is an example of a Nakajima quiver variety, see Section 3 in [RSVZ19b]. The corresponding quiver Q consists of a single vertex. The associated representation of the quiver consists of a vector space V with dim V = k and a framing space W with dim W = n . Let A = ( C × ) n be the torus acting on C n by

$$( z _ { 1 }, \dots, z _ { n } ) \rightarrow ( z _ { 1 } a _ { 1 } ^ { - 1 }, \dots, z _ { n } a _ { n } ^ { - 1 } ).$$

A induces a natural action on X . Let C × h be the torus which acts on X by

$$\eta _ { p } \rightarrow \hbar { ^ { - 1 } } \eta _ { p }$$

where η p is a covector at a point p ∈ X . Thus, the torus T = A × C /planckover2pi1 × acts on X . One can check that A preserves the sympectic form, while C /planckover2pi1 × scales it by /planckover2pi1 .

## 3.2

The set of fixed points X T corresponds to the k -dimensional coordinate subspaces in X , and thus fixed points p ∈ X T are naturally labeled by size k subsets of { 1 , . . . , n } . As a Nakajima quiver variety, X comes equipped with a rank k -tautological vector bundle V . Let p = { p , . . . , p 1 k } ⊂ { 1 , . . . , n } .

The T -character of the p i -th coordinate direction is a -1 p i . Thus the restriction of the tautological bundle to the fixed point p is given by

$$\mathcal { V } _ { \mathbf p } = \sum _ { i = 1 } ^ { k } a _ { p _ { i } } ^ { - 1 }. \\ \nu _ { \dots + 1 } \dots \nu _ { \dots + 1 } \dots \nu _ { \dots + 1 }.$$

Thus, the restriction of the Grothendieck roots in (11) has the form:

$$x _ { i } ( { \mathbf p } ) = a _ { p _ { i } } ^ { - 1 }.$$

## 3.3

In this case, the polarization (10) takes the form

$$P = W ^ { * } \otimes V - V ^ { * } \otimes V$$

and we have

$$\Phi ( ( q - h ) \mathcal { P } ) = \prod _ { i = 1 } ^ { n } \prod _ { j = 1 } ^ { k } \frac { \phi ( q a _ { i } x _ { j } ) } { \phi ( h a _ { i } x _ { j } ) } \prod _ { i, j = 1 } ^ { k } \frac { \phi ( h x _ { i } / x _ { j } ) } { \phi ( q x _ { i } / x _ { j } ) } \\... \quad.. \quad.. \quad.. \quad.. \quad \psi _ { ^ { * } } \sim \psi _ { ^ { * } } \quad.. \quad... \quad..$$

Thus, the vertex functions associated to T Gr k, n ∗ ( ) are given by the power series:

$$& \mathbf V _ { \mathbf p } ( a _ { 1 }, \dots, a _ { n }, z ) = \\ & \sum _ { d _ { 1 }, \dots, d _ { k } = 0 } ^ { \infty } \left ( \prod _ { i = 1 } ^ { n } \prod _ { j = 1 } ^ { k } \frac { ( h a _ { i } / a _ { p _ { j } } ) _ { d _ { j } } } { ( q a _ { i } / a _ { p _ { j } } ) _ { d _ { j } } } \prod _ { i, j = 1 } ^ { k } \frac { ( q a _ { p _ { i } } / a _ { p _ { j } } ) _ { d _ { i } - d _ { j } } } { ( h a _ { p _ { i } } / a _ { p _ { j } } ) _ { d _ { i } - d _ { j } } } \right ) z ^ { d _ { 1 } + \dots + d _ { k } }. \\ & \text{to } \mathbf T \text{ in the case of } l = 1 \text{ to avoid not in it on intavor } 1 < n < n$$

Note 3. In the case of k = 1, the fixed point p is just an integer 1 ≤ p ≤ n , and the vertex function is

$$\text{vertex function is} \\ \text{V} _ { \text{p} } ( a _ { 1 }, \dots, a _ { n }, z ) = \sum _ { d = 0 } ^ { \infty } \left ( \prod _ { i = 1 } ^ { n } \frac { ( h a _ { i } / a _ { p } ) _ { d } } { ( q a _ { i } / a _ { p } ) _ { d } } \right ) z ^ { d }. \\ \text{on some to be null to be non-common via conversion is}$$

which is an example of the well-known q -hypergeometric series (see [GR90]).

## 3.4

The torus A is n -dimensional, and we choose the chamber C associated to the cocharacter w → ( w -1 , w -2 , . . . , w -n ). Then

↦

$$\mathbf V _ { \mathbf p } ( 0 _ { \mathfrak c }, z ) = \lim _ { w \rightarrow 0 } \mathbf V _ { \mathbf p } ( w ^ { - 1 }, \dots, w ^ { - n }, z )$$

In terms of equivariant parameters, this limit corresponds to a i a j → 0 if i &lt; j . Substituting (14) and taking the limit, we compute

$$& \text{$\text{$uuuuming (1+y)$ and using one min, we compute} \\ & V _ { \mathbf p } ( 0 \varepsilon, z ) = \sum _ { d _ { 1 }, \dots, d _ { k } = 0 } ^ { \infty } \left ( \prod _ { i = 1 } ^ { k } \frac { ( \hbar { ) } _ { d _ { i } } } { ( q ) _ { d _ { i } } } \prod _ { j = i + 1 } ^ { n } \left ( \frac { \hbar { } } { q } \right ) ^ { d _ { i } } \prod _ { i = 1 } ^ { k } \prod _ { j = i + 1 } ^ { k } \left ( \frac { q } { \hbar } \right ) ^ { d _ { i } - d _ { j } } \right ) z ^ { d _ { 1 } + \dots + d _ { k } } \\ & \text{which simlifies to}$$

which simplifies to

$$& \text{which simplifies to} \\ & \text{V} _ { \mathbf p } ( 0 _ { \mathfrak c }, z ) = \sum _ { d _ { 1 }, \dots, d _ { k } = 0 } ^ { \infty } \left ( \prod _ { i = 1 } ^ { k } \frac { ( \hbar { ) } _ { d _ { i } } } { ( q ) _ { d _ { i } } } \left ( \left ( \frac { \hbar { q } } { q } \right ) ^ { n - p _ { i } - k + 2 i - 1 } z \right ) ^ { d _ { i } } \right ). \\ & \text{Interchanging the order of the summation and the product and using the}$$

Interchanging the order of the summation and the product and using the q -binomial theorem, we obtain

$$\text{normal theorem, we oovam} \\ \text{V} _ { \mathbf p } ( 0 _ { \mathfrak c }, z ) = \prod _ { i = 1 } ^ { k } \xi \left ( \hbar {, } \left ( \frac { \hbar { } } { q } \right ) ^ { n - k - p _ { i } + 2 i - 1 } z \right ).$$

## 3.5

For n ≥ 2 k the 3d mirror dual X ′ of T Gr k, n ∗ ( ) is the Nakajima quiver variety associated to the A n -1 quiver with dimension vector

$$\mathbf v = ( 1, 2, \dots, k - 1, k, \dots, k, k - 1, \dots, 2, 1 )$$

with one dimensional framings at positions k and n -k and trivial framings elsewhere (see Section 4 of [RSVZ19b] for details). The fixed points of X ′ are labeled by Young diagrams λ which fit into the rectangle with dimensions ( n -k ) × k . The boundary of such a diagram is a piecewise linear curve with n -k horizontal segments and k vertical segments. The positions of the k vertical segments naturally determine a k -tuple p λ ⊂ { 1 2 , , . . . , n } . The bijection on fixed points (6) has the form (see also Section 6.1 in [RSVZ19b]):

$$b \colon \lambda \rightarrow p _ { \lambda }$$

The isomorphism (5) between the equivariant parameters of X ′ and the K¨ ahler parameters of X is the following:

$$\kappa ^ { * } \colon z \to a ^ { \prime } \hbar { ^ { \prime } } ^ { k - 1 }, \ \hbar { \to } q / \hbar { ^ { \prime } } \\ \omega _ { 1 } \cdots \dots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots.$$

$$\kappa ^ { * } \Big ( \mathbf V _ { \mathbf p } ( 0 _ { \mathfrak C }, z ) \Big ) = \Xi \Big ( q / \hbar { ^ { \prime } }, \sum _ { i = 1 } ^ { k } a ^ { \prime } \hbar { ^ { \prime } } ^ { 2 k - n + p _ { i } - 2 i } \Big ). \\ \text{choose the chamber $\mathfrak C^{\prime}$ given by the cockoracter $w\mapsto\ (a^{\prime}$}.$$

where a ′ = a /a ′ 1 ′ 2 is the equivariant parameters of X ′ (i.e. coordinates on the framing torus A ′ = ( C × ) 2 ). Using this transformation we can rewrite (15) as follows:

↦

We choose the chamber C ′ given by the cocharacter w → ( a , a ′ 1 ′ 2 ) = (1 , w -1 ). The characters of the tangent spaces at the fixed points and of repelling and attracting parts of it corresponding to C ′ were computed in Section 4.4 of [RSVZ19b]:

$$N _ { \lambda } ^ { \prime + } = \sum _ { i = 1 } ^ { k } \frac { a _ { 1 } ^ { \prime } } { a _ { 2 } ^ { \prime } } \hbar { ^ { \prime } } ^ { 2 k - n + \mathbf p _ { i } - 2 i - 1 }, \ \ N _ { \lambda } ^ { \prime - } = \sum _ { i = 1 } ^ { k } \frac { a _ { 2 } ^ { \prime } } { a _ { 1 } ^ { \prime } } \hbar { ^ { \prime } } ^ { - 2 k + n - \mathbf p _ { i } + 2 i }, \\ \text{where} \, \mathbf p = \mathbf b ( \lambda ). \text{ Thus, the character of the dual representation equals:}$$

where p = b ( λ ). Thus, the character of the dual representation equals:

We, therefore have:

$$( N _ { \lambda } ^ { \prime - } ) ^ { * } = \sum _ { i = 1 } ^ { k } a ^ { \prime } \hbar { ^ { \prime } } ^ { 2 k - n + \mathbf p _ { i } - 2 i }$$

$$& \text{ave} \colon \\ & \quad \kappa ^ { * } \left ( \mathbf V _ { \mathbf p } ( 0 _ { \mathfrak C }, z ) \right ) = \Xi ( q / \hbar { ^ { \prime } }, ( N _ { \lambda } ^ { \prime - } ) ^ { * } ). \\ & \text{injecture $1$ in this case.}$$

which proves Conjecture 1 in this case.

Note 4. As we mentioned above, the dual variety X ′ is a Nakajima variety if n ≥ 2 k . In the case n &lt; 2 k the variety X ′ is not known to us. Conjecture 1, however, still holds in this case.

For example, our formula (15) implies that in the case of the zero-dimensional Nakajima variety X = T Gr n, n ∗ ( ), the dual variety X ′ ∼ = C 2 n is a 2 n -dimensional symplectic vector space equipped with an action of two-dimensional torus T ′ = C × a ′ × C /planckover2pi1 × ′ , so that

We believe that the 3 d mirrors can be constructed as bow varieties [Che11, NT16].

$$\lambda \lambda _ { \text{char} _ { T ^ { \prime } } ( \mathbb { C } ^ { 2 n } ) } = \sum _ { i = 1 } ^ { n } \left ( a ^ { \prime } \hslash ^ { \prime n - i - 1 } + \hslash ^ { \prime - n + i } / a ^ { \prime } \right ) \in K _ { T ^ { \prime } } ( p t ). \\ \text{ believe that the 3d mirrors can be constructed as bow varieties [Che}$$

## 4 Hilbert scheme of points on C 2

## 4.1

In this section, X denotes the Hilbert scheme of n points on the complex plane. This is a smooth, symplectic, quasiprojective variety which parametrizes the polynomial ideals of codimension n [Nak99, Nak16]:

$$X = \{ \mathcal { J } \subset \mathbb { C } [ x, y ] \, \colon \dim _ { \mathbb { C } } ( \mathbb { C } [ x, y ] / \mathcal { J } ) = n \}.$$

Let T ∼ = ( C × ) 2 be a two-dimensional torus acting on C [ x, y ] by:

$$( x, y ) \to ( x t _ { 1 } ^ { - 1 }, y t _ { 2 } ^ { - 1 } ).$$

This action induces an action of T on X . The one-dimensional space spanned by a symplectic form ω ⊂ H 2 ( X, C ) is a natural T -module. We denote by /planckover2pi1 the T -character of C ω . From our normalization (16) we find:

$$\hbar { ^ { - 1 } } = t _ { 1 } t _ { 2 } \in K _ { \mathrm T } ( p t ) = \mathbb { Z } [ t _ { 1 } ^ { \pm 1 }, t _ { 2 } ^ { \pm 1 } ].$$

We denote by

$$\text{A} = \ker ( \hbar { ) } \subset T \\ \dots \dots \dots \dots \dots \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

the one-dimensional subtorus preserving the symplectic form on X . We denote the coordinate on A by a , such that : 4

$$t _ { 1 } = \frac { a } { \sqrt { \hbar } }, \ t _ { 2 } = \frac { 1 } { a \sqrt { \hbar } }.$$

## 4.2

The set of fixed points X T = X A is a finite set labeled by Young diagrams with n boxes. A Young diagram λ corresponds to the T -invariant ideal generated by monomials:

$$\mathcal { J } _ { \lambda } = \{ x ^ { \lambda _ { 1 } }, x ^ { \lambda _ { 1 } } y, x ^ { \lambda _ { 2 } } y ^ { 2 } \dots \}.$$

The Hilbert scheme is equipped with a rank n -tautological vector bundle V with fibers at a point J ∈ X given by

$$\frac { \mathcal { V } | } { } _ { \mathcal { J } } = \mathbb { C } [ x, y ] / \mathcal { J }.$$

4 We may assume /planckover2pi1 1 / 2 exists by passing to the double cover of T if needed.

Let /square = ( m,n ) be a box with coordinates m and n in a Young diagram λ . The T -character of the corresponding monomial equals t -( n -1) 1 t -( m -1) 2 . We conclude that restriction of the tautological bundle to the fixed point λ is given by the sum of the characters of monomials over the boxes in λ :

$$\mathcal { V } | _ { \mathcal { J } _ { \lambda } } = \sum _ { ( m, n ) \in \lambda } t _ { 1 } ^ { - ( n - 1 ) } t _ { 2 } ^ { - ( m - 1 ) }. \\ \cdots \cdots. \cdots. \cdots..$$

Thus, the restriction of Grothendieck roots in (11) has the form:

$$x _ { i } ( \lambda ) = t _ { 1 } ^ { - ( n _ { i } - 1 ) } t _ { 2 } ^ { - ( m _ { i } - 1 ) },$$

where ( m , n i i ) are the coordinates of the i -th box in λ . Again, the order of boxes is not important, because all tautological classes are symmetric in x i 's.

## 4.3

The characters of the tangent space at a fixed point λ can be computed using, for example, a free resolution of the ideal J λ , see Section 3.4.19 [Oko15]. This gives the following explicit formula:

$$\cdots \quad & \circ \quad \tau \quad \cdots \quad \cdots \\ & T _ { \lambda } X = \sum _ { i \in \lambda } t _ { 1 } ^ { - l _ { \lambda } ( i ) } t _ { 2 } ^ { a _ { \lambda } ( i ) + 1 } + t _ { 2 } ^ { - a _ { \lambda } ( i ) } t _ { 1 } ^ { l _ { \lambda } ( i ) + 1 } \in K _ { \mathrm T } ( p t ), \\ \cdots \quad & \cdots \quad & \cdots \quad \cdots \quad \cdots \quad \cdots \quad \cdots$$

where the sum runs over the boxes of the Young diagram λ and

$$l _ { \lambda } ( \Box ) = \lambda _ { i } - j, \ a _ { \lambda } ( \Box ) = \lambda _ { j } ^ { ^ { \prime } } - i$$

stand for the standard leg and arm length of a box i in λ ( λ ′ denotes the transposition of λ ). The change of variables (17) provides a decomposition of this character into a sum of characters with positive and negative powers of a :

$$T _ { \lambda } X = N _ { \lambda } ^ { + } + N _ { \lambda } ^ { - }$$

where

$$N _ { \lambda } ^ { + } = \sum _ { i \in \lambda } t _ { 2 } ^ { - a _ { \lambda } ( i ) } t _ { 1 } ^ { l _ { \lambda } ( i ) + 1 }, \ \ N _ { \lambda } ^ { - } = \sum _ { i \in \lambda } t _ { 1 } ^ { - l _ { \lambda } ( i ) } t _ { 2 } ^ { a _ { \lambda } ( i ) + 1 }.$$

## 4.4

The Hilbert scheme is an example of a Nakajima quiver variety, see Section 3.3 in [Smi18]. The corresponding quiver Q consists of one vertex and one loop connecting the vertex with itself. The associated representation of the quiver consists of a vector space V with dim V = n and a framing space W with dim W = 1.

The polarization (10) in this case has the form (see Section 3.4 in [Smi18]):

$$P = W ^ { * } \otimes V + V ^ { * } \otimes V t _ { 1 } - V ^ { * } \otimes V$$

We compute:

$$\Phi ( ( q - \hbar { ) } \mathcal { P } ) = \prod _ { i = 1 } ^ { n } \frac { \varphi ( q x _ { i } ) } { \varphi ( \hbar { x } _ { i } ) } \prod _ { i, j = 1 } ^ { n } \frac { \varphi ( q t _ { 1 } x _ { i } / x _ { j } ) } { \varphi ( \hbar { t } _ { 1 } x _ { i } / x _ { j } ) } \frac { \varphi ( \hbar { x } _ { i } / x _ { j } ) } { \varphi ( q x _ { i } / x _ { j } ) }. \\ \intertext { h n e t h o v r o v i n t i o n e a c o i a t o t h o H i b o r t c o m o \ X } \, \text{are given} \, b$$

Thus, the vertex functions associated to the Hilbert scheme X are given by the following power series:

$$& \text{V} _ { \lambda } ( a, z ) = \\ & \sum _ { d _ { 1 }, \dots, d _ { n } = 0 } ^ { \infty } \left ( \prod _ { i = 1 } ^ { n } \frac { ( \hbar { x } _ { i } ( \lambda ) ) _ { d _ { i } } } { ( q x _ { i } ( \lambda ) ) _ { d _ { i } } } \prod _ { i, j = 1 } ^ { n } \frac { ( \hbar { t } _ { 1 } x _ { i } ( \lambda ) / x _ { j } ( \lambda ) ) _ { d _ { i } - d _ { j } } } { ( q t _ { 1 } x _ { i } ( \lambda ) / x _ { j } ( \lambda ) ) _ { d _ { i } - d _ { j } } } \frac { ( q x _ { i } ( \lambda ) / x _ { j } ( \lambda ) ) _ { d _ { i } - d _ { j } } } { ( \hbar { x } _ { i } ( \lambda ) / x _ { j } ( \lambda ) ) _ { d _ { i } - d _ { j } } } \right ) z ^ { d _ { 1 } + \dots + d _ { n } } \\ & \text{which is a power series in $z$ with coefficients in $\mathbb{Z}$} ( \hbar {. } a. a ).$$

which is a power series in z with coefficients in Z /planckover2pi1 ( , q, a ).

## 4.5

In the case of the Hilbert scheme X , the torus A preserving the symplectic form is one-dimensional and the chamber decomposition (2) takes the form:

$$\text{Li} _ { \mathbb { R } } ( A ) \, \smallsetminus \, \{ \omega ^ { \perp } \} = \mathbb { R } \, \smallsetminus \, \{ 0 \} = \mathfrak { C } _ { + } \cup \mathfrak { C } _ { - }.$$

Let us analyze the case C = C + which corresponds to the cocharacters { a → 0 } so that

$$V _ { \lambda } ( 0 _ { \mathfrak { C } }, z ) = \lim _ { a \to 0 } \mathbf V _ { \lambda } ( a, z ).$$

It is expected that the Hilbert scheme X is self-dual with respect to 3 d mirror symmetry : 5

$$X ^ { ^ { \prime } } \cong X.$$

5 To the best of authors knowledge this is not proved.

We denote by t ′ 1 , t ′ 2 , /planckover2pi1 ′ , a ′ the equivariant parameters of X ′ . As in (17) these parameters are related by

$$t _ { 1 } ^ { \prime } = \frac { a ^ { \prime } } { \sqrt { \hslash ^ { \prime } } }, \ \ t _ { 1 } ^ { \prime } = \frac { 1 } { a ^ { \prime } \sqrt { \hslash ^ { \prime } } }.$$

We consider the trivial bijection on the fixed points (6)

$$\mathbf b = i d \, \colon \lambda \mapsto \lambda,$$

↦

and the change of variables (5):

$$\kappa ^ { * } \colon z \to a ^ { \prime } \sqrt$$

As above, let κ ∗ V λ (0 C , z ) denote the result of the substitution (20) into the power series given by the limit (19). Thus, κ ∗ V λ (0 C , z ) is a power series in a ′ :

$$\begin{array} {$$

Then, the equality (9) in this case is equivalent to the following identity

$$\left | \kappa ^ { * } \mathbf V ( 0 \epsilon, z$$

where N -λ is from (18). This is a quite nontrivial summation formula for the power series V λ (0 C , z ). This identity can be proved by induction on the number of boxes. We plan to give a general proof of such identities arising for A n and affine ̂ A n quiver varieties in the sequel paper.

## References

[AFO18] Mina Aganagic, Edward Frenkel, and Andrei Okounkov. Quantum q -Langlands Correspondence. Trans. Moscow Math. Soc. , 79:1-83, 2018.

[AO16] Mina Aganagic and Andrei Okounkov. Elliptic stable envelopes. arXiv e-prints , page arXiv:1604.00423, Apr 2016.

| [AO17]   | Mina Aganagic and Andrei Okounkov. Quasimap counts and Bethe eigenfunctions. Moscow Math. J. , 17(4):565-600, 2017.                                                                                        |
|----------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [BDG15]  | Mathew Bullimore, Tudor Dimofte, and Davide Gaiotto. The Coulomb Branch of 3d N = 4 Theories. arXiv e-prints , page arXiv:1503.04817, Mar 2015.                                                            |
| [Che11]  | Sergey A. Cherkis. Instantons on Gravitons. Communications in Mathematical Physics , 306(2):449-483, Sep 2011.                                                                                             |
| [Gin12]  | Victor Ginzburg. Lectures on Nakajima's quiver varieties. In Ge- ometric methods in representation theory. I , volume 24 of S´min. e Congr. , pages 145-219. Soc. Math. France, Paris, 2012.               |
| [GK13]   | Davide Gaiotto and Peter Koroteev. On Three Dimensional Quiver Gauge Theories and Integrability. JHEP , 05:126, 2013.                                                                                      |
| [GR90]   | George Gasper and Mizan Rahman. Basic Hypergeometric Se- ries . Cambridge University Press, 1990.                                                                                                          |
| [GW09]   | Davide Gaiotto and Edward Witten. S-Duality of Boundary Con- ditions In N=4 Super Yang-Mills Theory. Advances in Theoret- ical and Mathematical Physics , 13:721-896, Jan 2009.                            |
| [HW97]   | Amihay Hanany and Edward Witten. Type IIB superstrings, BPS monopoles, and three-dimensional gauge dynamics. Nuclear Physics B , 492(1):152-190, May 1997.                                                 |
| [IS96]   | K. Intriligator and N. Seiberg. Mirror symmetry in three dimen- sional gauge theories. Physics Letters B , 387(3):513-519, Feb 1996.                                                                       |
| [Kal09]  | D. Kaledin. Geometry and topology of symplectic resolutions. In Algebraic geometry-Seattle 2005. Part 2 , volume 80 of Proc. Sympos. Pure Math. , pages 595-628. Amer. Math. Soc., Provi- dence, RI, 2009. |
| [KPSZ17] | Peter Koroteev, Petr P. Pushkar, Andrey Smirnov, and Anton M. Zeitlin. Quantum K-theory of Quiver Varieties and Many-Body Systems. arXiv e-prints , page arXiv:1705.10419, May 2017.                       |

| [MN18]   | Kevin McGerty and Thomas Nevins. Kirwan surjectivity for quiver varieties. Invent. Math. , 212(1):161-187, 2018.                                                                                             |
|----------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [MO12]   | Davesh Maulik and Andrei Okounkov. Quantum Groups and Quantum Cohomology. arXiv e-prints , page arXiv:1211.1287, Nov 2012.                                                                                   |
| [Nak98]  | Hiraku Nakajima. Quiver varieties and Kac-Moody algebras. Duke Math. J. , 91(3):515-560, 1998.                                                                                                               |
| [Nak99]  | Hiraku Nakajima. Lectures on Hilbert schemes of points on sur- faces , volume 18 of University Lecture Series . American Mathe- matical Society, Providence, RI, 1999.                                       |
| [Nak16]  | Hiraku Nakajima. More lectures on Hilbert schemes of points on surfaces. In Development of moduli theory-Kyoto 2013 , vol- ume 69 of Adv. Stud. Pure Math. , pages 173-205. Math. Soc. Japan, [Tokyo], 2016. |
| [NS09a]  | Nikita A. Nekrasov and Samson L. Shatashvili. Quantum inte- grability and supersymmetric vacua. Prog. Theor. Phys. Suppl. , 177:105-119, 2009.                                                               |
| [NS09b]  | Nikita A. Nekrasov and Samson L. Shatashvili. Supersymmet- ric vacua and Bethe ansatz. Nuclear Phys. B Proc. Suppl. , 192/193:91-112, 2009.                                                                  |
| [NT16]   | Hiraku Nakajima and Yuuya Takayama. Cherkis bow varieties and Coulomb branches of quiver gauge theories of affine type A . arXiv e-prints , page arXiv:1606.02002, Jun 2016.                                 |
| [Oko15]  | Andrei Okounkov. Lectures on K-theoretic computations in enu- merative geometry. ArXiv: 1512.07363 , 2015.                                                                                                   |
| [OS16]   | Andrei Okounkov and Andrey Smirnov. Quantum difference equation for Nakajima varieties. ArXiv: 1602.09007 , 2016.                                                                                            |
| [PSZ16]  | Petr P. Pushkar, Andrey Smirnov, and Anton M. Zeitlin. Bax- ter Q-operator from quantum K-theory. arXiv e-prints , page arXiv:1612.08723, Dec 2016.                                                          |

| [RSVZ19a]   | R. Rim´nyi, a A. Smirnov, A. Varchenko, and Z. Zhou. Three dimensional mirror self-symmetry of the cotangent bundle of the full flag variety. arXiv e-prints , page arXiv:1906.00134, May 2019.   |
|-------------|---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [RSVZ19b]   | Rich´rd a Rim´nyi, a Andrey Smirnov, Alexand Varchenko, and Zi- jun Zhou. 3d Mirror Symmetry and Elliptic Stable Envelopes. arXiv e-prints , page arXiv:1902.03677, Feb 2019.                     |
| [Smi18]     | Andrey Smirnov. Elliptic stable envelope for Hilbert scheme of points in the plane. arXiv e-prints , page arXiv:1804.08779, Apr 2018.                                                             |

Hunter Dinkins Department of Mathematics, University of North Carolina at Chapel Hill, Chapel Hill, NC 27599-3250, USA hdinkins@live.unc.edu

Andrey Smirnov

Department of Mathematics,

University of North Carolina at Chapel Hill,

Chapel Hill, NC 27599-3250, USA;

Steklov Mathematical Institute

of Russian Academy of Sciences,

Gubkina str. 8, Moscow, 119991, Russia
Hunter Dinkins Andrey Smirnov
Characters of tangent spaces at torus fixed points and $3d$-mirror symmetry
Let $X$ be a Nakajima quiver variety and $X'$ its $3d$-mirror. We consider
the action of the Picard torus $\mathsf{K}=\mathrm{Pic}(X)\otimes
\mathbb{C}^{\times}$ on $X'$. Assuming that $(X')^{\mathsf{K}}$ is finite, we
propose a formula for the $\mathsf{K}$-character of the tangent spaces at the
fixed points in terms of certain enumerative invariants of $X$ known as vertex
functions.