[논문 리뷰] Modified Ringel-Hall algebras and Drinfeld double

Ming Lu, Liangang Peng|arXiv (Cornell University)|2016. 08. 10.

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

한 줄 요약

이 논문은 야수성 아벨 범주 $\fa$ 위의 $\bbZ/2$-등급 복합체에 대해 수정된 리ngle-홀 알제브라 $\ncm\fh_{\bbZ/2}(\fa)$를 도입하며, 이러한 복합체의 리ngle-홀 알제브라의 몫의 국소화로써 이 알제브라를 정립한다. 주요 결과는 이 알제브라가 $\fa$의 외부 확장된 리ngle-홀 알제브라의 드리플린 듀얼과 동형임을 보이며, 반-유도 홀 알제브라의 구조를 일반화하고 고르스키 및 브리지지엘랜드의 구성들을 $\bbZ/2$-등급 복합체의 맥락에서 통합한다.

ABSTRACT

Inspired by the works of Bridgeland and Gorsky on constructing Ringel-Hall algebras from $\Z/2$-graded complexes, we consider the category $\cc_{\Z/2}(\ca)$ of $\Z/2$-graded complexes over a hereditary abelian category $\ca$ which may not have enough projective objects, and define the modified Ringel-Hall algebra of $\ca$, denoted by $\cm\ch_{\Z/2}(\ca)$, to be the localization of a quotient algebra of the Ringel-Hall algebra of $\cc_{\Z/2}(\ca)$. We prove such Ringel-Hall algebra to be of some nice properties and structures. The first one is that $\cm\ch_{\Z/2}(\ca)$ has a nice basis. As a consequence $\cm\ch_{\Z/2}(\ca)$ is a free module over a suitably defined quantum torus of acyclic complexes, with a basis given by the isomorphism classes of objects in the derived category of $\Z/2$-graded complexes, and so in somehow $\cm\ch_{\Z/2}(\ca)$ has a similar meaning as the semi-derived Hall algebra of Gorsky. The second one is that in twisted case $\cm\ch_{\Z/2}(\ca)$ is isomorphic to the Drinfeld double Ringel-Hall algebra of $\ch_{tw}^e(\ca)$, the twisted extended Ringel-Hall algebra of $\ca$ itself. In particular, the category of finite-dimensional nilpotent representations of a quiver and the category of coherent sheaves on a smooth projective curve or on a weighted projective line are hereditary abelian categories, and so their twisted modified Ringel-Hall algebras are isomorphic to their Drinfeld double Ringel-Hall algebras. Finally, if $\ca$ has a tilting object $T$, then its modified Ringel-Hall algebra is isomorphic to the $\Z/2$-graded semi-derived Hall algebra $\cs\cd\ch_{\Z/2}(\add T)$ of the exact category $\add T$ defined by Gorsky and so isomorphic to the Bridgeland's Ringel-Hall algebra of $\mod (\End(T))$.

연구 동기 및 목표

• 야수성 아벨 범주 $\fa$ 위의 $\bbZ/2$-등급 복합체에 대해 수정된 리ngle-홀 알제브라 $\ncm\fh_{\bbZ/2}(\fa)$를 정의하고 연구하며, $\fa$가 충분한 프로젝티브를 갖지 않을 경우에도 가능하도록 한다.
• $\ncm\fh_{\bbZ/2}(\fa)$에 대한 표준 기저를 확립하며, 이 기저가 순환 복합체의 양자 토러스 위의 자유 모듈러임을 보인다.
• 비틀린 경우에 $\ncm\fh_{\bbZ/2}(\fa)$가 $\fa$의 비틀린 확장된 리ngle-홀 알제브라의 드리플린 듀얼과 동형임을 증명한다.
• 고르스키의 반-유도 홀 알제브라와 브리지지엘랜드의 $\bmod(\text{End}(T))$의 리ngle-홀 알제브라 구성들을 $\bbZ/2$-등급 복합체를 통해 통합하고 일반화한다.
• 유한 차원의 노르멀리프트 퀼러 표현이나 곡선 또는 가중 프로젝티브 선형 위의 코herent sheaf 등의 범주에 홀 알제브라의 구조를 적용 가능하게 확장한다.

제안 방법

