Injectivity conjecture for the intersection complexes of rational singularities

About 2 years old · traced to

Let XX be a normal variety with pre-(k−1)(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Ω‾Xk→IΩ‾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.

References

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.