Hodge–Tate and semisimplicity conjecture for hyperplane sections of rational homogeneous spaces

Let G/PkG/P_k be a rational homogeneous space, let rG/Pkr_{G/P_k} denote its index, and let YY be a smooth hyperplane section of G/PkG/P_k. The cohomology H(Y)H^*(Y) and quantum cohomology QH(Y)QH^*(Y) are considered in the usual sense.

Hodge–Tate and semisimplicity conjecture. The following should hold:

  1. H(Y)H^*(Y) is of Hodge–Tate type if and only if
dimG/Pk<2rG/Pk,\dim G/P_k<2r_{G/P_k},

namely, G/PkG/P_k is one of the listed complex Grassmannians, (co)adjoint Grassmannians, or the specified spaces of types BB, CC, DD, E6E_6, and E7E_7. 2. QH(Y)QH^*(Y) is generically semisimple if and only if G/PkG/P_k is one of the listed complex Grassmannians, adjoint Grassmannians of type BB, CC, FF, or GG, or the specified spaces of types BB, CC, and DD.

These statements propose a classification of Hodge–Tate hyperplane sections and of those with generically semisimple quantum cohomology. The source proves the relevant cases for type AA and (co)adjoint spaces, while the remaining listed cases are included as part of the conjectural classification; the supplied text gives no resolution status for the full statement.

Sources & referencesView supporting material

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).

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.