Table of Contents
Fetching ...

Left Regular Bands of Groups and the Mantaci--Reutenauer algebra

Jose Bastidas, Sarah Brauner, Franco Saliola

TL;DR

The paper develops a comprehensive idempotent theory for left regular bands of groups (LRBGs), unifying the idempotent frameworks of left regular bands and finite group algebras. It constructs complete systems of primitive orthogonal idempotents (CSoPOI) for LRBG algebras by combining LRB-support techniques with group-algebra idempotents, and extends these to LRBGs with symmetry, yielding invariant-subalgebra idempotents. A central thread is Hsiao’s LRBGs ${\Sigma_n[G]}$, which connect to the Mantaci–Reutenauer algebras ${\sf MR}_n[G]$; for abelian $G$, the authors provide explicit bases, change-of-basis formulas, and closed-form CSoPOI for ${\sf MR}_n[G]$, recovering Vazirani’s idempotents when $G\cong C_2$. The framework generalizes to LRBaGs and yields a systematic pathway to study MR algebras and their representations, including explicit idempotents and their connections to descent-like algebras. Overall, the work integrates semigroup theory, representation theory, and combinatorial Hopf-algebra structures to illuminate the structure and representation theory of LRBGs and their invariants.

Abstract

We develop the idempotent theory for algebras over a class of semigroups called left regular bands of groups (LRBGs), which simultaneously generalize group algebras of finite groups and left regular band (LRB) algebras. Our techniques weave together the representation theory of finite groups and LRBs, opening the door for a systematic study of LRBGs in an analogous way to LRBs. We apply our results to construct complete systems of primitive orthogonal idempotents in the Mantaci--Reutenauer algebra ${\sf{MR}}_n[G]$ associated to any finite group $G$. When $G$ is abelian, we give closed form expressions for these idempotents, and when $G$ is the cyclic group of order two, we prove that these recover idempotents introduced by Vazirani.

Left Regular Bands of Groups and the Mantaci--Reutenauer algebra

TL;DR

The paper develops a comprehensive idempotent theory for left regular bands of groups (LRBGs), unifying the idempotent frameworks of left regular bands and finite group algebras. It constructs complete systems of primitive orthogonal idempotents (CSoPOI) for LRBG algebras by combining LRB-support techniques with group-algebra idempotents, and extends these to LRBGs with symmetry, yielding invariant-subalgebra idempotents. A central thread is Hsiao’s LRBGs , which connect to the Mantaci–Reutenauer algebras ; for abelian , the authors provide explicit bases, change-of-basis formulas, and closed-form CSoPOI for , recovering Vazirani’s idempotents when . The framework generalizes to LRBaGs and yields a systematic pathway to study MR algebras and their representations, including explicit idempotents and their connections to descent-like algebras. Overall, the work integrates semigroup theory, representation theory, and combinatorial Hopf-algebra structures to illuminate the structure and representation theory of LRBGs and their invariants.

Abstract

We develop the idempotent theory for algebras over a class of semigroups called left regular bands of groups (LRBGs), which simultaneously generalize group algebras of finite groups and left regular band (LRB) algebras. Our techniques weave together the representation theory of finite groups and LRBs, opening the door for a systematic study of LRBGs in an analogous way to LRBs. We apply our results to construct complete systems of primitive orthogonal idempotents in the Mantaci--Reutenauer algebra associated to any finite group . When is abelian, we give closed form expressions for these idempotents, and when is the cyclic group of order two, we prove that these recover idempotents introduced by Vazirani.
Paper Structure (39 sections, 51 theorems, 246 equations, 7 figures)

This paper contains 39 sections, 51 theorems, 246 equations, 7 figures.

Key Result

Theorem 1.1

Let ${\mathcal{S}}$ be a left regular band of groups and $E({\mathcal{S}})$ its left regular band of idempotents. Then the elements form a complete system of primitive orthogonal idempotents for $\mathop{\mathrm{\mathbb{C}}}\nolimits {\mathcal{S}}$.

Figures (7)

  • Figure 1: A hyperplane arrangement in $\mathop{\mathrm{\mathbb{R}}}\nolimits^3$, intersected with the sphere.
  • Figure 2: On the left are the elements of $\Sigma_3$ ordered by the relation $\leq$; that is, set compositions of $\{1,2,3\}$ ordered by reverse refinement. Its support lattice is the lattice $\Pi_3$ of set partitions of $\{1,2,3\}$ ordered by reverse refinement (depicted on the right). The map $\mathsf{supp}: \Sigma_3 \xrightarrow{} \Pi_3$ forgets the ordering of the blocks.
  • Figure 3: On the left are the elements of $\mathscr{F}_3$ ordered by the relation $\leq$. Its support lattice is the lattice of subsets of $\{1,2,3\}$ ordered by inclusion (depicted on the right). The support map sends a word to the set of letters appearing in the word.
  • Figure 4: The ten elements of the semigroup $\Sigma_2[{C_2}]$. We write $+$ or $-$ instead of $+1$ or $-1$ to simplify notation. The solid black lines correspond to the partial order $\leq$, the four elements at the top are incomparable to any other. The dashed red lines correspond to the congruence $\sim$. The boxes group elements according to the maximal subgroup they belong to.
  • Figure 5: The ten elements in $\Sigma_2[\widehat{C_2}]$, where ${\mathbf{trv}}$ denotes the trivial character of ${C_2}$ (${\mathbf{trv}}(+1) = {\mathbf{trv}}(-1) = 1$) and ${\mathbf{sgn}}$ denotes the sign representation of ${C_2}$ (${\mathbf{sgn}}(+1) = 1$ and ${\mathbf{sgn}}(-1) = -1$). To shorten notation, we write $( 12^{\mathbf{trv}} )$ for $( (\{1,2\} , {\mathbf{trv}} ) )$ and $( 1^{\mathbf{sgn}} | 2^{\mathbf{trv}} )$ for $( (\{1\} , {\mathbf{sgn}} ), ( \{2\} , {\mathbf{trv}} ) )$. The solid black lines correspond to the partial order $\mathop{\mathrm{\unlhd}}\nolimits$. The dashed red lines correspond to the equivalence relation $\sim$. The boxes group elements according to what the maximal subgroup they are characters of.
  • ...and 2 more figures

Theorems & Definitions (133)

  • Theorem 1.1: \ref{['thm:CSoPOI-LRBG']}
  • Theorem 1.2: \ref{['cor:uniform-CSoPOI-Hsiao']}
  • Definition 2.1
  • Example 2.2: Hyperplane arrangement
  • Example 2.3: The Braid arrangement
  • Example 2.4: The free LRB
  • Proposition 2.5: Support lattice and support map
  • Example 2.6: Lattice of flats of a Hyperplane Arrangement
  • Example 2.7: Partition lattice
  • Example 2.8: Boolean lattice
  • ...and 123 more