<p>We compute the classifying space of the surface category <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(h\textrm{Bord}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <msub> <mtext>Bord</mtext> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> whose objects are closed oriented 1-manifolds and whose morphisms are diffeomorphism classes of oriented 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 <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textrm{Bord}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mtext>Bord</mtext> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> studied by Galatius–Madsen–Tillmann–Weiss. However, we also show that for the wide subcategory <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(h\textrm{Bord}_2^{{\chi \le 0}}\subset h\textrm{Bord}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <msubsup> <mtext>Bord</mtext> <mn>2</mn> <mrow> <mi>χ</mi> <mo>≤</mo> <mn>0</mn> </mrow> </msubsup> <mo>⊂</mo> <mi>h</mi> <msub> <mtext>Bord</mtext> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> that contains all morphisms without disks or spheres, the classifying space <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(Bh\textrm{Bord}_2^{{\chi \le 0}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mi>h</mi> <msubsup> <mtext>Bord</mtext> <mn>2</mn> <mrow> <mi>χ</mi> <mo>≤</mo> <mn>0</mn> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation> is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Delta _g\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Δ</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> 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 <i>labelled cospan categories</i>. We also use this to show that the (2,&#xa0;1)-category of cospans of finite sets has a contractible classifying space.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The surface category and tropical curves

  • Jan Steinebrunner

摘要

We compute the classifying space of the surface category \(h\textrm{Bord}_2\) h Bord 2 whose objects are closed oriented 1-manifolds and whose morphisms are diffeomorphism classes of oriented 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 \(\textrm{Bord}_2\) Bord 2 studied by Galatius–Madsen–Tillmann–Weiss. However, we also show that for the wide subcategory \(h\textrm{Bord}_2^{{\chi \le 0}}\subset h\textrm{Bord}_2\) h Bord 2 χ 0 h Bord 2 that contains all morphisms without disks or spheres, the classifying space \(Bh\textrm{Bord}_2^{{\chi \le 0}}\) B h Bord 2 χ 0 is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves \(\Delta _g\) Δ 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.