Modular sheaves of de Rham classes on Hilbert formal modular schemes for unramified primes

Giacomo Graziani

We define formal vector bundles with marked sections on Hilbert modular schemes and we show how to use them to construct modular sheaves with an integrable meromorphic connection a…