The six Grothendieck operations on o-minimal sheaves

In this note, we report on our work on the formalism of the Grothendieck six operations on o-minimal sheaves. As an application to the theory of definable groups, we see that the cohomology of a definably compact group with coefficients in a field is a connected, bounded, Hopf algebra of finite type.

RésuméDans cette note, nous esquissons notre travail sur le formalisme des six opérations de Grothendieck sur les faisceaux o-minimaux. En tant qu'application à la théorie des groupes définissables, nous montrons que la cohomologie d'un groupe définissablement compact avec coefficients dans un corps est une algèbre de Hopf connexe, bornée, de type fini.