The local cohomology conjecture for additive Okamoto–Painlevé pairs

Let (S,Y)(S,Y) be a generalized rational Okamoto–Painlevé pair of non-fibered type, let D=YredD=Y_{\mathrm{red}} be a normal crossing divisor with at least two irreducible components, and suppose that DD is of additive type. Write ND=OS(D)/OSN_D={\cal O}_S(D)/{\cal O}_S. The preceding theorem gives

dimH0(D,ΘS(logD)ND)=1.\dim H^0\left(D,\Theta_S(-\log D)\otimes N_D\right)=1.

Local cohomology conjecture. Under these assumptions,

HD1(ΘS(logD))H0(D,ΘS(logD)ND)C.H^1_D\left(\Theta_S(-\log D)\right)\simeq H^0\left(D,\Theta_S(-\log D)\otimes N_D\right)\simeq {\bold C}.

The conjecture would identify the local cohomology space governing the deformation with the one-dimensional space of sections appearing in the theorem, strengthening the known natural inclusion and the resulting lower bound on its dimension. Its resolution is not specified in the source.

Sources & referencesView supporting material

Primary source

Masa-Hiko Saito, Taro Takebe and Hitomi Terajima, “Deformation of Okamoto-Painlevé Pairs and Painlevé equations”, arXiv:math/0006026 (2000).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.