Sobolev sheaves on the plane

We show that for any integer k∈N there exists a Sobolev sheaf (in the sense of Lebeau) on any definable site of R2 that agrees with Sobolev spaces on cuspidal domains. We also provide a complete computation of the cohomology of these sheaves using the notion of good direction introduced by Valette.