-
Coherent loop states and angular momentum
Authors:
Bruce Bartlett,
Nzaganya Nzaganya
Abstract:
We study Bohr-Sommerfeld states in the context of the irreducible representations of SU(2). These states offer a precise bridge between the classical and quantum descriptions of angular momentum. We show that they recover the usual basis of angular momentum eigenstates used in physics, and give a self-contained proof in this setting of the formula of Bothwick, Paul and Uribe for the asymptotics of…
▽ More
We study Bohr-Sommerfeld states in the context of the irreducible representations of SU(2). These states offer a precise bridge between the classical and quantum descriptions of angular momentum. We show that they recover the usual basis of angular momentum eigenstates used in physics, and give a self-contained proof in this setting of the formula of Bothwick, Paul and Uribe for the asymptotics of the inner product of arbitrary coherent loop states. As an application, we use these states to derive Littlejohn and Yu's geometric formula for the asymptotics of the Wigner matrix elements.
△ Less
Submitted 29 June, 2023;
originally announced June 2023.
-
Three-dimensional TQFTs via string-nets and two-dimensional surgery
Authors:
Bruce Bartlett
Abstract:
If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $Σ$ the vector space $Z_\text{SN}(Σ)$ of linear combinations of $C$-labelled graphs on $Σ$ modulo local relations, in a way which is functorial with respect to orientation-preserving diffeomorphisms of surfaces. We show how to extend this assignment to a 3-dimensional topological quantum f…
▽ More
If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $Σ$ the vector space $Z_\text{SN}(Σ)$ of linear combinations of $C$-labelled graphs on $Σ$ modulo local relations, in a way which is functorial with respect to orientation-preserving diffeomorphisms of surfaces. We show how to extend this assignment to a 3-dimensional topological quantum field theory (TQFT), by defining how the surgery generators in Juhász' presentation of the oriented 3-dimensional bordism category act on the string-net vector spaces. We show that the resulting TQFT, which is formulated completely in the two-dimensional graphical language of string-nets, is an alternative description of the Turaev-Viro state sum model.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Reciprocity of the Wigner derivative for spherical tetrahedra
Authors:
Bruce Bartlett,
V. Hosana Ranaivomanana
Abstract:
The Wigner derivative is the partial derivative of dihedral angle with respect to opposite edge length in a tetrahedron, all other edge lengths remaining fixed. We compute the inverse Wigner derivative for spherical tetrahedra, namely the partial derivative of edge length with respect to opposite dihedral angle, all other dihedral angles remaining fixed. We show that the inverse Wigner derivative…
▽ More
The Wigner derivative is the partial derivative of dihedral angle with respect to opposite edge length in a tetrahedron, all other edge lengths remaining fixed. We compute the inverse Wigner derivative for spherical tetrahedra, namely the partial derivative of edge length with respect to opposite dihedral angle, all other dihedral angles remaining fixed. We show that the inverse Wigner derivative is actually equal to the Wigner derivative. These computations are motivated by the asymptotics of the classical and quantum 6j symbols for SU(2).
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
Extended TQFTs via Generators and Relations I: The Extended Toric Code
Authors:
Bruce Bartlett,
Gerrit Goosen
Abstract:
In his PhD thesis, Goosen combined the string-net and the generators-and-relations formalisms for arbitrary once-extended 3-dimensional TQFTs. In this paper we work this out in detail for the simplest non-trivial example, where the underlying spherical fusion category is the category of $\mathbb{Z}/2\mathbb{Z}$-graded vector spaces. This allows us to give an elementary string-net description of th…
▽ More
In his PhD thesis, Goosen combined the string-net and the generators-and-relations formalisms for arbitrary once-extended 3-dimensional TQFTs. In this paper we work this out in detail for the simplest non-trivial example, where the underlying spherical fusion category is the category of $\mathbb{Z}/2\mathbb{Z}$-graded vector spaces. This allows us to give an elementary string-net description of the linear maps associated to 3-dimensional bordisms. The string-net formalism also simplifies the description of the mapping class group action in the resulting TQFT. We conclude the paper by performing some example calculations from this viewpoint.
△ Less
Submitted 2 July, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Modular categories as representations of the 3-dimensional bordism 2-category
Authors:
Bruce Bartlett,
Christopher L. Douglas,
Christopher J. Schommer-Pries,
Jamie Vicary
Abstract:
We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.
We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Fusion categories via string diagrams
Authors:
Bruce Bartlett
Abstract:
We use the string diagram calculus to give graphical proofs of the basic results of Etingof, Nikshych and Ostrik on fusion categories. These results include: the quadruple dual is canonically isomorphic to the identity, positivity of the paired dimensions, and Ocneanu rigidity. We introduce the pairing convention as a convenient graphical framework for working with fusion categories. We use this f…
▽ More
We use the string diagram calculus to give graphical proofs of the basic results of Etingof, Nikshych and Ostrik on fusion categories. These results include: the quadruple dual is canonically isomorphic to the identity, positivity of the paired dimensions, and Ocneanu rigidity. We introduce the pairing convention as a convenient graphical framework for working with fusion categories. We use this framework to express the pivotal operators as a product of the apex associator monodromy and the pivotal indicators. We also characterize pivotal structures as solutions of an explicit set of algebraic equations over the complex numbers.
△ Less
Submitted 20 July, 2015; v1 submitted 10 February, 2015;
originally announced February 2015.
-
Extended 3-dimensional bordism as the theory of modular objects
Authors:
Bruce Bartlett,
Christopher L. Douglas,
Christopher J. Schommer-Pries,
Jamie Vicary
Abstract:
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-, and 3-manifolds is the free symmetric monoidal bicategory on a single anomaly-…
▽ More
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-, and 3-manifolds is the free symmetric monoidal bicategory on a single anomaly-free modular object.
△ Less
Submitted 4 November, 2014;
originally announced November 2014.
-
Quasistrict symmetric monoidal 2-categories via wire diagrams
Authors:
Bruce Bartlett
Abstract:
In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and emphasizes the central role played by the interchangor coherence isomorphisms.
In this paper we give an expository account of quasistrict symmetric monoidal 2-categories, as introduced by Schommer-Pries. We reformulate the definition using a graphical calculus called wire diagrams, which facilitates computations and emphasizes the central role played by the interchangor coherence isomorphisms.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
On unitary 2-representations of finite groups and topological quantum field theory
Authors:
Bruce Bartlett
Abstract:
This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the 2-category of unitary 2-representations of a finite group is thought of as the `2-category assigned to the point' in the untwisted finite group model.
The…
▽ More
This thesis contains various results on unitary 2-representations of finite groups and their 2-characters, as well as on pivotal structures for fusion categories. The motivation is extended topological quantum field theory (TQFT), where the 2-category of unitary 2-representations of a finite group is thought of as the `2-category assigned to the point' in the untwisted finite group model.
The first result is that the braided monoidal category of transformations of the identity on the 2-category of unitary 2-representations of a finite group computes as the category of conjugation equivariant vector bundles over the group equipped with the fusion tensor product. This result is consistent with the extended TQFT hypotheses of Baez and Dolan, since it establishes that the category assigned to the circle can be obtained as the `higher trace of the identity' of the 2-category assigned to the point.
The second result is about 2-characters of 2-representations, a concept which has been introduced independently by Ganter and Kapranov. It is shown that the 2-character of a unitary 2-representation can be made functorial with respect to morphisms of 2-representations, and that in fact the 2-character is a unitarily fully faithful functor from the complexified Grothendieck category of unitary 2-representations to the category of unitary equivariant vector bundles over the group.
The final result is about pivotal structures on fusion categories, with a view towards a conjecture made by Etingof, Nikshych and Ostrik. It is shown that a pivotal structure on a fusion category cannot exist unless certain involutions on the hom-sets are plus or minus the identity map, in which case a pivotal structure is the same thing as a twisted monoidal natural transformation of the identity functor on the category. Moreover the pivotal structure can be made spherical if and only if these signs can be removed.
△ Less
Submitted 26 January, 2009;
originally announced January 2009.
-
The geometry of unitary 2-representations of finite groups and their 2-characters
Authors:
Bruce Bartlett
Abstract:
Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2-representations of finite groups on 2-Hilbert spaces, and their 2-characters. We show how the basic ideas of geometric quantization are `categorified' in this context: just as representations of groups correspond to equivariant line bundles, 2-representations of groups correspond to equivariant gerbe…
▽ More
Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2-representations of finite groups on 2-Hilbert spaces, and their 2-characters. We show how the basic ideas of geometric quantization are `categorified' in this context: just as representations of groups correspond to equivariant line bundles, 2-representations of groups correspond to equivariant gerbes. We also show how the 2-character of a 2-representation can be made functorial with respect to morphisms of 2-representations. Under the geometric correspondence, the 2-character of a 2-representation corresponds to the geometric character of its associated equivariant gerbe. This enables us to show that the complexified 2-character is a unitarily fully faithful functor from the complexified homotopy category of unitary 2-representations to the category of unitary equivariant vector bundles over the group.
△ Less
Submitted 21 July, 2008; v1 submitted 9 July, 2008;
originally announced July 2008.
-
Categorical Aspects of Topological Quantum Field Theories
Authors:
Bruce H. Bartlett
Abstract:
This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of vector spaces. In two dimensions, they are classified by Frobenius algebras. In three dimensions, and under certain conditions, they are classified by modular cat…
▽ More
This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of vector spaces. In two dimensions, they are classified by Frobenius algebras. In three dimensions, and under certain conditions, they are classified by modular categories. These are special kinds of categories in which topological notions such as braidings and twists play a prominent role. There is a powerful graphical calculus available for working in such categories, which may be regarded as a generalization of the Feynman diagrams method familiar in physics. This method is introduced and the necessary algebraic structure is graphically motivated step by step.
A large subclass of two-dimensional topological field theories can be obtained from a lattice gauge theory construction using triangulations. In these theories, the gauge group is finite. This construction is reviewed, from both the original algebraic perspective as well as using the graphical calculus developed in the earlier chapters.
This finite gauge group toy model can be defined in all dimensions, and has a claim to being the simplest non-trivial quantum field theory. We take the opportunity to show explicitly the calculation of the modular category arising from this model in three dimensions, and compare this algebraic data with the corresponding data in two dimensions, computed both geometrically and from triangulations. We use this as an example to introduce the idea of a quantum field theory as producing a tower of algebraic structures, each dimension related to the previous by the process of categorification.
△ Less
Submitted 5 December, 2005;
originally announced December 2005.
