Brane图的超对称性与bow varieties

我们提供了判别 affine type A bow 图是否产生非空 bow variety 的组合和数值准则。关键思想是证明，这些图对应于类型IIB弦论中的超对称 brane 系统，使我们能够纯粹以组合术语来重新表述问题。为此，我们使用 Hanany--Witten 过渡来表征类型IIA brane 系统（并通过延伸推广到类型B、C、D），这导致了一个在有限步骤内决定给定 affine type A bow 或 brane 图是否超对称的算法，该算法由检查有限不等式集合组成，从而提供了非空性的数值准则。最后，我们通过引入基于 affine Lie 代数权重的另一个准则来提供不同的视角。顺便说一下，我们还证明了在 bow 图中两个连续 x 点或箭头之间增加维数向量（不一定是类型A）可保持生成非空 bow variety 的性质。