The perturbation invariance conjecture for plus test modules

Let XX be a normal integral scheme projective over a complete local ring (R,m)(R,\mathfrak{m}) with residual characteristic p>0p>0, and let BB be a Q\mathbb{Q}-divisor on XX. Perturbation invariance conjecture. For a positive Cartier divisor DD on XX and 1ϵ>01\gg\epsilon>0, one has

τ+(ωX,B)=τ+(ωX,B+ϵD).\tau_+(\omega_X,B)=\tau_+(\omega_X,B+\epsilon D).

The conjecture concerns the stability of plus test modules under sufficiently small effective perturbations. The source notes that even the affine case is unclear, although an analogous statement for a variant of perturbed test ideals is known.

Sources & referencesView supporting material

Primary source

Christopher Hacon, Alicia Lamarche and Karl Schwede, “Global generation of test ideals in mixed characteristic and applications”, arXiv:2106.14329 (2022).

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.