Related papers: Rigidity of quantum algebras

Let $A$ be a symmetrizable generalized Cartan matrix with corresponding Kac--Moody algebra $\frak{g}$ over ${\mathbb Q}$. Let $V=V^{\lambda}$ be an integrable highest weight $\frak{g}$-module and let $V_{\mathbb Z}=V^{\lambda}_{\mathbb Z}$…

Let $\mathfrak g$ be a symmetrizable Kac-Moody Lie algebra, and let $V_{\hat{\mathfrak g},\hbar}^\ell$, $L_{\hat{\mathfrak g},\hbar}^\ell$ be the quantum affine vertex algebras constructed in [11]. For any complex numbers $\ell$ and…

We study the second cohomology group with coefficients in the adjoint module for a class of solvable Lie algebras $\mathcal{R}_{\mathcal{T}}$ that arise as maximal solvable extensions of nilpotent Lie algebras $\mathcal{N}$ of maximal rank.…

We prove a new uniqueness theorem for the tight C*-algebras of an inverse semigroup by generalizing the uniqueness theorem given for \'etale groupoid C*-algebras by Brown, Nagy, Reznikoff, Sims, and Williams. We use this to show that in the…

We develop a geometric approach toward an interplay between a pair of quantum Schur algebras of arbitrary finite type. Then by Beilinson-Lusztig-MacPherson's stabilization procedure in the setting of partial flag varieties of type A (resp.…

Let A be a comodule algebra for a finite dimensional Hopf algebra K over an algebraically closed field k, and let A^K be the subalgebra of invariants. Let Z be a central subalgebra in A, which is a domain with quotient field Q. Assume that…

This note is a development of our two previous papers, arXiv:1212.3392v1 and 1306.3660v1. The fundamental question is whether there exists a Galois theory, in which the Galois group is a quantum group. For a linear equations with respect to…

A discrete group $\G$ is called rigidly symmetric if the projective tensor product between the convolution algebra $\ell^1(\G)$ and any $C^*$-algebra $\A$ is symmetric. We show that in each topologically graded $C^*$-algebra over a rigidly…

Let $G$ be a connected reductive algebraic group. In this note we prove that for a quasi-affine $G$-spherical variety the weight monoid is determined by the weights of its non-trivial $\mathbb{G}_a$-actions that are homogeneous with respect…

The stabilizer formalism for quantum error-correcting codes has been, without doubt, the most successful at producing examples of quantum codes with strong error-correcting properties. In this paper, we discuss strong automorphism groups of…

We construct quantization of semisimple conjugacy classes of the exceptional group $G=G_2$ along with and by means of their exact representations in highest weight modules of the quantum group $U_q(\mathfrak{g})$. With every point $t$ of a…

Let G be a simply connected semisimple compact Lie group with standard Poisson structure, K a closed Poisson-Lie subgroup, 0<q<1. We study a quantization C(G_q/K_q) of the algebra of continuous functions on G/K. Using results of Soibelman…

For a polarized algebraic manifold $(X,L)$, let $T$ be an algebraic torus in the group of all holomorphic automorphisms of $X$. Then strong relative K-stability will be shown to imply asymptotic relative Chow-stability. In particular, by…

In the present article we discuss the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra $\mathfrak{g}$. This problem reduces to the classification of all Lie bialgebra structures on…

A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…

We construct a cluster algebra structure within the quantum cohomology ring of a quiver variety associated with an $A$-type quiver. Specifically, let $Fl:=Fl(N_1,\ldots,N_{n+1})$ denote a partial flag variety of length $n$, and…

For any Lie groupoid $G$, the vector bundle $g^*$ dual to the associated Lie algebroid $g$ is canonically a Poisson manifold. The (reduced) C*-algebra of $G$ (as defined by A. Connes) is shown to be a strict quantization (in the sense of M.…

We give an affirmative answer to the question whether there exist Lie algebras for suitable closed subgroups of the unitary group $U(\mathcal{H})$ in a Hilbert space $\mathcal{H}$ with $U(\mathcal{H})$ equipped with the strong operator…

We classify the pairs $(C,G)$ where $C$ is a seminormal curve over an arbitrary field $k$ and $G$ is a smooth connected algebraic group acting faithfully on $C$ with a dense orbit, and we determine the equivariant Picard group of $C$. We…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…