A symmetry extending the $T^2$-symmetry of the noncommutative torus $T^2_q$ is studied in the category of quantum groups. This extended symmetry is given by the quantum double-torus defined as a compact matrix quantum group consisting of the disjoint union of $T^2$ and $T^2_{q^2}$. The bicross-product structure of the polynomial Hopf algebra of the quantum double-torus is computed. The Haar measure and the complete list of unitary irreducible representations of the quantum double-torus are determined explicitly.
We give a topological realization of the (spherical) double affine Hecke algebra $\mathrm{SH}_{q,t}$ of type $A_1$, and we use this to construct a module over $\mathrm{SH}_{q,t}$ for any knot $K \subset S^3$. As an application, we give a purely topological interpretation of Cherednik's 2-variable polynomials $P_n(r,s; q,t)$ of type $A_1$ from [Che13] (where $r,s \in \mathbb{Z}$ are relatively prime), and we give a new proof that these specialize to the colored Jones polynomials of the $r,s$ torus knot. We then generalize Cherednik's construction (for $\mathcal{sl}_2$) to all iterated cables of…
We study a topological aspect of rank-1 double affine Hecke algebra (DAHA). Clarified is a relationship between the DAHA of A1-type (resp. CC1-type) and the skein algebra on a once-punctured torus (resp. a 4-punctured sphere), and the SL(2;Z) actions of DAHAs are identified with the Dehn twists on the surfaces. Combining these two types of DAHA, we construct the DAHA representation for the skein algebra on a genus-two surface, and we propose a DAHA polynomial for a double-torus knot, which is a simple closed curve on a genus two Heegaard surface in S3. Discussed is a relationship between the D…
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.
We investigate the fine structure of the simplectic foliations of Poisson homogeneous spaces. Two general results are proved for weak splittings of surjective Poisson submersions from Heisenberg and Drinfeld doubles. The implications of these results are that the torus orbits of symplectic leaves of the quotients can be explicitly realized as Poisson-Dirac submanifolds of the torus orbits of the doubles. The results have a wide range of applications to many families of real and complex Poisson structures on flag varieties. Their torus orbits of leaves recover important families of varieties su…
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…
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 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…
The aim of this article is to give explicit formulae for various generating functions, including the generating function of torus-invariant primitive ideals in the big cell of the quantum minuscule grassmannian of type B_n.
We study the Hochschild cohomology and the Gerstenhaber algebra structure on the algebraic non-commutative torus/quantum torus orbifolds resulting by the action of finite subgroups of $SL_2(\mathbb Z)$. We also examine the Poisson structures and compute the Poisson cohomology.
In this paper we compute a $q$-hypergeometric expression for the cyclotomic expansion of the colored Jones polynomial for the left-handed torus knot $(2,2t+1)$ and use this to define a family of quantum modular forms which are dual to the generalized Kontsevich-Zagier series.
We develop a new approach to the representation theory of quantum algebras supporting a torus action via methods from the theory of finite-state automata and algebraic combinatorics. We show that for a fixed number $m$, the torus-invariant primitive ideals in $m\times n$ quantum matrices can be seen as a regular language in a natural way. Using this description and a semigroup approach to the set of Cauchon diagrams, a combinatorial object that paramaterizes the primes that are torus-invariant, we show that for $m$ fixed, the number of torus-invariant primitive ideals in $m\times n$ quantum ma…
Associated to any compact quantum group $G\subset U_N^+$ is a canonical family of group dual subgroups $\widehatΓ_Q\subset G$, parametrized by unitaries $Q\in U_N$, playing the role of "maximal tori" for $G$. We present here a series of conjectures, relating the various algebraic and analytic properties of $G$ to those of the family $\{\widehatΓ_Q|Q\in U_N\}$.
We show that when a torus $T$ acts on a smooth variety $X$, the twisted HKR isomorphism is equivariant. The main consequence is that the Bezrukavnikov- Lachowska isomorphism, relating the Hochschild cohomology of the principal block of the small quantum group to certain sheaf cohomology groups on the Springer resolution $\widetilde{\mathcal{N}}$ , can be upgraded to a ring isomorphism by a twist.
In this article, we will construct the additional perturbative quantum torus symmetry of the dispersionless BKP hierarchy basing on the $W_{\infty}$ infinite dimensional Lie symmetry. These results show that the complete quantum torus symmetry is broken from the BKP hierarchy to its dispersionless hierarchy. Further a series of additional flows of the multicomponent BKP hierarchy will be defined and these flows constitute an $N$-folds direct product of the positive half of the quantum torus symmetries.
The algebra of quantum matrices of a given size supports a rational torus action by automorphisms. It follows from work of Letzter and the first named author that to understand the prime and primitive spectra of this algebra, the first step is to understand the prime ideals that are invariant under the torus action. In this paper, we prove that a family of quantum minors is the set of all quantum minors that belong to a given torus-invariant prime ideal of a quantum matrix algebra if and only if the corresponding family of minors defines a non-empty totally nonnegative cell in the space of tot…
The twined almost commutative structure of the standard spectral triple on the noncommutative torus with rational parameter is exhibited, by showing isomorphisms with a spectral triple on the algebra of sections of certain bundle of algebras, and a spectral triple on a certain invariant subalgebra of the product algebra. These isomorphisms intertwine also the grading and real structure. This holds for all four inequivalent spin structures, which are explicitly constructed in terms of double coverings of the noncommutative torus (with arbitrary real parameter). These results are extended also t…
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}$.
For quantum torus generated by unitaries $UV = e(θ)VU$ there exist nontrivial strong Morita autoequivalences in case when $θ$ is real quadratic irrationality. A.Polishchuk introduced and studied the graded ring of holomorphic sections of powers of the respective bimodule (depending on the choice of a complex structure). We consider a Segre square of this ring whose graded components are spanned by Rieffel scalar products of Polishchuk's holomorphic vectors. These graded components are linear spaces of quantum theta functions in sense of Yu.Manin.
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 prove that, for the moduli space of flat SU(2)-connections on the torus, the Weyl quantization and the quantization using the quantum group of SL(2,C) are unitarily equivalent. This is done by comparing the matrices of the operators associated by the two quantization to cosine functions. We also discuss the *-product of the Weyl quantization and show that it satisfies the product-to-sum formula for noncommutative cosines on the noncommutative torus.
The quantum torus algebra plays an important role in a special class of solutions of the Toda hierarchy. Typical examples are the solutions related to the melting crystal model of topological strings and 5D SUSY gauge theories. The quantum torus algebra is realized by a 2D complex free fermion system that underlies the Toda hierarchy, and exhibits mysterious "shift symmetries". This article is based on collaboration with Toshio Nakatsu.
We show that there exist infinitely many pairs of non-homeomorphic closed oriented SOL torus bundles with the same quantum (TQFT) invariants. This follows from the arithmetic behind the conjugacy problem in $SL(2,\Z)$ and its congruence quotients, the classification of SOL (polycyclic) 3-manifold groups and an elementary study of a family of Pell equations. A key ingredient is the congruence subgroup property of modular representations, as it was established by Coste and Gannon, Bantay, Xu for various versions of TQFT, and lastly by Ng and Schauenburg for the Drinfeld doubles of spherical fusi…
In this paper, we construct a new even constrained B(C) type Toda hierarchy and derive its B(C) type Block type additional symmetry. Also we generalize the B(C) type Toda hierarchy to the $N$-component B(C) type Toda hierarchy which is proved to have symmetries of a coupled $\bigotimes^NQT_+ $ algebra ( $N$-folds direct product of the positive half of the quantum torus algebra $QT$).
For $N \geq 2$, we study a certain sequence $(ρ_p^{(c_p)})$ of N-dimensional representations of the mapping class group of the one-holed torus arising from SO(3)-TQFT, and show that the conjecture of Andersen, Masbaum, and Ueno \cite{1} holds for these representations. This is done by proving that, in a certain basis and up to a rescaling, the matrices of these representations converge as $p$ tends to infinity. Moreover, the limits describe the action of $SL_{2}(\mathbb{Z})$ on the space of homogeneous polynomials of two variables of total degree $N-1$.
The author introduces the notion of a quantum form of an algebraic torus. In the case of diagonal algebraic torus we get the algebra of Laurent twisted polynomials. Quantum algebraic torus can be characterized in terms of exact sequences. The author study the center of QAT. In the case of roots of 1 the new examples of central simple algebras are constructed.
We discuss $w_\infty$ and $sl_q(2)$ symmetries in multiple Chern-Simons theory on a torus. It is shown that these algebraic structures arise from the dynamics of the non-integrable phases of the Chern-Simons fields. The generators of these algebras are constructed from the Wilson line operators corresponding to these phases. The vacuum states form the basis of cyclic representation of $sl_q (2)$.
Let G be a simple complex algebraic group and g its Lie algebra. We show that the g-Witten-Reshetikhin-Turaev quantum invariants determine a deformation-quantization, C_q[X_G(torus)], of the coordinate ring of the G-character variety of the torus. We prove that this deformation is in the direction of the Goldman's bracket. Furthermore, we show that every knot K defines an ideal I_K in C_q[X_G(torus)]. We conjecture that the homomorphism C_q[X_G(torus)] -> C[X_G(torus)], q -> 1, maps I_K to the ideal whose radical is the kernel of the map C[X_G(torus)] -> C[X_G(S^3 K)]. This conjecture is relat…
The torus group $(S^1)^{\ell+1}$ has a canonical action on the odd dimensional sphere $S_q^{2\ell+1}$. We take the natural Hilbert space representation where this action is implemented and characterize all odd spectral triples acting on that space and equivariant with respect to that action. This characterization gives a construction of an optimum family of equivariant spectral triples having nontrivial $K$-homology class thus generalizing our earlier results for $SU_q(2)$. We also relate the triple we construct with the $C^*$-extension \[ 0\longrightarrow \clk\otimes C(S^1)\longrightarrow C(S…
In this paper, we study the primitive ideals of quantum algebras supporting a rational torus action. We first prove a quantum analogue of a Theorem of Dixmier; namely, we show that the Gelfand-Kirillov dimension of primitive factors of various quantum algebras is always even. Next we give a combinatorial criterion for a prime ideal that is invariant under the torus action to be primitive. We use this criterion to obtain a formula for the number of primitive ideals in the algebra of $2\times n$ quantum matrices that are invariant under the action of the torus. Roughly speaking, this can be thou…
