通过合并更高形式的对称性，我们提出了通过在三歧管M 3上压实6d（2，0）理论获得的理论的精确定义。这种概括适用于3d N $$ \ mathcal {N } $$ = 2，N $$ \ mathcal {N} $$ = 1超对称约简。 Witten指数是对高形式对称敏感的一个可观察到的指数，它可以通过对由M 3确定的一组Bethe方程的解进行计数来计算。这在M 3 a Seifert流形上进行了详细说明，其中 我们计算Witten索引的精炼版本。 在3d-3d对应关系的上下文中，我们在对偶