AI 中文总结
本文构造了 D 型 Khovanov 弧代数的箭图表示，并利用其 Koszul 对偶计算 Hochschild 上同调，证明 $\mathbb{D}_4$ 内在形式，无非平凡 $A_\infty$ 形变。
AI 中文摘要
我们通过带二次关系的箭图构造了 D 型 Khovanov 弧代数的一种表示。作为应用，我们利用此表示及其 Koszul 对偶计算了 $\mathbb{D}_4$ 的一些 Hochschild 上同调群，并证明 $\mathbb{D}_4$ 是内在形式的，即它不存在非平凡的 $A_\infty$-形变。
英文摘要
We construct a presentation of the Khovanov arc algebras of type $D$ by a quiver with quadratic relations. As an application, we use this presentation and the Koszul dual to compute some Hochschild cohomology groups of $\mathbb{D}_4$, and show that $\mathbb{D}_4$ is intrinsically formal, that is, it admits no non-trivial $A_\infty$-deformations.
