[논문 리뷰] Generalized trace and modified dimension functions on ribbon categories

Nathan Geer, Jonathan R. Kujawa외 1명|arXiv (Cornell University)|2010. 01. 06.

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

한 줄 요약

이 논문은 표준 추적과 차원이 0이 되는 상황—예를 들어 리 대수 및 리 초대수의 양의 특성수 표현에서—에서 비자명한 불변량을 가능하게 하는 토폴로지적 기법을 사용하여 리본 카테고리에서 일반화된 추적과 수정된 차원 함수를 도입한다. 주요 기여는 고전적 차원이 0일 때조차도 수정된 차원을 통해 비자명한 불변량을 복원할 수 있는 카테고리적 프레임워크를 제공하는 것이다.

ABSTRACT

In this paper we use topological techniques to construct generalized trace and modified dimension functions on ideals in certain ribbon categories. Examples of such ribbon categories naturally arise in representation theory where the usual trace and dimension functions are zero, but these generalized trace and modified dimension functions are non-zero. Such examples include categories of finite dimensional modules of certain Lie algebras and finite groups over a field of positive characteristic and categories of finite dimensional modules of basic Lie superalgebras over the complex numbers. These modified dimensions can be interpreted categorically and are closely related to some basic notions from representation theory.

연구 동기 및 목표

• 표준 불변량이 0이 되는 리본 카테고리에서 일반화된 추적과 수정된 차원 함수를 위한 카테고리적 프레임워크를 개발한다.
• 특히 대칭적이고 비단순 표현 카테고리에서 고전적 차원이 0인 대상으로까지 토폴로지 불변량을 확장한다.
• 표준 추적과 차원이 자명한 경우에도 비자명한 수정된 차원을 얻을 수 있는 토폴로지적 구성 방법을 제공한다.
• 이러한 수정된 불변량과 프로젝티브 모듈, 웨이트 공간과 같은 표현 이론의 핵심 개념 간의 관계를 수립한다.
• 양자군 이론에 의존하지 않는 순수 토폴로지적 방법을 사용하여 이전의 양자군 및 리 초대수에서의 수정된 차원 결과를 일반화한다.

제안 방법

• 리본 카테고리의 이상에 대해 [29]의 토폴로지적 기법을 사용하여 일반화된 추적과 수정된 차원 함수를 정의한다.
• 리본 카테고리의 브레이딩과 쌍대성 구조를 이용해 결합체와 링크의 토폴로지 불변량을 통해 일반화된 추적을 정의한다.
• 고전적 차원이 0인 대상에 대해 일반화된 추적을 이용해 추적 유사 함수로서 수정된 차원을 구성한다.
• 텐서곱에 작용하는 연산자 $\Omega_{1,2}$의 행렬 표현을 사용하여 웨이트 공간에서의 일반화된 추적을 계산한다.
• 유한 차원 모듈에서의 자기형사의 질량과 추적을 분석하기 위해 웨이트 공간의 구조와 $F^p$의 작용을 활용한다.
• 특정 카테고리—예를 들어 양의 특성수에서의 리 대수의 유한 차원 모듈과 $\mathbb{C}$ 위의 리 초대수—에 이 이론을 적용한다.

실험 결과

연구 질문

• RQ1 표준 추적과 차원이 0이 되는 리본 카테고리에서 일반화된 추적과 수정된 차원 함수는 어떻게 정의할 수 있는가?
• RQ2 어떤 토폴로지적 구성이 대칭 리본 카테고리에서 표준 불변량이 자명한 경우에도 비자명한 불변량을 제공하는가?
• RQ3 어떤 표현 이론적 맥락에서 고전적 차원이 0이 되어도 수정된 차원이 비자명하게 유지되는가?
• RQ4 일반화된 추적과 수정된 차원은 프로젝티브 모듈과 웨이트 공간과 같은 고전적 표현 이론 불변량과 어떻게 관련되는가?
• RQ5 수정된 차원은 비프로젝티브 단순 모듈의 카테고리에서 비양면성 객체를 식별할 수 있는가?

주요 결과

• 표준 고전적 추적과 차원이 0이 되는 경우—특히 리 대수 및 리 초대수의 양의 특성수 표현에서—일반화된 추적과 수정된 차원 함수는 여전히 비자명하다.
• 정규(nilpotent) 근본적 근을 가진 $\chi$에 대해 $\mathcal{C}^{[\chi]}$ 내의 단순 모듈 $V_{\chi,0}$의 경우 수정된 차원은 비자명하며, $V_{\chi,0}$는 양면적이지 않다.
• $V\otimes V$의 $p-2$ 웨이트 공간에서 $\Omega_{1,2}$를 나타내는 행렬 $X$의 질량은 $p-2$이며, $M = ND$는 가역적이므로 비퇴화된 추적 행동이 보장된다.
• $V\otimes V$에서 특정 사상 $f$의 일반화된 추적 $\operatorname{Tr}_R(f)$는 $-\operatorname{Id}_V$와 같다. 이는 비자명성을 보여주며, 따라서 $V_{\chi,0}$의 비양면성도 증명된다.
• 수정된 차원은 $F^p$의 작용에 대해 불변이며, 추적 계산은 $v_{-1}$과 $v_0$에서의 $F^p$의 작용에 의존한다. 이에 따라 $f(v_1\otimes v_{-1}) = 0$임을 보여준다.
• $\chi$가 근본적(nilpotent regular)일 경우, $\mathcal{C}^{[\chi]}$ 내의 모든 비프로젝티브 단순 객체에 대해 이 결과는 일반화된다: $V_{\chi,0}$의 비양면성에 기반한 모순을 이용해, 이들 모두가 양면적이지 않음을 보여준다.