Related papers: Computing the Lusztig--Vogan Bijection

We study Dirac cohomology $H_D^{\mathfrak{g},\mathfrak{h}}(M)$ for modules belonging to category $\mathcal{O}$ of a finite dimensional complex semisimple Lie algebra. We prove Vogan's conjecture, a nonvanishing result for…

The Lusztig correspondence is a bijective mapping between the Lusztig series indexed by the conjugacy class of a semisimple element $s$ in the connected component $(G^*)^0$ of the dual group of $G$ and the set of irreducible unipotent…

In order to compute Hermitian forms on representations of real reductive groups, in the unequal rank case, it is necessary to compute twisted Kazhdan-Lusztig-Vogan polynomials. These were defined by Lusztig and Vogan (Quasisplit Hecke…

Let $V$ be a vertex algebra of countable dimension, $G$ a subgroup of ${\rm Aut} V$ of finite order, $V^{G}$ the fixed point subalgebra of $V$ under the action of $G$, and ${\mathscr S}$ a finite $G$-stable set of inequivalent irreducible…

We reformulate the Kazhdan-Lusztig theory for the BGG category $\mathcal{O}$ of Lie algebras of type D via the theory of canonical bases arising from quantum symmetric pairs initiated by Weiqiang Wang and the author. This is further applied…

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V…

Let $G$ be a complex simple Lie group, and $\mathfrak{g}$ its Lie algebra. It is well known that a finite-dimensional $G$-module $V$ carrying a nondegenerate invariant bilinear form gives rise to a Hamiltonian Poisson space with a quadratic…

We prove most of Lusztig's conjectures from the paper "Bases in equivariant K-theory II", including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls…

We introduce the notion of (homological) G-smoothness for a complex G-variety X, where G is a connected affine algebraic group. This is based on the notion of smoothness for dg algebras and uses a suitable enhancement of the G-equivariant…

Let $\mathfrak{g}$ be a Lie algebra over an algebraically closed field $\Bbbk$ of characteristic zero. Define the universal grading group $\mathcal{C}(\mathfrak{g})$ as having one generator $g_{\rho}$ for each irreducible…

Given an extension $0\to V\to G\to Q\to1$ of locally compact groups, with $V$ abelian, and a compatible essentially bijective $1$-cocycle $\eta\colon Q\to\hat V$, we define a dual unitary $2$-cocycle on $G$ and show that the associated…

The negative part $U^-$ of a quantised enveloping algebra associated to a simple Lie algebra possesses a canonical basis $\mathcal{B}$ with favourable properties. Lusztig has associated a cone to a reduced expression $\mathbf{i}$ for the…

Affine matrix-ball construction (abbreviated AMBC) was developed by Chmutov, Lewis, Pylyavskyy, and Yudovina as an affine generalization of Robinson-Schensted correspondence. We show that AMBC gives a simple way to compute a distinguished…

This is a sequel to \cite{osy} and \cite{sxy}. Associated with $G:=\GL_n$ and its rational representation $(\rho, M)$ over an algebraically closed filed $\bk$, we define an enhanced algebraic group $\uG:=G\ltimes_\rho M$ which is a product…

The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…

For a Lie-Rinehart algebra (A,L), generators for the Gerstenhaber algebra \Lambda_A L correspond bijectively to right (A,L)-connections on A in such a way that B-V structures correspond to right (A,L)-module structures on A. When L is…

Let $G$ be a complex, connected, reductive, algebraic group, and $\chi:\mathbb{C}^\times \to G$ be a fixed cocharacter that defines a grading on $\mathfrak{g}$, the Lie algebra of $G$. Let $G_0$ be the centralizer of…

For a compact group $G$ we define the Beurling-Fourier algebra $A_\omega(G)$ on $G$ for weights $\omega$ defined on the dual $\what G$ and taking positive values. The classical Fourier algebra corresponds to the case $\omega$ is the…

The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking.…

Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig…