相关论文: Ordering Lusztig's families in type $B_n$

We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTW, including Weyl's definition of…

We observe that the join operation for the Bruhat order on a Weyl group agrees with the intersections of Verma modules in type $A$. The statement is not true in other types, and we propose a conjectural statement of a weaker correspondence.…

We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its…

Let $\mathcal{W}(b)$ be a class of free Lie conformal algebras of rank $2$ with $\mathbb{C}[\partial]$-basis ${L,H}$ and relations \begin{eqnarray*} [L_\lambda L]=(\partial+2\lambda)L,\ \ [L_\lambda H]=\big(\partial+(1-b)\lambda\big)H, \ \…

In "W-graph ideals" (Robert B. Howlett and Van Minh Nguyen) the concept of a W-graph ideal in a Coxeter group was introduced, and it was shown how a W-graph can be constructed from a given W-graph ideal. In this paper, we describe a class…

Recently, a strong exponential character bound has been established in [3] for all elements $g \in \mathbf{G}^F$ of a finite reductive group $\mathbf{G}^F$ which satisfy the condition that the centraliser $C_{\mathbf{G}}(g)$ is contained in…

In this paper, we initiate the study of the twisted weak order associated to a twisted Bruhat order for a Coxeter group and explore the relationship between the lattice property of such order and the infinite reduced words. We show that for…

Irreducibility results for parabolic induction of representations of the general linear group over a local non-archimedean field can be formulated in terms of Kazhdan--Lusztig polynomials of type $A$. Spurred by these results and some…

Given a complex simple Lie algebra $\mathfrak g$ and a dominant weight $\lambda$, let $\mathcal B_\lambda$ be the crystal poset associated to the irreducible representation of $\mathfrak g$ with highest weight $\lambda$. In the first part…

We present `liesuperalg` a SageMath package for representation-theoretic calculations involving Lie superalgebras in Type A. Our package introduces functionality to calculate invariants of weights and produce the associated cup diagrams. We…

We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The…

In this paper we extend the computations in parts I and II of this series of papers and complete the proof of a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group W acting on the pth graded component of its…

We investigate lifted inference on ordered domains with predecessor relations, where the elements of the domain respect a total (cyclic) order, and every element has a distinct (clockwise) predecessor. Previous work has explored this…

Let $\mathfrak{g}$ be a simple finite dimensional complex Lie algebra and let $\widehat{\mathfrak{g}}$ be the corresponding affine Lie algebra. Kac and Wakimoto observed that in some cases the coefficients in the character formula for a…

Lusztig conjectured that the almost characters of a finite reductive group are up to a scalar the same as the characteristic functions of the rational character sheaves defined on the corresponding algebraic group. We propose in this paper…

We generalize a construction in [BW18] (arXiv:1610.09271) by showing that the tensor product of a based $\textbf{U}^{\imath}$-module and a based $\textbf{U}$-module is a based $\textbf{U}^{\imath}$-module. This is then used to formulate a…

In the first part of the paper we defined and studied a binary operation on the set of irreducible components of Lusztig's nilpotent varieties of a quiver. For type $A$ we conjecture, following Geiss and Schr\"oer, that this operation is…

We classify the quasifinite highest weight modules over a family of subalgebras W_{\infty}^{n} of the central extension W_{1+\infty} of the Lie algebra of differential operators on the circle consisting of operators of order \geq n. We…

In 1979, Lusztig proposed a cohomological construction of supercuspidal representations of reductive $p$-adic groups, analogous to Deligne-Lusztig theory for finite reductive groups. In this paper we establish a new instance of Lusztig's…

We have another look at the construction by Hofmann and Streicher of a universe $(U,{\mathsf{E}l})$ for the interpretation of Martin-L\"of type theory in a presheaf category $\psh{\C}$. It turns out that $(U,{\mathsf{E}l})$ can be described…