• 야수성 아벨 범주 $\fa$ 위의 $\bbZ/2$-등급 복합체의 범주 $\fc_{\bbZ/2}(\fa)$를 구성하며, $\fa$가 충분한 프로젝티브를 갖지 않을 경우에도 가능하도록 한다.
• 복합체의 리ngle-홀 알제브라의 몫의 국소화로써 수정된 리ngle-홀 알제브라 $\ncm\fh_{\bbZ/2}(\fa)$를 정의하며, 대수적 제어와 기저 성질을 보장한다.
• $\ncm\fh_{\bbZ/2}(\fa)$에 대한 표준 기저를 식별하며, 이 기저는 $\fc_{\bbZ/2}(\fa)$의 유도 범주에 속한 대상들의 동형류로 구성되며, 순환 복합체의 양자 토러스 위의 자유 모듈러임을 보장한다.
• $\ncm\fh_{\bbZ/2}(\fa)$의 비틀린 형태를 도입하고, 이가 비틀린 확장된 리ngle-홀 알제브라 $\fh_{\text{tw}}^e(\fa)$의 드리플린 듀얼과 동형임을 증명한다.
• 구체적인 범주에 대해 구성 적용: 유한 차원의 노르멀리프트 퀄러 표현과 스무스 프로젝티브 또는 가중 프로젝티브 곡선 위의 코herent sheaf.
• $\fa$ 내의 틸팅 대상 $T$를 사용하여 $\ncm\fh_{\bbZ/2}(\fa)$를 $\text{add}(T)$의 $\bbZ/2$-등급 반-유도 홀 알제브라와 연결하고, 브리지지엘랜드의 $\bmod(\text{End}(T))$의 리ngle-홀 알제브라와 연결한다.

실험 결과

연구 질문

• RQ1 야수성 아벨 범주 $\fa$ 위의 $\bbZ/2$-등급 복합체에 대해 수정된 리ngle-홀 알제브라가 정의될 수 있는가, 특히 $\fa$가 충분한 프로젝티브를 갖지 않을 경우에도 가능한가?
• RQ2 $\ncm\fh_{\bbZ/2}(\fa)$는 표준 기저를 갖는가? 그리고 순환 복합체의 양자 토러스 위의 자유 모듈러인가?
• RQ3 비틀린 형태의 $\ncm\fh_{\bbZ/2}(\fa)$는 비틀린 확장된 리ngle-홀 알제브라의 드리플린 듀얼과 동형인가?
• RQ4 $\ncm\fh_{\bbZ/2}(\fa)$는 고르스키의 반-유도 홀 알제브라와 브리지지엘랜드의 리ngle-홀 알제브라 구성과 어떻게 관련이 있는가?
• RQ5 $\fa$가 유한 차원의 노르멀리프트 퀄러 표현의 범주이거나 곡선 위의 코herent sheaf일 경우 $\ncm\fh_{\bbZ/2}(\fa)$의 구조는 어떠한가?

주요 결과

• 수정된 리ngle-홀 알제브라 $\ncm\fh_{\bbZ/2}(\fa)$는 $\bbZ/2$-등급 복합체의 유도 범주에 속한 대상들의 동형류로 이루어진 표준 기저를 갖는다.
• 이 알제브라는 $\fc_{\bbZ/2}(\fa)$ 내의 순환 복합체로부터 구성된 양자 토러스 위의 자유 모듈러이며, 잘 정의된 대수적 구조를 보장한다.
• 비틀린 경우 $\ncm\fh_{\bbZ/2}(\fa)$는 비틀린 확장된 리ngle-홀 알제브라 $\fh_{\text{tw}}^e(\fa)$의 드리플린 듀얼과 동형이며, 홀 알제브라의 쌍대성 구조를 통합한다.
• 야수성 아벨 범주인 유한 차원의 노르멀리프트 퀄러 표현이나 스무스 프로젝티브 또는 가중 프로젝티브 곡선 위의 코herent sheaf에 대해, 비틀린 수정된 리ngle-홀 알제브라가 해당 홀 알제브라의 드리플린 듀얼과 동형임을 보인다.
• $\fa$가 틸팅 대상 $T$를 갖는다면, $\ncm\fh_{\bbZ/2}(\fa)$는 $\text{add}(T)$의 $\bbZ/2$-등급 반-유도 홀 알제브라와 동형이며, 브리지지엘랜드의 $\bmod(\text{End}(T))$의 리ngle-홀 알제브라와도 동형이다.
• 이 구성은 고르스키와 브리지지엘랜드의 이전 결과를 일반화하고 확장하며, 프로젝티브 생성자를 요구하지 않는 $\bbZ/2$-등급 복합체의 맥락으로 그 틀을 확장한다.