Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $M$ be an oriented compact Riemannian $n$-manifold with boundary $\partial M$. A differential $p$-form $\omega$ on $M$ is normal if $i^* \omega = 0$ holds, tangential if $i^* \star \omega = 0$ holds (where $i:\partial M \to M$ is the inclusion map), and harmonic if $\mathrm{d} \omega = 0 = \mathrm{d}^* \omega$ holds. Here are two generalizations to the Hodge isomorphism theorem:

  1. For each de Rham $p$-cohomology class $[\alpha] \in H^p(M)$ there exists a unique tangential harmonic $p$-form $\omega$.

  2. For each relative de Rham $p$-cohomology class $[\alpha] \in H^p(M, \partial M)$ there exists a unique normal harmonic $p$-form $\omega$.

My question regards a situation where the boundary $\partial M$ is decomposed in two "non-overlapping" parts: $\partial M = A \cup B$ with $\partial A = \partial B = A \cap B$.

Is it true (possibly under under some additional conditions) that for each relative de Rham $p$-cohomology class $[\alpha] \in H^p(M, B)$ there is a unique harmonic $p$-form $\omega$ that is tangential to $A$ and normal to $B$?

This seems feasible with regard the Lefschetz duality theorem and its generalization: $H^p(M) \simeq H^{n-p}(M, \partial M)$ and $H^p(M, A) \simeq H^{n-p}(M, B)$.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.