Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.729300
Title: Coherence for 3-dualizable objects
Author: Araújo, Manuel
ISNI:       0000 0004 6494 0499
Awarding Body: University of Oxford
Current Institution: University of Oxford
Date of Award: 2017
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Abstract:
A fully extended framed topological field theory with target in a symmetric monoidal n-catgeory C is a symmetric monoidal functor Z from Bord(n) to C, where Bord(n) is the symmetric monoidal n-category of n-framed bordisms. The cobordism hypothesis says that such field theories are classified by fully dualizable objects in C. Given a fully dualizable object X in C, we are interested in computing the values of the corresponding field theory on specific framed bordisms. This leads to the question of finding a presentation for Bord(n). In view of the cobordism hypothesis, this can be rephrased in terms of finding coherence data for fully dualizable objects in a symmetric monoidal n-category. We prove a characterization of full dualizability of an object X in terms of existence of a dual of X and existence of adjoints for a finite number of higher morphisms. This reduces the problem of finding coherence data for fully dualizable objects to that of finding coherence data for duals and adjoints. For n=3, and in the setting of strict symmetric monoidal 3-categories, we find this coherence data, and we prove the corresponding coherence theorems. The proofs rely on extensive use of a graphical calculus for strict monoidal 3-categories.
Supervisor: Douglas, Christopher Sponsor: Engineering and Physical Sciences Research Council
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.729300  DOI: Not available
Keywords: Topological Field Theory ; Higher Categories ; Manifolds ; Topology ; Coherence ; Duals ; Adjoints
Share: