Periodic Reporting for period 3 - HiCoShiVa (Higher coherent coholomogy of Shimura varieties) Reporting period: 2022-02-01 to 2023-07-31 Summary of the context and overall objectives of the project The project is concerned with the problem of understanding the coherent cohomology of Shimura varieties. We have to deal with higher cohomology groups and torsion. The main innovation of the project is to construct p-adic variations of the coherent cohomology. We are able to consider higher coherent cohomology classes, while previous works in this area have been concerned with degree 0 cohomology.The applications will be the construction of automorphic Galois representations, the modularity of irregular motives and new cases of the Hasse-Weil conjecture, and the construction of p-adic L-functions. Work performed from the beginning of the project to the end of the period covered by the report and main results achieved so far 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 cohomolo- gies. 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. Progress beyond the state of the art and expected potential impact (including the socio-economic impact and the wider societal implications of the project so far) We hope to generalize Higher Coleman to Higher Hida theory. We also hope to obtain arithmetic applications : p-adic L functions, cases of Hasse-Weil conjecture...
