Abstract:We compute the classifying space of the surface category $\mathrm{Cob}_2$ whose objects are closed $1$-manifolds and whose morphisms are diffeomorphism classes of surface bordisms, and show that it is rationally equivalent to a circle. It is hence much smaller than the classifying space of the topologically enriched surface category $\mathcal{C}_2$ studied by Galatius-Madsen-Tillmann-Weiss. However, we also show that for the wide subcategory $\mathrm{Cob}_2^{\chi\le0} \subset \mathrm{Cob}_2$ that contains all morphisms without disks or spheres, the classifying space $B\mathrm{Cob}_2^{\chi\le0}$ is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves $\Delta_g$ as a summand. The technical key result shows that a version of positive boundary surgery applies to a large class of discrete symmetric monoidal categories, which we call labelled cospan categories. We also use this to show that the $(2,1)$-category of cospans of finite sets has a contractible classifying space.

On Non-Separating Simple Closed Curves in a Compact Surface

Sparkling saddle loops of vector fields on surfaces

Computing shortest closed curves on non-orientable surfaces

Characterizing closed curves on Riemann surfaces via homology groups of coverings

Connectivity of Complexes of Separating Curves

Finite rigid sets of the non-separating curve complex

On Teichmüller Spaces of Surfaces with Boundary

A Characterization of Curves that Lie on a Totally Umbilical Surface of a Space Form

Separating semigroup of genus 4 curves

Homology of Curves and Surfaces in Closed Hyperbolic 3-Manifolds

Simple Loops on Surfaces and Their Intersection Numbers

Simple lift of non-simple closed curves

A Note On Projective Structures On Compact Surfaces

Non-Abelian number theory and the structure of curves on surfaces

Equisingularity in pencils of curves on germs of reduced complex surfaces

On canonically derived families of surfaces of general type over curves

The surface category and tropical curves

Uniform hyperbolicity of nonseparating curve graphs of nonorientable surfaces

The topology of closed manifolds with quasi-constant sectional curvature

Towards the boundary of the fine curve graph