Differential forms and 0-dimensional supersymmetric field theories (Q628823)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Differential forms and 0-dimensional supersymmetric field theories
scientific article

    Statements

    Differential forms and 0-dimensional supersymmetric field theories (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    7 March 2011
    0 references
    The authors review the notion of field theories as functors, pioneered by Atiya, Kontsevich in topological case and Segal in the conformal case. They give precise meaning to the notion of smoothness for such functors by introducing family versions of the relevant bordism categories. The authors generalize these notions to supersymmetric field theories, also valid in higher dimensions, which they then continue to study in the simplest case that of dimension zero. The main contribution of the paper is to make all new mathematical notions regarding supersymmetric field theories precise. The authors observe that concordance gives an equivalence relation which can be defined for geometric objects over manifolds for which ``pullbacks'' and ``isomorphisms'' make sense. By Stokes' theorem two closed \(n\)-forms on \(X\) are concordant if and only if they represent the same de Rham cohomology class; two vector bundles with connections are concordant if and only if they are isomorphic as vector bundles. Passing from a Euclidean field theory (EFT) over \(X\) to its concordance class forgets the geometric information while retaining the topological information: differential forms of a specific degree \(n\) arise by forgetting the Euclidean geometry (on superpoints) and working with topological field theories (TFTs) instead. As a consequence, concordance classes of such field theories are shown to represent de Rham cohomology. The authors' results are consistent with the formal group point of view towards (complex oriented) cohomology theories, where the additive formal group gives an ordinary rational cohomology, the multiplicative group gives \(K\)-theory and the formal groups associated to elliptic curves lead to elliptic cohomology.
    0 references
    supermanifolds
    0 references
    differential forms
    0 references
    stacks
    0 references
    field theory
    0 references
    cohomology theory
    0 references
    formal groups
    0 references
    elliptic cohomology
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references