• Corpus ID: 246634467

Extended field theories are local and have classifying spaces

  title={Extended field theories are local and have classifying spaces},
  author={Daniel Grady and Dmitri Pavlov},
We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (∞, d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and prove that it satisfies codescent with respect to the target S , which implies the locality property. We apply this result to construct a classifying space for concordance classes of functorial field theories with geometric data, solving a conjecture of Stolz and… 
The geometric cobordism hypothesis
We prove a generalization of the cobordism hypothesis of Baez–Dolan and Hopkins–Lurie for bordisms with arbitrary geometric structures, such as Riemannian or Lorentzian metrics, complex and
A T ] 1 N ov 2 02 1 The geometric cobordism hypothesis
  • Mathematics
  • 2021
We prove a generalization of the cobordism hypothesis of Baez–Dolan and Hopkins–Lurie for bordisms with arbitrary geometric structures, such as Riemannian metrics, complex and symplectic structures,
Sheaves of Higher Categories on Generalised Spaces
We study the extension of higher presheaves on a category C to its free cocompletion Ĉ. Any pretopology on C induces a canonical pretopology of generalised coverings on Ĉ. We show that with respect
Classifying spaces of infinity-sheaves.
We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which
Looking for structure in the cobordism conjecture
The cobordism conjecture of the swampland program states that the bordism group of quantum gravity must be trivial. We investigate this statement in several directions, on both the mathematical and
Snowmass White Paper: The Quest to Define QFT
This article provides a review of the literature on rigorous definitions and constructions in Quantum Field Theory, spanning the period of seven decades. Comparing with the ideas and constructions


A Framework for Geometric Field Theories and their Classification in Dimension One
A general framework of geometric functorial field theories is developed, meaning that all bordisms in question are endowed with geometric structures, so that it makes sense to require the output of the authors' field theory to depend smoothly on the input.
Structured Brown representability via concordance
We establish a highly structured variant of the Brown representability theorem: given a sheaf of spaces on the site of manifolds, we show that concordance classes of sections of this sheaf over a
Differential cohomology theories as sheaves of spectra
We show that every sheaf on the site of smooth manifolds with values in a stable $$(\infty ,1)$$(∞,1)-category (like spectra or chain complexes) gives rise to a “differential cohomology diagram” and
The homotopy type of the cobordism category
The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in [S2] in order to formalize the concept of field theories. Our main
Stable homotopical algebra and Γ-spaces
  • S. Schwede
  • Mathematics
    Mathematical Proceedings of the Cambridge Philosophical Society
  • 1999
In this paper we advertise the category of Γ-spaces as a convenient framework for doing ‘algebra’ over ‘rings’ in stable homotopy theory. Γ-spaces were introduced by Segal [Se] who showed that they
String structures and canonical 3-forms
Using basic homotopy constructions, we show that isomorphism classes of string structures on spin bundles are naturally given by certain degree 3 cohomology classes, which we call string classes, on
Higher algebraic structures and quantization
We derive (quasi-)quantum groups in 2+1 dimensional topological field theory directly from the classical action and the path integral. Detailed computations are carried out for the Chern-Simons
Factorization homology of topological manifolds
Factorization homology theories of topological manifolds, after Beilinson, Drinfeld, and Lurie, are homology‐type theories for topological n ‐manifolds whose coefficient systems are n ‐disk algebras
Reflection positivity and invertible topological phases
We implement an extended version of reflection positivity (Wick-rotated unitarity) for invertible topological quantum field theories and compute the abelian group of deformation classes using stable
A note on the (∞,n)–category of cobordisms
In this note we give a precise definition of fully extended topological field theories a la Lurie. Using complete n-fold Segal spaces as a model, we construct an $(\infty,n)$-category of