{"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":"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}