[논문 리뷰] A Koszul category of representations of finitary Lie algebras

Elizabeth Dan-Cohen, Ivan Penkov외 1명|arXiv (Cornell University)|2011. 05. 17.

Algebraic structures and combinatorial models참고 문헌 10인용 수 9

한 줄 요약

이 논문은 유한성 조건을 만족하는 리 대수 $\mathfrak{g} = \mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(/infty)$에 대해 통합 가능하고 유한 길이의 웨이트 모듈의 코즐 카테고리 $\mathbb{T}_{\mathfrak{g}}$를 도입하며, 이 카테고리가 유한 차원 코즐 대수들의 직접 극한 위의 국소적으로 유니터리인 유한 차원 모듈의 카테고리와 반동치임을 보여준다. 주요 결과는 $\mathbb{T}_{\mathfrak{o}(\infty)}$와 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 사이의 동치 관계를 규명하여, 이들의 표현 이론에 깊이 있는 대칭성을 드러낸다.

ABSTRACT

We find for each simple finitary Lie algebra $\mathfrak{g}$ a category $\mathbb{T}_\mathfrak{g}$ of integrable modules in which the tensor product of copies of the natural and conatural modules are injective. The objects in $\mathbb{T}_\mathfrak{g}$ can be defined as the finite length absolute weight modules, where by absolute weight module we mean a module which is a weight module for every splitting Cartan subalgebra of $\mathfrak{g}$. The category $\mathbb{T}_\mathfrak{g}$ is Koszul in the sense that it is antiequivalent to the category of locally unitary finite-dimensional modules over a certain direct limit of finite-dimensional Koszul algebras. We describe these finite-dimensional algebras explicitly. We also prove an equivalence of the categories $\mathbb{T}_{o(\infty)}$ and $\mathbb{T}_{sp(\infty)}$ corresponding respectively to the orthogonal and symplectic finitary Lie algebras $o(\infty)$, $sp(\infty)$.

연구 동기 및 목표

• 무한 차원 설정에서 반단순적이지 않은 유한성 조건을 만족하는 리 대수 $\mathfrak{g} = \mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$의 통합 표현에 대한 카테고리적 프레임워크를 개발한다.
• 유한 길이의 절대 웨이트 모듈의 카테고리 $\mathbb{T}_{\mathfrak{g}}$가 코즐임을 보이며, 무한 차원 리 대수에 대한 코즐 대칭을 적용한다.
• 자연 및 쌍대 자연 표현의 텐서 대수의 구조를 카테고리적으로 기술하며, $\mathbb{T}_{\mathfrak{g}}$ 내의 분해 불가능한 임베딩 모듈을 규명한다.
• 표현 카테고리 $\mathbb{T}_{\mathfrak{o}(\infty)}$와 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 사이의 동치 관계를 확립하여 이들의 표현 이론에 숨겨진 대칭성을 드러낸다.
• 코즐 대칭을 사용하여 $\mathfrak{g} = \mathfrak{sl}(\infty)$인 경우 $\mathbb{T}_{\mathfrak{g}}$ 내의 단순 객체들 간의 Ext 군에 대한 명시적 공식을 제공한다.

제안 방법

• 카테고리 $\mathbb{T}_{\mathfrak{g}}$는 $\mathfrak{g}$의 모든 분할 카르탕 부분대수에 대해 웨이트 모듈인 유한 길이 절대 웨이트 모듈의 카테고리로 정의된다.
• $\mathbb{T}_{\mathfrak{g}}$가 유한 차원 코즐 대수들의 직접 극한 위의 국소적으로 유니터리인 유한 차원 모듈의 카테고리와 반동치임을 보인다.
• $\mathcal{A}_{\mathfrak{g}}$는 대칭군 작용과 양의 프로젝터를 포함하는 관계를 갖는 텐서 대수의 몫으로 구성되며, 자연 및 쌍대 자연 표현의 텐서 대수의 구조를 캡슐화한다.
• $\mathfrak{g} = \mathfrak{sl}(\infty)$인 경우, 코즐 쌍대 대수 $(\mathcal{A}_{\mathfrak{g}}^!)^{\mathrm{opp}}$는 $\mathcal{A}_{\mathfrak{g}}$와 동형이 되며, 이는 자기 쌍대성과 단순 객체들 간의 명시적 Ext 계산 가능성을 보장한다.
• $\mathfrak{g} = \mathfrak{o}(\infty)$ 및 $\mathfrak{g} = \mathfrak{sp}(\infty)$인 경우, 대칭군 대수의 부호 자동형사상에 의해 $\mathcal{A}_{\mathfrak{o}(\infty)}$와 $\mathcal{A}_{\mathfrak{sp}(\infty)}$가 서로 동형임을 보였다.
• $\mathbb{T}_{\mathfrak{o}(\infty)}$와 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 사이의 카테고리 동치는 그들의 관련 대수 $\mathcal{A}_{\mathfrak{g}}$의 동형에 의해 확립된다.

