Source author record

Ian M. Musson

Ian M. Musson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

How to Construct the Lattice of Submodules of a Multiplicity free Module from Partial Information

In general it is a difficult problem to construct the lattice of submodules $L(M)$ of a given module $M$. In \cite{St} R. P. Stanley outlined a method for constucting a distributive lattice from a knowledge of its join irreducibles. However it is not an easy task to identify all join irreducible submodules of a given module. In the case of a multiplicity free module $M$ we present a modifiiction of Stanley's method based on the composition factors of $M$. As input we require a set of submodules $A_1,\ldots , A_n$ whose submodule lattices are known and which contain all composition factors of $M$. From this we can reconstruct $L(M)$. We illustrate the process for a family of Verma modules $M(\gl_n)$, with $n $ a positive integer, for the Lie superalgebra $\osp(3,2)$. We show that for $n\ge 2$, $L(M(\gl_n))$ is isomorphic to the (extended) free distributive lattice of rank 3.

preprint2022arXiv

Shapovalov Elements For $U_q(\mathfrak{sl}(N+1))

For a simple Lie algebra, Shapovalov elements give rise to highest weight vectors in Verma modules. The usual construction of these elements uses induction on the length of a certain Weyl group element. If $\mathfrak{g}= \mathfrak{sl}(N+1)$ explicit expressions for Shapovalov elements were given in [Mus22a]. Here we adapt the argument to the quantized enveloping algebra of $\mathfrak{g}$.

preprint2015arXiv

Coefficients of Šapovalov elements for simple Lie algebras and contragredient Lie superalgebras

We provide upper bounds on the degrees of the coefficients of Šapovalov elements for a simple Lie algebra. If $\fg$ is a contragredient Lie superalgebra and $\gc$ is a positive isotropic root of $\fg,$ we prove the existence and uniqueness of the Šapovalov element for $\gc$ and we obtain upper bounds on the degrees of their coefficients. For type A Lie superalgebras we give a closed formula for Šapovalov elements. Often the coefficients of Šapovalov elements are products of linear factors, and we provide some reasons for this coming from representation theory. We also explore the relationships between Šapovalov elements coming from different roots, and their behavior when the Borel subalgebra is changed.

preprint2015arXiv

Sapovalov elements and the Jantzen filtration for contragredient Lie superalgebras: A Survey

This is a survey of some recent results on Sapovalov elements and the Jantzen filtration for contragredient Lie superalgebras. The topics covered include the existence and uniqueness of the Sapovalov elements, bounds on the degrees of their coefficients and the behavior of Sapovalov elements when the Borel subalgebra is changed. There is always a unique term whose coefficient has larger degree than any other term. This allows us to define some new highest weight modules. If X is a set of orthogonal isotropic roots and $λ\in h^*$ is such that $λ+ρ$ is orthogonal to all roots in X, we construct highest weight modules with character $ε^λp_X$. Here $p_X$ is a partition function that counts partitions not involving roots in X. When |X|=1, these modules are used to give a Jantzen sum formula for Verma modules in which all terms are characters of modules in the category O with positive coefficients.

preprint2015arXiv

The primitive spectrum for gl(m|n)

We study inclusions between primitive ideals in the universal enveloping algebra of general linear superalgebras. For classical Lie superalgebras, any primitive ideal is the annihilator of a simple highest weight module. It therefore suffices to study the quasi-order on highest weights determined by the relation of inclusion between primitive ideals. For the specific case of reductive Lie algebras, this quasi-order is essentially the left Kazhdan-Lusztig quasi-order. For Lie superalgebras, the classification is unknown in general, safe from some low dimensional specific cases. We derive an alternative definition of the left Kazhdan-Lusztig quasi-order which extends to classical Lie superalgebras. We show that a relation in this preorder implies an inclusion between primitive ideals. For gl(m|n) the new quasi-order is defined explicitly in terms of Brundan's Kazhdan-Lusztig theory. We prove that the quasi-order induces an actual partial order on the set of primitive ideals. We conjecture that this is the inclusion order. By the above paragraph one direction of this conjecture is true. We prove several consistency results concerning the conjecture and prove it for singly atypical and typical blocks of gl(m|n) and in general for gl(2|2). An important tool is a new translation principle for primitive ideals, based on the crystal structure for category O. Finally we focus on an interesting explicit example; the poset of primitive ideals contained in the augmentation ideal for gl(m|1).

preprint2014arXiv

Šapovalov elements for simple Lie algebras and basic classical simple Lie superalgebras

Let $M(\gl)$ be a Verma module for a basic classical simple Lie superalgebra $\fg \neq G(3)$ defined using the distinguished Borel subalgebra, and let $\gc$ be an isotropic positive root of $\fg.$ As a special case of our first main result we show that if $μ, \gl \in \fh^*$ with $\gl-μ= \gc$ we have $$\dim \Hom_{\sfg}(M(μ),M(\gl))\le 1.$$ This result applies to the construction of Šapovalov elements for isotropic roots. The proof rests on a comparison with the corresponding result for a certain simple Lie algebra $G$.

preprint2013arXiv

The lattice of submodules of a multiplicity free module

In this paper we determine, under some mild restrictions, the lattice of submodules $\gL$ of a module $M$ all of whose composition factors have multiplicity one. Such a lattice is distributive, and hence determined by its poset of down-sets $P$. We define a directed Ext graph $\Ext_\gL$ of $\gL$ and show that if $\Ext_\gL$ is acyclic, then $\Ext_\gL$ determines $P$. The result applies to multiplicity free indecomposable modules for finite dimensional algebras with acyclic Ext graph. It also applies to some deformed Verma modules which arise in the Jantzen sum formula basic classical simple Lie superalgebras in the deformed case.

preprint2011arXiv

Combinatorics of Character Formulas for the Lie Superalgebra $\fgl(m,n).$

Let $\fg$ be the Lie superalgebra $\fgl(m,n).$ Algorithms for computing the composition factors and multiplicities of Kac modules for $\fg$ were given by the second author in 1996, and by J. Brundan in 2003. We give a combinatorial proof of the equivalence between the two algorithms. The proof uses weight and cap diagrams introduced by Brundan and C. Stroppel, and cancelations between paths in a graph $\mathcal{G}$ defined using these diagrams. Each vertex of $\mathcal{G}$ corresponds to a highest weight of a finite dimensional simple module, and each edge is weighted by a nonnegative integer. If $\mathcal{E}$ is the subgraph of $\mathcal{G}$ obtained by deleting all edges of positive weight, then $\mathcal{E}$ is the graph that describes non-split extensions between simple highest weight modules. We also give a procedure for finding the composition factors of any Kac module, without cancelation. This procedure leads to a second proof of the main result.

preprint2005arXiv

Faithful Cyclic Modules for Enveloping Algebras and Sklyanin Algebras

Let $U$ be the enveloping algebra of a finite dimensional nonabelian Lie algebra $\mathfrak{g}$ over a field of characteristic zero. We show that there is an open nonempty open subset $X$ of $U_1 = \mathfrak{g}\oplus K$ such that $U/Ux$ is faithful for all $x \in X$. We prove similar results for homogenized enveloping algebras and for the three dimensional Sklyanin algebras at points of infinite order. It would be interesting to know if there is a common generalization of these results.