This question is related to 


[Intuition behind the Eichler-Shimura relation?](https://mathoverflow.net/questions/19390/intuition-behind-the-eichler-shimura-relation)


and


[L-functions and higher-dimensional Eichler-Shimura relation](https://mathoverflow.net/questions/50004/l-functions-and-higher-dimensional-eichler-shimura-relation)


Answering the first question above, Matt Emerton gives a sketch of a proof of the Eichler-Shimura congruence relation which tells that the Hecke correspondence mod p is a sum of the graph of the Frobeniusm and it's transpose.


I am wondering how the statement and the proof can be generalized to moduli of higher dimensional abelian varieties with level structure (and maybe some more structure, like PEL).


It seems like the reason for having only two isogenies $E \to E'$ in Matt's answer is that p-isogenies correspond to subgroups of order p in E[p] as a scheme, and E[p] (if we assume E to be ordinary) in char p is a product of $Z/p$ and the dual group, $\mu\_p$, and apparently these two groups: $Z/p$ and $\mu\_p$ are the only nontrivial subgroups in E[p], so taking quotients we come up with the Frobenius and Verschiebung (dual isogeny).


Now let's say A is an abelian variety of dimension g in char p, which has maximal p-rank,
i.e. $A[p] = Z/p^g \times \mu\_{p^g}$. What are the subgroups of order $p^g$ of such a group? I am not familiar with how local groups behave, but I can assume there will be g+1 isogenies $A \to A'$, each one having the Kernel of the kind $H\_1 \times H\_2$, where $H\_1$ and $H\_2$ are subgroups in $Z/p^g$ and in $\mu\_{p^g}$ respectively.


Also one probably needs a statement that abelian varieties with maximal p-rank are Zarisky open and dense in the moduli space, which is true in dimension 1.


Then the reduction mod p of the Hecke correspondence $T\_p$, appropriately defined will be a sum of these g+1 cycles? Is that making any sense?


Thanks.



Generalizing Eichler-Shimura to higher dimension, again
Dear Evgeny,


The paper *Congruence relations on some Shimura varieties* of Wedhorn (and some follow-up papers) proves what is (I think) the state of the art on Eichler--Shimura relations on higher dimensional Shimura varieties. Namely, he establishes the congruence relation for a wide class of PEL Shimura varieties. Just as you surmise, the density of the ordinary locus plays an important role in his argument.


Regards,


Matt


