{"title":"Semisimple four-dimensional topological field theories cannot detect exotic smooth structure","authors":"David Reutter","doi":"10.1112/topo.12288","DOIUrl":"https://doi.org/10.1112/topo.12288","url":null,"abstract":"<p>We prove that semisimple four-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth four-manifolds and homotopy equivalent simply connected closed oriented smooth four-manifolds. We show that all currently known four-dimensional field theories are semisimple, including unitary field theories, and once-extended field theories which assign algebras or linear categories to 2-manifolds. As an application, we compute the value of a semisimple field theory on a simply connected closed oriented 4-manifold in terms of its Euler characteristic and signature. Moreover, we show that a semisimple four-dimensional field theory is invariant under <math>\u0000 <semantics>\u0000 <mrow>\u0000 <mi>C</mi>\u0000 <msup>\u0000 <mi>P</mi>\u0000 <mn>2</mn>\u0000 </msup>\u0000 </mrow>\u0000 <annotation>$mathbb {C}P^2$</annotation>\u0000 </semantics></math>-stable diffeomorphisms if and only if the Gluck twist acts trivially. This may be interpreted as the absence of fermions amongst the ‘point particles’ of the field theory. Such fermion-free field theories cannot distinguish homotopy equivalent 4-manifolds. Throughout, we illustrate our results with the Crane–Yetter–Kauffman field theory associated to a ribbon fusion category, settling in the negative the question of whether it is sensitive to smooth structure. As a purely algebraic corollary of our results applied to this field theory, we show that a ribbon fusion category contains a fermionic object if and only if its Gauss sums vanish.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 2","pages":"542-566"},"PeriodicalIF":1.1,"publicationDate":"2023-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12288","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50128639","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Simplicial descent for Chekanov–Eliashberg dg-algebras","authors":"Johan Asplund","doi":"10.1112/topo.12289","DOIUrl":"10.1112/topo.12289","url":null,"abstract":"<p>We introduce a type of surgery decomposition of Weinstein manifolds that we call <i>simplicial decompositions</i>. The main result of this paper is that the Chekanov–Eliashberg dg-algebra of the attaching spheres of a Weinstein manifold satisfies a descent (cosheaf) property with respect to a simplicial decomposition. Simplicial decompositions generalize the notion of Weinstein connected sum and we show that there is a one-to-one correspondence (up to Weinstein homotopy) between simplicial decompositions and so-called good sectorial covers. As an application, we explicitly compute the Chekanov–Eliashberg dg-algebra of the Legendrian attaching spheres of a plumbing of copies of cotangent bundles of spheres of dimension at least three according to any plumbing quiver. We show by explicit computation that this Chekanov–Eliashberg dg-algebra is quasi-isomorphic to the Ginzburg dg-algebra of the plumbing quiver.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 2","pages":"489-541"},"PeriodicalIF":1.1,"publicationDate":"2023-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43939260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Holonomy of complex projective structures on surfaces with prescribed branch data","authors":"Thomas Le Fils","doi":"10.1112/topo.12287","DOIUrl":"10.1112/topo.12287","url":null,"abstract":"<p>We characterize the representations of the fundamental group of a closed surface to <math>\u0000 <semantics>\u0000 <mrow>\u0000 <msub>\u0000 <mi>PSL</mi>\u0000 <mn>2</mn>\u0000 </msub>\u0000 <mrow>\u0000 <mo>(</mo>\u0000 <mi>C</mi>\u0000 <mo>)</mo>\u0000 </mrow>\u0000 </mrow>\u0000 <annotation>$mathrm{PSL}_2(mathbb {C})$</annotation>\u0000 </semantics></math> that arise as the holonomy of a branched complex projective structure with fixed branch divisor. In particular, we compute the holonomies of the spherical metrics with prescribed integral conical angles and the holonomies of affine structures with fixed conical angles on closed surfaces.</p>","PeriodicalId":56114,"journal":{"name":"Journal of Topology","volume":"16 1","pages":"430-487"},"PeriodicalIF":1.1,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/topo.12287","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45734925","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}