Four-dimensional geometric supergravity and electromagnetic duality: a brief guide for mathematicians