[논문 리뷰] Semi-derived Hall algebras and tilting invariance of Bridgeland-Hall algebras

Mikhail Gorsky|arXiv (Cornell University)|2013. 03. 23.

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

한 줄 요약

이 논문은 유한성 조건을 만족하는 정확한 범주 위의 유계 복합체에서 유도된 새로운 대수적 구조인 준유도 홀 알제브라(준유도 홀 알제브라, SDH)를 소개한다. 이는 고전적 홀 알제브라와 유도 홀 알제브라 사이를 연결하는 역할을 한다. SDH가 기울임 함수에 의해 유도되는 유도 동치에 대해 불변임을 증명하며, 브리지랜드-홀 알제브라가 기울임에 대해 보존됨을 보이고, 준유도 홀 알제브라의 $\rvert\mathbb{Z}/2$-중복 구조가 브리지랜드의 이중주기 홀 알제브라와 동형임을 보여, 브리지랜드-홀 알제브라의 기울임 불변성을 증명한다.

ABSTRACT

Inspired by recent work of Bridgeland, from the category C^b(E) of bounded complexes over an exact category E satisfying certain finiteness conditions, we construct an associative unital "semi-derived Hall algebra" SDH(E). This algebra is an object sitting, in some sense, between the usual Hall algebra H(C^b(E)) and the Hall algebra of the bounded derived category D^b(E), introduced by Toen and further generalized by Xiao and Xu. It has the structure of a free module over a suitably defined quantum torus of acyclic complexes, with a basis given by the isomorphism classes of objects in the bounded derived category D^b(E). We prove the invariance of SDH(E) under derived equivalences induced by exact functors between exact categories. For E having enough projectives and such that each object has a finite projective resolution, we describe a similar construction for the category of Z/2-graded complexes, with similar properties of associativity, freeness over the quantum torus and derived invariance. In particular, we obtain that this Z/2-graded semi-derived Hall algebra is isomorphic to the two-periodic Hall algebra recently introduced by Bridgeland. We deduce that Bridgeland's Hall algebra is preserved under tilting. When E is hereditary and has enough projectives, we show that the multiplication in SDH(E) is given by the same formula as the Ringel-Hall multiplication, and SDH(E) is isomorphic to a certain quotient of the classical Hall algebra H(C^b(E)) localized at the classes of acyclic complexes. We also prove the same result in the Z/2-graded case.

연구 동기 및 목표

• 고전적 홀 알제브라와 유도 홀 알제브라 사이를 연결하는 새로운 홀 알제브라, 즉 준유도 홀 알제브라(SDH)를 구성하는 것.
• 정확한 함자, 특히 기울임 함수에 의해 유도되는 유도 동치에 대해 SDH의 불변성을 확립하는 것.
• SDH의 $\rvert\mathbb{Z}/2$-중복 구조가 브리지랜드의 이중주기 홀 알제브라와 동형임을 보이는 것.
• 브리지랜드-홀 알제브라가 기울임에 대해 보존됨을 증명하여, 기울임 불변성 결과를 유도 범주로 확장하는 것.
• 준유도 홀 알제브라의 곱셈이 애너릴리티가 있는 범주에서 린겔-홀 곱셈과 일치함을 보이고, SDH를 국소화된 고전적 홀 알제브라의 몫으로 식별하는 것.

제안 방법

• 유계 복합체의 비순환 복합체에 대한 양자 토러스 위의 자유 모듈로 준유도 홀 알제브라 $\mathcal{SDH}(\mathcal{E})$를 구성하며, 그 기저는 $\mathcal{D}^b(\mathcal{E})$ 내의 동형류 클래스로 주어진다.
• 정확한 범주 $\mathcal{E}$의 유한성 조건을 사용하여 홀 구조의 잘 정의성과 결합법칙을 보장한다.
• $\mathbb{Z}/2$-중복 복합체를 사용하여 $\mathcal{SDH}(\mathcal{E})$의 $\mathbb{Z}/2$-중복 구조를 정의하고, 이가 브리지랜드의 이중주기 홀 알제브라와 동형임을 보인다.
• 기울임 함수에 의해 유도된 유도 동치일 때 $\mathcal{E}$와 $\mathcal{E}'$가 동치이면 $\mathcal{SDH}(\mathcal{E})$와 $\mathcal{SDH}(\mathcal{E}')$ 사이에 자연스러운 동형사상을 구성함으로써 유도 불변성을 증명한다.
• 애너릴리티가 있는 범주에서 충분한 프로젝티브를 가지는 경우, $\mathcal{SDH}(\mathcal{E})$가 비순환 복합체의 클래스를 국소화한 고전적 홀 알제브라 $\mathcal{H}(\mathcal{C}^b(\mathcal{E}))$의 몫과 동형임을 보여, SDH와 고전적 홀 알제브라 사이의 연결을 확립한다.
• 양자군 위의 브레인드 군 작용을 푸리에 변환을 통해 이전에 구성한 바가 있으며, 이를 준유도 홀 알제브라의 $\mathbb{Z}/2$-중복 구조에서 자연스럽게 실현함으로써 루즈티그의 구성과 일치시킨다.

실험 결과

연구 질문

• RQ1 유계 복합체의 고전적 홀 알제브라와 유도 범주의 유도 홀 알제브라 사이에 끼는 새로운 홀 알제브라를 구성할 수 있는가?
• RQ2 특히 유도 동치의 맥락에서, 브리지랜드-홀 알제브라가 기울임 함수에 대해 불변인가?
• RQ3 준유도 홀 알제브라의 $\mathbb{Z}/2$-중복 구조는 브리지랜드의 이중주기 홀 알제브라와 동형인가?
• RQ4 애너릴리티가 있는 범주에서 충분한 프로젝티브를 가지는 경우, 준유도 홀 알제브라의 곱셈이 린겔-홀 곱셈과 일치하는가?
• RQ5 애너릴리티가 있는 경우, 준유도 홀 알제브라가 국소화된 고전적 홀 알제브라의 몫으로 실현될 수 있는가?

주요 결과

• 준유도 홀 알제브라 $\mathcal{SDH}(\mathcal{E})$는 비순환 복합체의 양자 토러스 위의 자유 모듈이며, $\mathcal{D}^b(\mathcal{E})$ 내의 동형류 클래스로 인덱싱된 기저를 가진 결합법칙을 만족하는 단위 원소를 가진 결합법칙을 만족하는 대수이다.
• 충분한 프로젝티브를 가지며 유한한 프로젝티브 분해를 가진 정확한 범주에 대해, $\mathcal{SDH}(\mathcal{E})$의 $\mathbb{Z}/2$-중복 구조는 브리지랜드의 이중주기 홀 알제브라와 동형이다.
• $\mathcal{SDH}(\mathcal{E})$의 구성은 정확한 함자, 특히 기울임 함수에 의해 유도되는 유도 동치에 대해 불변이다.
• 애너릴리티가 있고 충분한 프로젝티브를 가진 범주에서는 $\mathcal{SDH}(\mathcal{E})$가 비순환 복합체의 클래스를 국소화한 고전적 홀 알제브라 $\mathcal{H}(\mathcal{C}^b(\mathcal{E}))$의 몫과 동형이다.
• 애너릴리티가 있는 범주에서 $\mathcal{SDH}(\mathcal{E})$의 곱셈은 린겔-홀 곱셈과 일치한다.
• $\mathbb{Z}/2$-중복 준유도 홀 알제브라에서 이전에 푸리에 변환을 통해 구성된 양자군 위의 브레인드 군 작용이 자연스럽게 실현되며, 루즈티그의 구성과 일치한다.