Source author record

Thang T. Q. Lê

Thang T. Q. Lê appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GT math.QA math.CO math.RA math.RT

Catalog footprint

What is connected

5works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2023arXiv

Root of unity quantum cluster algebras and Cayley-Hamilton algebras

We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras.

preprint2020arXiv

Quantum traces and embeddings of stated skein algebras into quantum tori

The stated skein algebra of a punctured bordered surface (or equivalently, a marked surface) is a generalization of the well-known Kauffman bracket skein algebra of unmarked surfaces and can be considered as an extension of the quantum special linear group $\mathcal{O}_{q^2}(SL_2)$ from a bigon to general surfaces. We show that the stated skein algebra of a punctured bordered surface with non-empty boundary can be embedded into quantum tori in two different ways. The first embedding can be considered as a quantization of the map expressing the trace of a closed curve in terms of the shear coordinates of the enhanced Teichmüller space, and is a lift of Bonahon-Wong's quantum trace map. The second embedding can be considered as a quantization of the map expresses the trace of a closed curve in terms of the lambda length coordinates of the decorated Teichmüller space, and is an extension of Muller's quantum trace map. We explain the relation between the two quantum trace maps. We also show that the quantum cluster algebra of Muller is equal to a reduced version of the stated skein algebra. As applications we show that the stated skein algebra is an orderly finitely generated Noetherian domain and calculate its Gelfand-Kirillov dimension.

preprint2020arXiv

Stated skein modules of marked 3-manifolds/surfaces, a survey

We give a survey of some old and new results about the stated skein modules/algebras of 3-manifolds/surfaces. For generic quantum parameter, we discuss the splitting homomorphism for the 3-manifold case, general structures of the stated skein algebras of marked surfaces (or bordered punctured surfaces) and their embeddings into quantum tori. For roots of 1 quantum parameter, we discuss the Frobenius homomorphism (for both marked 3-manifolds and marked surfaces), describe the center of the skein algebra of marked surfaces, the dimension of the skein algebra over the center, and the representation theory of the skein algebra. In particular, we show that the skein algebra of non-closed marked surface at any root of 1 is a maximal order. We give a full description of the Azumaya locus of the skein algebra of the puncture torus and give partial results for closed surfaces.

preprint2016arXiv

On positivity of Kauffman bracket skein algebras of surfaces

We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras of surfaces.

preprint2015arXiv

Unified quantum invariants for integral homology spheres associated with simple Lie algebras

For each finite dimensional, simple, complex Lie algebra $\mathfrak g$ and each root of unity $ξ$ (with some mild restriction on the order) one can define the Witten-Reshetikhin-Turaev (WRT) quantum invariant $τ_M^{\mathfrak g}(ξ)\in \mathbb C$ of oriented 3-manifolds $M$. In the present paper we construct an invariant $J_M$ of integral homology spheres $M$ with values in the cyclotomic completion $\widehat {\mathbb Z [q]}$ of the polynomial ring $\mathbb Z [q]$, such that the evaluation of $J_M$ at each root of unity gives the WRT quantum invariant of $M$ at that root of unity. This result generalizes the case ${\mathfrak g}=sl_2$ proved by the first author. It follows that $J_M$ unifies all the quantum invariants of $M$ associated with $\mathfrak g$, and represents the quantum invariants as a kind of "analytic function" defined on the set of roots of unity. For example, $τ_M(ξ)$ for all roots of unity are determined by a "Taylor expansion" at any root of unity, and also by the values at infinitely many roots of unity of prime power orders. It follows that WRT quantum invariants $τ_M(ξ)$ for all roots of unity are determined by the Ohtsuki series, which can be regarded as the Taylor expansion at $q=1$, and hence by the Le-Murakami-Ohtsuki invariant. Another consequence is that the WRT quantum invariants $τ_M^{ \mathfrak g}(ξ)$ are algebraic integers. The construction of the invariant $J_M$ is done on the level of quantum group, and does not involve any finite dimensional representation, unlike the definition of the WRT quantum invariant. Thus, our construction gives a unified, "representation-free" definition of the quantum invariants of integral homology spheres.