軽尾 浩晃

In the paper, we show some properties of (reduced) stated SL($n$)-skein algebras related to their centers for essentially bordered pb surfaces, especially their centers, finitely generation over their centers, and their PI-degrees. The proofs are based on the quantum trace maps, embeddings of (reduced) stated SL($n$)-skein algebras into quantum tori appearing in higher Teichmüller theory. Thanks to the Unicity theorem in [BG02, FKBL19], we can understand the representation theory of (reduced) stated SL($n$)-skein algebras. Moreover, the applications are beyond low-dimensional topology. For example, we can access to the representation theory of unrestricted quantum moduli algebras, and that of quantum higher cluster algebras potentially.

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. This integrality answers a question of Roger-Yang for 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.

We generalize the quantum duality map $\mathbb{I}_{\mathcal{A } }$ of Allegretti--Kim [AK17] for punctured closed surfaces to general marked surfaces. When the marked surface has no interior marked points, we investigate its compatibility with the quantum duality map $\mathbb{I}_{\mathcal{A } }$ on the dual side based on the quantum bracelets basis [Thu14, MQ23]. Our construction factors through reduced stated skein algebras, based on the quantum trace maps [Lê18] together with an appropriate way of \emph{skein lifting} of integral $\mathcal{A}$-laminations. We also give skein theoretic proofs for some expected properties of Laurent expressions, and positivity of structure constants for marked disks and a marked annulus.

We study a generalized Witten's finiteness conjecture for the skein modules of oriented compact 3-manifolds with boundary. We formulate an equivalent version of the generalized finiteness conjecture using handlebodies and 2-handles, and prove the conjecture for some classes with the handlebodies of genus 2 and 3 using the equivalent version.

We classify the finite dimensional semi-weight representations of the reduced stated skein algebras at odd roots of unity of connected essential marked surfaces which either have a boundary component with at least two boundary arcs or which do not have any unmarked boundary component.

We compute the Azumaya loci of Kauffman-bracket skein algebras of closed surfaces at odd roots of unity and provide partial results for open surfaces as well. As applications, we give an alternative definition of the projective representations of the Torelli groups derived from non-semisimple TQFTs and we strengthen a result by Frohman-Kania Bartoszynska-Lê about the dimensions of some quotients of the skein modules of closed 3-manifolds.

In 2004, Neumann showed that the complex hyperbolic volume of a hyperbolic 3-manifold [Formula: see text] can be obtained as the image of the Dijkgraaf–Witten invariant of [Formula: see text] by a certain 3-cocycle. After that, Zickert gave an analogue of Neumann’s work for free fields containing finite fields. The author formulated a geometric method to calculate a weaker version of Zickert’s analogue, called the reduced Dijkgraaf–Witten invariant, for finite fields and gave a formula for twist knot complements and [Formula: see text] in his previous work. In this paper, we show concretely how to calculate the reduced Dijkgraaf–Witten invariants of double twist knot complements and [Formula: see text], and give a formula of them for [Formula: see text].

For the handlebody [Formula: see text] of genus [Formula: see text], Przytycki studied the (Kauffman bracket) skein module [Formula: see text] of the connected sum [Formula: see text] at [Formula: see text]. One of his results is that, in the case when [Formula: see text] is invertible for any [Formula: see text], a homomorphism [Formula: see text] is an isomorphism, which is induced by a natural way. In this paper, in the case when [Formula: see text], the ground ring is [Formula: see text], and [Formula: see text] is a [Formula: see text]-th root of unity ([Formula: see text]), we show that [Formula: see text] is not injective.

Let [Formula: see text] be a closed oriented 3-manifold and let [Formula: see text] be a discrete group. We consider a representation [Formula: see text]. For a 3-cocycle [Formula: see text], the Dijkgraaf–Witten invariant is given by [Formula: see text], where [Formula: see text] is the map induced by [Formula: see text], and [Formula: see text] denotes the fundamental class of [Formula: see text]. Note that [Formula: see text], where [Formula: see text] is the map induced by [Formula: see text], we consider an equivalent invariant [Formula: see text], and we also regard it as the Dijkgraaf–Witten invariant. In 2004, Neumann described the complex hyperbolic volume of [Formula: see text] in terms of the image of the Dijkgraaf–Witten invariant for [Formula: see text] by the Bloch–Wigner map from [Formula: see text] to the Bloch group of [Formula: see text]. In this paper, by replacing [Formula: see text] with a finite field [Formula: see text], we calculate the reduced Dijkgraaf–Witten invariants of the complements of twist knots, where the reduced Dijkgraaf–Witten invariant is the image of the Dijkgraaf–Witten invariant for SL[Formula: see text] by the Bloch–Wigner map from [Formula: see text] to the Bloch group of [Formula: see text].