  The sandpile group of a graph is a well-studied object that combines ideas
from algebraic graph theory, group theory, dynamical systems, and statistical
physics. A graph's sandpile group is part of a larger algebraic structure on
the graph, known as its sandpile monoid. Most of the work on sandpiles so far
has focused on the sandpile group rather than the sandpile monoid of a graph,
and has also assumed the underlying graph to be undirected. A notable exception
is the recent work of Babai and Toumpakari, which builds up the theory of
sandpile monoids on directed graphs from scratch and provides many connections
between the combinatorics of a graph and the algebraic aspects of its sandpile
monoid.
  In this paper we primarily consider sandpile monoids on directed graphs, and
we extend the existing theory in four main ways. First, we give a combinatorial
classification of the maximal subgroups of a sandpile monoid on a directed
graph in terms of the sandpile groups of certain easily-identifiable subgraphs.
Second, we point out certain sandpile results for undirected graphs that are
really results for sandpile monoids on directed graphs that contain exactly two
idempotents. Third, we give a new algebraic constraint that sandpile monoids
must satisfy and exhibit two infinite families of monoids that cannot be
realized as sandpile monoids on any graph. Finally, we give an explicit
combinatorial description of the sandpile group identity for every graph in a
family of directed graphs which generalizes the family of (undirected)
distance-regular graphs. This family includes many other graphs of interest,
including iterated wheels, regular trees, and regular tournaments.
