Cooper's conjectural description of tautological rings of Shimura varieties

Let GG be a reductive group over a field kk, let PP be a parabolic subgroup, and let Δ\Delta be the set of simple roots. For each JΔJ\subset\Delta, let LJL_J be the corresponding Levi subgroup, and let [LJ/LJP][L_J/L_J\cap P] denote the associated class in A(G/P)A^{\bullet}(G/P). Let SS be the special fibre of an integral canonical model of a Shimura variety of Hodge type. Define

J{Δ{α}αΔ and PJG defined over Q}.\mathcal{J} \coloneqq \{\Delta\setminus\{\alpha\} \mid \alpha\in\Delta \text{ and }P_J\subset G \text{ defined over }\mathbb{Q}\}.

The set J\mathcal{J} carries a partial order \leq induced by the stratification of the boundary of a toroidal compactification StorS^{\rm tor} of SS. Cooper's conjecture. The tautological ring of SS should satisfy

T(S)A(G/P)/([LJ/LJP]JJ maximal with respect to ).T^{\bullet}(S) \cong A^{\bullet}(G/P)/([L_J/L_J\cap P] \mid J\in\mathcal{J}\text{ maximal with respect to }\leq).

This conjecture proposes a description of the tautological ring in terms of the Chow ring of the flag variety G/PG/P, extending the relationship between automorphic vector bundles and homogeneous vector bundles. Its status is not resolved by the supplied source material.

Sources & referencesView supporting material

Primary source

Simon Cooper, “Pushforward of Siegel flag varieties in the Chow ring”, arXiv:2409.14406 (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.