Some Shimura varieties are moduli spaces of Abelian varieties with extra structure.

The Tate module of a universal Abelian variety is a natural source of $\ell$-adic local systems on such Shimura varieties. Remarkably, the theory allows one to build these local systems intrinsically from the Shimura variety in an essentially tautological way, and this construction can be carried out in exactly the same way for Shimura varieties whose moduli interpretation remains conjectural.

This suggests the following program: Show that these tautological local systems "look as if" they were arising from the cohomology of geometric objects. In this talk, I will describe some recent progress. It is based on joint work with Kiran Kedlaya, Christian Klevdal, and Stefan Patrikis, as well as joint work with Yifei Zhang.

[pre-talk at 3pm]