[논문 리뷰] Higher Zigzag Algebras

J. A. Grant|arXiv (Cornell University)|2017. 11. 02.

Algebraic structures and combinatorial models참고 문헌 46인용 수 2

한 줄 요약

이 논문은 유한 전반 차원을 가진 코즐 근사 대수의 코즐 쌍대의 외부 자명 확장으로서의 고차 zigzag 대수를 도입하여 고전적 zigzag 대수를 일반화한다. 이 대수들은 유형 A d-유도성 대수에 대해 화살표 다이어그램 표현을 통해 구성되며, 그 유도 범주상에서 구면 스트위트를 통한 브레인드 군 유사 작용이 수립되고, 고차 매크케이 대응을 통해 아핀 (d+1)-차원 공간 상의 G-등변 층과 연결되며, 이에 따라 구면 스트위트 간의 관계가 SL_{d+1}의 유한 아벨 부분군 G에 대한 G-등변 층의 유도 범주에서의 관계와 일치함을 보인다.

ABSTRACT

Given a Koszul algebra of finite global dimension we define its higher zigzag algebra as a twisted trivial extension of the Koszul dual. If our original algebra is the path algebra of a tree-type quiver, this construction recovers the zigzag algebras of Huerfano-Khovanov. We study examples of higher zigzag algebras coming from Iyama's type A higher representation finite algebras, give their presentations by quivers and relations, and describe relations between spherical twists acting on their derived categories. We connect this to the McKay correspondence in higher dimensions: if $G$ is a finite abelian subgroup of $SL_{d+1}$ then these relations occur between spherical twists for $G$-equivariant sheaves on affine $(d+1)$-space.

연구 동기 및 목표

• 유한 전반 차원을 가진 코즐 대수의 코즐 쌍대의 외부 자명 확장으로서 고차 zigzag 대수를 정의하고, 이를 통해 고전적 zigzag 대수의 일반화를 이루는 것.
• Iyama의 유형 A d-표현 유한 대수에 대해 화살표 다이어그램과 관계 표현을 통해 고차 zigzag 대수를 구성하는 것.
• 구면 스트위트를 통한 유도 범주의 군 작용을 일반화하여 브레인드 군 작용의 고차 버전을 수립하는 것.
• 이러한 작용이 대수기하학적 맥락에서 자연스럽게 나타나는지 확인하기 위해, G ⊂ SL_{d+1}일 때 아핀 (d+1)-차원 공간 상의 G-등변 층에서 유래하는 구면 스트위트를 통해 이와 같은 작용이 나타남을 보이는 것.

제안 방법

• 유한 전반 차원을 가진 코즐 대수의 코즐 쌍대의 외부 자명 확장을 고차 zigzag 대수로 정의한다.
• 유형 A d-유도성 대수에서 유도된 고차 zigzag 대수의 화살표 다이어그램과 관계 표현을 기술한다.
• 화살표 다이어그램에 대한 PBW 이론을 적용하여 대수의 구조와 관계를 분석한다.
• 프로젝티브 모듈의 내부환을 구성함으로써 유도 범주상에서의 구면 스트위트 함자들을 실현한다.
• 올리기 정리를 활용하여 원래 대수의 유도 범주에서의 군 작용을 고차 zigzag 대수로 옮긴다.
• 고차 zigzag 대수의 유도 범주와 외부 군 대수의 유도 범주 사이에 동치를 수립하고, 코즐 쌍대성에 따라 구면 대상이 상호로 대응되며 스트위트 관계가 유지됨을 보인다.

실험 결과

연구 질문

• RQ1 유도성 대수에서의 브레인드 군 작용을 새로운 유한 차원 대수의 클래스를 통해 전반 차원이 더 높은 대수로 일반화할 수 있는가?
• RQ2 Iyama의 유형 A d-표현 유한 대수에 대응하는 고차 zigzag 대수의 화살표 다이어그램과 관계 표현은 무엇인가?
• RQ3 구면 스트위트 함자들은 고차 zigzag 대수의 유도 범주상에서 어떻게 작용하며, 어떤 군 관계를 만족하는가?
• RQ4 이러한 고차 zigzag 대수의 유도 범주 작용은 대수기하학적 맥락에서 자연스럽게 나타나는가, 특히 매크케이 대응의 맥락에서 말이다?
• RQ5 외부 군 대수와 고차 zigzag 대수의 유도 범주 사이에, 구면 대상과 그 스트위트 관계를 유지하는 이중성은 존재하는가?

주요 결과

• 전반 차원이 유한한 코즐 대수의 고차 zigzag 대수는 그 코즐 쌍대의 외부 자명 확장으로서 정의되며, 고전적 zigzag 대수를 일반화한다.
• Iyama의 유형 A d-표현 유한 대수에 대해 고차 zigzag 대수는 명시적인 관계를 가진 화살표 다이어그램 표현을 가지며, 그 프로젝티브 모듈은 유한 차원 구조를 가진다.
• 고차 zigzag 대수의 유도 범주는 고차 브레인드 군의 유사 작용을 지니며, 이는 구면 스트위트에 의해 생성되며, 그 관계는 군 G^d_s와 동형이다.
• 원래 대수가 유한 아벨 군 G ⊂ SL_{d+1}에 대해 Sym(V)#G 이면, 고차 zigzag 대수는 외부 대수 E(V)#G 와 동형이며, 그 유도 범주 작용은 아핀 (d+1)-차원 공간 상의 G-등변 층에서의 구면 스트위트 작용과 일치한다.
• 코즐 쌍대성 함자는 고차 zigzag 대수의 유도 범주와 외부 군 대수의 유도 범주 사이에 동치를 유도하며, 한 쪽의 구면 대상이 다른 쪽의 구면 대상으로 이동되며 스트위트 관계가 유지된다.
• 군 G^d_s 는 유한 아벨 군 G ⊂ SL_{d+1}에 대해 Sym(V)#G 의 유도 범주상에서 단순 모듈에 대한 구면 스트위트를 통해 작용하며, 이 작용은 고차 zigzag 대수의 유도 범주상의 작용과 동형이며, 고차 매크케이 대응을 확인한다.