Fujino's injectivity conjecture for log-canonical pairs

At least 9 years old · documented by

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 s∈H0(X,F⊗m)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 Di1∩⋯∩DikD_{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,KX⊗D⊗F)→⊗sHq(X,KX⊗D⊗F⊗(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.

References

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.

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.