On the representation theory of finite J-trivial monoids

By Tom Denton, F. Hivert, Anne Schilling, Nicolas M. Thi'ery. 2010

49 citations recorded by the source corpus.

In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra. The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage. Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual M\"obius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step. Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.

Subfields: Computational Theory and Mathematics, Discrete Mathematics and Combinatorics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/2def8ace6a937b2fbba60e7a57c75bf622e9f265

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

  1. Ben Steinberg
  2. Stuart W. Margolis
  3. Mark V. Lawson
  4. L. O. Clark
  5. Aidan Sims
  6. Enrique Pardo
  7. R. Exel
  8. John L. Rhodes

In Discrete Mathematics and Combinatorics

  1. Stuart W. Margolis
  2. Ben Steinberg

In Geometry and Topology

  1. Stuart W. Margolis
  2. Ben Steinberg
  3. Mark V. Lawson
  4. L. O. Clark
  5. Aidan Sims
  6. R. Exel
  7. Enrique Pardo
  8. Daniel Lenz

Citations in the corpus