(0,2) 对偶与 4-单形

我们提出，3d $\mathcal{N}=2$ XYZ 模型与 3d $\mathcal{N}=2$ SQED 之间一个简单的拉氏量 2d $\mathcal{N}=(0, 2)$ 对偶界面，可与最简单的三角剖分 4-流形——4-单形相关联。随后我们开始建立更一般的带边界三角剖分 4-流形与 2d $\mathcal{N}=(0, 2)$ 界面之间的对应词典。特别地，我们识别出与 4d 三角剖分局部变化相关的界面红外对偶，其由 (3,3)、(2,4) 和 (4,2) Pachner 移动所支配。我们使用超对称半指标验证了这些对偶。我们还描述了如何通过额外的场论选择，产生捕捉 4-单形和 Pachner 移动几何的独立 2d 理论（相对于界面而言），并在该语境下发现 Pachner 移动恢复了 Gadde-Gukov-Putrov 的阿贝尔 $\mathcal{N}=(0,2)$ 三元对偶。我们的工作为探索近年来发展的 2d 对偶与 4-流形几何之间的相互作用提供了新的显式工具。