[논문 리뷰] 3d Mirror Symmetry and Elliptic Stable Envelopes

Richárd Rimányi, Andrey Smirnov외 2명|arXiv (Cornell University)|2019. 02. 10.

Algebraic structures and combinatorial models참고 문헌 58인용 수 30

한 줄 요약

이 논문은 X = T∗Gr(k,n)인 이중 쿠이버 다각형 X × X′ 위에서 '모성 함수'라 불리는 유일한 등변 타원 코homology 계열을 구성함으로써, 3차원 미러 대칭과代수기하학에서 타원 안정 막대 사이의 깊은 연결 고리를 확립한다. 모성 함수는 X와 X′ 위의 타원 안정 막대로 제한되며, X의 등변 매개변수와 X′의 카일러 매개변수 간의 식별 하에서 이들의 제한 행렬이 상호 전치 행렬임을 증명함으로써, 안정 막대와 타원 코homology 수준에서 3차원 미러 대칭을 실현한다.

ABSTRACT

We consider a pair of quiver varieties (X;X') 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 $ imes$ X' (the Mother function) whose restrictions to X and X' are the elliptic stable envelopes of those varieties. This implies, that the restriction matrices of the elliptic stable envelopes for X and X' are equal after transposition and identification of the equivariant parameters on one side with the Kähler parameters on the dual side.

연구 동기 및 목표

• Nakajima 쿠이버 다각형의 맥락에서 3차원 미러 대칭을 정확한 수학적 실현으로 제시하는 것, 특히 X = T∗Gr(k,n) 및 그 3차원 미러 쌍 X′에 대해.
• 등변 타원 코hom로지와 GKM 이론을 이용해 X와 X′ 위의 타원 안정 막대를 구성하고 특성화하는 것.
• X × X′ 위에서 등변 타원 코hom로지 계열인 '모성 함수'라 불리는 유일한 계열을 정의하는 것.
• X와 X′ 위의 타원 안정 막대의 제한 행렬이 등변 매개변수와 카일러 매개변수 간의 대칭성 하에서 서로 전치 행렬임을 증명하는 것.
• q-차분 방정식과 단형성의 수준에서 대칭성을 검증하여 전이 행렬 내에서 해석적 성질과 극의 상쇄를 보여주는 것.

제안 방법

• 쿼버 다각형의 관계를 갖는 쿠이버의 모듈리 공간으로서 X = T∗Gr(k,n)와 그 3차원 미러 쌍 X′을 Nakajima의 쿠이버 다각형 구성법을 통해 실현한다.
• 등변 타원 코hom로지와 GKM 이론을 적용하여 국소화와 타원 함수를 통해 X와 X′ 위의 타원 안정 막대를 계산한다.
• Abelianization과 영역도 기반의 조합론을 통해 X × X′ 위의 등변 타원 코hom로지 계열인 '모성 함수'를 구성한다.
• Abelianization 공식을 활용하여 X′ 위의 안정 막대를 카일러 부분과 비카일러 부분으로 분해하며, 분할의 영역도에서 유도된 조합론적 자료를 사용한다.
• 극 제거 정리와 q-차분 방정식의 단형성 이론을 활용하여 안정 막대를 해의 해석적 기저 간 전이 행렬과 연결한다.
• 영역도의 나무 구조에서의 극소거 레지멘트와 대칭 변환을 이용하여 Tp,pT′λ,µ의 해석적 성질을 증명함으로써 잠재적 극을 제거한다.

실험 결과

연구 질문

• RQ1 Nakajima 쿠이버 다각형에서 3차원 미러 대칭이 타원 안정 막대 수준에서 어떻게 실현될 수 있는가?
• RQ2 이중 다각형 X와 X′ 위의 안정 막대를 포함하는 등변 타원 코hom로지의 유일한 객체는 무엇인가?
• RQ3 등변 매개변수와 카일러 매개변수 간의 대칭성 하에서 X와 X′ 위의 타원 안정 막대의 제한 행렬은 어떻게 관련되는가?
• RQ4 카일러 부분과 비카일러 부분을 지배하는 조합론적 구조(예: 분할의 영역도에서의 나무)는 무엇인가?
• RQ5 왜 Tp,pT′λ,µ의 곱은 카일러 매개변수에서 해석적이며, 잠재적 극은 어떤 메커니즘으로 상쇄되는가?

주요 결과

• X = T∗Gr(k,n) 위의 타원 안정 막대는 GKM 이론과 타원 함수를 통해 명시적으로 구성되었으며, 해석적 정규화 조건을 만족한다.
• 쌍대 다각형 X′ 위의 타원 안정 막대는 분할의 영역도에서 유도된 나무를 포함하는 abelianization 공식으로 주어지며, 카일러 및 비카일러 기여가 있다.
• 모성 함수는 적절한 선다발 L에 대해 H^0(X × X′, L)에 속하는 등변 타원 코hom로지의 유일한 계열로, 타원 함수의 곱으로 구성되며 필요한 제한 성질을 만족한다.
• X와 X′ 위의 타원 안정 막대의 제한 행렬은 등변 매개변수(여기서 X에서)와 카일러 매개변수(여기서 X′에서) 간의 식별 하에서 서로 전치 행렬이다.
• 모든 잠재적 극 θ(ui/uj) 형태의 극이 나무의 대칭 변환과 극소거 레지멘트에 의해 상쇄되므로, Tp,pT′λ,µ는 카일러 매개변수 ui에서 해석적이다.
• k=1 및 n=4인 경우에 대해 모성 함수와 안정 막대의 명시적 공식을 유도하였으며, 타원 함수의 항등식을 통해 대칭성이 검증되었다.