It is well known to experts, but seldom discussed explicitly, that smooth supergeometry is best done in families. This is also called the relative setting, and it implies that we need relative versions of standard supergeometric constructions. Such constructions include the de Rham complex familiar from ordinary differential geometry, but in the supergeometric setting, they also include more exotic objects, such as the Berezinian line bundle (whose sections are the correct objects to integrate over supermanifolds) and the related complex of integral forms, where the super version of Stokes' theorem lives. To work in families, we introduce relative versions of the de Rham complex and the integral form complex, and we prove that they satisfy a relative version of Poincaré duality. No background in supergeometry will be assumed for this talk.

 

This is joint work with Konstantin Eder and Simone Noja.