The quotient-stack blowup F-bundle isomorphism conjecture

Let XX be a smooth projective variety with an action of a group GG, and let ZXZ\subset X be a GG-invariant submanifold of codimension c2c\geq 2. Write

X~=BlZ(X),X=XZZ\widetilde X=\operatorname{Bl}_Z(X),\qquad X'=X\sqcup Z\sqcup\cdots\sqcup Z

with c1c-1 copies of ZZ, and let B[X~/G]B_{[\widetilde X/G]} and B[X/G]B_{[X'/G]} be the corresponding bases of F-bundles with their MT\mathsf{MT}-actions. Quotient-stack blowup conjecture. There is a canonical partial isomorphism iso[X~/G],[X/G]iso_{[\widetilde X/G],[X'/G]} of F-bundles, restricted to nonempty connected analytic domains in B[X~/G]B_{[\widetilde X/G]} and B[X/G]B_{[X'/G]}, that commutes with the MT\mathsf{MT}-action. This is proposed as an analogue for quotient stacks of Iritani's blowup theorem; the source expects it to follow from a sufficiently detailed understanding of the mechanism of that theorem.

Sources & referencesView supporting material

Primary source

Leonardo F. Cavenaghi, Ludmil Katzarkov and Maxim Kontsevich, “Atoms meet symbols”, arXiv:2509.15831 (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.