The quotient-stack blowup F-bundle isomorphism conjecture

About 1 year old · traced to

Let XX be a smooth projective variety with an action of a group GG, and let Z⊂XZ\subset X be a GG-invariant submanifold of codimension c≥2c\geq 2. Write

X~=Bl⁡Z(X),X′=X⊔Z⊔⋯⊔Z\widetilde X=\operatorname{Bl}_Z(X),\qquad X'=X\sqcup Z\sqcup\cdots\sqcup Z

with c−1c-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.

References

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.