Graded manifold

Last updated June 13, 2022

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.

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 $C_{Z}^{\infty }$ -sheaf of Grassmann algebras of rank $m$ where $C_{Z}^{\infty }$ 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^{\infty }(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\to 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 $\Lambda (E)$ of $E$ , whose typical fibre is the Grassmann algebra $\Lambda (V)$ .

Let $Z$ be a smooth manifold. A graded commutative $C^{\infty }(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^{\infty }(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;z^{A},y^{a})$ of the vector bundle $E\to Z$ yields a splitting domain $(U;z^{A},c^{a})$ of a graded manifold $(Z,A)$ , where $\{c^{a}\}$ is the fiber basis for $E$ . Graded functions on such a chart are $\Lambda (V)$ -valued functions

f=\sum _{k=0}^{m}{\frac {1}{k!}}f_{a_{1}\ldots a_{k}}(z)c^{a_{1}}\cdots c^{a_{k}}

,

where $f_{a_{1}\cdots a_{k}}(z)$ are smooth real functions on $U$ and $c^{a}$ are odd generating elements of the Grassmann algebra $\Lambda (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 $\partial A(Z)$ with respect to the superbracket

[u,u']=u\cdot u'-(-1)^{[u][u']}u'\cdot u

,

where $[u]$ denotes the Grassmann parity of $u\in \partial A(Z)$ . Graded vector fields locally read

u=u^{A}\partial _{A}+u^{a}{\frac {\partial }{\partial c^{a}}}

.

They act on graded functions $f$ by the rule

u(f_{a_{1}\ldots a_{k}}c^{a_{1}}\cdots c^{a_{k}})=u^{A}\partial _{A}(f_{a_{1}\ldots a_{k}})c^{a_{1}}\cdots c^{a_{k}}+\sum _{i}u^{a_{i}}(-1)^{i-1}f_{a_{1}\ldots a_{k}}c^{a_{1}}\cdots c^{a_{i-1}}c^{a_{i+1}}\cdots c^{a_{k}}

.

Graded exterior forms

The $A(Z)$ -dual of the module graded vector fields $\partial A(Z)$ is called the module of graded exterior one-forms $O^{1}(Z)$ . Graded exterior one-forms locally read $\phi =\phi _{A}dz^{A}+\phi _{a}dc^{a}$ so that the duality (interior) product between $\partial A(Z)$ and $O^{1}(Z)$ takes the form

u\rfloor \phi =u^{A}\phi _{A}+(-1)^{[\phi _{a}]}u^{a}\phi _{a}

.

Provided with the graded exterior product

dz^{A}\wedge dc^{i}=-dc^{i}\wedge dz^{A},\qquad dc^{i}\wedge dc^{j}=dc^{j}\wedge dc^{i}

,

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

\phi \wedge \phi '=(-1)^{|\phi ||\phi '|+[\phi ][\phi ']}\phi '\wedge \phi

,

where $|\phi |$ denotes the form degree of $\phi$ . The graded exterior algebra $O^{*}(Z)$ is a graded differential algebra with respect to the graded exterior differential

d\phi =dz^{A}\wedge \partial _{A}\phi +dc^{a}\wedge {\frac {\partial }{\partial c^{a}}}\phi

,

where the graded derivations $\partial _{A}$ , $\partial /\partial c^{a}$ are graded commutative with the graded forms $dz^{A}$ and $dc^{a}$ . There are the familiar relations

d(\phi \wedge \phi ')=d(\phi )\wedge \phi '+(-1)^{|\phi |}\phi \wedge d\phi '

.

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.

Related Research Articles

In vector calculus, the curl is a vector operator that describes the infinitesimal circulation of a vector field in three-dimensional Euclidean space. The curl at a point in the field is represented by a vector whose length and direction denote the magnitude and axis of the maximum circulation. The curl of a field is formally defined as the circulation density at each point of the field.

In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of tangent planes to surfaces in three dimensions and tangent lines to curves in two dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold.

In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.

In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors $and, denoted by, is called a bivector and lives in a space called the exterior square, a vector space that is distinct from the original space of vectors. The magnitude of can be interpreted as the area of the parallelogram with sides and, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning that for all vectors and, but, unlike the cross product, the exterior product is associative.$

In differential geometry, the Lie derivative, named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field, along the flow defined by another vector field. This change is coordinate invariant and therefore the Lie derivative is defined on any differentiable manifold.

In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

The theory of functions of several complex variables is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variables, that has become a common name for that whole field of study and Mathematics Subject Classification has, as a top-level heading. A function $is n -tuples of complex numbers, classically studied on the complex coordinate space .$

In abstract algebra and multilinear algebra, a multilinear form on a vector space $over a field is a map$

In the mathematical field of differential geometry, the exterior covariant derivative is an extension of the notion of exterior derivative to the setting of a differentiable principal bundle or vector bundle with a connection.

In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.

In mathematics, certain systems of partial differential equations are usefully formulated, from the point of view of their underlying geometric and algebraic structure, in terms of a system of differential forms. The idea is to take advantage of the way a differential form restricts to a submanifold, and the fact that this restriction is compatible with the exterior derivative. This is one possible approach to certain over-determined systems, for example, including Lax pairs of integrable systems. A Pfaffian system is specified by 1-forms alone, but the theory includes other types of example of differential system. To elaborate, a Pfaffian system is a set of 1-forms on a smooth manifold.

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematical physics, a Grassmann number, named after Hermann Grassmann, is an element of the exterior algebra over the complex numbers. The special case of a 1-dimensional algebra is known as a dual number. Grassmann numbers saw an early use in physics to express a path integral representation for fermionic fields, although they are now widely used as a foundation for superspace, on which supersymmetry is constructed.

In mathematics, the Frölicher–Nijenhuis bracket is an extension of the Lie bracket of vector fields to vector-valued differential forms on a differentiable manifold.

In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms.

In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold $X$ such that the total space $E$ is a complex manifold and the projection map $π : E \to X$ is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.

In the mathematical field of differential geometry, a Frobenius manifold, introduced by Dubrovin, is a flat Riemannian manifold with a certain compatible multiplicative structure on the tangent space. The concept generalizes the notion of Frobenius algebra to tangent bundles.

A Lie bialgebroid is a mathematical structure in the area of non-Riemannian differential geometry. In brief a Lie bialgebroid are two compatible Lie algebroids defined on dual vector bundles. They form the vector bundle version of a Lie bialgebra.

This article summarizes several identities in exterior calculus.

In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space $as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somehow more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.$

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.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.