On compact solvability of the exterior derivation for~\(G\)-invariant boundary conditions (Q1307147)

Let \(M\) be a Riemannian manifold and let \(N\subset M\) be a compact submanifold which is a neighborhood about the boundary \(\partial M\) in \(M\). Denote by \(j\: L^k(N)\to L^k(M)\) the operator that extends by zero every form defined on \(N\) onto \(M\). Let \(\Gamma_M\) be a boundary value problem on \(M\). The corresponding boundary value problem on \(N\) is defined by putting \(\Gamma_N^k=\{\omega\in W_p^k(N)\mid j\omega\in\Gamma_M\}\). In the article under review, the author proves that, if the manifold \(M\) is compact, then the operator \[ d_{\Gamma_G}^k\: L_p^k(N)\to L_p^{k+1}(N) \] is compactly solvable for every \(p\in (1,\infty)\), where \(G\) is a group of isometries acting on \(\partial M\).