Let $\Delta\subset\Bbb R^n$ be a simplex with $n+1$ vertices. Let $G\subset\mathrm{GL}(\Bbb R^n)$ be a finite group of linear symmetries of $\Delta$, i.e. linear transformations that fix the simplex set-wise. Set $m:=|G|$.

Question:Is there a simplicial subdivision $\Delta=\Delta_1\cup\cdots\cup\Delta_m$, so that $G$ acts regularly (that is, transitively and freely) on the set of simplices $\{\Delta_i:1\le i\le m\}$?

In other words, I want a decomposition of $\Delta$ into fundamental regions w.r.t. the group action, where each region is a simplex.
By *simplicial subdivision* I mean a tiling of $\Delta$ with simplices, any two of which are either disjoint or intersect in a common face (though their intersection with the boundary of $\Delta$ might not be a face of $\Delta$).

Such subdivisions clearly exist when $n=1$, and the image below shows that they also exist for $n=2$. The groups are (from left to right)

$$G\cong\text{$\{$ $\Bbb Z_2$,$\;$ the cyclic group $\Bbb Z_3$,$\;$ the dihedral group $D_3$}\}.$$

(update: simplicial subdivisions also exist for $n=3$; see Note II below)

Instead of thinking of $G$ as a linear group, we can interpret it as a permutation group $G\subseteq\mathbf S_{n+1}$, a subgroup of the symmetric group $\mathbf S_{n+1}$, permuting the vertices $\{1,...,n+1\}$ of $\Delta$.
The full symmetric group induces the *barycentric subdivision* (as seen in the right-most image).
One can then ask whether it is always possible to combine some of the simplices in the barycentric subdivision to form a simplex that is a fundamental region for $G$.

I also wonder in how far such a subdivision (if it exists) is unique (update: they are not, see Note II below).

**Note I**

In the comments I describe how to construct a decomposition for any group of order 2.

**Note II**

I found simplicial fundamental domains for all subgroups of $\mathbf S_4$ (subgroups taken from here).

$$ \begin{array}{r|c|l} \text{group} & \text{size} & \text{fundamental simplex} \\ \hline \mathbf S_4 & 24 & \{1,2,3,4\},\{1,2,3\},\{1,2\},\{1\} \\ \hline \mathbf A_4 & 12 & \{1,2,3,4\},\{1,2,3\},\{1\},\{2\} \\ \hline \langle(1,2,3,4),(1,3)\rangle & 8 & \{1,2,3,4\},\{1,3\},\{1\},\{2\} \\[-0.4ex] & & \{1,2\},\{2,4\},\{1,3\},\{1\} \\ \hline \langle(1 2 3),(1 2)\rangle & 6 & \{1,2,3\},\{1,2\},\{1\},\{4\} \\ \hline \langle(1,2,3,4)\rangle & 4 & \color{blue}{\{1,2,3,4\},\{1\},\{2\},\{3\}} \\[-0.4ex] & & \color{orange}{\{1,3\},\{2,4\},\{1\},\{2\}} \\\hline \langle(1,2)(3,4),(1,3)(2,4)\rangle & 4 & \color{blue}{\{1,2,3,4\},\{1\},\{2\},\{3\}} \\ \hline \langle(1,3),(2,4)\rangle & 4 & \color{orange}{\{1,3\},\{2,4\},\{1\},\{2\}} \\ \hline \langle(1,2,3)\rangle & 3 & \{1,2,3\},\{2\},\{3\},\{4\} \\ \hline \langle(1,2)(3,4)\rangle & 2 & \color{red}{\{1,2\},\{2\},\{3\},\{4\}} \\ \hline \langle(1,2)\rangle & 2 & \color{red}{\{1,2\},\{2\},\{3\},\{4\}} \\ \hline \langle\varnothing\rangle & 1 & \{1\},\{2\},\{3\},\{4\} \end{array} $$

The groups are given as permutation groups on the vertex set $\{1,2,3,4\}$. Each fundamental simplex is given in terms of its vertices, where a subset $S\subseteq\{1,2,3,4\}$ denotes the vertex

$$\frac1{|S|}\sum_{i\in S} v_i.$$

Simplices highlighted in the same color indicate that different groups have the same fundamental simplex. I do not claim that the list of subdivisions is complete.

**Some oberservations:**

- There are groups (e.g. $\langle(1,2,3,4)\rangle$) that have two geometrically different subdivisions! So subdivisions are not always unique.
- A single subdivision can work for multiple groups (see the highlighted colors).
- The second fundamental simplex listed for the 8-element group is
*not*a union of simplices from the barycentric subdivision! So there can exist other subdivision. But this subdivision still uses the same vertex coordinates as the barycentric subdivision. - Curious observation (partially explained by David in the comments): the size of each group equals the product of the cardinalities of the sets listed in the right column. The reason seems to be that these cardinalities determine the volume of the fundamental simplex, which must be $|G|^{-1}\cdot\mathrm{vol}(\Delta)$.

9more comments