Let N be a compact simply connected smooth Riemannian manifold and, for p ∈ {2,3,...}, W<sup>1, p</sup>(R<sup>p+1</sup>, N) be the Sobolev space of measurable maps from R<sup>p+1</sup> into N whose gradients are in L<sup>p</sup>. The restriction of u to almost every p-dimensional sphere S in R<sup>p+1</sup> is in W<sup>1, p</sup>(S, N) and defines an homotopy class in π<sub>p</sub>(N) (White 1988). Evaluating a fixed element z of Hom(π<sub>p</sub>(N), R) on this homotopy class thus gives a real number Φ<sub>z, u</sub>(S). The main result of the paper is that any W<sup>1, p</sup>-weakly convergent limit u of a sequence of smooth maps in C<sup>∞</sup>(R<sup>p+1</sup>, N), Φ<sub>z, u</sub> has a rectifiable Poincaré dual$ {\\left( {\\Gamma ,{\\overrightarrow{\\Gamma }} ,\\theta } \\right)} $. Here Γ is a a countable union of C<sup>1</sup> curves in R<sup>p+1</sup> with Hausdorff $ {\\user1{\\mathcal{H}}}^{1} $-measurable orientation $ {\\overrightarrow{\\Gamma }} :\\Gamma \\to S^{p} $ and density function θ: Γ→R. The intersection number between $ {\\left( {\\Gamma ,{\\overrightarrow{\\Gamma }} ,\\theta } \\right)} $ and S evaluates Φ<sub>z, u</sub>(S), for almost every p-sphere S. Moreover, we exhibit a non-negative integer n<sub>z</sub>, depending only on homotopy operation z, such that $ {\\int_\\Gamma {{\\left| \\theta \\right|}^{{p \\mathord{\\left/ {\\vphantom {p {{\\left( {p + n_{z} } \\right)}}}} \\right. \\kern-\\nulldelimiterspace} {{\\left( {p + n_{z} } \\right)}}}} d{\\user1{\\mathcal{H}}}^{1} < \\infty } } $ even though the mass $ {\\int_\\Gamma {{\\left| \\theta \\right|}d{\\user1{\\mathcal{H}}}^{1} } } $ may be infinite. We also provide cases of N, p and z for which this rational power p/(p + n<sub>z</sub>) is optimal. The construction of this Poincaré dual is based on 1-dimensional “bubbling” described by the notion of “scans” which was introduced in Hardt and Rivière (2003). We also describe how to generalize these results to R<sup>m</sup> for any m ⩾ p + 1, in which case the bubbling is described by an (m–p)-rectifiable set with orientation and density function determined by restrictions of the mappings to almost every oriented Euclidean p-sphere.
Read more