[논문 리뷰] Defining relations of fusion products and Schur positivity

Katsuyuki Naoi|arXiv (Cornell University)|2015. 04. 01.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 3

한 줄 요약

이 논문은 현재 대수 $\sigmaffi\alpha[t]$ 위에서 $\sigma$-twisted $\sigma$-stable 모듈러스의 융합 곱에 대한 정의 관계를 수립하며, 이는 이전의 $\sigma=1$ 결과를 일반화한다. 이러한 융합 곱이 생성자와 관계로 정의된 모듈러스와 동형임을 증명하고, 분할 지배 조건이 성립할 경우 융합 곱 간의 전사 호모모르피즘을 유도함으로써, 스슈어 긍정성의 현재 대수 버전을 제시한다.

ABSTRACT

In this note we give defining relations of an $\mathfrak{sl}_{n+1}[t]$-module defined by the fusion product of simple $\mathfrak{sl}_{n+1}$-modules whose highest weights are multiples of a given fundamental weight. From this result we obtain a surjective homomorphism between two fusion products, which can be considered as a current algebra analog of Schur positivity.

연구 동기 및 목표

• 현재 대수 $\sigmaffi\alpha[t]$ 위에서 $\sigma$-twisted $\sigma$-stable 모듈러스의 융합 곱에 대한 명시적 정의 관계를 결정하는 것.
• 유한 차원 $\sigmaffi\alpha$-모듈러스에서의 스슈어 긍정성 현상이 현재 대수 모듈러스로 일반화되는가를 밝히는 것.
• 모든 $i$에 대해 $\ell_i + \cdots + \ell_p \geq r_i + \cdots + r_p$ 를 만족할 경우, 융합 곱 $V_m(\bm{\ell})$ 과 $V_m(\bm{r})$ 사이에 전사 ${\mathfrak{g}}[t]$-모듈러스 호모모르피즘을 수립하는 것.
• 클레브슈-고르단 분해와 스슈어 긍정성의 고전적 결과에 해당하는 현재 대수의 해석을 제공하는 것.

제안 방법

• 융합 곱 $V_m(\bm{\ell})$ 를 아핀 리 대수 $\widehat{{\mathfrak{g}}}$ 위의 모듈러스 안에서 ${\mathfrak{g}}[t]$-부분모듈러스로 실현한다.
• [Nao12]의 실현을 활용하여, $\tau$-시프트된 루트 벡터의 작용을 통해 정의 관계를 재귀적으로 결정한다.
• [Nao13]의 방법을 적용하여 $\widehat{{\mathfrak{n}}}_+$ 작용 하에서 순환 벡터의 소거자를 분석하고, $\tau$-공액을 사용해 $U(\widehat{{\mathfrak{n}}}_+)$ 내의 이상들을 연결한다.
• $\tau$-작용을 활용하여, $f_\alpha \otimes t^s$ 와 $e_\alpha \otimes t$ 의 생성자를 $\sigma$-twisted 구조와 연결하며, 특히 $\langle h_\alpha, \varpi_m \rangle = 1$ 인 루트에 대해 다룬다.
• $\sigma$-twisted 작용을 사용하여 모듈러스 $V(q,0)$ 를 $\mathbb{C}_{(\ell_q - \ell_{q+1})(\varpi_m + \Lambda_0)}$ 와 이동된 모듈러스를 포함하는 텐서곱으로 정의한다.
• $\tau \circ \Phi_\sigma$ 자동형사를 적용하여 $e_\alpha^{(s-r)}(f_\alpha \otimes t)^{(s)}$ 가 생성자 ${}_1f_\alpha(r,s)$ 와 관련됨을 증명하고, 소거자 이상 내 포함 관계를 확립한다.

실험 결과

연구 질문

• RQ1 최고 무게가 기본 무게의 배수인 $\mathfrak{sl}_{n+1}[t]$-모듈러스에 대해 융합 곱 $V_m(\bm{\ell})$ 의 정의 관계는 무엇인가?
• RQ2 분할 지배 조건이 성립할 경우, 두 융합 곱 사이에 전사 ${\mathfrak{g}}[t]$-모듈러스 호모모르피즘을 구성할 수 있는가?
• RQ3 스퓨어 긍정성의 현재 대수 버전이 존재하는가? 즉, 특성의 차가 비음이 아닌 스퓨어 함수의 합으로 표현되는가?
• RQ4 $\sigma$-twisted 구조가 현재 대수 작용과 어떻게 상호작용하여 정의 관계를 결정하는가?
• RQ5 아핀 실현에서 순환 벡터의 소거자 이상은 생성자와 관계로 명시적으로 기술될 수 있는가?

주요 결과

• 융합 곱 $V_m(\bm{\ell})$ 는 $\mathfrak{n}_+[t]$, $h \otimes t^s$, $f_\alpha \otimes \mathbb{C}[t]$ 를 포함하는 특정 관계를 만족하는 벡터 $v$ 를 생성자로 하는 ${\mathfrak{g}}[t]$-모듈러스와 동형이다.
• 정의 관계에는 $\alpha$ 가 양의 루트이고 $\langle h_\alpha, \varpi_m \rangle = 1$ 일 경우 $f_\alpha^{L_1+1}v = 0$ 과, 조건 $s + r \geq 1 + kr + L_{k+1}$ 하에서 $ (e_\alpha \otimes t)^s f_\alpha^{r+s}v = 0 $ 이 포함된다.
• 모든 $1 \leq i \leq p$ 에 대해 $\ell_i + \cdots + \ell_p \geq r_i + \cdots + r_p$ 를 만족할 경우, $V_m(\bm{\ell})$ 에서 $V_m(\bm{r})$ 로의 전사 ${\mathfrak{g}}[t]$-모듈러스 호모모르피즘이 존재하며, 이는 스퓨어 긍정성을 현재 대수 설정으로 일반화한다.
• 아핀 실현에서 순환 벡터 $v_{q,0}$ 의 소거자는 $\mathcal{I}(q,0)$ 와 일치함을 보여, $\tau$-공액을 통해 정의 관계가 확인된다.
• 증명은 $\tau(\mathcal{I}(q+1, \ell(\sigma))) = \mathcal{I}(q,0)$ 임을 보여, 필요한 소거자 이상과 일치함을 보인다.
• 결과적으로 융합 곱의 구조는 분할 $\bm{\ell}$ 과 무게 $\varpi_m$ 에 의해 완전히 결정되며, 관계들은 지배 순서를 코딩하고 있다.