[논문 리뷰] Semi-infinite highest weight categories

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|2018. 08. 24.

Advanced Algebra and Logic참고 문헌 86인용 수 12

한 줄 요약

이 논문은 상한 유한성과 하한 유한성의 변형을 포함한 반무한 높이 가중 범주—특히 비국소적으로 아르틴ian이 아닌 설정을 포함하는 고전적 높이 가중 범주 이론을 확장한—를 도입하고 공리화한다. 반무한 린겔 쌍대성에 의해 이러한 범주들 사이의 쌍대성을 확립하며, 모든 상한 유한 높이 가중 범주는 상한 유한 기반 준가역 대수 위의 국소적으로 유한차원 모듈러 범주와 동치임을 알리는 대수적 특성화를 제공한다.

ABSTRACT

We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower finite. We also consider various more general sorts of stratified categories. In the upper finite cases, we give an alternative characterization of these categories in terms of based quasi-hereditary algebras and based stratified algebras, which are certain locally unital algebras possessing triangular bases.

연구 동기 및 목표

• 지수 집합이 상한 유한성 또는 하한 유한성일 때, 국소적으로 아르틴ian이 아닌 설정에서의 높이 가중 범주에 대한 공리적 프레임워크를 개발함으로써 고전 이론을 확장한다.
• 유한차원이 아닌 예제를 다룰 수 있도록, 삼각형 기저를 가진 국소적으로 단위를 갖는 대수를 포함하는 준가역 대수와 분할 대수의 일반화를 시도한다.
• Z-중량 또는 가상-콤���트성 가정 없이도 반무한 린겔 쌍대성을 통해 상한 유한성과 하한 유한성의 높이 가중 범주 간의 쌍대성을 확립한다.
• 상한 유한성 높이 가중 범주를 상한 유한 기반 준가역 대수 위의 모듈러 범주로 동치로 특성화한다.
• ε-분할 범주라는 단일 프레임워크 내에서 기존의 개체 적응형 셀룰러 범주와 유형 ε의 분할 대수의 일반화 개념을 통합하고 일반화한다.

제안 방법

• 분할 대수의 유형 ε 개념을 아벨 범주로 확장하는 ε-분할 범주의 개념을 도입한다.
• 표준 및 코표준 대상의 색인 집합에 대한 순서 집합의 유한성 조건을 통해 상한 유한성 및 하한 유한성의 높이 가중 범주를 정의한다.
• 유한차원 코모듈(하한 유한성)과 국소적으로 유한차원 모듈(상한 유한성)을 사용하여 Z-중량 가정 없이 반무한 린겔 쌍대성을 구성한다.
• [AST]의 구성 방법을 활용하여 기울임 대상의 내적 대수의 삼각형 기저를 만들며, 이들이 개체 적응형 셀룰러 기저를 유도함을 보인다.
• 상한 유한성 높이 가중 범주를 상한 유한 기반 준가역 대수 위의 국소적으로 유한차원 모듈러 범주와 동치로 특성화한다.
• 이론을 표현 이론의 예시들—예를 들어 재구성된 군의 표현 범주나 osp_{m|2n} 및 q_n(C) 등의 리 초대수의 표현—에 적용한다.

실험 결과

연구 질문

• RQ1 표준 대상의 순서 집합이 상한 또는 하한 유한성이 아닐 경우, 고전적 높이 가중 범주 이론을 비국소적으로 아르틴ian인 설정으로 어떻게 확장할 수 있는가?
• RQ2 반무한 설정에서 린겔 쌍대성의 올바른 공식화는 무엇이며, Z-중량 또는 가상-콤팩트성에 의존하지 않고 어떻게 확립할 수 있는가?
• RQ3 상한 유한성 높이 가중 범주는 삼각형 기저를 가진 국소적으로 단위를 갖는 대수의 클래스를 통해 대수적으로 특성화될 수 있는가?
• RQ4 반무한 쌍대성의 맥락에서, 기반 준가역 대수와 개체 적응형 셀룰러 범주 개념은 어떻게 관련되어 있는가?
• RQ5 기존의 예시들—예를 들어 리 초대수의 O 범주 또는 재구성된 군의 표현—는 이 새로운 공리적 프레임워크에 얼마나 잘 맞는가?

주요 결과

• 상한 유한성 높이 가중 범주는 상한 유한 기반 준가역 대수 위의 국소적으로 유한차원 모듈러 범주와 동치이며, 이를 통해 완전한 대수적 특성화를 확보한다.
• 반무한 린겔 쌍대성은 하한 유한성과 상한 유한성의 높이 가중 범주 간의 쌍대성을 확립하며, 국소적으로 아르틴ian이 아닌 설정으로 고전적 린겔 쌍대성을 일반화한다.
• ε-분할 범주의 이론은 다양한 높이 가중 범주 일반화—예를 들어 유형 ε의 분할 대수와 개체 적응형 셀룰러 범주—를 통합하고 일반화한다.
• [AST]의 구성 방법을 통해 기울임 대상의 내적 대수의 기저를 만들면 개체 적응형 셀룰러 기저를 얻으며, 이는 이전 연구에서 암시된 추측을 확인한다.
• Z-중량 또는 가상-콤팩트성과 같은 제한적 가정을 피함으로써, 재구성된 G에 대한 비반단순 Rep(G)와 같은 중요한 예시들에도 적용 가능하다.
• osp_{3|2}(C)와 q_n(C) 등의 리 초대수에서의 예시들은 새로운 프레임워크에 자연스럽게 들어가며, q_n(C)의 정수 블록은 섬유화된 높이 가중 범주로 식별된다.