실험 결과

연구 질문

• RQ1 어떻게 하면 $\mathfrak{sl}(\infty)$, $\mathfrak{o}(\infty)$, $\mathfrak{sp}(\infty)$와 같은 유한성 조건을 만족하는 리 대수에 대해 코즐 표현 카테고리를 정의할 수 있는가?
• RQ2 무한 차원 설정에서 자연 및 쌍대 자연 표현의 텐서 대수의 카테고리적 구조는 어떻게 기술할 수 있는가?
• RQ3 비단순 카테고리의 무한 차원 리 대수 표현에 대해 코즐 대칭을 적용할 수 있는가?
• RQ4 근 시스템이 다른데도 불구하고 왜 $\mathbb{T}_{\mathfrak{o}(\infty)}$와 $\mathbb{T}_{\mathfrak{sp}(\infty)}$의 카테고리가 서로 동치가 되는가?
• RQ5 $\mathbb{T}_{\mathfrak{sl}(\infty)}$ 내의 단순 객체들 간의 Ext 대수의 구조는 무엇인가?

주요 결과

• 유한 길이 절대 웨이트 모듈의 카테고리 $\mathbb{T}_{\mathfrak{g}}$는 코즐이며, 이는 유한 차원 코즐 대수들의 직접 극한 위의 국소적으로 유니터리인 유한 차원 모듈의 카테고리와 반동치임을 의미한다.
• $\mathbb{T}_{\mathfrak{g}}$ 내의 분해 불가능한 임베딩 모듈은 자연 및 쌍대 자연 표현의 텐서 대수의 분해 불가능한 직접 합성의 합성으로 정확히 구성된다.
• $\mathfrak{g} = \mathfrak{sl}(\infty)$인 경우, 코즐 쌍대 대수 $(\mathcal{A}_{\mathfrak{g}}^!)^{\mathrm{opp}}$는 $\mathcal{A}_{\mathfrak{g}}$와 동형이 되며, 이는 자기 쌍대성과 단순 객체들 간의 명시적 Ext 계산 가능성을 보장한다.
• $\mathcal{A}_{\mathfrak{o}(\infty)}$와 $\mathcal{A}_{\mathfrak{sp}(\infty)}$는 서로 동형이므로, 카테고리 $\mathbb{T}_{\mathfrak{o}(\infty)} \simeq \mathbb{T}_{\mathfrak{sp}(\infty)}$의 동치가 성립한다.
• $\mathbb{T}_{\mathfrak{o}(\infty)}$와 $\mathbb{T}_{\mathfrak{sp}(\infty)}$ 각각은 최고 웨이트의 기수성에 따라 구분되는 두 개의 동치가 아닌 블록 $\mathbb{T}_{\mathfrak{g}}^{\mathrm{ev}}$와 $\mathbb{T}_{\mathfrak{g}}^{\mathrm{odd}}$로 분해된다.
• $\mathbb{T}_{\mathfrak{g}}$ 내의 자명한 모듈은 $S^2(V) = V_{(2)}$와만 비자명한 확장이 존재하지만, 다른 단순 임베딩 모듈은 다수의 서로 동형이 아닌 단순 모듈과의 확장을 가지며, 이는 블록들이 서로 동치가 아님을 증명한다.