Gerbe-independence conjecture for virtual fundamental classes

Let WW be the coarse projective variety in the KSBA moduli problem, let WW{\mathfrak W}\to W be a μN\mu_N-gerbe, and let MM be the associated KSBA moduli space. Suppose that the virtual fundamental class is defined by pushing forward the virtual class from the moduli space of index one covers:

[M,W]vir:=f[Mind]vir.[M,{\mathfrak W}]^{\operatorname{vir}}:=f_*[M^{\operatorname{ind}}]^{\operatorname{vir}}.

Here NN is sufficiently large and divisible by the orders of the cyclic groups occurring in the index one covering DM stacks. Gerbe-independence conjecture. For large divisible N0N\gg0, the class [M,W]vir[M,{\mathfrak W}]^{\operatorname{vir}} is independent of the choice of the μN\mu_N-gerbe WW{\mathfrak W}\to W.

The conjecture asks whether the enumerative virtual class descends independently of the auxiliary gerbe used to construct it. The supplied text explicitly says that this independence is currently unknown.

Sources & referencesView supporting material

Primary source

Yunfeng Jiang, “Enumerative Geometry on KSBA moduli spaces”, arXiv:2605.19923 (2026).

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.