Gerbe-independence conjecture for virtual fundamental classes

Less than 1 year old · traced to

Let WW be the coarse projective variety in the KSBA moduli problem, let W→W{\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 N≫0N\gg0, the class [M,W]vir⁡[M,{\mathfrak W}]^{\operatorname{vir}} is independent of the choice of the μN\mu_N-gerbe W→W{\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.

References

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.