The conjectural Joyce structure from isomonodromic connections

About 3 years old · traced to

Let MM be the moduli space of pairs (C,Q0)(C,Q_0), let O=O(g,m)\mathcal O=\mathcal O(g,m) be the space of data (C,Q0,Q1,Q2)(C,Q_0,Q_1,Q_2) described above, and let X#X^\# be the space equipped with the map α ⁣:O→X#\alpha\colon\mathcal O\to X^\# and projection π ⁣:X#→M\pi\colon X^\#\to M. For each ϵ∈C∗\epsilon\in\mathbb C^*, consider the projective-structure equation with parameter ϵ\epsilon and its generalised monodromy. Joyce-structure conjecture. (i) For each ϵ∈C∗\epsilon\in\mathbb C^*, there is a flat, meromorphic connection gϵg_\epsilon on π ⁣:O→M\pi\colon\mathcal O\to M whose leaves define deformations of the projective structure with constant generalised monodromy. (ii) There exist meromorphic connections hϵh_\epsilon on π ⁣:X#→M\pi\colon X^\#\to M whose pullbacks via α ⁣:O→X#\alpha\colon\mathcal O\to X^\# are the connections gϵg_\epsilon from (i). (iii) There is a meromorphic Joyce structure on MM obtained by combining the period structure and symplectic form on MM with the connections hϵh_\epsilon from (ii). The existence of the isomonodromy connections gϵg_\epsilon had not yet been established in the literature, so these assertions formulate the conjectural construction of the Joyce structure.

References

Primary source

Tom Bridgeland, “Tau Functions from Joyce Structures”, arXiv:2303.07061 (2024).

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.