Hodge theory on Cheeger spaces

Abstract

AbstractWe extend the study of the de Rham operator with ideal boundary conditions from the case of isolated conic singularities, as analyzed by Cheeger, to the case of arbitrary stratified pseudomanifolds. We introduce a class of ideal boundary conditions and the notion of mezzoperversity, which intermediates between the standard lower and upper middle perversities in intersection theory, as interpreted in this de Rham setting, and show that the de Rham operator with these boundary conditions is Fredholm and has compact resolvent. We also prove an isomorphism between the resulting Hodge and