arXiv++ Combinatorics

The sandpile group of a connected graph $G$, defined to be the torsion part of the cokernel of the graph Laplacian, is a subtle graph invariant with combinatorial, algebraic, and geometric descriptions. Extending and improving previous works on the sandpile group of hypercubes, we study the sandpile groups of the Cayley graphs of $\mathbb{F}_2^r$, focusing on their poorly understood Sylow-$2$ component. We find the number of Sylow-$2$ cyclic factors for "generic" Cayley graphs and deduce a bound for the non-generic ones. Moreover, we provide a sharp upper bound for their largest Sylow-$2$ cyclic factors. In the case of hypercubes, we give exact formulae for the largest $n-1$ Sylow-$2$ cyclic factors. Some key ingredients of our work include the natural ring structure on these sandpile groups from representation theory, and calculation of the $2$-adic valuations of binomial sums via the combinatorics of carries.

For an arbitrary finite monoid $M$ and subgroup $K$ of the unit group of $M$, we prove that there is a bijection between irreducible representations of $M$ with nontrivial $K$-fixed space and irreducible representations of $\mathcal{H}_K$, the convolution algebra of $K\times K$-invariant functions from $M$ to $F$, where $F$ is a field of characteristic not dividing $|K|$. When $M$ is reductive and $K = B$ is a Borel subgroup of the group of units, this indirectly provides a connection between irreducible representations of $M$ and those of $F[R]$, where $R$ is the Renner monoid of $M$. We conclude with a quick proof of Frobenius Reciprocity for monoids for reference in future papers.