1: \begin{abstract}

2: In 1979, Norton showed that the representation theory of the $0$-Hecke

3: algebra admits a rich combinatorial description. Her constructions

4: rely heavily on some triangularity property of the product, but do not

5: use explicitly that the $0$-Hecke algebra is a monoid algebra.

6: 

7: The thesis of this paper is that considering the general setting of

8: monoids admitting such a triangularity, namely $\JJ$-trivial monoids,

9: sheds further light on the topic. This is a step in an ongoing effort

10: to use representation theory to automatically extract combinatorial

11: structures from (monoid) algebras, often in the form of posets and

12: lattices, both from a theoretical and computational point of view, and

13: with an implementation in Sage.

14: 

15: Motivated by ongoing work on related monoids associated to Coxeter

16: systems, and building on well-known results in the semi-group

17: community (such as the description of the simple modules or the

18: radical), we describe how most of the data associated to the

19: representation theory (Cartan matrix, quiver) of the algebra of any

20: $\JJ$-trivial monoid $M$ can be expressed combinatorially by counting

21: appropriate elements in $M$ itself. As a consequence, this data does

22: not depend on the ground field and can be calculated in $O(n^2)$, if

23: not $O(nm)$, where $n=|M|$ and $m$ is the number of generators. Along

24: the way, we construct a triangular decomposition of the identity into

25: orthogonal idempotents, using the usual Möbius inversion formula in

26: the semi-simple quotient (a lattice), followed by an algorithmic

27: lifting step.

28: 

29: Applying our results to the $0$-Hecke algebra (in all finite types),

30: we recover previously known results and additionally provide an

31: explicit labeling of the edges of the quiver. We further explore

32: special classes of $\JJ$-trivial monoids, and in particular monoids of

33: order preserving regressive functions on a poset, generalizing known

34: results on the monoids of nondecreasing parking functions.

35: \end{abstract}

36: