ADHMデータのモジュライは４次元ユークリッド空間上のインスタントンモジュライの特異点解消を与える。このモジュライ上の積分から定まるネクラソフ分配関数のみたす関数等式について紹介する。
証明には望月拓郎氏の開発した壁越え公式の理論を用いる。この理論は中島ー吉岡によりネクラソフ関数に対して適用される形に整備された。今回扱った壁越えではわずかに異なる点があるので、その状況を整理して伝えたい。