Skip to main content
4 of 4
\cup -> \bigcup
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Finding an irreducible region of a space given a group of transformations

Given some $d$ dimensional torus, (i.e. just a $d$-dimensional hypercube with periodic boundary conditions) I'll call $\Omega$, and a group of transformations $G$ of $\Omega$, I want to find the smallest sub-region in the hyper-torus such that the rest of the torus can be generated by the action of the group elements of $G$.

That is, I want to find the smallest $\tilde{\Omega}$ such that

\begin{equation} \Omega = \bigcup_{g \in G} g (\tilde{\Omega}) \end{equation}

Condensed matter physicists approach this problem quite often in finding an irreducible Brillouin zone, but I cannot find any general procedure for solving this problem that doesn't involve just guessing the solution.

Does anyone have suggestions for how to go about doing this, or references they can point me to?


There is a related and unanswered question here: https://math.stackexchange.com/questions/1284436/algebraic-determination-of-asymmetric-unit-aka-irreducible-wedge-in-brillouin

Mason
  • 123
  • 4