In this paper, we classify all simple modules over the quantum torus $\mathbb{C}_ν[x^{\pm1},y^{\pm1}]$ and the quantum group $U_q(\mathfrak{sl_2})$ for generic case.
We compute the action of the $\mathfrak{gl}_2$-skein algebra of the torus on the $\mathfrak{gl}_2$-skein module of the solid torus. As a result, we show that the $\mathfrak{gl}_2$-skein modules of lens spaces is spanned by $\left(\left\lfloor{\frac{p}{2}}\right \rfloor+1\right)\left(2\left\lfloor{\frac{p}{2}}\right \rfloor+1\right)$ elements.
We compute the Kauffman skein module of the complement of torus knots in S^3. Precisely, we show that these modules are isomorphic to the algebra of Sl(2,C)-characters tensored with the ring of Laurent polynomials.
In this paper we classified irreducible modules for the loop of derivations of rational quantum torus with associative $\mathbb{C}_q^1\otimes B$ action and anti-associative $\mathbb{C}_q^2\otimes B$ action on the modules.
Carrega has shown that the Kauffman bracket skein module of the 3-torus over the field of rational functions in the variable A can be generated by 9 skein elements. We show this set of generators is linearly independent.
We show that the Kauffman bracket skein module of a cylinder over the torus embeds as a subalgebra of the noncommutative torus. Using this we derive nice formulas for the Jones-Wenzl idempotents and analyze the structure of the Kauffman bracket skein module of the unknot as a module over the Kauffman bracket skein module of a cylinder over the torus.
We describe, for a few small examples, the Kauffman bracket skein algebra of a surface crossed with an interval. If the surface is a punctured torus the result is a quantization of the symmetric algebra in three variables (and an algebra closely related to a cyclic quantization of $U(so_3$). For a torus without boundary we obtain a quantization of "the symmetric homologies" of a torus (equivalently, the coordinate ring of the $SL_2(C)$-character variety of $Z \oplus Z$). Presentations are also given for the four punctured sphere and twice punctured torus. We conclude with an investigation of c…
The $n$-dimensional quantum torus $\mathcal O_{\mathbf q}((F^\times)^n)$ is defined as the associative $F$-algebra generated by $x_1, \cdots, x_n$ together with their inverses satisfying the relations $x_ix_j = q_{ij}x_jx_i$, where $\mathbf q = (q_{ij})$. We show that the modules that are finitely generated over certain commutative sub-algebras $\mathscr B$ are $\mathscr B$-torsion-free and have finite length. We determine the Gelfand-Kirillov dimensions of simple modules in the case when \[ \Kdim(\mathcal O_{\mathbf q}((F^\times)^n)) = n - 1, \] where $\Kdim$ stands for the Krull dimension. I…
We show that any module over a Heisenberg Lie algebra is an "integral" over the space of local systems for the dual torus of modules over twisted Heisenberg lattice vertex algebras
Let $A=\mathbb{C}[t_1^{\pm1},t_2^{\pm1}]$ be the algebra of Laurent polynomials in two variables and $B$ be the set of skew derivations of $A$. Let $L$ be the universal central extension of the derived Lie subalgebra of the Lie algebra $A\rtimes B$. Set $\widetilde{L}=L\oplus\mathbb{C} d_1\oplus\mathbb{C} d_2$, where $d_1$, $d_2$ are two degree derivations. A Harish-Chandra module is defined as an irreducible weight module with finite dimensional weight spaces. In this paper, we prove that a Harish-Chandra module of the Lie algebra $\widetilde{L}$ is a uniformly bounded module or a generalized…
Let $n\ge2$ be an integer, $\mathcal{K}_n$ the Weyl algebra over the Laurent polynomial algebra $A_n=\mathbb{C} [x_1^{\pm1}, x_2^{\pm1}, ..., x_n^{\pm1}]$, and $\mathbb{S}_n$ the Lie algebra of divergence zero vector fields on an $n$-dimensional torus. For any $\mathfrak{sl}_n$-module $V$ and any module $P$ over $\mathcal{K}_n$, we define an $\mathbb{S}_n$-module structure on the tensor product $P\otimes V$. In this paper, necessary and sufficient conditions for the $\mathbb{S}_n$-modules $P\otimes V$ to be simple are given, and an isomorphism criterion for nonminuscule $\mathbb{S}_n$-modules …
We investigate aspects of Kauffman bracket skein algebras of surfaces and modules of 3-manifolds using quantum torus methods. These methods come in two flavors: embedding the skein algebra into a quantum torus related to quantum Teichmuller space, or filtering the algebra and obtaining an associated graded algebra that is a monomial subalgebra of a quantum torus. We utilize the former method to generalize the Chebyshev homomorphism of Bonahon and Wong between skein algebras of surfaces to a Chebyshev-Frobenius homomorphism between skein modules of marked 3-manifolds, in the course of which we …
We construct a certain cross product of two copies of the braided dual $\tilde H$ of a quasitriangular Hopf algebra $H$, which we call the elliptic double $E_H$, and which we use to construct representations of the punctured elliptic braid group extending the well-known representations of the planar braid group attached to $H$. We show that the elliptic double is the universal source of such representations. We recover the representations of the punctured torus braid group obtained in arXiv:0805.2766, and hence construct a homomorphism to the Heisenberg double $D_H$, which is an isomorphism if…
After giving a short description, in terms of action of categories, of some of the structures associated with sl(2) and sl(3) boundary conformal field theories on a torus, we provide tables of dimensions describing the semisimple and co-semisimple blocks of the corresponding weak bialgebras (quantum groupoids), tables of quantum dimensions and orders, and tables describing induction - restriction. For reasons of size, the sl(3) tables of induction are only given for theories with self-fusion (existence of a monoidal structure).
In this paper, we use the parametrised strict deformation quantization of C*-bundles obtained in a previous paper, and give more examples and applications of this theory. In particular, it is used here to classify H_3-twisted noncommutative torus bundles over a locally compact space. This is extended to the case of general torus bundles and their parametrised strict deformation quantization. Rieffel's basic construction of an algebra deformation can be mimicked to deform a monoidal category, which deforms not only algebras but also modules. As a special case, we consider the parametrised stric…
This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a complex manifold. In this paper we enlarge this category to include objects which correspond to quasi-coherent sheaves. We then apply this framework to proving an equivalence of categories between derived categories on the noncommutative complex torus and on a holomorphic gerbe on t…
In this paper we compute the Kauffman bracket skein module of the complement of $(2, 2p+1)$-torus knots, $KBSM(T_{(2, 2p+1)}^c)$, via braids. We start by considering geometric mixed braids in $S^3$, the closure of which are mixed links in $S^3$ that represent links in the complement of $(2, 2p+1)$-torus knots, $T_{(2, 2p+1)}^c$. Using the technique of parting and combing, we obtain algebraic mixed braids, that is, mixed braids that belong to the mixed braid group $B_{2, n}$ and that are followed by their ``coset'' part, that represents $T_{(2, 2p+1)}^c$. In that way we show that links in $T_{(…
We obtain several results about representations of rational Cherednik algebras, and discuss their applications. Our first result is the Cohen-Macaulayness property (as modules over the polynomial ring) of Cherednik algebra modules with minimal support. Our second result is an explicit formula for the character of an irreducible minimal support module in type A_{n-1} for c=m/n, and an expression of its quasispherical part (i.e., the isotypic part of "hooks") in terms of the HOMFLY polynomial of a torus knot colored by a Young diagram. We use this formula and the work of Calaque, Enriquez and Et…
Modules over affine Lie superalgebras ${\cal G}$ are studied, in particular, for ${\cal G}=\hat{OSP(1,2)}$. It is shown that on studying Verma modules, much of the results in Kac-Moody algebra can be generalized to the super case. Of most importance are the generalized Kac-Kazhdan formula and the Malikov-Feigin-Fuchs construction, which give the weights and the explicit form of the singular vectors in the Verma module over affine Kac-Moody superalgebras. We have also considered the decomposition of the admissible representation of $\hat{OSP(1,2)}$ into that of $\hat{SL(2)}\otimes$Virasoro alge…
We construct an irreducible representation for the extended affine algebra of type $sl_2$ with coordinates in a quantum torus. We explicitly give formulas using vertex operators similar to those found in the theory of the infinite rank affine algebra $A_{\infty}$.
Representation theory of the quantum torus Hopf algebra, when the parameter $q$ is a root of unity, is studied. We investigate a decomposition map of the tensor product of two irreducibles into the direct sum of irreducibles, realized as a `multiplicity module' tensored with an irreducible representation. The isomorphism between the two possible decompositions of the triple tensor product yields a map ${\bf T}$ between the multiplicity modules, called the 6j-symbols. We study the left and right dual representations, and correspondingly, the left and right representations on the ${\rm Hom}$ spa…
We consider genus one n-point functions for a vertex operator superalgebra with a real grading. We compute all n-point functions for rank one and rank two fermion vertex operator superalgebras. In the rank two fermion case, we obtain all orbifold n-point functions for a twisted module associated with a continuous automorphism generated by a Heisenberg bosonic state. The modular properties of these orbifold n-point functions are given and we describe a generalization of Fay's trisecant identity for elliptic functions.
In this paper, we first construct a Lie algebra $L$ from rank 3 quantum torus, and show that it is isomorphic to the core of EALAs of type $A_1$ with coordinates in rank 2 quantum torus. Then we construct two classes of irreducible ${\bf Z}$-graded highest weight representations, and give the necessary and sufficient conditions for these representations to be quasifinite. Next, we prove that they exhaust all the generalized highest weight irreducible ${\bf Z}$-graded quasifinite representations. As a consequence, we determine all the irreducible ${\bf Z}$-graded quasifinite representations wit…
We compute the Picard group $ Pic(A_q) $ of the noncommutative algebraic 2-torus $A_q$, describe its action on the space $ R(A_q) $ of isomorphism classes of rk 1 projective modules and classify the algebras Morita equivalent to $ A_q $. Our computations are based on a quantum version of the Calogero-Moser correspondence relating projective $A_q$-modules to irreducible representations of the double affine Hecke algebras (DAHA) $ H_{t, q^{-1/2}}(S_n) $ at $ t = 1 $. We show that, under this correspondence, the action of $ Pic(A_q) $ on $ R(A_q) $ agrees with the action of $ SL_2(Z) $ on $ H_{t,…
We compute quantum character varieties of arbitrary closed surfaces with boundaries and marked points. These are categorical invariants $\int_S\mathcal A$ of a surface $S$, determined by the choice of a braided tensor category $\mathcal A$, and computed via factorization homology. We identify the algebraic data governing marked points and boundary components with the notion of a {\em braided module category} for $\mathcal A$, and we describe braided module categories with a generator in terms of certain explicit algebra homomorphisms called {\em quantum moment maps}. We then show that the quan…
If X is a full, finitely generated, projective module over a non-commutative torus, the Yang-Mills functional attains its minimum exactly on the flat connections on X. We classify the flat connections on modules admitting integrable connections.
We extend the results of Riemannian geometry over finite groups and provide a full classification of all linear connections for the minimal noncommutative differential calculus over a finite cyclic group. We solve the torsion-free and metric compatibility condition in general and show that there are several classes of solutions, out of which only special ones are compatible with a metric that gives a Hilbert $C^\ast$-module structure on the space of the one-forms. We compute curvature and scalar curvature for these metrics and find their continuous limits.
Let $n>1$ be an integer, $α\in{\mathbb C}^n$, $b\in{\mathbb C}$, and $V$ a $\mathfrak{gl}_n$-module. We define a class of weight modules $F^α_{b}(V)$ over $\sl_{n+1}$ using the restriction of modules of tensor fields over the Lie algebra of vector fields on $n$-dimensional torus. In this paper we consider the case $n=2$ and prove the irreducibility of such 5-parameter $\mathfrak{sl}_{3}$-modules $F^α_{b}(V)$ generically. All such modules have infinite dimensional weight spaces and lie outside of the category of Gelfand-Tsetlin modules. Hence, this construction yields new families of irreducibl…