Towards non-perturbative BV-theory via derived differential geometry

Jul 27, 2023
106 pages
e-Print:

Citations per year

202220232024042
Abstract: (arXiv)
We propose a global geometric framework which allows one to encode a natural non-perturbative generalisation of usual Batalin-Vilkovisky (BV-)theory. Namely, we construct a concrete model of derived differential geometry, whose geometric objects are formal derived smooth stacks, i.e. stacks on formal derived smooth manifolds, together with a notion of differential geometry on them. This provides a working language to study generalised geometric spaces that are smooth, infinite-dimensional, higher and derived at the same time. Such a formalism is obtained by combining Schreiber's differential cohesion with the machinery of Töen-Vezzosi's homotopical algebraic geometry applied to the theory of derived manifolds of Spivak and Carchedi-Steffens. We investigate two classes of examples of non-perturbative classical BV-theories in the context of derived differential cohesion: scalar field theory and Yang-Mills theory.
Note:
  • 106 pages, 11 figures; section 4 revised, other corrections
  • field theory: scalar
  • gauge field theory: Yang-Mills
  • nonperturbative
  • geometry
  • differential geometry
  • algebraic geometry
  • Batalin-Vilkovisky
  • Batalin–Vilkovisky formalism
  • higher structures
  • Yang-Mills theory