The quotient-stack and ordinary blowup isomorphism compatibility conjecture

Let XX be a smooth projective variety with a GG-action, let ZXZ\subset X be a GG-invariant submanifold of codimension c2c\geq 2, and set X~=BlZ(X)\widetilde X=\operatorname{Bl}_Z(X) and X=XZZX'=X\sqcup Z\sqcup\cdots\sqcup Z with c1c-1 copies of ZZ. Let iso[X~/G],[X/G]iso_{[\widetilde X/G],[X'/G]} be the partial quotient-stack isomorphism and isoX~,Xiso_{\widetilde X,X'} Iritani's isomorphism for the ordinary A-model. Blowup isomorphism compatibility conjecture. The partial isomorphism from the preceding conjecture coincides with the restriction of Iritani's isomorphism isoX~,Xiso_{\widetilde X,X'} to the loci of GG-fixed points. This compares the quotient-stack blowup correspondence with the corresponding correspondence after forgetting the group action; the source gives no resolution status.

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.