[논문 리뷰] Quantum Kostka and the rank one problem for $\mathfrak{sl}_{2m}$

Natalie Hobson|arXiv (Cornell University)|2015. 08. 27.

Advanced Mathematical Identities참고 문헌 5인용 수 3

한 줄 요약

이 논문은 $ \overline{\mathcal{M}}_{0,n}$ 위의 conformal blocks 벡터(bundle)의 질량을 $ \mathfrak{sl}_{2m}$에 대해 직사각형 가중치를 갖는 경우에 대해 0, 1, 또는 1보다 큰지에 대한 명시적인 필요충분조건을 확립한다. Witten의 사전과 Young 표를 통한 Kostka 수 계산을 이용하여, 질량 1인 벡터(bundle)의 첫 번째 체른 클래스가 생성하는 양의 영역이 유한 생성임을 증명함으로써, $ \mathfrak{sl}_{2m}$에 대한 질량 1 문제의 특수한 케이스를 해결하고, 이중성에 의해 심플렉틱 리 대수로의 결과를 확장한다.

ABSTRACT

We give necessary and sufficient conditions to specify vector bundles of conformal blocks for $\mathfrak{sl}_{2m}$ with rectangular weights which have ranks zero, one, and larger than one. First Chern classes of rank one bundles are shown to determine a finitely generated subcone of the nef cone.

연구 동기 및 목표

• 직사각형 가중치를 갖는 conformal blocks 벡터(bundle) $V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$의 질량이 0, 1, 또는 1보다 큰지에 대한 필요충분조건을 규명하는 것.
• 질량 1인 벡터(bundle)의 첫 번째 체른 클래스가 생성하는 영역 $C(S)$가 유한 생성임을 증명하는 것.
• 수직 스케일링과 이중성을 이용하여 $ \mathfrak{sl}_2$에서 $ \mathfrak{sl}_{2m}$로 결과를 확장하고, 질량 이중성에 의해 심플렉틱 리 대수와 연결하는 것.
• Witten 사전의 프레임워크 아래에서 Young 표와 Kostka 수를 이용한 질량 계산을 위한 명시적 알고리즘을 제공하는 것.

제안 방법

• Witten 사전을 적용하여 $V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$의 질량을 그라스만이 군의 코homology에서의 클래식하거나 양자 곱의 슈부르트 클래스 계수와 연결한다.
• Kostka 수를 이용하여 주어진 모양과 내용을 갖는 반표준 Young 표의 수를 세어 질량을 계산한다.
• 가중치 내용과 최대 가중치 내용을 정의하여 질량가 1 또는 1보다 큰 경우를 구분한다.
• 수직 스케일링 성질(정리 2.3)을 도입하여 $\operatorname{rank}(V_m) = 1$이 되는 것과 $\operatorname{rank}(V_1) = 1$이 되는 것이 동치임을 보이며, $c_1(V_m) = m c_1(V_1)$임을 증명한다.
• 각 $c_1(V)$가 질량 1인 벡터(bundle)에 대해 수준 1의 나누기들에 대한 유효한 선형 조합으로 표현됨을 이용하여 영역 $C(S)$의 유한 생성성을 증명한다 (정리 1.3).
• 수직 스케일링과 이상 이중성을 이용하여 $ \mathfrak{sl}_2$에서 $ \mathfrak{sl}_{2m}$로 결과를 확장하고, 이중성을 적용하여 $ \mathfrak{sp}_{2\ell}$의 수준 1에 대한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 직사각형 가중치 $\vec{\lambda} = (c_1\omega_m, \dots, c_n\omega_m)$에 대해, conformal blocks 벡터(bundle) $V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$의 질량이 0, 1, 또는 1보다 큰지에 대한 필요충분조건은 무엇인가?
• RQ2 질량 1인 conformal blocks 벡터(bundle)의 첫 번째 체른 클래스가 생성하는 $ \operatorname{Nef}(\overline{\mathcal{M}}_{0,n})$의 부분영역 $C(S)$는 유한 생성되는가?
• RQ3 conformal blocks 벡터(bundle)의 질량과 체른 클래스는 수직으로 스케일링될 수 있으며, 이는 $ \mathfrak{sl}_{2m}$에 대해 질량 1 성질을 유지하는가?
• RQ4 이중성과 스케일링을 통해 $V(\mathfrak{sl}_{2m}, \vec{\lambda}, \ell)$의 질량은 $V(\mathfrak{sl}_2, \vec{\lambda}', 1)$의 질량과 어떻게 관련되는가?
• RQ5 이중성을 이용하여 결과를 $ \mathfrak{sp}_{2\ell}$의 수준 1로 확장할 수 있는가?

주요 결과

• $V(\mathfrak{sl}_{2m}, (c_1\omega_m, \dots, c_n\omega_m), \ell)$의 질량은 $\Lambda < p$일 때이고, 뿐만 아니라 $\Lambda = \sum_{i=2k+2}^n c_i$이고, $\sum c_i = 2(k\ell + p)$를 만족하는 정수 $p$가 존재하며 $1 \leq p \leq \ell$이고 $k \geq 0$이면 0이다.
• 질량이 1이 되는 것은 $\Lambda = p$이거나, $\Lambda > p$이면서 가중치 내용이 최대일 때이다. 이는 정의 2.5에서 정의된 바와 같다.
• 질량이 1보다 큰 것은 $\Lambda > p$이면서 가중치 내용이 최대가 아닐 때이다.
• 질량 1인 벡터(bundle)의 첫 번째 체른 클래스가 생성하는 영역 $C(S)$는 유한 생성된다. 각 체른 클래스는 수준 1의 나누기들에 대한 유효한 선형 조합으로 표현 가능하기 때문이다.
• 수직 스케일링 성질인 $c_1(V_m) = m c_1(V_1)$와 $\operatorname{rank}(V_m) = 1$이 $\operatorname{rank}(V_1) = 1$일 때 성립하며, 이는 $ \mathfrak{sl}_{2m}$의 직사각형 가중치에 대해 성립한다.
• 이중성에 의해 $ \mathfrak{sp}_{2\ell}$의 수준 1에 대해서도 동일한 질량 조건이 적용된다: $\operatorname{rank}(V(\mathfrak{sp}_{2\ell}, \vec{\lambda}^T, 1)) = \operatorname{rank}(V(\mathfrak{sl}_2, \vec{\lambda}, \ell))$.