Mathematical foundations of supermanifolds field theories: action functional and reduction to spacetime