Fujino's injectivity conjecture for log-canonical pairs

From papers

Let XX be a compact Kähler manifold and D=i=1NDiD=\sum_{i=1}^{N}D_i be a simple-normal-crossing (snc) divisor on XX. Let FF be a semi-positive line bundle on XX, meaning that it admits a smooth Hermitian metric hFh_F with

12πΘhF(F)0.\frac{\sqrt{-1}}{2\pi}\Theta_{h_F}(F)\geq 0.

Let sH0(X,Fm)s\in H^0(X,F^{\otimes m}) be a section whose zero locus contains no log-canonical centers of (X,D)(X,D), namely no connected component of a nonempty intersection Di1DikD_{i_1}\cap\cdots\cap D_{i_k} of irreducible components of DD. Fujino's injectivity conjecture. The multiplication map induced by tensoring with ss

Hq(X,KXDF)sHq(X,KXDF(m+1))H^q(X,K_X\otimes D\otimes F)\xrightarrow{\otimes s}H^q(X,K_X\otimes D\otimes F^{\otimes(m+1)})

is injective for every qq. This conjecture has been fully solved by Junyan Cao and Mihai Păun.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Tsz On Mario Chan, Young-Jun Choi and Shin-ichi Matsumura, “An injectivity theorem on snc compact Kähler spaces: an application of the theory of harmonic integrals on log-canonical centers via adjoint ideal sheaves”, arXiv:2307.12025 (2024).

Additional references

3 papers in this index state this conjecture (2016–2023). The statement above is taken from the most recent of them; the others are arXiv:1811.04385, arXiv:1607.07213.

Solutions 0

No solutions have been posted yet.