The generic étaleness conjecture for the Joyce-structure parameter map

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) satisfying the prescribed pole, apparent-singularity, and residue conditions, and let X#X^\# be the corresponding coordinate space. The map π ⁣:OM\pi\colon\mathcal O\to M sends (C,Q0,Q1,Q2)(C,Q_0,Q_1,Q_2) to (C,Q0)(C,Q_0), while α ⁣:OX#\alpha\colon\mathcal O\to X^\# is defined by the coordinates (zi,ξj)(z_i,\xi_j). Generic étaleness conjecture. The map

α ⁣:OX#\alpha\colon\mathcal O\to X^\#

is generically étale. This is the first step toward identifying the coordinates (zi,ξj)(z_i,\xi_j) as local coordinates and constructing the conjectural Joyce structure; the accompanying sketch argues that this should hold generically, but the statement is presented as a conjecture.

Sources & referencesView supporting material

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.