k-Forms on Half-Spaces
Thursday, July 28, 2016
 
With Serap Gürer, we prove that the differential k-forms on the half-spaces Hn = [0,∞[ x Rn-1, equipped with the subset diffeology, are the restrictions of smooth k-forms on Rn. In other words, the map j*: Ωk(Rn) —> Ωk(Hn) induced by the injection j : Hn —> Rn is surjective, for all k. Ref. http://math.huji.ac.il/~piz/documents/DBlog-Rmk-kFOHS.pdf