Nekrasov's conjecture for the empty fourfold DT vertex
Let t1,t2,t3,t4,y,qt_1,t_2,t_3,t_4,y,qt1,t2,t3,t4,y,q be formal variables satisfying t1t2t3t4=1t_1t_2t_3t_4=1t1t2t3t4=1. For any formal variable xxx, write [x]=x12−x−12[x]=x^{\frac12}-x^{-\frac12}[x]=x21−x−21, and let Exp\operatorname{Exp}Exp denote th…