通过谱网络求解墙跨越公式

我们给出了一套完整的、基于二次微分域而无需依赖DT理论输入的Kontsevich-Soibelman墙跨越公式的自包含性证明。我们的ethods基于Gaiotto、Moore和Neitzke引入的谱网络路径提升规则。我们提供了一套框架以正式论证路径提升的收敛性，包括螺旋域的情况。特别地，我们定义了与全纯二次微分域相关联的谱网络的路径提升规则。作为证明墙跨越公式的一个中间步骤，我们展示，在将路径提升规则扩展至$\mathcal{A}_0$-层合图后，我们生成了帽形同调格。