Graded manifold

Short description: Manifold with supersymmetry structure

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)

No issues specified. Please specify issues, or remove this template.

(Learn how and when to remove this template message)

|

In algebraic geometry, graded manifolds are extensions of the concept of manifolds based on ideas coming from supersymmetry and supercommutative algebra. Both graded manifolds and supermanifolds are phrased in terms of sheaves of graded commutative algebras. However, graded manifolds are characterized by sheaves on smooth manifolds, while supermanifolds are constructed by gluing of sheaves of supervector spaces.

## Contents

* 1 Graded manifolds
* 1.1 Serre–Swan theorem for graded manifolds
* 2 Graded functions
* 3 Graded vector fields
* 4 Graded exterior forms
* 5 Graded differential geometry
* 6 Graded differential calculus
* 7 Physical outcome
* 8 See also
* 9 References
* 10 External links

## Graded manifolds

A graded manifold of dimension (n,m) is defined as a locally ringed space (Z,A) where Z is an n-dimensional smooth manifold and A is a CZ∞-sheaf of Grassmann algebras of rank m where CZ∞ is the sheaf of smooth real functions on Z. The sheaf A is called the structure sheaf of the graded manifold (Z,A), and the manifold Z is said to be the body of (Z,A). Sections of the sheaf A are called graded functions on a graded manifold (Z,A). They make up a graded commutative C∞(Z)-ring A(Z) called the structure ring of (Z,A). The well-known Batchelor theorem and Serre–Swan theorem characterize graded manifolds as follows.

### Serre–Swan theorem for graded manifolds

Let (Z,A) be a graded manifold. There exists a vector bundle E->Z with an m-dimensional typical fiber V such that the structure sheaf A of (Z,A) is isomorphic to the structure sheaf of sections of the exterior product Λ(E) of E, whose typical fibre is the Grassmann algebra Λ(V).

Let Z be a smooth manifold. A graded commutative C∞(Z)-algebra is isomorphic to the structure ring of a graded manifold with a body Z if and only if it is the exterior algebra of some projective C∞(Z)-module of finite rank.

## Graded functions

Note that above mentioned Batchelor's isomorphism fails to be canonical, but it often is fixed from the beginning. In this case, every trivialization chart (U;zA,ya) of the vector bundle E->Z yields a splitting domain (U;zA,ca) of a graded manifold (Z,A), where {ca} is the fiber basis for E. Graded functions on such a chart are Λ(V)-valued functions

f=∑k=0m1k!fa1…ak(z)ca1⋯cak,

where fa1⋯ak(z) are smooth real functions on U and ca are odd generating elements of the Grassmann algebra Λ(V).

## Graded vector fields

Given a graded manifold (Z,A), graded derivations of the structure ring of graded functions A(Z) are called graded vector fields on (Z,A). They constitute a real Lie superalgebra ∂A(Z) with respect to the superbracket

[u,u′]=u⋅u′−(−1)[u][u′]u′⋅u,

where [u] denotes the Grassmann parity of u∈∂A(Z). Graded vector fields locally read

u=uA∂A+ua∂∂ca.

They act on graded functions f by the rule

u(fa1…akca1⋯cak)=uA∂A(fa1…ak)ca1⋯cak+∑iuai(−1)i−1fa1…akca1⋯cai−1cai+1⋯cak.

## Graded exterior forms

The A(Z)-dual of the module graded vector fields ∂A(Z) is called the module of graded exterior one-forms O1(Z). Graded exterior one-forms locally read ϕ=ϕAdzA+ϕadca so that the duality (interior) product between ∂A(Z) and O1(Z) takes the form

u⌋ϕ=uAϕA+(−1)[ϕa]uaϕa.

Provided with the graded exterior product

dzA∧dci=−dci∧dzA,dci∧dcj=dcj∧dci,

graded one-forms generate the graded exterior algebra O*(Z) of graded exterior forms on a graded manifold. They obey the relation

ϕ∧ϕ′=(−1)|ϕ||ϕ′|+[ϕ][ϕ′]ϕ′∧ϕ,

where |ϕ| denotes the form degree of ϕ. The graded exterior algebra O*(Z) is a graded differential algebra with respect to the graded exterior differential

dϕ=dzA∧∂Aϕ+dca∧∂∂caϕ,

where the graded derivations ∂A, ∂/∂ca are graded commutative with the graded forms dzA and dca. There are the familiar relations

d(ϕ∧ϕ′)=d(ϕ)∧ϕ′+(−1)|ϕ|ϕ∧dϕ′.

## Graded differential geometry

In the category of graded manifolds, one considers graded Lie groups, graded bundles and graded principal bundles. One also introduces the notion of jets of graded manifolds, but they differ from jets of graded bundles.

## Graded differential calculus

The differential calculus on graded manifolds is formulated as the differential calculus over graded commutative algebras similarly to the differential calculus over commutative algebras.

## Physical outcome

Due to the above-mentioned Serre–Swan theorem, odd classical fields on a smooth manifold are described in terms of graded manifolds. Extended to graded manifolds, the variational bicomplex provides the strict mathematical formulation of Lagrangian classical field theory and Lagrangian BRST theory.

## See also

* Connection (algebraic framework)
* Graded (mathematics)
* Serre–Swan theorem
* Supergeometry
* Supermanifold
* Supersymmetry

## References

* C. Bartocci, U. Bruzzo, D. Hernandez Ruiperez, The Geometry of Supermanifolds (Kluwer, 1991) ISBN 0-7923-1440-9
* T. Stavracou, Theory of connections on graded principal bundles, Rev. Math. Phys. 10 (1998) 47
* B. Kostant, Graded manifolds, graded Lie theory, and prequantization, in Differential Geometric Methods in Mathematical Physics, Lecture Notes in Mathematics 570 (Springer, 1977) p. 177
* A. Almorox, Supergauge theories in graded manifolds, in Differential Geometric Methods in Mathematical Physics, Lecture Notes in Mathematics 1251 (Springer, 1987) p. 114
* D. Hernandez Ruiperez, J. Munoz Masque, Global variational calculus on graded manifolds, J. Math. Pures Appl. 63 (1984) 283
* G. Giachetta, L. Mangiarotti, G. Sardanashvily, Advanced Classical Field Theory (World Scientific, 2009) ISBN 978-981-283-895-7; arXiv:math-ph/0102016; arXiv:1304.1371.

## External links

* G. Sardanashvily, Lectures on supergeometry, arXiv:0910.0092.

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Graded manifold. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Graded_manifold&oldid=236065"