Higher categories of push-pull spans, I: Construction and applications

Abstract

This is the first part of a project aimed at formalizing Rozansky-Witten models in the functorial field theory framework. Motivated by work of Calaque-Haugseng-Scheimbauer, we construct a family of symmetric monoidal $(\infty ,3)$-categories parametrized by an $\infty$-category with finite limits and a functor into symmetric monoidal $\infty$-categories, such that the functor admits pushforwards. This $(\infty ,3)$-category contains correspondences in the base $\infty$-category equipped with local systems, which compose via a push-pull formula. We apply this general construction to provide an approximation to the $3$-category of Rozansky-Witten models whose existence was conjectured by Kapustin-Rozansky-Saulina; this approximation behaves like a "commutative" version of the conjectured $3$-category and is related to work of Stefanich on higher quasicoherent sheaves.

Comments welcome! Edit #1: Reworked the introduction for submission. Edit #2: Last version. Corrected typos and minor mistakes following referee report

References in corpus (12)

• Higher-dimensional Algebra and Topological Quantum Field Theory
• Compact generators in categories of matrix factorizations
• Iterated spans and classical topological field theories
• Three-dimensional topological field theory and symplectic algebraic geometry I
• Derived Smooth Manifolds
• Coend calculus
• Defining and classifying TQFTs via surgery
• Comparison of models for $(\infty ,n)$-categories, I
• Comparison of models for $(\infty ,n)$-categories, II
• Smooth one-dimensional topological field theories are vector bundles with connection
• Truncated affine Rozansky--Witten models as extended TQFTs
• Higher categories of push-pull spans, I: Construction and applications

Cited by in corpus (1)

• Higher categories of push-pull spans, I: Construction and applications