Bilinear equations on Painleve tau functions from CFT
M. A. Bershtein, A. I. Shchechkin
TL;DR
The paper proves that the Painlevé VI τ-function can be written as an infinite sum over $c=1$ Virasoro conformal blocks by establishing bilinear relations on conformal blocks derived from the embedding $ extsf{Vir}oxplus extsf{Vir} o extsf{F}oxplus extsf{NSR}$ and linking to AGT/Nekrasov counts on the resolution $X_2$. It provides explicit blow-up factors $l_n(P,b)$ and, using a Whittaker/decomposition framework, derives bilinear identities that yield and generalize Painlevé III′$_3$ and Painlevé VI τ-function equations, while offering an efficient recursive algorithm for conformal-block computations. The results give a CFT–instanton counting bridge for isomonodromic problems and suggest extensions to $c eq 1$ and to $W_N$ algebras, with broader implications for exact τ-functions and their geometric interpretations. Overall, the work solidifies a deep link between Painlevé transcendents, Virasoro and NSR/CFT structures, and Nekrasov partition functions within the AGT framework.
Abstract
In 2012 Gamayun, Iorgov, Lisovyy conjectured an explicit expression for the Painlevé VI $τ$~function in terms of the Liouville conformal blocks with central charge $c=1$. We prove that proposed expression satisfies Painlevé VI $τ$~function bilinear equations (and therefore prove the conjecture). The proof reduces to the proof of bilinear relations on conformal blocks. These relations were studied using the embedding of a direct sum of two Virasoro algebras into a sum of Majorana fermion and Super Virasoro algebra. In the framework of the AGT correspondence the bilinear equations on the conformal blocks can be interpreted in terms of instanton counting on the minimal resolution of $\mathbb{C}^2/\mathbb{Z}_2$ (similarly to Nakajima-Yoshioka blow-up equations).
