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