L^p Hodge theory for bounded subanalytic manifolds

2024/05/27 by Valette, Guillaume
#14F40 #14P10 #32B20 #35J92 #57P10 #58A12 #58A14 #58A25 #Algebraic Geometry (math.AG) #FOS: Mathematics

paper · doi:10.48550/arxiv.2405.17215

Abstract

Given a bounded subanalytic submanifold of ℝⁿ, possibly admitting singularities within its closure, we study the cohomology of L^p differential forms having an L^p exterior differential (in the sense of currents) and satisfying Dirichlet or Neumann condition. We show an L^p Hodge decomposition theorem, an L^p de Rham theorem, as well as a Lefschetz duality theorem between L^p and L^p' forms (with (1)/(p)+(1)/(p')=1) in the case where p is large or close to 1. This is achieved by proving that de Rham's pairing between complementary L^p differential forms induces a pairing between cohomology classes which is nondegenerate (for such p). The main difficulty to carry it out is to show the density (in Sobolev spaces of differential forms) of forms that vanish near some singularities and are smooth up to the closure of the underlying manifold in the case p large (Theorem 4.1). This result, which is of independent interest, also makes it possible to give a trace theorem that leads us to some explicit characterizations of Dirichlet and Neumann conditions in terms of traces and residues.

Related

• Poincaré duality for L^p cohomology on subanalytic singular spaces
• L¹ cohomology of bounded subanalytic manifolds
• Hodge theory in the Sobolev topology for the de Rham complex
• L^∞ cohomology is intersection cohomology
• On the L^r Hodge theory in complete non compact riemannian manifolds