Super manifolds: an incomplete survey
m (moved Super manifolds: a survey to Super manifolds: an incomplete survey: Correct title) |
m |
||
Line 3: | Line 3: | ||
==Super Algebra== | ==Super Algebra== | ||
− | <wikitex include="TeXInclude:Super_manifolds: | + | <wikitex include="TeXInclude:Super_manifolds:_an_incomplete_survey">; |
Let us begin by explaining briefly what ''super'' means in an algebraic context, working with the ground field of real numbers. The monoidal category of ''super vector spaces'', with tensor products, is by definition the same as the monoidal category of $\Z/2$-graded vector spaces, with the graded tensor product. As a consequence, a super algebra is simply a monoidal object in this category and is hence the same thing as a $\Z/2$-graded algebra. For example, the endomorphism ring $\End(V)$ of a super vector space $V$ inherits a natural $\Z/2$-grading from that of $V$. The distinction between these notions only arises from the choice of symmetry operators | Let us begin by explaining briefly what ''super'' means in an algebraic context, working with the ground field of real numbers. The monoidal category of ''super vector spaces'', with tensor products, is by definition the same as the monoidal category of $\Z/2$-graded vector spaces, with the graded tensor product. As a consequence, a super algebra is simply a monoidal object in this category and is hence the same thing as a $\Z/2$-graded algebra. For example, the endomorphism ring $\End(V)$ of a super vector space $V$ inherits a natural $\Z/2$-grading from that of $V$. The distinction between these notions only arises from the choice of symmetry operators | ||
$$ \sigma=\sigma_{V,W} : V\otimes W \overset{\cong}{\longrightarrow} W \otimes V.$$ | $$ \sigma=\sigma_{V,W} : V\otimes W \overset{\cong}{\longrightarrow} W \otimes V.$$ | ||
Line 25: | Line 25: | ||
==Super Manifolds== | ==Super Manifolds== | ||
− | <wikitex include="TeXInclude:Super_manifolds: | + | <wikitex include="TeXInclude:Super_manifolds:_an_incomplete_survey">; |
We will define super manifolds as ringed spaces following \cite{Deligne&Morgan1999}. By a morphism we will always mean a map of ringed spaces. The local model for a super manifold of dimension $p|q$ is $\R^p$ equipped with the sheaf $\cO_{\R^{p|q}}$ of commutative super $\R$-algebras $U \mapsto C^\infty(U) \otimes \Lambda^*(\R^q)$. | We will define super manifolds as ringed spaces following \cite{Deligne&Morgan1999}. By a morphism we will always mean a map of ringed spaces. The local model for a super manifold of dimension $p|q$ is $\R^p$ equipped with the sheaf $\cO_{\R^{p|q}}$ of commutative super $\R$-algebras $U \mapsto C^\infty(U) \otimes \Lambda^*(\R^q)$. | ||
{{beginrem|Definition}} A ''super manifold'' $M$ of dimension $p|q$ is a pair $(|M|,\cO_M)$ consisting of a (Hausdorff and second countable) topological space $|M|$ together with a sheaf of commutative super $\R$-algebras $\cO_M$ that is locally isomorphic to $(\R^{p},\cO_{\R^{p|q}})$. A morphism $f=(|f|,F)$ between super manifolds $M,N$ is defined to be a continuous map $|f|:|M|\to |N|$, together with a map $F$ of sheaves covering $|f|$. More precisely, for every open subset $U\subseteq |N|$ there are algebra maps $$ F(U): \cO_N(U) \ra \cO_M(|f|^{-1}(U)) $$ that are compatible with the restriction maps of the two sheaves. In the future we shall write $f^*$ for $F$ and we denote this category of super manifolds by $\SMan$. | {{beginrem|Definition}} A ''super manifold'' $M$ of dimension $p|q$ is a pair $(|M|,\cO_M)$ consisting of a (Hausdorff and second countable) topological space $|M|$ together with a sheaf of commutative super $\R$-algebras $\cO_M$ that is locally isomorphic to $(\R^{p},\cO_{\R^{p|q}})$. A morphism $f=(|f|,F)$ between super manifolds $M,N$ is defined to be a continuous map $|f|:|M|\to |N|$, together with a map $F$ of sheaves covering $|f|$. More precisely, for every open subset $U\subseteq |N|$ there are algebra maps $$ F(U): \cO_N(U) \ra \cO_M(|f|^{-1}(U)) $$ that are compatible with the restriction maps of the two sheaves. In the future we shall write $f^*$ for $F$ and we denote this category of super manifolds by $\SMan$. | ||
Line 52: | Line 52: | ||
==The Functor of Points== | ==The Functor of Points== | ||
− | <wikitex include=" | + | <wikitex include="Super_manifolds:_an_incomplete_survey">; <label>sec:functor</label> |
Since sheaves are generally difficult to work with, one often thinks of super manifolds in terms of their $S$-points, i.e. instead of $M$ itself one considers the morphism sets $\SMan(S,M)$, where $S$ varies over all super manifolds $S$. More formally, embed the category $\SMan$ of super manifolds in the category of contravariant functors from $\SMan$ to $\Sset$ by | Since sheaves are generally difficult to work with, one often thinks of super manifolds in terms of their $S$-points, i.e. instead of $M$ itself one considers the morphism sets $\SMan(S,M)$, where $S$ varies over all super manifolds $S$. More formally, embed the category $\SMan$ of super manifolds in the category of contravariant functors from $\SMan$ to $\Sset$ by | ||
$$ Y:\SMan \ra \Fun(\SMan^{op},\Sset), \quad Y(M) = ( \> S \mapsto \SMan(S,M) \> ). $$ | $$ Y:\SMan \ra \Fun(\SMan^{op},\Sset), \quad Y(M) = ( \> S \mapsto \SMan(S,M) \> ). $$ | ||
Line 59: | Line 59: | ||
==Super Lie Groups== | ==Super Lie Groups== | ||
− | <wikitex include="TeXInclude:Super_manifolds: | + | <wikitex include="TeXInclude:Super_manifolds:_an_incomplete_survey">; |
These are simply group objects in $\SMan$. According to the functor of points approach, such a group object in $\SMan$ can be described by giving a functor $G : \SMan^{op} \to \Group$ such that the composition with the forgetful functor $\Group \to \Sset$ is representable. | These are simply group objects in $\SMan$. According to the functor of points approach, such a group object in $\SMan$ can be described by giving a functor $G : \SMan^{op} \to \Group$ such that the composition with the forgetful functor $\Group \to \Sset$ is representable. | ||
Line 73: | Line 73: | ||
==Super Vector Bundles== | ==Super Vector Bundles== | ||
− | <wikitex include="TeXInclude:Super_manifolds: | + | <wikitex include="TeXInclude:Super_manifolds:_an_incomplete_survey">; <label>sec:vb</label> |
A (super) vector bundle over a super manifold $M$ is a locally free sheaf $\mathcal{E}$ of $\cO_M$-modules of dimension $p|q$. The most basic example of a super vector bundle is the ''tangent bundle'' of a super manifold $M^{p|q}$. It is the sheaf of $\cO_M$-modules $\mathcal{T} M$ defined by | A (super) vector bundle over a super manifold $M$ is a locally free sheaf $\mathcal{E}$ of $\cO_M$-modules of dimension $p|q$. The most basic example of a super vector bundle is the ''tangent bundle'' of a super manifold $M^{p|q}$. It is the sheaf of $\cO_M$-modules $\mathcal{T} M$ defined by | ||
$$ \mathcal{T} M(U) := \Der {\cO_M (U)} .$$ | $$ \mathcal{T} M(U) := \Der {\cO_M (U)} .$$ |
Revision as of 12:09, 21 February 2011
An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 09:56, 1 April 2011 and the changes since publication. |
By Henning Hohnhold, Stephan Stolz and Peter Teichner. This page is not open for editing at present. |
This page is being refereed under the supervision of the editorial board. Hence the page may not be edited at present. As always, the discussion page remains open for observations and comments. |
We present an incomplete survey on some basic notions of super manifolds which may serve as a short introduction to this subject. Almost all the material is taken from the beautiful survey article on super manifolds [Deligne&Morgan1999]. Standard references also include [Leites1980], [Bernstein1987] [Manin1988] or [Voronov1991]. The material below is a prerequisite to our papers [Hohnhold&Kreck&Stolz&Teichner2010] and [Stolz&Teichner2008].
Contents |
1 Super Algebra
Let us begin by explaining briefly what super means in an algebraic context, working with the ground field of real numbers. The monoidal category of super vector spaces, with tensor products, is by definition the same as the monoidal category of -graded vector spaces, with the graded tensor product. As a consequence, a super algebra is simply a monoidal object in this category and is hence the same thing as a -graded algebra. For example, the endomorphism ring of a super vector space inherits a natural -grading from that of . The distinction between these notions only arises from the choice of symmetry operators
Sign rule: Commuting two odd quantities yields a sign .
As a consequence, a super algebra is commutative if for all homogenenous we haveLet be a commutative super algebra. The derivations of are endomorphisms satisfying the Leibniz rule: [1]
Note that we cyclically permuted the 3 symbols and put down the signs according to the above sign rule.
2 Super Manifolds
Tex syntax erroris
Tex syntax errorequipped with the sheaf
Tex syntax errorof commutative super
Tex syntax error-algebras
Tex syntax error.
Tex syntax erroris a pair
Tex syntax errorconsisting of a (Hausdorff and second countable) topological space
Tex syntax errortogether with a sheaf of commutative super
Tex syntax error-algebras
Tex syntax errorthat is locally isomorphic to
Tex syntax error. A morphism
Tex syntax errorbetween super manifolds is defined to be a continuous map
Tex syntax error, together with a map of sheaves covering
Tex syntax error. More precisely, for every open subset
Tex syntax errorthere are algebra maps
Tex syntax error
Tex syntax errorfor and we denote this category of super manifolds by
Tex syntax error.
Tex syntax error
Tex syntax errorand there is an inclusion of super manifolds
Tex syntax error. Note that the sheaf of ideals
Tex syntax erroris generated by odd functions. Other geometric super objects can be defined in a similar way. For example, replacing
Tex syntax errorby
Tex syntax errorand by analytic functions one obtains complex (analytic) super manifolds. There is also an important notion of cs manifolds. These are spaces equipped with sheaves of commutative super
Tex syntax error-algebras that locally look like
Tex syntax error. One relevance of cs manifolds is that they appear naturally as the smooth super manifolds underlying complex analytic super manifolds. In our work, cs manifolds are essential to define the notion of a unitary field theory but this is not relevant for the current discussion.
Example 2.2.
Let be a real vector bundle of fiber dimension over the ordinary manifoldTex syntax errorand
Tex syntax errorthe associated algebra bundle of alternating multilinear forms on . Then its sheaf of sections gives a super manifold
Tex syntax errorof dimension
Tex syntax error, denoted by
Tex syntax error. In the current smooth setting, Marjorie Batchelor proved in [Batchelor1979] that every super manifold is isomorphic to one of this type (this is not true for analytic super manifolds). More precisely, let
Tex syntax errordenote the category of real vector bundles over smooth manifolds, and for
Tex syntax error, consider the vector bundle
Tex syntax errorover
Tex syntax errorwith sheaf of sections
Tex syntax error. Then the functors
Tex syntax error
Tex syntax errorbut there are only non-natural isomorphisms
Tex syntax error, coming from a choice of a partition of unity. In other words, these functors induce a bijection on isomorphism classes of objects and inclusions on morphisms but they are not equivalences of categories because there are many more morphims in
Tex syntax errorthan the linear bundle maps coming from
Tex syntax error.
Tex syntax errorfor the algebra of (global) functions on a super manifold .
Proposition 2.3.
ForTex syntax error, the functor induces natural bijections
Tex syntax error
Tex syntax erroris an open super submanifold (a ),
Tex syntax erroris in bijective correspondence with those
Tex syntax errorin
Tex syntax errorthat satisfy
Tex syntax error
Tex syntax error,
Tex syntax errorare called the coordinates of
Tex syntax errordefined by
Tex syntax error
Tex syntax errorare coordinates on
Tex syntax error. Moreover, by the first part we see that
Tex syntax errorand hence
Tex syntax error.
The proof of the first part is based on the existence of partitions of unity for super manifolds, so it is false in analytic settings. The second part always holds and is proved in [Leites1980].
3 The Functor of Points
Tex syntax error, where varies over all super manifolds . More formally, embed the category
Tex syntax errorof super manifolds in the category of contravariant functors from
Tex syntax errorto
Tex syntax errorby
Tex syntax error
Tex syntax errorwith the the category of representable functors, defined to be those in the image of . We will sometimes refer to an arbitrary functor
Tex syntax erroras a generalized super manifold. Note that Proposition 2.3 makes it easy to describe the morphism sets
Tex syntax error. We'd also like to point out that the functor of points approach is closely related to computations involving additional odd quantities (the odd coordinates of as opposed to those of ) in many physics papers.
4 Super Lie Groups
Tex syntax error. According to the functor of points approach, such a group object in
Tex syntax errorcan be described by giving a functor such that the composition with the forgetful functor is representable.
Example 4.1. The simplest super Lie group is the additive group structure on . It is given by the following composition law on , obviously natural in :
The super general linear group is defined by
This follows directly from proposition 2.3 using that a map between super algebras is invertible if and only if it is invertible modulo nilpotent elements.
5 Super Vector Bundles
Tex syntax error-modules of dimension
Tex syntax error. The most basic example of a super vector bundle is the tangent bundle of a super manifold . It is the sheaf of
Tex syntax error-modules defined by
Tex syntax error: If are local coordinates on , then a local basis is given by . Note that there is also a linear fibre bundle with structure group , where is a super manifold of dimension . More generally, any vector bundle over has a total space that comes with a projection map . It can be most easily described in terms of its -points
So is an even global section of the pullback bundle on and the projection comes from forgetting this datum. To prove that this functor is representable one uses the local triviality of and Proposition 2.3. It follows by construction that the typical fibre of the projection is and the structure group is .
There is an important operation of parity reversal on the category of vector bundles over . It is an involutionTex syntax error-modules).
One can define the super Lie algebra of a super Lie group as follows. A vector field is called left-invariant if is related to itself under the left-translation by all :
Tex syntax error.
6 Footnotes
- ↑ Whenever we write formulas involving the degree of certain elements, we implicitly assume that these elements are homogenous.
7 References
- [Batchelor1979] M. Batchelor, The structure of supermanifolds, Trans. Amer. Math. Soc. 253 (1979), 329–338. MR536951 (80h:58002) Zbl 0413.58002
- [Bernstein1987] Template:Bernstein1987
- [Deligne&Morgan1999] P. Deligne and J. W. Morgan, Notes on supersymmetry (following Joseph Bernstein), Quantum fields and strings: a course for mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997), 41–97, Amer. Math. Soc., Providence, RI, (1999), 41–97. MR1701597 (2001g:58007) Zbl 1170.58302
- [Hohnhold&Kreck&Stolz&Teichner2010] H. Hohnhold, M. Kreck, S. Stolz and P. Teichner, Differential Forms and 0-dimensional Super Symmetric Field Theories, to appear in Quantum Topology, Journal of the European Math. Soc. (2010).
- [Leites1980] D. A. Leites, Introduction to the theory of supermanifolds, Russian Math. Surveys 35 No 1 (1980), 3–57. MR0565567 (81j:58003) Zbl 0439.58007
- [Manin1988] Y. I. Manin, Gauge field theory and complex geometry, Springer-Verlag, Berlin, 1988. MR954833 (89d:32001) Zbl 0884.53002
- [Stolz&Teichner2008] S. Stolz and P. Teichner, Supersymmetric Euclidean field theories and generalized cohomology, Survey (2008). Available at http://math.berkeley.edu/~teichner/Papers/Survey.pdf.
- [Voronov1991] T. Voronov, Geometric integration theory on supermanifolds, Harwood Academic Publishers, Chur, 1991. MR1202882 (95b:58023) Zbl 0839.58014
8 External links
- The Wikipedia page on Super manifolds.
Sign rule: Commuting two odd quantities yields a sign .
As a consequence, a super algebra is commutative if for all homogenenous we haveLet be a commutative super algebra. The derivations of are endomorphisms satisfying the Leibniz rule: [1]
Note that we cyclically permuted the 3 symbols and put down the signs according to the above sign rule.
2 Super Manifolds
Tex syntax erroris
Tex syntax errorequipped with the sheaf
Tex syntax errorof commutative super
Tex syntax error-algebras
Tex syntax error.
Tex syntax erroris a pair
Tex syntax errorconsisting of a (Hausdorff and second countable) topological space
Tex syntax errortogether with a sheaf of commutative super
Tex syntax error-algebras
Tex syntax errorthat is locally isomorphic to
Tex syntax error. A morphism
Tex syntax errorbetween super manifolds is defined to be a continuous map
Tex syntax error, together with a map of sheaves covering
Tex syntax error. More precisely, for every open subset
Tex syntax errorthere are algebra maps
Tex syntax error
Tex syntax errorfor and we denote this category of super manifolds by
Tex syntax error.
Tex syntax error
Tex syntax errorand there is an inclusion of super manifolds
Tex syntax error. Note that the sheaf of ideals
Tex syntax erroris generated by odd functions. Other geometric super objects can be defined in a similar way. For example, replacing
Tex syntax errorby
Tex syntax errorand by analytic functions one obtains complex (analytic) super manifolds. There is also an important notion of cs manifolds. These are spaces equipped with sheaves of commutative super
Tex syntax error-algebras that locally look like
Tex syntax error. One relevance of cs manifolds is that they appear naturally as the smooth super manifolds underlying complex analytic super manifolds. In our work, cs manifolds are essential to define the notion of a unitary field theory but this is not relevant for the current discussion.
Example 2.2.
Let be a real vector bundle of fiber dimension over the ordinary manifoldTex syntax errorand
Tex syntax errorthe associated algebra bundle of alternating multilinear forms on . Then its sheaf of sections gives a super manifold
Tex syntax errorof dimension
Tex syntax error, denoted by
Tex syntax error. In the current smooth setting, Marjorie Batchelor proved in [Batchelor1979] that every super manifold is isomorphic to one of this type (this is not true for analytic super manifolds). More precisely, let
Tex syntax errordenote the category of real vector bundles over smooth manifolds, and for
Tex syntax error, consider the vector bundle
Tex syntax errorover
Tex syntax errorwith sheaf of sections
Tex syntax error. Then the functors
Tex syntax error
Tex syntax errorbut there are only non-natural isomorphisms
Tex syntax error, coming from a choice of a partition of unity. In other words, these functors induce a bijection on isomorphism classes of objects and inclusions on morphisms but they are not equivalences of categories because there are many more morphims in
Tex syntax errorthan the linear bundle maps coming from
Tex syntax error.
Tex syntax errorfor the algebra of (global) functions on a super manifold .
Proposition 2.3.
ForTex syntax error, the functor induces natural bijections
Tex syntax error
Tex syntax erroris an open super submanifold (a ),
Tex syntax erroris in bijective correspondence with those
Tex syntax errorin
Tex syntax errorthat satisfy
Tex syntax error
Tex syntax error,
Tex syntax errorare called the coordinates of
Tex syntax errordefined by
Tex syntax error
Tex syntax errorare coordinates on
Tex syntax error. Moreover, by the first part we see that
Tex syntax errorand hence
Tex syntax error.
The proof of the first part is based on the existence of partitions of unity for super manifolds, so it is false in analytic settings. The second part always holds and is proved in [Leites1980].
3 The Functor of Points
Tex syntax error, where varies over all super manifolds . More formally, embed the category
Tex syntax errorof super manifolds in the category of contravariant functors from
Tex syntax errorto
Tex syntax errorby
Tex syntax error
Tex syntax errorwith the the category of representable functors, defined to be those in the image of . We will sometimes refer to an arbitrary functor
Tex syntax erroras a generalized super manifold. Note that Proposition 2.3 makes it easy to describe the morphism sets
Tex syntax error. We'd also like to point out that the functor of points approach is closely related to computations involving additional odd quantities (the odd coordinates of as opposed to those of ) in many physics papers.
4 Super Lie Groups
Tex syntax error. According to the functor of points approach, such a group object in
Tex syntax errorcan be described by giving a functor such that the composition with the forgetful functor is representable.
Example 4.1. The simplest super Lie group is the additive group structure on . It is given by the following composition law on , obviously natural in :
The super general linear group is defined by
This follows directly from proposition 2.3 using that a map between super algebras is invertible if and only if it is invertible modulo nilpotent elements.
5 Super Vector Bundles
Tex syntax error-modules of dimension
Tex syntax error. The most basic example of a super vector bundle is the tangent bundle of a super manifold . It is the sheaf of
Tex syntax error-modules defined by
Tex syntax error: If are local coordinates on , then a local basis is given by . Note that there is also a linear fibre bundle with structure group , where is a super manifold of dimension . More generally, any vector bundle over has a total space that comes with a projection map . It can be most easily described in terms of its -points
So is an even global section of the pullback bundle on and the projection comes from forgetting this datum. To prove that this functor is representable one uses the local triviality of and Proposition 2.3. It follows by construction that the typical fibre of the projection is and the structure group is .
There is an important operation of parity reversal on the category of vector bundles over . It is an involutionTex syntax error-modules).
One can define the super Lie algebra of a super Lie group as follows. A vector field is called left-invariant if is related to itself under the left-translation by all :
Tex syntax error.
6 Footnotes
- ↑ Whenever we write formulas involving the degree of certain elements, we implicitly assume that these elements are homogenous.
7 References
- [Batchelor1979] M. Batchelor, The structure of supermanifolds, Trans. Amer. Math. Soc. 253 (1979), 329–338. MR536951 (80h:58002) Zbl 0413.58002
- [Bernstein1987] Template:Bernstein1987
- [Deligne&Morgan1999] P. Deligne and J. W. Morgan, Notes on supersymmetry (following Joseph Bernstein), Quantum fields and strings: a course for mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997), 41–97, Amer. Math. Soc., Providence, RI, (1999), 41–97. MR1701597 (2001g:58007) Zbl 1170.58302
- [Hohnhold&Kreck&Stolz&Teichner2010] H. Hohnhold, M. Kreck, S. Stolz and P. Teichner, Differential Forms and 0-dimensional Super Symmetric Field Theories, to appear in Quantum Topology, Journal of the European Math. Soc. (2010).
- [Leites1980] D. A. Leites, Introduction to the theory of supermanifolds, Russian Math. Surveys 35 No 1 (1980), 3–57. MR0565567 (81j:58003) Zbl 0439.58007
- [Manin1988] Y. I. Manin, Gauge field theory and complex geometry, Springer-Verlag, Berlin, 1988. MR954833 (89d:32001) Zbl 0884.53002
- [Stolz&Teichner2008] S. Stolz and P. Teichner, Supersymmetric Euclidean field theories and generalized cohomology, Survey (2008). Available at http://math.berkeley.edu/~teichner/Papers/Survey.pdf.
- [Voronov1991] T. Voronov, Geometric integration theory on supermanifolds, Harwood Academic Publishers, Chur, 1991. MR1202882 (95b:58023) Zbl 0839.58014
8 External links
- The Wikipedia page on Super manifolds.
Sign rule: Commuting two odd quantities yields a sign .
As a consequence, a super algebra is commutative if for all homogenenous we haveLet be a commutative super algebra. The derivations of are endomorphisms satisfying the Leibniz rule: [1]
Note that we cyclically permuted the 3 symbols and put down the signs according to the above sign rule.
2 Super Manifolds
Tex syntax erroris
Tex syntax errorequipped with the sheaf
Tex syntax errorof commutative super
Tex syntax error-algebras
Tex syntax error.
Tex syntax erroris a pair
Tex syntax errorconsisting of a (Hausdorff and second countable) topological space
Tex syntax errortogether with a sheaf of commutative super
Tex syntax error-algebras
Tex syntax errorthat is locally isomorphic to
Tex syntax error. A morphism
Tex syntax errorbetween super manifolds is defined to be a continuous map
Tex syntax error, together with a map of sheaves covering
Tex syntax error. More precisely, for every open subset
Tex syntax errorthere are algebra maps
Tex syntax error
Tex syntax errorfor and we denote this category of super manifolds by
Tex syntax error.
Tex syntax error
Tex syntax errorand there is an inclusion of super manifolds
Tex syntax error. Note that the sheaf of ideals
Tex syntax erroris generated by odd functions. Other geometric super objects can be defined in a similar way. For example, replacing
Tex syntax errorby
Tex syntax errorand by analytic functions one obtains complex (analytic) super manifolds. There is also an important notion of cs manifolds. These are spaces equipped with sheaves of commutative super
Tex syntax error-algebras that locally look like
Tex syntax error. One relevance of cs manifolds is that they appear naturally as the smooth super manifolds underlying complex analytic super manifolds. In our work, cs manifolds are essential to define the notion of a unitary field theory but this is not relevant for the current discussion.
Example 2.2.
Let be a real vector bundle of fiber dimension over the ordinary manifoldTex syntax errorand
Tex syntax errorthe associated algebra bundle of alternating multilinear forms on . Then its sheaf of sections gives a super manifold
Tex syntax errorof dimension
Tex syntax error, denoted by
Tex syntax error. In the current smooth setting, Marjorie Batchelor proved in [Batchelor1979] that every super manifold is isomorphic to one of this type (this is not true for analytic super manifolds). More precisely, let
Tex syntax errordenote the category of real vector bundles over smooth manifolds, and for
Tex syntax error, consider the vector bundle
Tex syntax errorover
Tex syntax errorwith sheaf of sections
Tex syntax error. Then the functors
Tex syntax error
Tex syntax errorbut there are only non-natural isomorphisms
Tex syntax error, coming from a choice of a partition of unity. In other words, these functors induce a bijection on isomorphism classes of objects and inclusions on morphisms but they are not equivalences of categories because there are many more morphims in
Tex syntax errorthan the linear bundle maps coming from
Tex syntax error.
Tex syntax errorfor the algebra of (global) functions on a super manifold .
Proposition 2.3.
ForTex syntax error, the functor induces natural bijections
Tex syntax error
Tex syntax erroris an open super submanifold (a ),
Tex syntax erroris in bijective correspondence with those
Tex syntax errorin
Tex syntax errorthat satisfy
Tex syntax error
Tex syntax error,
Tex syntax errorare called the coordinates of
Tex syntax errordefined by
Tex syntax error
Tex syntax errorare coordinates on
Tex syntax error. Moreover, by the first part we see that
Tex syntax errorand hence
Tex syntax error.
The proof of the first part is based on the existence of partitions of unity for super manifolds, so it is false in analytic settings. The second part always holds and is proved in [Leites1980].
3 The Functor of Points
Tex syntax error, where varies over all super manifolds . More formally, embed the category
Tex syntax errorof super manifolds in the category of contravariant functors from
Tex syntax errorto
Tex syntax errorby
Tex syntax error
Tex syntax errorwith the the category of representable functors, defined to be those in the image of . We will sometimes refer to an arbitrary functor
Tex syntax erroras a generalized super manifold. Note that Proposition 2.3 makes it easy to describe the morphism sets
Tex syntax error. We'd also like to point out that the functor of points approach is closely related to computations involving additional odd quantities (the odd coordinates of as opposed to those of ) in many physics papers.
4 Super Lie Groups
Tex syntax error. According to the functor of points approach, such a group object in
Tex syntax errorcan be described by giving a functor such that the composition with the forgetful functor is representable.
Example 4.1. The simplest super Lie group is the additive group structure on . It is given by the following composition law on , obviously natural in :
The super general linear group is defined by
This follows directly from proposition 2.3 using that a map between super algebras is invertible if and only if it is invertible modulo nilpotent elements.
5 Super Vector Bundles
Tex syntax error-modules of dimension
Tex syntax error. The most basic example of a super vector bundle is the tangent bundle of a super manifold . It is the sheaf of
Tex syntax error-modules defined by
Tex syntax error: If are local coordinates on , then a local basis is given by . Note that there is also a linear fibre bundle with structure group , where is a super manifold of dimension . More generally, any vector bundle over has a total space that comes with a projection map . It can be most easily described in terms of its -points
So is an even global section of the pullback bundle on and the projection comes from forgetting this datum. To prove that this functor is representable one uses the local triviality of and Proposition 2.3. It follows by construction that the typical fibre of the projection is and the structure group is .
There is an important operation of parity reversal on the category of vector bundles over . It is an involutionTex syntax error-modules).
One can define the super Lie algebra of a super Lie group as follows. A vector field is called left-invariant if is related to itself under the left-translation by all :
Tex syntax error.
6 Footnotes
- ↑ Whenever we write formulas involving the degree of certain elements, we implicitly assume that these elements are homogenous.
7 References
- [Batchelor1979] M. Batchelor, The structure of supermanifolds, Trans. Amer. Math. Soc. 253 (1979), 329–338. MR536951 (80h:58002) Zbl 0413.58002
- [Bernstein1987] Template:Bernstein1987
- [Deligne&Morgan1999] P. Deligne and J. W. Morgan, Notes on supersymmetry (following Joseph Bernstein), Quantum fields and strings: a course for mathematicians, Vol. 1, 2 (Princeton, NJ, 1996/1997), 41–97, Amer. Math. Soc., Providence, RI, (1999), 41–97. MR1701597 (2001g:58007) Zbl 1170.58302
- [Hohnhold&Kreck&Stolz&Teichner2010] H. Hohnhold, M. Kreck, S. Stolz and P. Teichner, Differential Forms and 0-dimensional Super Symmetric Field Theories, to appear in Quantum Topology, Journal of the European Math. Soc. (2010).
- [Leites1980] D. A. Leites, Introduction to the theory of supermanifolds, Russian Math. Surveys 35 No 1 (1980), 3–57. MR0565567 (81j:58003) Zbl 0439.58007
- [Manin1988] Y. I. Manin, Gauge field theory and complex geometry, Springer-Verlag, Berlin, 1988. MR954833 (89d:32001) Zbl 0884.53002
- [Stolz&Teichner2008] S. Stolz and P. Teichner, Supersymmetric Euclidean field theories and generalized cohomology, Survey (2008). Available at http://math.berkeley.edu/~teichner/Papers/Survey.pdf.
- [Voronov1991] T. Voronov, Geometric integration theory on supermanifolds, Harwood Academic Publishers, Chur, 1991. MR1202882 (95b:58023) Zbl 0839.58014
8 External links
- The Wikipedia page on Super manifolds.