[논문 리뷰] Extremal weight projectors II

Hoel Queffélec, Paul Wedrich|arXiv (Cornell University)|2018. 03. 27.

Algebraic structures and combinatorial models참고 문헌 25인용 수 5

한 줄 요약

이 논문은 아핀 웹 범주를 사용하여 $\mathfrak{sl}_2$ 에서 $\mathfrak{gl}_N$ 로 다이어그램적 극값 가중치 프로젝터를 일반화한다. 카르탕 부분대수 $U(\mathfrak{h})$ 의 표현 범주에 대한 다이어그램적 표현을 제공하고, 거듭제곱 합 대칭 다항식의 분류를 실현한다. 주요 기여는 $\mathrm{Sym}^k(V)$ 에서 극값 가중치 공간에 대한 프로젝터를 재귀적으로 구성하는 것으로, 이는 분류된 뉴턴 항등식을 만족하며, 코흐바노프–로잔스키 링크 homology 를 통해 토러스 스케인 대수의 분류를 가능하게 한다.

ABSTRACT

In previous work, we have constructed diagrammatic idempotents in an affine extension of the Temperley-Lieb category, which describe extremal weight projectors for sl(2), and which categorify Chebyshev polynomials of the first kind. In this paper, we generalize the construction of extremal weight projectors to the case of gl(N) for N greater than or equal to 2, with a view towards categorifying the corresponding torus skein algebras via Khovanov-Rozansky link homology. As by-products, we obtain compatible diagrammatic presentations of the representation categories of gl(N) and its Cartan subalgebra, and a categorification of power-sum symmetric polynomials.

연구 동기 및 목표

• 두 개 이상의 $N \geq 2$ 에 대해 $U(\mathfrak{h}) \subset U(\mathfrak{gl}_N)$ 의 표현 범주에 대한 다이어그램적 표현을 구성하는 것.
• $\mathfrak{sl}_2$ 에서 $\mathfrak{gl}_N$ 으로 극값 가중치 프로젝터를 일반화하여, $\mathrm{Sym}^k(V)$ 표현에서 극값 가중치 공간에 대한 프로젝션을 인코딩하는 것.
• $\mathfrak{gl}_N$ 의 표현 환에서 거듭제곱 합 대칭 다항식의 분류를 제공하는 것.
• 코흐바노프–로잔스키 링크 homology 를 사용하여 토러스 스케인 대수의 분류를 위한 기초를 마련하는 것.

제안 방법

• $\mathfrak{gl}_N$ 웹 계산법의 아핀 확장인 $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ 를 도입하여, $0 < k < N$ 에 대해 $\bigwedge^k(V)$ 률 부여된 필수 원을 0으로 설정한다.
• $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ 내에서 극값 가중치 공간에 대한 프로젝션을 수행하는 재귀적으로 구성된 아이소턴트 사상들을 정의한다.
• 꼬임 수 그룹화를 갖는 중심 확장을 사용하여, 분류된 스케인 모듈과 토릭 링크 호몰로지와의 호환성을 확보한다.
• $\mathfrak{gl}_2$ 경우에서 극값 가중치 프로젝터의 덩어리 풀이 보조정리와 텐서곱의 분해 공식을 증명한다.
• 카로바이 은둔을 범주에 적용하여, 모든 객체를 기약 성분들의 직합으로 분해한다. 여기서 포함되는 것은 $\lambda^k(T_m)$ 과 $w\lambda^k(\emptyset)$ 이다.
• 결과로 얻어진 스켈레톤이 단순적이며, 모든 사상 대수들이 $\mathbb{C}$ 와 동형임을 보이며, 모든 객체들이 이동 없음 또는 최소 이동 형태와 동형임을 보여준다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathfrak{gl}_N$ 의 극값 가중치 프로젝터를 $\mathfrak{sl}_2$ 경우를 일반화하는 방식으로 다이어그램적으로 구성할 수 있는가?
• RQ2 $\mathfrak{gl}_N$ 에서 카르탕 부분대수 $U(\mathfrak{h})$ 의 표현 범주에 대한 다이어그램적 표현은 무엇인가?
• RQ3 극값 가중치 프로젝터는 어떻게 $\mathfrak{gl}_N$ 의 표현 환에서 거듭제곱 합 대칭 다항식을 분류하는가?
• RQ4 이 맥락에서 거듭제곱 합과 기본 대칭 다항식을 연결하는 뉴턴 항등식의 분류된 형태는 무엇인가?
• RQ5 이러한 프로젝터는 어떻게 코흐바노프–로잔스키 링크 호몰로지 를 통해 토러스 스케인 대수의 분류를 실현하는 데 사용될 수 있는가?

주요 결과

• $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ 범주는 $U(\mathfrak{h})$ 의 표현 범주에 대한 다이어그램적 표현을 제공하며, $0 < k < N$ 에 대해 $\bigwedge^k(V)$ 률 부여된 필수 원은 0으로 설정된다.
• $\mathfrak{gl}_N$ 의 극값 가중치 프로젝터는 꼬임 수 그룹화를 갖는 $N\mathrm{A}\mathrm{Web}^{\mathrm{ess}}$ 의 중심 확장에서 재귀적으로 정의된다.
• 극값 가중치 프로젝터는 $\mathfrak{gl}_N$ 의 표현 환에서 거듭제곱 합 대칭 다항식을 분류하며, $\mathfrak{sl}_2$ 프로젝터가 체비셰프 다항식을 분류하는 방식과 유사하다.
• 분류된 뉴턴 항등식을 증명하여, 극값 가중치 프로젝터가 다이어그램적 항등식을 통해 기본 대칭 다항식과 관련됨을 보였다.
• $\mathfrak{gl}_2$ 경우에서 범주의 카로바이 은둔은 $\lambda^k(T_m)$ 과 $w\lambda^k(\emptyset)$ 의 직합으로 분해되며, 이러한 모든 객체들은 이동 없음 또는 최소 이동 형태와 동형이다.
• $\operatorname{Kar}(\overline{2\mathrm{A}\mathrm{Web}}^{\mathrm{ess},+})$ 의 $\lambda^k(T_m)$ 과 $s\lambda^k(\emptyset)$ 에 의해 생성되는 전체 부분범주가 단순한 스켈레톤을 이룬다. 여기서 사상 대수들은 $\mathbb{C}$ 와 동형이다.