Differential forms and 0-dimensional supersymmetric field theories.

*(English)*Zbl 1236.19008The 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.

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.

Reviewer: S. Moskaliuk (Kyiv)

##### MSC:

19L99 | Topological \(K\)-theory |

18D10 | Monoidal, symmetric monoidal and braided categories (MSC2010) |

47A53 | (Semi-) Fredholm operators; index theories |

57R56 | Topological quantum field theories (aspects of differential topology) |

81T99 | Quantum field theory; related classical field theories |

##### Keywords:

supermanifolds; differential forms; stacks; field theory; cohomology theory; formal groups; elliptic cohomology
PDF
BibTeX
XML
Cite

\textit{H. Hohnhold} et al., Quantum Topol. 2, No. 1, 1--41 (2011; Zbl 1236.19008)

Full Text:
DOI

##### References:

[2] | A. Canonaco, Introduction to algebraic stacks. Preprint 2004. |

[3] | P. Deligne and J. W. Morgan, Notes on supersymmetry (following Joseph Bernstein). In Quantum fields and strings: a course for mathematicians , Vol. 1, 2 (Princeton, NJ, 1996/1997), Amer. Math. Soc., Providence, RI, 1999, 41-97. · Zbl 1170.58302 |

[4] | F. Dumitrescu, Superconnections and parallel transport. Pacific J. Math. 236 (2008), 307-332. · Zbl 1155.58001 |

[5] | F. Han, Supersymmetric QFTs, super loop spaces and Bismut-Chern character. PhD thesis 2008. |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.