关于箭图概形的既约性

在本文中，我们证明了在特征为零的情况下，如果矩映射是平坦的，则箭图概形是既约的。我们利用这个既约性结果证明，当矩映射平坦时，等变积分公式可以计算五维$\mathcal N=2$箭图规范理论的K-理论Nekrasov配分函数。我们还对带有框架的有限型和仿射型A Dynkin箭图的矩映射平坦性给出了明确的刻画。作为一个应用，我们给出了Ivan Losev关于A型量子化中岛箭图簇与A型抛物有限W-代数之间关系定理的一个精细化。