Related papers: Quantized function algebras at $q=0$: type $A_{n}$…

Let $\g$ be a simple complex Lie algebra of type $G_2$, $F_4$, or $E_8$, and let $G$ be the unique connected simply connected Lie group with $\mathrm{Lie}(G)=\g$ with compact real form $K$. We prove a triangular decomposition theorem for…

In this paper we associate to a qurve A (formerly known as a quasi-free or formally smooth algebra) the one-quiver Q(A) and dimension vector a(A). This pair contains enough information to reconstruct for all natural numbers n the…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

We provide a novel construction of quantized universal enveloping $*$-algebras of real semisimple Lie algebras, based on Letzter's theory of quantum symmetric pairs. We show that these structures can be `integrated', leading to a…

Motivated by the sharp contrast between classical and quantum physics as probability theories, in these lecture notes I introduce the basic notions of operator algebras that are relevant for the algebraic approach to quantum physics.…

The category of finite dimensional (type 1) representations of a quantum affine algebra $U_q(\hat{{\mathfrak g}})$ is not semisimple. However, as any abelian category with finite-length objects, it admits a unique decomposition into a…

The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on…

To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to…

We consider the group formed by finite renormalizations as an infinite-dimensional Lie group. It is demonstrated that for the finite renormalization of the gauge coupling constant its generators $\hat L_n$ with $n\ge 1$ satisfy the…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (1)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

Quantum algebras are a mathematical tool which provides us with a class of symmetries wider than that of Lie algebras, which are contained in the former as a special case. After a self-contained introduction to the necessary mathematical…

We present an axiomatic frame (in Prt I of this book) in which many results of the K-theory for C*-algebras are proved. Then we construct an example for this axiomatic theory (in Part II), which generalizes the classical theory for…

We define a C*-hull for a *-algebra, given a notion of integrability for its representations on Hilbert modules. We establish a local-global principle which, in many cases, characterises integrable representations on Hilbert modules through…

Motivated by the work of Goswami on quantum isometry groups of noncommutative manifolds we define the quantum symmetry group of a unital C*-algebra A equipped with an orthogonal filtration as the universal object in the category of compact…

We introduce the notion of the partial group algebra with projections and relations and show that this C*-algebra is a partial crossed product. Examples of partial group algebras with projections and relations are the Cuntz-Krieger algebras…

In this paper we construct and study the representation theory of a Hopf C^*-algebra with approximate unit, which constitutes quantum analogue of a compact group C^*-algebra. The construction is done by first introducing a…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

Generalizing our earlier work, we introduce the homogeneous quantum $Z$-algebras for all quantum affine algebras $\alg$ of type one. With the new algebras we unite previously scattered realizations of quantum affine algebras in various…

All operator algebras have (not necessarily irreducible) boundary representations. A unital operator algebra has enough such boundary representations to generate its C*-envelope.

This is a first of our papers devoted to "noncommutative topology and graph theory". Its origin is the paper math.QA/0002238 by I. Gelfand, V. Retakh, and R.L. Wilson where a new class of noncommutative algebras $Q_n$ was introduced. The…