Formal Superschemes over Fields: Basic Theory

This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study of morphisms between formal superschemes, for which we establish a faithfully flat descent theorem and a fiber dimension-type theorem.