Ordinary p-adic automorphic forms

Generalizing the completed cohomology groups introduced by Matthew Emerton, we define certain spaces of ordinary $p$-adic automorphic forms along a parabolic subgroup and show that they interpret all classical ordinary automorphic forms.