[논문 리뷰] Symplectic Duality of $T^*Gr(k,n)$

Hunter Dinkins|arXiv (Cornell University)|2020. 08. 12.

Advanced Algebra and Geometry참고 문헌 21인용 수 10

한 줄 요약

이 논문은 코타angent bundle $T^*\mathrm{Gr}(k,n)$와 그 제안된 이중성 사이의 심플렉틱 이중성을 확립한다. 이는 쿼버 다양체 기하학에서의 핵심 숫자적 불변량인 정점 함수들이 적절한 매개변수 일치와 정규화 하에 일치함을 증명함으로써 이루어진다. $q$-차분 연산자와 맥도날드 다항식을 사용하여, $q$-셀버그 유형 적분에 대한 조합적 평가 공식을 유도함으로써, 이 설정에서 3차원 미러 대칭의 중심 예측을 확인한다.

ABSTRACT

In this paper, we explore a consequence of symplectic duality (also known as 3d mirror symmetry) in the setting of enumerative geometry. The theory of quasimaps allows one to associate hypergeometric functions called vertex functions to quiver varieties. In this paper, we prove a formula which relates the vertex functions of $T^*Gr(k,n)$ and its symplectic dual. In the course of the proof, we study a family of $q$-difference operators which act diagonally on Macdonald polynomials. Our results may be interpreted from a combinatorial perspective as providing an evaluation formula for a $q$-Selberg type integral.

연구 동기 및 목표

• 코타angent bundle $T^*\mathrm{Gr}(k,n)$의 숫자기하학적 맥락에서 심플렉틱 이중성(3차원 미러 대칭)의 핵심 예측을 검증하기 위해.
• 매개변수 이중성 하에서 $T^*\mathrm{Gr}(k,n)$와 그 심플렉틱 이중체 $X^!$의 정점 함수 사이의 정확한 대응 관계를 수립하기 위해.
• 정점 함수를 이중 다양체 간에 연결하기 위해 $q$-차분 연산자와 맥도날드 다항식을 사용한 조합적 프레임워크를 개발하기 위해.
• 이중 공간 위의 양자 $q$-차분 방정식의 등가성을 명시적인 정규화와 매개변수 일치를 통해 실현하기 위해.

제안 방법

• 정점 함수는 맥도날드 다항식과 $q$-차분 연산자를 포함하는 적분 표현을 통해 $T^*\mathrm{Gr}(k,n)$에 대해 기술된다.
• 맥도날드 연산자와 가환하는 $q$-차분 연산자 가중치가 도입되며, 이는 맥도날드 다항식 위에서 대각선으로 작용하고 후속 삽입을 코딩한다.
• 등급 매개변수 $\boldsymbol{z}$와 등급 매개변수를 교환하는 정규화 사상 $\kappa$를 통해, 가상의 기본층의 $K$-이론 클래스 위에서의 이론적 국소화와 이 연산자의 작용을 이용해 '마지막 고정점'에서의 정점 함수를 계산한다.
• 핵심은 이중 쪽의 정점 함수를 $D_d(\boldsymbol{a};q,\hbar)$의 작용을 통해 원래 정점 함수로 재표현함으로써 유도되는 항등식이며, 이는 조합적 평가 공식을 이끈다.
• 최종 결과는 $\kappa$를 적용한 후 이중 쪽의 변환된 정점 함수가 원래 정점 함수와 일치함을 보여줌으로써 도출되며, 이는 $q$-포흐하머 기호와 $q$-하이퍼지오메트릭 항등식의 성질을 이용한다.

실험 결과

연구 질문

• RQ1 적절한 매개변수 일치와 정규화 하에 $T^*\mathrm{Gr}(k,n)$와 그 심플렉틱 이중체 $X^!$의 정점 함수가 일치하는가?
• RQ2 맥도날드 다항식 위에서의 $q$-차분 연산자의 작용이 나카지마 쿼버 다양체의 정점 함수에서 후속 삽입을 계산하는 데 사용될 수 있는가?
• RQ3 정점 함수로부터 유도되는 $q$-셀버그 유형 적분에 대한 조합적 평가 공식이 존재하는가?
• RQ4 이중 사상 $\kappa$ 하에서 $X^!$의 '마지막 고정점'에서의 정점 함수가 $X$의 해당 고정점에서의 정점 함수와 일치하는가?
• RQ5 이중 쿼버 다양체의 양자 $q$-차분 방정식은 어떻게 관련되어 있으며, 이는 정점 함수 비교를 통해 검증될 수 있는가?

주요 결과

• 적절한 정규화와 매개변수 교환 후 $T^*\mathrm{Gr}(k,n)$와 그 심플렉틱 이중체 $X^!$의 정점 함수가 동일함을 증명함으로써, 3차원 미러 대칭의 중심 예측을 확인한다.
• 정점 함수의 '마지막 고정점'에서 $T^*\mathrm{Gr}(k,n)$의 정점 함수가 이중 다양체 $X^!$의 정점 함수와 사상 $\kappa$ 하에서 일치함을 보였다.
• $q$-차분 연산자 $D_d(\boldsymbol{a};q,\hbar)$의 정점 함수 위 작용은 후속 삽입 효과를 재현하며, 계수는 $q$-포흐하머 비율로 주어진다.
• 이 증명은 $q$-셀버그 유형 적분에 대한 새로운 평가 공식을 도출하며, 계수에 $\frac{(\hbar)_d}{(q)_d} P_{(d)}(q^{\mu_i}(\hbar/q)^{i-k}; q, \hbar)$를 포함하는 분할에 대한 합으로 표현된다.
• 정규화 인자 $\kappa$는 이중 정점 함수 $\widetilde{\mathbf{V}}^{!}_{p^!}(u,\boldsymbol{z})$를 원래 정점 함수 $\widetilde{\mathbf{V}}_p(\boldsymbol{a}, z)$로 매핑하며, $\varphi$-함수를 포함하는 명시적 유리함수 수정 항이 있다.
• 결과적으로 $X$와 $X^!$의 $q$-차분 방정식 시스템이 매개변수 이중성 하에 등가임을 확인하였으며, 정점 함수는 해의 이중 기저를 이룬다.