A Kirillov Model for Completed Cohomology
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.