-
On the Volume Density Spectrum of Fully Augmented Links
Authors:
Alice Kwon,
Ying Hong Tham
Abstract:
For a hyperbolic fully augmented link in $S^3$, its \emph{FAL volume density} is the ratio of its volume to the number of augmentations. We show that the set of FAL volume densities is dense in $[2\voct, 10\vtet)$, but discrete in $[\voct,2\voct)$.
For a hyperbolic fully augmented link in $S^3$, its \emph{FAL volume density} is the ratio of its volume to the number of augmentations. We show that the set of FAL volume densities is dense in $[2\voct, 10\vtet)$, but discrete in $[\voct,2\voct)$.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Excision for Spaces of Admissible Skeins
Authors:
Ingo Runkel,
Christoph Schweigert,
Ying Hong Tham
Abstract:
The skein module for a d-dimensional manifold is a vector space spanned by embedded framed graphs decorated by a category A with suitable extra structure depending on the dimension d, modulo local relations which hold inside d-balls. For a full subcategory S of A, an S-admissible skein module is defined analogously, except that local relations for a given ball may only be applied if outside the ba…
▽ More
The skein module for a d-dimensional manifold is a vector space spanned by embedded framed graphs decorated by a category A with suitable extra structure depending on the dimension d, modulo local relations which hold inside d-balls. For a full subcategory S of A, an S-admissible skein module is defined analogously, except that local relations for a given ball may only be applied if outside the ball at least one edge is coloured in S.
In this paper we prove that admissible skein modules in any dimension satisfy excision, namely that the skein module of a glued manifold is expressed as a coend over boundary values on the boundary components glued together. We furthermore relate skein modules for different choices of S, apply our result to cylinder categories, and recover the relation to modified traces.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Generalization of the Thistlethwaite--Tsvietkova Method
Authors:
Alice Kwon,
Byungdo Park,
Ying Hong Tham
Abstract:
Thurston's equations determine the hyperbolic structure of a 3-manifold with a triangulation. In work by Thistlethwaite and Tsvietkova, an alternative method was developed for link complements in $S^3$ depending on the link diagram, where a set of labels are associated to the vertices and edges of the link diagram, and one attempts to solve a set of equations on the labels. Under certain condition…
▽ More
Thurston's equations determine the hyperbolic structure of a 3-manifold with a triangulation. In work by Thistlethwaite and Tsvietkova, an alternative method was developed for link complements in $S^3$ depending on the link diagram, where a set of labels are associated to the vertices and edges of the link diagram, and one attempts to solve a set of equations on the labels. Under certain conditions, there exists a solution to these equations that corresponds to the complete hyperbolic structure, but in general it is difficult to determine which one it is. We generalize this method to 3-manifolds with a polyhedral decomposition, and show that solutions to the equations correspond to $PSL(2,\mathbb{C})$-representations of the fundamental group, and that the solution with the largest volume corresponds to the complete hyperbolic structure. We also consider different classes of complements of links, in particular links in the thickened torus and fully augmented links. For the latter, we establish a correspondence between solutions satisfying some criteria and circle packings realizing the region graph associated to the fully augmented link.
△ Less
Submitted 24 January, 2025; v1 submitted 3 September, 2023;
originally announced September 2023.
-
The Y-Product
Authors:
Alice Kwon,
Ying Hong Tham
Abstract:
We present a topological construction that provides many examples of non-commutative Frobenius algebras that generalizes the well-known pair-of-pants. When applied to the solid torus, in conjunction with Crane-Yetter theory, we provide a topological proof of the Verlinde formula. We also apply the construction to a solid handlebody of higher genus, leading to a generalization of the Verlinde formu…
▽ More
We present a topological construction that provides many examples of non-commutative Frobenius algebras that generalizes the well-known pair-of-pants. When applied to the solid torus, in conjunction with Crane-Yetter theory, we provide a topological proof of the Verlinde formula. We also apply the construction to a solid handlebody of higher genus, leading to a generalization of the Verlinde formula (not the higher genus Verlinde formula); in particular, we define a generalized $S$-matrix. Finally, we discuss the relation between our construction and Yetter's construction of a handle as a Hopf algebra, and give a generalization.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Explicit Factorization of a Categorical Center
Authors:
Jin-Cheng Guu,
Ying Hong Tham
Abstract:
Given a braided fusion category $C$, it is well known that the natural map $C \boxtimes C^{bop} \to Z(C)$ from the square of $C$ to the (Drinfeld) categorical center $Z(C)$ is an equivalence if and only if $C$ is modular. However, it is not clear how to construct the inverse and the natural isomorphisms. In this work, we provide an explicit construction using insights from a specific quantum field…
▽ More
Given a braided fusion category $C$, it is well known that the natural map $C \boxtimes C^{bop} \to Z(C)$ from the square of $C$ to the (Drinfeld) categorical center $Z(C)$ is an equivalence if and only if $C$ is modular. However, it is not clear how to construct the inverse and the natural isomorphisms. In this work, we provide an explicit construction using insights from a specific quantum field theory, and explore how the equivalence fails for the degenerate cases.
△ Less
Submitted 12 November, 2021;
originally announced November 2021.
-
On the Category of Boundary Values in the Extended Crane-Yetter TQFT
Authors:
Ying Hong Tham
Abstract:
The Crane-Yetter state sum is an invariant of closed 4-manifolds, defined in terms of a triangulation, based on 15-j symbols associated to the category A of representations over quantum sl2 (at a root of unity). In this thesis, we define the state sum in terms of a 'PLCW decomposition', which generalizes triangulations, and generalize A to an arbitrary premodular category. We extend the state sum…
▽ More
The Crane-Yetter state sum is an invariant of closed 4-manifolds, defined in terms of a triangulation, based on 15-j symbols associated to the category A of representations over quantum sl2 (at a root of unity). In this thesis, we define the state sum in terms of a 'PLCW decomposition', which generalizes triangulations, and generalize A to an arbitrary premodular category. We extend the state sum to 4-manifolds with corners, making it an extended TQFT. We also develop a parallel theory based on skeins, which are essentially A-colored graphs, and we show that the two theories are equivalent. Focusing on the 2-dimensional part, we prove several properties of skein categories, the most important of which is that they satisfy excision. We provide explicit algebraic descriptions of the category associated to the once-punctured torus and the annulus, giving rise to a new tensor product on the Drinfeld center of a premodular category. As it is well-known that, when A is modular, the Crane-Yetter state sum computes the signature of a closed 4-manifold, we connect the Crane-Yetter theory to the signature of a 4-manifold with boundary and even corners. Finally, we show that the Reshetikhin-Turaev TQFT is a boundary theory of the Crane-Yetter theory (up to a normalization).
△ Less
Submitted 30 August, 2021;
originally announced August 2021.
-
Hyperbolicity of Augmented Links in the Thickened Torus
Authors:
Alice Kwon,
Ying Hong Tham
Abstract:
For a hyperbolic link K in the thickened torus with no bigons, we show that there is a decomposition of the complement of a link L, obtained from augmenting K, into torihedra. We further decompose the torihedra into angled pyramids and finally angled tetrahedra. These fit into an angled structure on a triangulation of the link complement, and thus by [5], this shows that L is hyperbolic.
For a hyperbolic link K in the thickened torus with no bigons, we show that there is a decomposition of the complement of a link L, obtained from augmenting K, into torihedra. We further decompose the torihedra into angled pyramids and finally angled tetrahedra. These fit into an angled structure on a triangulation of the link complement, and thus by [5], this shows that L is hyperbolic.
△ Less
Submitted 29 April, 2022; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Reduced Tensor Product on the Drinfeld Center
Authors:
Ying Hong Tham
Abstract:
The annulus comes with a "stacking" operation which glues two annuli into one. This provides a tensor product structure on the category of boundary values $Z_{\text{CY}}(\text{Ann})$ associated to the annulus in an extended Crane-Yetter TQFT. It is known that $Z_{\text{CY}}(\text{Ann}) \simeq \mathcal{Z}(\mathcal{A})$, the Drinfeld center of the premodular category $\mathcal{A}$ from which…
▽ More
The annulus comes with a "stacking" operation which glues two annuli into one. This provides a tensor product structure on the category of boundary values $Z_{\text{CY}}(\text{Ann})$ associated to the annulus in an extended Crane-Yetter TQFT. It is known that $Z_{\text{CY}}(\text{Ann}) \simeq \mathcal{Z}(\mathcal{A})$, the Drinfeld center of the premodular category $\mathcal{A}$ from which $Z_{\text{CY}}$ is constructed. We give an explicit formula for the tensor product on $\mathcal{Z}(\mathcal{A})$ that corresponds to the stacking operation on $Z_{\text{CY}}(\text{Ann})$.
△ Less
Submitted 25 December, 2021; v1 submitted 20 April, 2020;
originally announced April 2020.
-
Factorization Homology and 4D TQFT
Authors:
Alexander Kirillov Jr,
Ying Hong Tham
Abstract:
In [BK], it is shown that the Turaev-Viro invariants defined for a spherical fusion category $\mathcal{A}$ extends to invariants of 3-manifolds with corners. In [Kir], an equivalent formulation for the 2-1 part of the theory (2-manifolds with boundary) is described using the space of "stringnets with boundary conditions" as the vector spaces associated to 2-manifolds with boundary. Here we constru…
▽ More
In [BK], it is shown that the Turaev-Viro invariants defined for a spherical fusion category $\mathcal{A}$ extends to invariants of 3-manifolds with corners. In [Kir], an equivalent formulation for the 2-1 part of the theory (2-manifolds with boundary) is described using the space of "stringnets with boundary conditions" as the vector spaces associated to 2-manifolds with boundary. Here we construct a similar theory for the 3-2 part of the 4-3-2 theory in [CY1993].
△ Less
Submitted 28 April, 2021; v1 submitted 20 February, 2020;
originally announced February 2020.
-
The Elliptic Drinfeld Center of a Premodular Category
Authors:
Ying Hong Tham
Abstract:
Given a tensor category C, one constructs its Drinfeld center Z(C) which is a braided tensor category, having as objects pairs (X, lambda), where X in Obj(C) and lambda is a half-braiding. For a premodular category C, we construct a new category Zel(C) which we call the Elliptic Drinfeld Center, which has objects (X, lambda1, lambda2), where the lambda i's are half-braidings that satisfy some comp…
▽ More
Given a tensor category C, one constructs its Drinfeld center Z(C) which is a braided tensor category, having as objects pairs (X, lambda), where X in Obj(C) and lambda is a half-braiding. For a premodular category C, we construct a new category Zel(C) which we call the Elliptic Drinfeld Center, which has objects (X, lambda1, lambda2), where the lambda i's are half-braidings that satisfy some compatibility conditions. We discuss an SL2(Z)-action on Zel(C) that is related to the anomaly appearing in Reshetikhin-Turaev theory. This construction is motivated from the study of the extended Crane-Yetter TQFT, in particular the category associated to the once punctured torus.
△ Less
Submitted 2 December, 2020; v1 submitted 20 April, 2019;
originally announced April 2019.