Related papers: Explicit Rieffel induction modules for quantum gro…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Let $C$ be a symmetrizable generalized Cartan Matrix, and $q$ an indeterminate. ${\fg}(C)$ is the Kac-Moody Lie algebra and $U=U_q({\fg}(C))$ the associated quantum enveloping algebra over $ k={\Bbb Q}(q)$. The quantum function algebra…

In this paper, we show that, under certain assumptions, a parabolic induction $Ind_B^G\lambda$ from the Borel subgroup $B$ of a (real or $p$-adic) reductive group $G$ decomposes into a direct sum of the form: \[ Ind_B^G\lambda =…

Let G be a reductive group (over an algebraically closed field) equipped with the metaplectic data. In this paper we study the corresponding twisted Whittaker category for G. We construct and study a functor from the latter category to the…

For an arbitrary simple Lie algebra $\g$ and an arbitrary root of unity $q,$ the closed subsets of the Weyl alcove of the quantum group $U_q(\g)$ are classified. Here a closed subset is a set such that if any two weights in the Weyl alcove…

We introduce the construction of induced corepresentations in the setting of locally compact quantum groups and prove that the resulting induced corepresentations are unitary under some mild integrability condition. We also establish a…

P. M. Cohn showed in 1971 that given a ring $R$, to describe, up to isomorphism, a division ring $D$ generated by a homomorphic image of $R$ is equivalent to specifying the set of square matrices over $R$ which map to singular matrices over…

We define 2-functors on the categorified quantum group of a simply-laced Kac-Moody algebra that induce Lusztig's internal braid group action at the level of the Grothendieck group.

Let $R$ be an associative ring with unit. Given an $R$-module $M$, we can associate the following covariant functor from the category of $R$-algebras to the category of abelian groups: $S\mapsto M\otimes_R S$. With the corresponding notion…

Necessary and sufficient conditions are given for a $G$-graded simple module over a unital associative algebra, graded by an abelian group $G$, to be isomorphic to a loop module of a simple module, as well as for two such loop modules to be…

We give a self-contained account of a construction due to Rossmann which lifts Springer's action of a Weyl group on the cohomology of a Springer fiber to an action on its homotopy type. We use this construction to produce a generalization…

Explicit embeddings of the group $\mathbb{Q}$ into a finitely presented group $\mathcal{Q}$ and into a $2$-generator finitely presented group $T_{\mathcal{Q}}$ are suggested. The constructed embeddings reflect questions mentioned by…

In this paper, we explore how functor-induced isomorphisms are encoded by $G$-matrices. We first show that the Grothendieck group isomorphism induced by a tilting module can be realized via the $G$-matrix of this tilting module. Building on…

The Green ring of the half quantum group $H=U_n(q)$ is computed in [Chen, Van Oystaeyen, Zhang]. The tensor product formulas between indecomposables may be used for a generalized subgroup depth computation in the setting of quantum groups…

The tensor functor called $\alpha$-induction produces a new unitary fusion category from a Frobenius algebra, or a $Q$-system, in a braided unitary fusion category. A bi-unitary connection, which is a finite family of complex number subject…

An algebraic quantum group is a multiplier Hopf algebra with integrals. In this paper we will develop a theory of algebraic quantum hypergroups. It is very similar to the theory of algebraic quantum groups, except that the comultiplication…

Let $g$ be a semisimple Lie algebra over $\mathbb C$ and $k$ be a reductive in $g$ subalgebra. We say that a simple $g$-module $M$ is a $(g; k)$-module if as a $k$-module $M$ is a direct sum of finite-dimensional $k$-modules. We say that a…

In this article we present a new C*-algebraic deformation of the Lorentz group. It is obtained by means of the Rieffel deformation applied to SL(2,C). We give a detailed description of the resulting quantum group in terms of generators -…

Let $G$ be an algebraic group over a field $k$, and $M$ and $N$ be $G$-modules. In 1961, Hochschild showed how one can define the cohomology groups $\text{Ext}_{G}^{i}(M,N)$. Kimura, in 1965, showed that one can generalize this to get…

We extend the notion of induced conjugacy classes in reductive groups, introduced by Lusztig and Spaltenstein for unipotent classes, to arbitrary classes. We study properties of equivariant fibrations of prehomogeneous affine spaces,…