We will explain how to construct a Kirillov model for Emerton's completed cohomology of the tower of modular curves. The trickiest part is to prove injectivity of this model.  This is joint work with Shanwen Wang.