Injectivity conjecture for primitive quantum algebras of Fano hypersurfaces

About 21 years old · traced to

Let j:Y↪Xj:Y\hookrightarrow X be the natural inclusion of a smooth Fano hypersurface YY in a Fano manifold XX of Picard number 11, with dim⁡Y>2\dim Y>2. Let rXr_X and rYr_Y be the respective indices, let hXh_X and hYh_Y denote the hyperplane classes, and let A⊥0(X)\mathcal{A}_{\perp}^0(X) and A⊥0(Y)\mathcal{A}_{\perp}^0(Y) be the corresponding primitive algebras. Write hX^rX\widehat{h_X}^{r_X} and hY^rY\widehat{h_Y}^{r_Y} for the associated operators.

Injectivity conjecture. With the same notation as in the quantum Lefschetz proposition, there is a natural injective morphism of algebras

A⊥0(X)⟶A⊥0(Y)\mathcal{A}_{\perp}^0(X)\longrightarrow \mathcal{A}_{\perp}^0(Y)

that intertwines the operators hX^rX\widehat{h_X}^{r_X} and hY^rY\widehat{h_Y}^{r_Y}.

This predicts that the primitive quantum algebra of a smooth Fano hypersurface contains the corresponding primitive algebra of its ambient manifold in a way compatible with the index-power hyperplane operators. The supplied text gives no resolution status for this assertion.

References

Primary source

Pieter Belmans, Sergey Galkin, Naichung Conan Leung, Changzheng Li, Markus Reineke and Rui Xiong, “A-D-E diagrams, Hodge–Tate hyperplane sections and semisimple quantum cohomology”, arXiv:2509.01101 (2025).

Additional references

17 papers in this index state this conjecture (2005–2025). The statement above is taken from the most recent of them; the others are arXiv:2508.01040, arXiv:2409.18019, arXiv:2407.03248, arXiv:2401.09995, arXiv:2302.14194, arXiv:2209.11109, arXiv:1803.04095, arXiv:1308.1718, arXiv:1203.3637, arXiv:1202.2482, arXiv:1112.3708, arXiv:1101.3480, and 4 more.

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.