Cooper's conjectural description of tautological rings of Shimura varieties

About 2 years old · traced to

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/LJ∩P][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 PJ⊂G 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/LJ∩P]∣J∈J 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.

References

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.