Injectivity conjecture for the intersection complexes of rational singularities

Let XX be a normal variety with pre-(k1)(k-1)-rational singularities. Let IΩXkI\underline{\Omega}_X^k denote the kkth intersection complex, and let H0IΩXk\mathcal H^0 I\underline{\Omega}_X^k be its zeroth cohomology sheaf. The canonical morphism

H0IΩXkIΩXk\mathcal H^0 I\underline{\Omega}_X^k\to I\underline{\Omega}_X^k

induces, by dualizing, a natural morphism into the dualizing complex.

Intersection-complex injectivity conjecture. The natural morphism

RHom(IΩXk,ωX)RHom(H0IΩXk,ωX)\boldsymbol{R}\mathcal H om(I\underline{\Omega}_X^k,\omega_X^{\bullet})\to \boldsymbol{R}\mathcal H om(\mathcal H^0 I\underline{\Omega}_X^k,\omega_X^{\bullet})

is injective on cohomology.

This is the intersection-complex analogue of the main Du Bois injectivity conjecture. It is proposed for normal varieties with rational singularities in the relevant degrees, and the source does not give a general proof or resolution.

Sources & referencesView supporting material

Primary source

Mihnea Popa, Wanchun Shen and Anh Duc Vo, “Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities”, arXiv:2409.18019 (2024).

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.