Showing 1–8 of 8 results for author: Bloomquist, W

Degenerations Of Skein Algebras And Quantum Traces

Authors: Wade Bloomquist, Hiroaki Karuo, Thang Lê

Abstract: We introduce a joint generalization, called LRY skein algebras, of Kauffman bracket skein algebras (of surfaces) that encompasses both Roger-Yang skein algebras and stated skein algebras. We will show that, over an arbitrary ground ring which is a commutative domain, the LRY skein algebras are domains and have degenerations (by filtrations) equal to monomial subalgebras of quantum tori. For surfac… ▽ More We introduce a joint generalization, called LRY skein algebras, of Kauffman bracket skein algebras (of surfaces) that encompasses both Roger-Yang skein algebras and stated skein algebras. We will show that, over an arbitrary ground ring which is a commutative domain, the LRY skein algebras are domains and have degenerations (by filtrations) equal to monomial subalgebras of quantum tori. For surfaces without interior punctures, this integrality generalizes a result of Moon and Wong to the most general ground ring. We also calculate the Gelfand-Kirillov dimension of LRY algebras and show they are Noetherian if the ground ring is. Moreover they are orderly finitely generated. To study the LRY algebras and prove the above-mentioned results, we construct quantum traces, both the so-called X-version for all surfaces and also an A-version for a smaller class of surfaces. We also introduce a modified version of Dehn-Thurston coordinates for curves which are more suitable for the study of skein algebras as they pick up the highest degree terms of products in certain natural filtrations. △ Less

Submitted 18 June, 2024; v1 submitted 31 August, 2023; originally announced August 2023.

Comments: 60 pages, 21 figures, Ver 2: updates have been made to improve the exposition of several proofs, Fig 16 was added for clarity, Ver 3: Final version

MSC Class: 57K31 (Primary); 57K20; 16W70 (Secondary)

Quotients of braid groups by their congruence subgroups

Authors: Wade Bloomquist, Peter Patzt, Nancy Scherich

Abstract: The congruence subgroups of braid groups arise from a congruence condition on the integral Burau representation $B_n \to \operatorname{GL}_{n}(\mathbb Z)$. We find the image of such congruence subgroups in $\operatorname{GL}_{n}(\mathbb Z)$-an open problem posed by Dan Margalit. Additionally, we characterize the quotients of braid groups by their congruence subgroups in terms of symplectic congrue… ▽ More The congruence subgroups of braid groups arise from a congruence condition on the integral Burau representation $B_n \to \operatorname{GL}_{n}(\mathbb Z)$. We find the image of such congruence subgroups in $\operatorname{GL}_{n}(\mathbb Z)$-an open problem posed by Dan Margalit. Additionally, we characterize the quotients of braid groups by their congruence subgroups in terms of symplectic congruence subgroups. △ Less

Submitted 12 June, 2023; v1 submitted 20 September, 2022; originally announced September 2022.

Comments: Important correction: The previous version incorrectly used the reduced Burau representation

Report number: CPH-GEOTOP-DNRF151 MSC Class: 20F36 (Primary); 20H05; 57K20 (Secondary)

On quotients of congruence subgroups of braid groups

Authors: Jessica Appel, Wade Bloomquist, Katie Gravel, Annie Holden

Abstract: The integral Burau representation provides a map from the braid group into a group of integral matrices. This allows for a definition of congruence subgroups of the braid group as the preimage of the usual principal congruence subgroups of integral matrices. We explore the structure these congruence subgroups by examining some of the quotients that may arise in the series induced by divisibility o… ▽ More The integral Burau representation provides a map from the braid group into a group of integral matrices. This allows for a definition of congruence subgroups of the braid group as the preimage of the usual principal congruence subgroups of integral matrices. We explore the structure these congruence subgroups by examining some of the quotients that may arise in the series induced by divisibility of levels. We build on the work of Stylianakis on symmetric quotients of congruence subgroups, which itself generalizes the quotient of the braid group by the pure braid group. We accomplish this by utilizing results of Newman on integral matrices and explicitly finding elements in the preimage of any transposition. Our generalization is made possible by avoiding the use of a generating set for congruence subgroups. We find further generalizations based on results of Brendle and Margalit as well as Kordek and Margalit on the level four congruence subgroup. This gives families of quotients which are not isomorphic to symmetric groups. △ Less

Submitted 27 November, 2020; originally announced November 2020.

Comments: 5 pages

MSC Class: 20F36 (Primary); 20H05 (Secondary)

The Chebyshev-Frobenius homomorphism for stated skein modules of 3-manifolds

Authors: Wade Bloomquist, Thang T. Q. Lê

Abstract: We study the stated skein modules of marked 3-manifolds. We generalize the splitting homomorphism for stated skein algebras of surfaces to a splitting homomorphism for stated skein modules of 3-manifolds. We show that there exists a Chebyshev-Frobenius homomorphism for the stated skein modules of 3-manifolds which extends the Chebyshev homomorphism of the skein algebras of unmarked surfaces origin… ▽ More We study the stated skein modules of marked 3-manifolds. We generalize the splitting homomorphism for stated skein algebras of surfaces to a splitting homomorphism for stated skein modules of 3-manifolds. We show that there exists a Chebyshev-Frobenius homomorphism for the stated skein modules of 3-manifolds which extends the Chebyshev homomorphism of the skein algebras of unmarked surfaces originally constructed by Bonahon and Wong. Additionally, we show that the Chebyshev-Frobenius map commutes with the splitting homomorphism. This is then used to show that in the case of the stated skein algebra of a surface, the Chebyshev-Frobenius map is the unique extension of the dual Frobenius map (in the sense of Lusztig) of $\mathcal{O}_{q^2}(SL(2))$ through the triangular decomposition afforded by an ideal triangulation of the surface. In particular, this gives a skein theoretic construction of the Hopf dual of Lusztig's Frobenius homomorphism. A second conceptual framework is given, which shows that the Chebyshev-Frobenius homomorphism for the stated skein algebra of a surface is the unique restriction of the Frobenius homomorphism of quantum tori through the quantum trace map. △ Less

