We develop local cohomology techniques to study the finite slope part of the cohomology of Shimura varieties. The local cohomology groups we consider are defined by using a stratification on the Shimura variety obtained from the Bruhat stratification on a flag variety via the Hodge-Tate period map. Overconvergent modular forms are a particular case of these local cohomologies. We construct a spectral sequence from local cohomology to cohomology. We are able to obtain vanishing theorems for the cohomology, as well as clas- sicality theorem comparing local and classical cohomology. We also develop eigenvarieties by p-adic deformation of the local cohomology groups. As an application, we prove some new properties of Galois representations arising from certain non-regular algebraic cuspidal automorphic forms.
The main outcomes are the proof of the potential modularity of abelian surfaces (with Boxer, Calegari, Gee) (>300 pages manuscript published in Publ. Math. IHES) and Higher Coleman theory (with Boxer) (175 pages preprint).