skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on June 26, 2026

Title: Super major index and Thrall’s problem
Thrall’s problem asks for the Schur decomposition of the higher Lie modules $$L_\lambda$$, which are defined using the free Lie algebra and decompose the tensor algebra as a general linear group module. Although special cases have been solved, Thrall’s problem remains open in general. We generalize Thrall’s problem to the free Lie superalgebra, and prove extensions of three known results in this setting: Brandt’s formula, Klyachko’s identification of the Schur–Weyl dual of $$L_n$$, and Kráskiewicz–Weyman’s formula for the Schur decomposition of $$L_n$$. The latter involves a new version of the major index on super tableaux, which we show corresponds to a $q,t$-hook formula of Macdonald.  more » « less
Award ID(s):
2348843
PAR ID:
10626828
Author(s) / Creator(s):
;
Publisher / Repository:
Algebraic Combinatorics
Date Published:
Journal Name:
Algebraic Combinatorics
Volume:
8
Issue:
3
ISSN:
2589-5486
Page Range / eLocation ID:
795 to 815
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$ -equivariant homology $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ of the free loop space of X preserves the Hodge decomposition of $$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $$ , making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7]. 
    more » « less
  2. Abstract We prove that all Galerkin truncations of the 2d stochastic Navier–Stokes equations in vorticity form on any rectangular torus subjected to hypoelliptic, additive stochastic forcing are chaotic at sufficiently small viscosity, provided the frequency truncation satisfies$$N\ge 392$$ N 392 . By “chaotic” we mean having a strictly positive Lyapunov exponent, i.e. almost-sure asymptotic exponential growth of the derivative with respect to generic initial conditions. A sufficient condition for such results was derived in previous joint work with Alex Blumenthal which reduces the question to the non-degeneracy of a matrix Lie algebra implying Hörmander’s condition for the Markov process lifted to the sphere bundle (projective hypoellipticity). The purpose of this work is to reformulate this condition to be more amenable for Galerkin truncations of PDEs and then to verify this condition using (a) a reduction to genericity properties of a diagonal sub-algebra inspired by the root space decomposition of semi-simple Lie algebras and (b) computational algebraic geometry executed by Maple in exact rational arithmetic. Note that even though we use a computer assisted proof, the result is valid for all aspect ratios and all sufficiently high dimensional truncations; in fact, certain steps simplify in the formal infinite dimensional limit. 
    more » « less
  3. We describe the structure and different features of Lie algebras in the Verlinde category, obtained as semisimplification of contragredient Lie algebras in characteristic p with respect to the adjoint action of a Chevalley generator. In particular, we construct a root system for these algebras that arises as a parabolic restriction of the known root system for the classical Lie algebra. This gives a lattice grading with simple homogeneous components and a triangular decomposition for the semisimplified Lie algebra. We also obtain a non-degenerate invariant form that behaves well with the lattice grading. As an application, we exhibit concrete new examples of Lie algebras in the Verlinde category. 
    more » « less
  4. We establish an explicit embedding of a quantum affine sl_n into a quantum affine sl_{n+1} . This embedding serves as a common generalization of two natural, but seemingly unrelated embeddings, one on the quantum affine Schur algebra level and the other on the non-quantum level. The embedding on the quantum affine Schur algebras is used extensively in the analysis of canonical bases of quantum affine sl_n and gl_n. The embedding on the non-quantum level is used crucially in a work of Riche and Williamson on the study of modular representation theory of general linear groups over a finite field. The same embedding is also used in a work of Maksimau on the categorical representations of affine general linear algebras. We further provide a more natural compatibility statement of the em- bedding on the idempotent version with that on the quantum affine Schur algebra level. A gl_n-variant of the embedding is also established. 
    more » « less
  5. Berkesch, Christine; Brubaker, Benjamin; Musiker, Gregg; Pylyavskyy, Pavlo; Reiner, Victor (Ed.)
    Composing two representations of the general linear groups gives rise to Littlewood’s (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the “s-perp trick”, and point out several examples in the literature where this idea is used. We use the s-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in SageMath. 
    more » « less