Related papers: A KLR-like presentation for the bt-algebra

For the quantum algebra U_q(gl(n+1)) in its reduction on the subalgebra U_q(gl(n)) an explicit description of a Mickelsson-Zhelobenko reduction Z-algebra Z_q(gl(n+1),gl(n)) is given in terms of the generators and their defining relations.…

We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW basis of such quantum…

We define a natural quantum analogue for the ${\cal Z}$ algebra, and which we refer to as the ${\cal Z}_q$ algebra, by modding out the Heisenberg algebra from the quantum affine algebra $U_q(\hat{sl(2)})$ with level $k$. We discuss the…

We adapt Quillen's calculation of graded K-groups of Z-graded rings with support in N to graded K-theory, allowing gradings in a product Z \times G with G an arbitrary group. This in turn allows us to use inductions and calculate graded…

In this paper we give a geometric construction of the quantum group Ut(G) using Nakajima categories, which were developed in [29]. Our methods allow us to establish a direct connection between the algebraic realization of the quantum group…

We define the notions of B_n-generalized pseudo-Hermitian and B_n-generalized pseudo-Kahler structures on an odd exact Courant algebroid E. When E is in the standard form (or of type B_n) we express these notions in terms of classical…

An equilevel algebra is a subalgebra of the space of smooth functions $f: M \to {\mathbb R}$ distinguished in this space by finitely many linear conditions of the type $f(x_i) = f(\tilde x_i)$, $x_i \neq \tilde x_i \in M$, or approximated…

We will introduce an $\mathbb{N}$-filtration on the negative part of a quantum group of type $A_n$, such that the associated graded algebra is a q-commutative polynomial algebra. This filtration is given in terms of the representation…

A powerful way to study groups is via their actions on suitable spaces. Classifying spaces for families of subgroups are a type of these spaces, obtained by imposing some strict conditions on the fixed-point sets. We show how in the…

We propose to represent both $n$--qubits and quantum gates acting on them as elements in the complex Clifford algebra defined on a complex vector space of dimension $2n.$ In this framework, the Dirac formalism can be realized in…

Let $\mathbb{F}$ be a field of characteristic zero and let $\mathfrak{g}$ be a non-zero finite-dimensional split semisimple Lie algebra with root system $\Delta$. Let $\Gamma$ be a finite set of integral weights of $\mathfrak{g}$ containing…

Quantum theory may be formulated using Hilbert spaces over any of the three associative normed division algebras: the real numbers, the complex numbers and the quaternions. Indeed, these three choices appear naturally in a number of…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

We establish a quantum cluster algebra structure on the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite-dimensional representations of a simply-laced quantum affine algebra. Moreover, the…

We briefly review the current situation with various relations between knot/braid polynomials (Chern-Simons correlation functions), ordinary and extended, considered as functions of the representation and of the knot topology. These include…

We extend the work of Foda et al and propose an elliptic quantum algebra $A_{q,p}(\hat {sl_n})$. Similar to the case of $A_{q,p}(\hat {sl_2})$, our presentation of the algebra is based on the relation $RLL=LLR^*$, where $R$ and $R^*$ are…

Let $E$ be a directed graph, $\mathbb K$ be a field, and $\mathbb F$ be the free group on the edges of $E$. In this work, we use the isomorphism between Leavitt path algebras and partial skew group rings to endow $L_{\mathbb K}(E)$ with an…

We define a quantum version of Hamiltonian reduction by stages, producing a construction in type A for a quantum Hamiltonian reduction from the W-algebra $U(\mathfrak{g},e_1)$ to an algebra conjecturally isomorphic to $U(\mathfrak{g},e_2)$,…

We employ an algebraic procedure based on quantum mechanics to propose a `quantum number theory' (QNT) as a possible extension of the `classical number theory'. We built our QNT by defining pure quantum number operators ($q$-numbers) of a…

We prove that Kellendonk's $C^*$-algebra of an aperiodic and repetitive tiling with finite local complexity is classifiable by the Elliott invariant. Our result follows from showing that tiling $C^*$-algebras are $\mathcal{Z}$-stable, and…