Kodaira-Spencer isomorphisms and degeneracy maps on Iwahori-level Hilbert modular varieties: the saving trace

Fred Diamond

We consider integral models of Hilbert modular varieties with Iwahori level structure at primes over p, first proving a Kodaira-Spencer isomorphism that gives a concise description…