# Supergeometry

Supergeometry is formulated in terms of ${\displaystyle \mathbb {Z} _{2}}$-graded modules and sheaves over ${\displaystyle \mathbb {Z} _{2}}$-graded commutative algebras (supercommutative algebras). In particular, superconnections are defined as Koszul connections on these modules and sheaves. However, supergeometry is not particular noncommutative geometry because of a different definition of a graded derivation.
Graded manifolds and supermanifolds also are phrased in terms of sheaves of graded commutative algebras. Graded manifolds are characterized by sheaves on smooth manifolds, while supermanifolds are constructed by gluing of sheaves of supervector spaces. Note that there are different types of supermanifolds. These are smooth supermanifolds (${\displaystyle H^{\infty }}$-, ${\displaystyle G^{\infty }}$-, ${\displaystyle GH^{\infty }}$-supermanifolds), ${\displaystyle G}$-supermanifolds, and DeWitt supermanifolds. In particular, supervector bundles and principal superbundles are considered in the category of ${\displaystyle G}$-supermanifolds. Note that definitions of principal superbundles and principal superconnections straightforwardly follow that of smooth principal bundles and principal connections. Principal graded bundles also are considered in the category of graded manifolds.