La supergeometría es la geometría diferencial de módulos sobre álgebras conmutativas graduadas , supervariedades y variedades graduadas . La supergeometría es parte integral de muchas teorías de campo clásicas y cuánticas que involucran campos impares , por ejemplo, la teoría de campos SUSY , la teoría BRST o la supergravedad .
Supergeometry se formula en términos de -graded módulos y roldanas más de álgebra conmutativa -graded ( álgebras supercommutative ). En particular, las superconexiones se definen como conexiones Koszul en estos módulos y poleas. Sin embargo, la supergeometría no es una geometría no conmutativa particular debido a una definición diferente de derivación graduada .
Las variedades graduadas y las supervariedades también se expresan en términos de haces de álgebras conmutativas graduadas. Los colectores graduados se caracterizan por poleas sobre colectores lisos , mientras que los super colectores se construyen pegando poleas de espacios supervectores . Hay diferentes tipos de supervariedades. Se trata de supervariedades lisas ( -, -, -supervariedades), -supervariedades y supervariedades DeWitt. En particular, los paquetes de supervectores y los superconjuntos principales se consideran en la categoría de -supervariedades. Las definiciones de superconjuntos principales y superconexiones principales siguen directamente a la depaquetes principales y conexiones principales . Los paquetes graduados principales también se consideran en la categoría de variedades graduadas .
Hay una clase diferente de superpaquetes y superconexiones de Quillen - Ne'eman . Estas superconexiones se han aplicado al cálculo del carácter de Chern en la teoría K , la geometría no conmutativa y el formalismo BRST .