Abstract:We construct differential graded enhancements of the zigzag algebras which were used by Khovanov, Seidel and Thomas to produce categorical braid group actions. These enhancements are related to $p$-differential graded structures by a version of Koszul duality. We prove that the minimal model $A_\infty$-structure on the zigzag algebras is {\em not} formal. We construct a braid group action in this setting and suggest a symplectic interpretation.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore and construct differential graded (DG) structures related to "zigzag algebras" and study the behavior of these structures under Koszul duality. Specifically, the authors construct differential graded enhancements of zigzag algebras, and these enhancements are related to \(p\)-differential graded structures through the Koszul dual version. They prove that the minimal model \(A_\infty\)-structure on the zigzag algebra is non - trivial and construct a braid group action in this setting, and propose a symplectic geometric interpretation.
### Core Problems of the Paper
1. **Constructing Differential Graded Enhancements**:
- The authors construct differential graded enhancements of zigzag algebras, and these enhancements are related to \(p\)-differential graded structures through Koszul duality.
- Specifically, when \(p = 2\), \((A_n^!, \partial)\) becomes a differential graded algebra, and the authors calculate the \(A_\infty\)-algebra of its Koszul dual.
2. **Proving Non - Trivial \(A_\infty\)-Structure**:
- The authors prove that the minimal model \(A_\infty\)-structure on the zigzag algebra is non - trivial, which is in contrast to the previous work of Seidel and Thomas, who used formality (i.e., all \(A_\infty\)-structures vanish) to construct braid group representations.
3. **Constructing Braid Group Action**:
- The authors construct a braid group action in the derived category, which is achieved by transporting the braid group action from the context of \((A_n^!, \partial)\) to the derived Morita equivalence obtained by the Koszul dual construction.
4. **Symplectic Geometric Interpretation**:
- The authors propose a symplectic geometric interpretation and explore the significance of this new \(A_\infty\)-structure in different contexts, especially its application in the Fukaya category.
### Key Formulas and Concepts
- **Differential Graded Algebra**:
\[
(A, d_A) \text{ is a differential graded algebra, where } d_A^2 = 0 \text{ and satisfies the Leibniz rule: } d_A(ab)=d_A(a)b + ad_A(b).
\]
- **Koszul Duality**:
\[
The Koszul dual of \((A_n^!, \partial)\) is \((A_n, d).
\]
- **\(A_\infty\)-Algebra**:
\[
(A_n, m) \text{ is an } A_\infty\text{-algebra, where } m = \{m_r: A_n^{\otimes r}\to A_n[2 - r]\}_{r\geq1} \text{ and } m_1 = 0.
\]
- **Braid Group Action**:
\[
\Psi_n: Br_n\to\text{Aut}(D^b(\text{mod - }A_n))
\]
### Conclusion
By constructing and analyzing the differential graded enhancements of zigzag algebras and their Koszul duals, the authors not only prove the non - trivial \(A_\infty\)-structures of these algebras but also show how to construct braid group actions under such structures. This work provides a new perspective for understanding the applications of these algebras in different mathematical fields, especially symplectic geometry and representation theory.