Local model of Hilbert-Siegel moduli schemes with _1(p)-level structures

Abstract: We construct a local model for Hilbert-Siegel moduli schemes with

G a m m a_{1} (p)

-level bad reduction over

e x t S p e c m a t h b b Z_{q}

, where

p

is a prime unramified in the totally real field and

q

is the residue cardinality over

p

. Our main tool is a variant over the small Zariski site of the ring-equivariant Lie complex

_{A} u n d e r l i n e {e l l}_{G}^{v e e}

defined by Illusie in his thesis, where

A

is a commutative ring and

G

is a scheme of

A

-modules. We use it to calculate the

m a t h b b F_{q}

-equivariant Lie complex of a Raynaud group scheme, then relate the integral model and the local model.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Local model of Hilbert-Siegel moduli schemes with \(\Gamma_1(p)\)-level structures