Supergeometry: Difference between revisions
m short desc |
|||
(24 intermediate revisions by 16 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description | Differential geometry of supermanifolds}} |
|||
'''Supergeometry''' is [[differential geometry]] of [[module (mathematics)|module]]s over [[supercommutative algebra|graded |
|||
commutative algebra]]s, [[supermanifold]]s and [[graded manifold]]s. Supergeometry is part and parcel of many classical |
'''Supergeometry''' is [[differential geometry]] of [[module (mathematics)|module]]s over [[supercommutative algebra|graded commutative algebra]]s, [[supermanifold]]s and [[graded manifold]]s. Supergeometry is part and parcel of many classical and quantum [[field theory (physics)|field theories]] involving odd [[field (physics)|field]]s, e.g., [[supersymmetry|SUSY]] field theory, [[BRST formalism|BRST theory]], or [[supergravity]]. |
||
and quantum [[field theory|field theories]] involving odd [[field (physics)|field]]s, e.g., [[supersymmetry|SUSY]] field theory, |
|||
[[BRST formalism|BRST theory]], [[supergravity]]. |
|||
Supergeometry is formulated in terms of <math>\mathbb Z_2</math>-graded [[module (mathematics)|module]]s and [[sheaf (mathematics)|sheaves]] over <math>\mathbb Z_2</math>-graded commutative algebras ([[supercommutative algebra]]s). In particular, superconnections are defined as [[Koszul connection]]s on these modules and sheaves. However, supergeometry is not particular [[noncommutative geometry]] because of a different definition of a graded [[derivation (abstract algebra)|derivation]]. |
|||
Supergeometry is formulated in terms of <math>\mathbb |
|||
Z_2</math>-graded [[module (mathematics)|module]]s and [[sheaf (mathematics)|sheaves]] over <math>\mathbb Z_2</math>-graded |
|||
commutative algebras ([[supercommutative algebra]]s). In |
|||
particular, superconnections are defined as [[Koszul connection]]s |
|||
on these modules and sheaves. However, supergeometry is not |
|||
particular [[noncommutative geometry]] because of a different |
|||
definition of a graded [[derivation (abstract algebra)|derivation]]. |
|||
[[Graded manifold]]s and [[supermanifold]]s also are phrased in terms of sheaves of graded commutative algebras. [[Graded manifold]]s are characterized by sheaves on [[manifold|smooth manifolds]], while [[supermanifold]]s are constructed by gluing of sheaves of [[supervector space]]s. There are different types of supermanifolds. These are smooth supermanifolds (<math>H^\infty</math>-, <math>G^\infty</math>-, <math>GH^\infty</math>-supermanifolds), <math>G</math>-supermanifolds, and DeWitt supermanifolds. In particular, supervector bundles and principal superbundles are considered in the category of <math>G</math>-supermanifolds. Definitions of principal superbundles and principal superconnections straightforwardly follow that of smooth [[principal bundle]]s and [[connection (principal bundle)|principal connection]]s. Principal graded bundles also are considered in the category of [[graded manifold]]s. |
|||
[[Graded manifold]]s and [[supermanifold]]s also are phrased in |
|||
terms of sheaves of graded commutative algebras. [[Graded manifold]]s are characterized by sheaves on [[manifold|smooth |
|||
manifolds]], while [[supermanifold]]s are constructed by gluing of |
|||
sheaves of [[supervector space]]s. Note that there are different |
|||
types of supermanifolds. These are smooth supermanifolds |
|||
(<math>H^\infty</math>-, <math>G^\infty</math>-, |
|||
<math>GH^\infty</math>-supermanifolds), |
|||
<math>G</math>-supermanifolds, and DeWitt supermanifolds. In |
|||
particular, supervector bundles and principal superbundles are |
|||
considered in the category of <math>G</math>-supermanifolds. Note that |
|||
definitions of principal superbundles and principal |
|||
superconnections straightforwardly follow that of smooth |
|||
[[principal bundle]]s and [[connection (principal bundle)|principal connection]]s. Principal graded bundles also are |
|||
considered in the category of [[graded manifold]]s. |
|||
There is a different class of [[Daniel Quillen|Quillen]]–[[Yuval Ne'eman|Ne'eman]] superbundles and superconnections. These superconnections have been applied to computing the [[Chern class|Chern character]] in [[K-theory]], [[noncommutative geometry]], and [[BRST formalism]]. |
|||
superconnections have been applied to computing the [[Chern class|Chern character]] in [[K-theory]], [[noncommutative geometry]], [[BRST formalism]]. |
|||
== |
==See also== |
||
⚫ | |||
⚫ | |||
⚫ | |||
*[[Connection (algebraic framework)]] |
|||
*[[Supermetric]] |
|||
==References== |
|||
*{{Citation |
*{{Citation |
||
| last = Bartocci |
| last = Bartocci |
||
Line 42: | Line 26: | ||
| title = The Geometry of Supermanifolds |
| title = The Geometry of Supermanifolds |
||
| publisher = Kluwer |
| publisher = Kluwer |
||
| isbn = |
| isbn = 0-7923-1440-9 |
||
}}. |
}}. |
||
*{{Citation |
*{{Citation |
||
| last = Rogers |
| last = Rogers |
||
| first = A. |
| first = A. |
||
| authorlink = Alice Rogers |
|||
| year = 2007 |
| year = 2007 |
||
| title = Supermanifolds: Theory and Applications |
| title = Supermanifolds: Theory and Applications |
||
| publisher = World Scientific |
| publisher = World Scientific |
||
| isbn = |
| isbn = 981-02-1228-3 |
||
}}. |
}}. |
||
*{{Citation |
*{{Citation |
||
Line 60: | Line 45: | ||
| title = Connections in Classical and Quantum Field Theory |
| title = Connections in Classical and Quantum Field Theory |
||
| publisher = World Scientific |
| publisher = World Scientific |
||
| isbn = |
| isbn = 981-02-2013-8 |
||
}}. |
}}. |
||
== |
==External links== |
||
*[[Gennadi Sardanashvily|G. Sardanashvily]], Lectures on supergeometry, {{arXiv|0910.0092}}. |
|||
⚫ | |||
⚫ | |||
⚫ | |||
{{Supersymmetry topics}} |
|||
[[Category:Supersymmetry]] |
[[Category:Supersymmetry]] |
||
[[Category:Differential geometry|*]] |
Latest revision as of 21:35, 24 July 2022
Supergeometry is differential geometry of modules over graded commutative algebras, supermanifolds and graded manifolds. Supergeometry is part and parcel of many classical and quantum field theories involving odd fields, e.g., SUSY field theory, BRST theory, or supergravity.
Supergeometry is formulated in terms of -graded modules and sheaves over -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. There are different types of supermanifolds. These are smooth supermanifolds (-, -, -supermanifolds), -supermanifolds, and DeWitt supermanifolds. In particular, supervector bundles and principal superbundles are considered in the category of -supermanifolds. 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.
There is a different class of Quillen–Ne'eman superbundles and superconnections. These superconnections have been applied to computing the Chern character in K-theory, noncommutative geometry, and BRST formalism.
See also
[edit]References
[edit]- Bartocci, C.; Bruzzo, U.; Hernandez Ruiperez, D. (1991), The Geometry of Supermanifolds, Kluwer, ISBN 0-7923-1440-9.
- Rogers, A. (2007), Supermanifolds: Theory and Applications, World Scientific, ISBN 981-02-1228-3.
- Mangiarotti, L.; Sardanashvily, G. (2000), Connections in Classical and Quantum Field Theory, World Scientific, ISBN 981-02-2013-8.
External links
[edit]- G. Sardanashvily, Lectures on supergeometry, arXiv:0910.0092.