We let $B$ be a simple algebra over $\mathbb Q$, with the usual notations for PEL type Shimura varieties. In his paper "Ordinariness in good reductions of Shimura varieties of PEL-type" (available here http://archive.numdam.org/article/ASENS_1999_4_32_5_575_0.pdf), Wedhorn proved, under the assumption that $p$ is unramified in $B$, that the ordinary locus in (the reduction) a PEL type Shimura variety is non-empty if and only if it is dense if and only if $p$ splits completely in the reflex field.

So my question is the following:

Are there similar results, even partial, without the unramifiedness assumption?


There is a recent work of Marc-Hubert Nicole - for a summary - http://math.caltech.edu/~numbertheory/ - just click on the title of his talk.

  • $\begingroup$ Here's the paper arxiv.org/pdf/1302.1614.pdf. I recently talked to him that he hopes that the condition for non-emptiness of ordinary locus is a technical condition and can be replaced by \mu ordinary locus which they show is always non-empty. $\endgroup$
    – Arijit
    Feb 20 '13 at 15:49

In the case of Iwahori level structure, there is the result of Stamm (cited in Wedhorn's paper) who gives an example where the ordinary locaus fails to be dense (Hilbert-Blumenthal case).

Stamm's result is reproved and generalized in

Philipp Hartwig, Kottwitz-Rapoport and p-rank strata in the reduction of Shimura varieties of PEL type,

who shows that, still in the Iwahori case (loc.cit. Theorem 1.1.1):

Assume that $\mathcal B$ is the symplectic PEL datum associated with a totally real extension $F/\mathbb Q$. Assume that there is only a single prime of $\mathcal O_F$ dividing $p$. Then the ordinary locus lies dense in $\mathcal A_F$ if and only if $p$ is totally ramified in $\mathcal O_F$.

Of course, if the ordinary locaus is dense in the Iwahori case, then the same is true for all parahoric level structures.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.