Submitted 11 November, 2020; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 44 pages, 27 figures; Additional references added

MSC Class: 57N10 (Primary); 57M25 (Secondary)

On Topological Quantum Computing With Mapping Class Group Representations

Authors: Wade Bloomquist, Zhenghan Wang

Abstract: We propose an encoding for topological quantum computation utilizing quantum representations of mapping class groups. Leakage into a non-computational subspace seems to be unavoidable for universality in general. We are interested in the possible gate sets which can emerge in this setting. As a first step, we prove that for abelian anyons, all gates from these mapping class group representations a… ▽ More We propose an encoding for topological quantum computation utilizing quantum representations of mapping class groups. Leakage into a non-computational subspace seems to be unavoidable for universality in general. We are interested in the possible gate sets which can emerge in this setting. As a first step, we prove that for abelian anyons, all gates from these mapping class group representations are normalizer gates. Results of Van den Nest then allow us to conclude that for abelian anyons this quantum computing scheme can be simulated efficiently on a classical computer. With an eye toward more general anyon models we additionally show that for Fibonnaci anyons, quantum representations of mapping class groups give rise to gates which are not generalized Clifford gates. △ Less

Submitted 6 November, 2018; v1 submitted 11 May, 2018; originally announced May 2018.

Comments: 26 pages, 18 figures, Updates to presentation of material. To appear in Journal of Physics A

MSC Class: 57M99; 57R56; 81P68

Asymptotic Faithfulness of Quantum $\mathrm{Sp}(4)$ Mapping Class Group Representations

Authors: Wade Bloomquist

Abstract: We prove asymptotic faithfulness for the quantum $\mathrm{Sp}(4)$ mapping class group representation. This provides the first example of asymptotic faithfulness lying outside of the $A_n$ family. The methods used are generalized from the proof of asymptotic faithfulness for skein $SU(2)_k$ mapping class group representations. In short, for any noncentral mapping class a comparison vector is found… ▽ More We prove asymptotic faithfulness for the quantum $\mathrm{Sp}(4)$ mapping class group representation. This provides the first example of asymptotic faithfulness lying outside of the $A_n$ family. The methods used are generalized from the proof of asymptotic faithfulness for skein $SU(2)_k$ mapping class group representations. In short, for any noncentral mapping class a comparison vector is found which allows for the mapping class to be detected. △ Less

Submitted 5 February, 2018; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: 12 pages, 13 figures. arXiv admin note: text overlap with arXiv:1611.04551

MSC Class: 57R56; 57M27

Admissibility and the $C_2$ Spider

Authors: Wade Bloomquist, Andres Mejia

Abstract: A tensor category is multiplicity-free if for any objects $A,B,C$ we have that $\mathrm{Hom}(A\otimes B\otimes C,\mathbb{C})$ is either $0$ or $1$ dimensional. It is known that $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ is not multiplicty-free. We find a full subcategory of $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ which is multiplicty-free. A description of the dimension of these $\mathrm{Hom}$ spaces is given… ▽ More A tensor category is multiplicity-free if for any objects $A,B,C$ we have that $\mathrm{Hom}(A\otimes B\otimes C,\mathbb{C})$ is either $0$ or $1$ dimensional. It is known that $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ is not multiplicty-free. We find a full subcategory of $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ which is multiplicty-free. A description of the dimension of these $\mathrm{Hom}$ spaces is given for this subcategory, including when $q$ is a root of unity. The methods used arise from the description, given by Kuperberg, of $Rep^{uni}(U_q(\mathfrak{sp}(4)))$ as a spider. The main tool is the recursive definition of clasps given by Kim. In particular, we provide an appropriate notion of admissibility when looking at the $\mathrm{Sp}(4)_k$ ribbon graph invariants with restricted edge labels. △ Less

Submitted 3 January, 2018; originally announced January 2018.

Comments: 16 pages

MSC Class: 57R56; 17B37; 81R50

Comparing Skein and Quantum Group Representations and Their Application to Asymptotic Faithfulness

Authors: Wade Bloomquist, Zhenghan Wang

Abstract: We generalize the asymptotic faithfulness of the skein quantum $SU(2)$ representations of mapping class groups of orientable closed surfaces to skein $SU(3)$. Skein quantum representations of mapping class groups are different from the Reshetikin-Turaev ones from quantum groups or geometric quantization because they are given by different modular tensor categories. We conjecture asymptotic faithfu… ▽ More We generalize the asymptotic faithfulness of the skein quantum $SU(2)$ representations of mapping class groups of orientable closed surfaces to skein $SU(3)$. Skein quantum representations of mapping class groups are different from the Reshetikin-Turaev ones from quantum groups or geometric quantization because they are given by different modular tensor categories. We conjecture asymptotic faithfulness holds for skein quantum $G$ representations when $G$ is a simply-connected simple Lie group. The difficulty for such a generalization lies in the lack of an explicit description of the fusion spaces with multiplicities to define an appropriate complexity of state vectors. △ Less

Submitted 14 January, 2018; v1 submitted 14 November, 2016; originally announced November 2016.

Comments: 18 pages, 13 figures, Final version to appear in Pure and Applied Mathematics Quarterly

MSC Class: 57R56; 57M99