The Hodge theory of the Hecke category - Geordie Williamson (2016)