微分分次代数的形式性与复拉格朗日子流形

设 $i: \mathrm{L} \hookrightarrow \mathrm{X}$ 为全纯辛簇 $\mathrm{X}/\mathbf{C}$ 中的紧 K\"{a}hler 拉格朗日子流形。我们利用形变量子化证明自同态微分分次代数 $\mathrm{RHom}\big(i_*\mathrm{K}_\mathrm{L}^{1/2},i_*\mathrm{K}_\mathrm{L}^{1/2}\big)$ 是形式的。我们将其推广到拉格朗日子流形对的情形，并给出关于 $\mathrm{A}_\infty$-模族中形式性行为的辅助结果。