Available Tools
Adams conjecture
A-packetsLists theta lifts of elements in a local A packet.
→Arthur Packets
A-packetsLists elements in a local A packet.
→Derivatives and Socles
A-packetsComputes derivatives and socles.
→Extended multisegment inspector
A-packetsDisplays details regarding extended multisegments.
→L-Packets
A-packetsLists elements in a local L-packet.
→Representation inspector
A-packetsFinds all local A-packets containing a given representation.
→Stadler extended multisegments
A-packetsDisplays details regarding stadler extended multisegments.
→Aubert Dual
Aubert DualComputes the Aubert-Zelevinsky dual for classical groups.
→Franke Filtration
Automorphic representationsComputes the Franke filtration for GL_n.
→Bruhat Order
Coxeter groupsVisualize the Bruhat order of any Coxeter group.
→Coxeter Group Explorer
Coxeter groupsInspect the root system, matrices, length distribution, conjugacy classes, subgroups, and character tables for any Coxeter group.
→Kazhdan–Lusztig Polynomials
Coxeter groupsCompute Kazhdan–Lusztig polynomials, cells, and Duflo involutions for Coxeter groups.
→Longest Weyl Parabolic
Coxeter groupsCompute the longest elements of a Weyl group and a parabolic subgroup, and display them as matrices in the standard group model for types A, B, C, D.
→Bruhat Decomposition
Finite groupsComputes the Bruhat decomposition g = u1 dw u2 of a matrix entered in LaTeX.
→Character values
Finite groupsValues of a given character evaluated at all conjugacy classes.
→Conjugacy class
Finite groupsValues of characters evaluated at a given conjugacy class.
→Conjugacy classes list
Finite groupsList of conjugacy classes of the general linear group.
→Gelfand-Graev multiplicities
Finite groupsCompute generalized Gelfand-Graev multiplicities for representations of the general linear group.
→Green polynomials
Finite groupsComputes Green polynomials for .
→Representations list
Finite groupsList of irreducible representations of the general linear group.
→Theta elevator
Theta correspondenceComputes theta lifts for classical groups.
→Theta lifts
Theta correspondenceLists theta lifts of a given representation.
→Deligne–Lusztig Character
UncategorizedExplore the Deligne–Lusztig character of a reductive group, expanded in the basis of unipotent characters.
→Green Polynomial Entry
UncategorizedLook up a single Green polynomial by choosing a row and column from the Green table.
→Green Table
UncategorizedGreen functions Q_{φ,j}(q) — values of relative-Weyl-group characters on local systems or unipotent classes.
→ICC Table
UncategorizedCompute intersection-cohomology multiplicity polynomials P_{X,L}(q) for a Springer series.
→Intertwining operator decomposition
UncategorizedDecomposes the degenerate principal series intertwining operator into simple reflection intertwining operators.
→Root exchange algorithm
UncategorizedDemonstrates the root exchange algorithm for (k,c) models.
→Standard module calculator
UncategorizedCompute the Jordan–Hölder series of a standard module or the standard module expansion of a Zelevinsky irreducible for GL_n.
→Unipotent Characters
UncategorizedDisplay the unipotent characters of a reductive group with generic degrees, fake degrees, Frobenius eigenvalues, and Lusztig family labels.
→Unipotent Classes
UncategorizedEnumerate unipotent classes of a reductive group with Dynkin labels, component groups, and Springer series.
→Unipotent Value Entry
UncategorizedLook up a single unipotent character value by choosing a row and column from the unipotent-values table.
→Unipotent Values
UncategorizedValues of unipotent characters on local systems or unipotent classes.
→X-Table
UncategorizedValues of character sheaves on local systems or unipotent classes.
→Unipotent Representation Explorer
Unipotent representationsExplore DRC diagrams, local systems, counting formulas, Barbasch-Vogan duality, and Springer correspondence for classical groups.
→