We will look at representation theory of a complete Kac-Moody group G over a finite field. G is a locally compact totally disconnected group, similar, yet slightly different to the group of points of a reductive group scheme over a local field.
After defining the group we will prove that the category of smooth representations has finite homological dimension. At the end we discuss localisation and homological duality for this category.