[논문 리뷰] Derived Picard groups of preprojective algebras of Dynkin type

Yuya Mizuno|arXiv (Cornell University)|2017. 09. 11.

Algebraic structures and combinatorial models참고 문헌 33인용 수 4

한 줄 요약

이 논문은 Weyl 군의 기약 표현과 확장된 전프로젝티브 대수를 이용하여 다이노크 타입(preprojective algebras of Dynkin type)의 이면 타이팅 복합체의 기본 클래스를 구성한다. 유도된 피카르 군과 접히기 전 그래프의 브레인 군 사이의 동형사상 수립을 통해, 모든 타이팅 복합체가 이러한 생성자들의 유도 텐서 곱으로 나타남을 증명하고, A 및 D 타입에 대해 유도된 피카르 군을 완전히 규명한다.

ABSTRACT

In this paper, we study two-sided tilting complexes of preprojective algebras of Dynkin type. We construct the most fundamental class of two-sided tilting complexes, which has a group structure by derived tensor products and induces a group of auto-equivalences of the derived category. We show that the group structure of the two-sided tilting complexes is isomorphic to the braid group of the corresponding folded graph. Moreover we show that these two-sided tilting complexes induce tilting mutation and any tilting complex is given as the derived tensor products of them. Using these results, we determine the derived Picard group of preprojective algebras for type $A$ and $D$.

연구 동기 및 목표

• 확장된 전프로젝티브 대수와 Weyl 군 원소를 이용하여 다이노크 타입 전프로젝티브 대수의 이면 타이팅 복합체의 기본 클래스를 구성하는 것.
• 유도된 피카르 군과 접히기 전 그래프의 브레인 군 사이의 군 동형사상을 수립하는 것.
• 모든 타이팅 복합체가 이러한 기본 이면 타이팅 복합체들의 유도 텐서 곱으로 나타남을 보이는 것.
• 구축된 프레임워크를 이용하여 A 및 D 타입에 대해 유도된 피카르 군을 명시적으로 규명하는 것.
• 타이팅 변형과 유도 텐서 곱의 구조가 전체 유도 피카르 군을 생성하는 데서 수행하는 역할을 명확히 하는 것.

제안 방법

• Weyl 군 내 기약 표현 $ t_i $ 와 관련된 타이팅 모듈 $ \tilde{I}_{t_i} $ 를 이용하여 유도 텐서 곱 $ \tau^{\text{≥-1}}(\text{Λ} \mathop{\text{L}}\to_{\tilde{Λ}} \tilde{I}_{t_i} \mathop{\text{L}}\to_{\tilde{Λ}} \text{Λ}) $ 으로 두 면 타이팅 복합체 $ T_i $ 를 정의한다.
• Nakayama 순열 $ \iota $ 를 이용하여 $ \Delta $ 의 간선 구조에 따라 $ t_i $ 를 $ s_i $, $ s_i s_{\iota(i)} s_i $, 또는 $ s_i s_{\iota(i)} $ 로 정의한다.
• 유도 텐서 곱 $ \mathop{{\otimes}^\mathbf{L}}\nolimits_\Lambda $ 에서의 군 $ \langle T_i \mid i \in \Delta_0^f \rangle $ 를 구성하여 두 면 타이팅 복합체의 군을 형성한다.
• 브레인 군 $ B_{\Delta^f} $ 에서의 할당 $ a \mapsto T_a = T_{i_1}^{\epsilon_{i_1}} \mathop{{\otimes}^\mathbf{L}}\nolimits \cdots \mathop{{\otimes}^\mathbf{L}}\nolimits T_{i_k}^{\epsilon_{i_k}} $ 가 $ \langle T_i \rangle $ 로의 군 동형사상을 제공함을 증명한다.
• 동형사상을 이용하여 모든 타이팅 복합체가 이러한 유도 텐서 곱으로 나타남을 보이고, 유도된 피카르 군이 이러한 $ T_i $ 들에 의해 생성됨을 확인한다.
• 자동형사상 분석과 인수 분해 기법 및 명시적 업그레이드 $ \tilde{u}, \tilde{v} \in \text{Aut}(\tilde{\Lambda}) $ 를 이용하여 A 및 D 타입에 대한 분류를 완성한다.

실험 결과

연구 질문

• RQ1 다이노크 타입 전프로젝티브 대수에 대해 이면 타이팅 복합체의 기본 클래스는 어떻게 구성할 수 있는가?
• RQ2 다이노크 타입 전프로젝티브 대수의 유도 피카르 군의 군 구조는 무엇인가?
• RQ3 타이팅 변형은 이면 타이팅 복합체의 유도 텐서 곱의 구조와 어떻게 관련되어 있는가?
• RQ4 이 구성 방법을 통해 A 및 D 타입에 대해 유도 피카르 군을 완전히 규명할 수 있는가?
• RQ5 접히기 전 그래프의 브레인 군과 유도 피카르 군 사이의 관계는 무엇인가?

주요 결과

• A 타입 전프로젝티브 대수의 유도 피카르 군은 해당 접히기 전 그래프의 브레인 군과 동형이다.
• D 타입의 경우에도 유도 피카르 군은 접히기 전 그래프의 브레인 군과 동형이며, 이 동형은 구축된 이면 타이팅 복합체를 통해 실현된다.
• 모든 기본 타이팅 복합체 $ \mathsf{D}^b(\mathsf{mod}\Lambda) $ 는 기본 이면 타이팅 복합체 $ T_i $ 들의 유도 텐서 곱으로 나타나며, 이는 그것들이 유도 피카르 군을 생성한다는 것을 확인한다.
• 이면 타이팅 복합체의 군은 유도 텐서 곱에 의한 곱셈을 갖는 브레인 군 $ B_{\Delta^f} $ 와 동형이다.
• 각 $ i \in \Delta_0^f $ 에 대해 $ \sigma^{\geq -1}(\Lambda \mathop{{\otimes}^\mathbf{L}}\nolimits_{\tilde{\Lambda}} \tilde{I}_{t_i} \mathop{{\otimes}^\mathbf{L}}\nolimits_{\tilde{\Lambda}} \Lambda) $ 로 구성된 $ T_i $ 는 잘 정의된 이면 타이팅 복합체를 제공한다.
• 전프로젝티브 대수의 자동형사상은 확장된 전프로젝티브 대수로 업그레이드되며, 이는 자동형사상의 인수 분해를 통해 유도 피카르 군의 구조를 유지하는 데 기여한다.