Derived preprojective algebras and spherical twist functors

Yuya Mizuno,Dong Yang

2024-09-20

Abstract:We study silting objects over derived preprojective algebras of acyclic quivers by giving a direct relationship between silting objects, spherical twist functors and mutations. Especially, for a Dynkin quiver, we establish a bijection between the elements of the braid group and the set of isomorphism classes of basic silting objects over the derived preprojective algebra.

Representation Theory,Category Theory

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on studying the direct relationship between silting objects and spherical twist functors on derived preprojective algebras. Specifically, the authors explore how these objects interact through mutations and pay special attention to the case of Dynkin quivers. The main objectives of the paper include:

1. **Establish an isomorphism between silting objects and spherical twist functors**: Prove that for the derived preprojective algebra \(\Gamma\) of any vertex \(i\), there exists a triangulated automorphism:
\[
- \otimes_{\Gamma}^L I_i \cong \text{tw}_i^{-}(-)
\]
where \(I_i\) is a specific bimodule and \(\text{tw}_i^{-}\) is the corresponding dual twist functor.

2. **Study the relationship between mutations and braid groups**: Prove that for any sequence \((\epsilon_1, \ldots, \epsilon_k)\) and vertices \(i_1, \ldots, i_k\), there exists an isomorphism:
\[
I_{\epsilon_1}^{i_1} \otimes_{\Gamma} I_{\epsilon_2}^{i_2} \otimes_{\Gamma} \cdots \otimes_{\Gamma} I_{\epsilon_k}^{i_k} \cong \mu_{\epsilon_1}^{i_1} \circ \mu_{\epsilon_2}^{i_2} \circ \cdots \circ \mu_{\epsilon_k}^{i_k}(\Gamma)
\]
where \(\mu_{\epsilon}^i\) represents left or right mutation.

3. **Establish a bijection between braid groups and silting objects**: When the quiver \(Q\) is of Dynkin type, establish a bijection between the braid group \(B_Q\) and the isomorphism classes of basic silting objects:
\[
a = a_{\epsilon_1}^{i_1} a_{\epsilon_2}^{i_2} \cdots a_{\epsilon_k}^{i_k} \mapsto I_{\epsilon_1}^{i_1} \otimes_{\Gamma} I_{\epsilon_2}^{i_2} \otimes_{\Gamma} \cdots \otimes_{\Gamma} I_{\epsilon_k}^{i_k}
\]

4. **Study the action of braid groups on derived categories**: Prove that the braid group \(B_Q\) acts on the derived category \(D(\Gamma)\), and when \(Q\) is of Dynkin type, this action is faithful.

Through these results, the paper aims to provide a new method for studying the silting theory and derived equivalence of derived preprojective algebras. Especially in the case of Dynkin quivers, these results have important theoretical significance.