[논문 리뷰] Capped vertex with descendants for zero dimensional $A_{\infty}$ quiver varieties

Hunter Dinkins, Andrey Smirnov|arXiv (Cornell University)|2020. 05. 26.

Algebraic structures and combinatorial models참고 문헌 13인용 수 4

한 줄 요약

이 논문은 매크도날 차분 연산자를 사용하여 영차원의 $A_\infty$ 퀼리 다양체에서 유도 삽입이 있는 캡핑된 버텍스 함수에 대한 조합적 공식을 수립한다. 결과로 얻어진 $q$-차분 방정식의 단형성(monodromy)이 심플렉틱 쌍대 다양체의 타원 R-행렬과 일치하며, 캡핑된 버텍스 함수가 유리 함수이자 안정성 카메라 선택과 무관하다는 것을 증명한다. 이는 Kähler 매개변수와 그로텐디크 루트를 통해 명시적인 표현을 가진다.

ABSTRACT

In this paper, we study the capped vertex functions associated to certain zero-dimensional type-$A$ Nakajima quiver varieties. The insertion of descendants into the vertex functions can be expressed by the Macdonald operators, which leads to explicit combinatorial formulas for the capped vertex functions. We determine the monodromy of the vertex functions and show that it coincides with the elliptic R-matrix of symplectic dual variety. We apply our results to give the vertex functions and the characters of the tautological bundles on the quiver varieties formed from arbitrary stability conditions.

연구 동기 및 목표

• 영차원의 $A_\infty$ 퀄리 다양체에서 유도 삽입이 있는 캡핑된 버텍스 함수에 대한 명시적 조합적 공식을 유도하는 것.
• 유도 삽입이 매크도날 차분 연산자에 의한 비캡핑된 버텍스 함수 위의 작용으로 실현됨을 보이는 것.
• 버텍스 함수를 지배하는 $q$-차분 방정식의 단형성을 규명하고, 이를 심플렉틱 쌍대 다양체의 타원 R-행렬과 매칭하는 것.
• 모든 안정성 조건 하에서 버텍스 함수 계산을 확장하여, 그 유리성과 카메라에 대한 독립성을 증명하는 것.

제안 방법

• 비캡핑된 버텍스 함수 $\textbf{V}_{\lambda}(\boldsymbol{z})$ 는 Young 도형 $\lambda$ 의 상자들에 대한 무한곱으로 표현되며, Kähler 매개변수 $z_\square$ 와 변형 매개변수 $\hbar$ 를 포함한다.
• 유도 삽입은 매크도날 차분 연산자 $T(\tau)$ 를 통해 구현되며, 이는 비캡핑된 버텍스 함수 위에 작용하여 유도 삽입이 반영된 버전인 $\textbf{V}^{(\tau)}_{\lambda}(\boldsymbol{z})$ 를 생성한다.
• 캡핑된 버텍스 함수 $\hat{\textbf{V}}^{(\tau)}_{\lambda}(\boldsymbol{z})$ 는 유도 삽입이 반영된 버텍스 함수를 비틀림이 없는 버전으로 나누어 정의되며, 차수 0에서의 정규화를 보장한다.
• 결과로 얻어진 $q$-차분 방정식의 단형성이 계산되고, 이는 심플렉틱 쌍대 다양체의 타원 R-행렬과 정확히 일치함을 보여, 카메라에 대한 독립성을 뒷받침한다.
• 캡핑된 버텍스 함수의 차수 0 항은 $\tau(\boldsymbol{x}_{\mathfrak{C}})$ 로 식별되며, 이는 안정성 카메라 $\mathfrak{C}$ 에 따라 달라지는 $\hbar^{m_{\mathfrak{C}}(\square)}$ 의 곱으로 표현된다.
• 모든 카메라에서 캡핑된 버텍스 함수의 전개가 $\boldsymbol{z}$ 에 대한 멱급수이며, 계수들이 $\mathbb{Q}(q,\hbar)$ 에 속함을 보여 유리성을 증명한다.

실험 결과

연구 질문

• RQ1 영차원의 $A_\infty$ 퀄리 다양체에서 버텍스 함수에 대한 유도 삽입을 체계적으로 계산할 수 있는 방법은 무엇인가?
• RQ2 매크도날 차분 연산자가 $K$-이론적 버텍스 함수에서 유도 삽입을 실현하는 데 어떤 역할을 하는가?
• RQ3 버텍스 함수에 대한 $q$-차분 방정식의 단형성이 심플렉틱 쌍대 다양체의 타원 R-행렬과 일치하는가?
• RQ4 캡핑된 버텍스 함수는 $K$-모듈리 공간의 안정성 조건 선택과 무관한가?
• RQ5 캡핑된 버텍스 함수의 차수 0 항은 그로텐디크 루트와 안정성 카메라 데이터를 통해 어떻게 표현되는가?

주요 결과

• 유도 삽입 $\tau_{n,r} = \bigwedge^r \mathcal{V}_n$ 이 있는 캡핑된 버텍스 함수는 Young 도형 내 상자 부분집합에 대한 곱을 포함하는 유리함수로 주어지며, $\hbar$, $z_\square$, $\zeta_\square$ 에 명시적인 의존성을 가진다.
• 매크도날 차분 연산자 $T(\tau)$ 가 비캡핑된 버텍스 함수 $\textbf{V}_{\lambda}(\boldsymbol{z})$ 에 작용하면, 유도 삽입이 반영된 버텍스 함수 $\textbf{V}^{(\tau)}_{\lambda}(\boldsymbol{z})$ 가 생성되며, 이는 조합적 실현의 완전한 체계를 제공한다.
• 버텍스 함수에 대한 $q$-차분 방정식의 단형성이 타원 R-행렬과 상수 인자 외에는 정확히 일치하며, 깊은 dualities 를 확인한다.
• 캡핑된 버텍스 함수는 $\boldsymbol{z}$, $q$, $\hbar$ 에 대해 유리함수이며, 계수들이 $\mathbb{Q}(q,\hbar)$ 에 속하며, 차수 0 항은 $\tau(\boldsymbol{x}_{\mathfrak{C}})$ 로 표현되며, 이는 $\tau(\{\hbar^{m_{\mathfrak{C}}(\square)}\})$ 와 같다.
• 캡핑된 버텍스 함수는 안정성 카메라 $\mathfrak{C}$ 와 무관하다. 즉, 임의의 두 카메라 $\mathfrak{C}_1, \mathfrak{C}_2$ 에 대해 $\hat{\textbf{V}}^{(\tau)}_{\lambda,\mathfrak{C}_1}(\boldsymbol{z}) = \hat{\textbf{V}}^{(\tau)}_{\lambda,\mathfrak{C}_2}(\boldsymbol{z})$ 이다.
• 차수 0 계수 $\tau(\boldsymbol{x}_{\mathfrak{C}})$ 는 $z_\square$ 를 $w \to 0$ 으로 한계를 취함으로써 계산되며, 이는 $\zeta_\square / \zeta_{\square'} \to 0$ 과 $z_{\square'} \to \infty$ 의 행동에 해당하며, 이는 오직 카메라 $\mathfrak{C}$ 에만 의존한다.