The symmetry group of $\mathbb Z^d$ - MathOverflow

The symmetry group of $\mathbb Z^d$

2012-10-13T18:23:43Z

Let $d \ge 1$, and consider the integer lattice $\mathbb Z^d$. This is a homogeneous space, in the manner of the Erlangan Programm.

I would like to write $\mathbb Z^d = G / H$, where $G$ is the symmetry group of the lattice and $H$ is the stabilizer of a point, but I do not see readily how to do so. This should be an easy question, so maybe one of you can answer it quickly.

Let $V = \{\pm \mathrm e_1, \cdots, \pm \mathrm e_d\}$ denote the $2d$ standard basis vectors in $\mathbb Z^d$, and let $H$ be the group consisting of lattice orthogonal matrices from $V$. i.e., an element $\beta \in H$ describes an orthogonal basis of $\mathbb Z^d$, in the sense that it is a matrix whose columns are an independent set from $V$.

The group $G$ should then consist of translations and rotations. Does that mean that it is a semidirect product of $\mathbb Z^d$ and $H$?

Answer by S. Carnahan for The symmetry group of $\mathbb Z^d$

2012-10-13T21:14:11Z

The answer to your last question is "yes" if:

You require your symmetries to preserve distances. Then $H=O(d,Z)$, and $G$ is the Galilean group over the integers.
You require your symmetries to preserve affine structure ($H=GL(d,Z)$)
Minor variations involving determinants.

Answer by Will Sawin for The symmetry group of $\mathbb Z^d$

2012-10-13T21:16:11Z

If $G=\mathbb Z^d \rtimes H$ for some group $H$ that acts on $\mathbb Z^d$, there is indeed a natural bijection $G/H \cong \mathbb Z^d$.

As Qiaochu says, what $H$ would be depends on the structure you want to preserve.

The obvious $H$ to choose is $GL_d(\mathbb Z)$. $\mathbb Z^d \rtimes GL_d(\mathbb Z)$ is the symmetry group of $\mathbb Z^d$ preserving the affine structure.

Another choice would be $O_d(\mathbb Z)$ for the standard quadratic form on $\mathbb Z^d$, which would give the group preserving the standard metric structure.

If you want the group to consist of translations and rotations, you need to get rid of the reflections, which you do by setting $H=SO_d(\mathbb Z)$. This preserves a metric and an orientation.

All the structures are chosen to be translation-invariant so that their symmetry group can act transitively on $\mathbb Z^d$.

Answer by Qfwfq for The symmetry group of $\mathbb Z^d$

2012-10-13T21:24:34Z

As far as I read (See page 138 of R.W.Sharpe), the Erlangen program, strictly speaking, describes connected homogeneus manifolds $X$ as $G/H$ where $G$ is a Lie group considered as the "automorphism group" of a geometry on $X$ and $H$ is the stabilizer of a point.

First of all, the space $\mathbb{Z}^d$ is a non-connected zero dimensional manifold, so I don't know how much we can say it fits the Erlangen program. Anyways, the "full symmetry group" as a manifold (even as a Riemannian manifold, being zero dimensional) is then simply the full symmetric group (i.e. set theoretic permutations) $G=\mathfrak{S}(\mathbb{Z}^d)$, and $H$ the stabilizer of any point.

But you didn't say which structure on $\mathbb{Z}^d$ you want the symmetries to preserve...

If you want to preserve the distance induced by the Euclidean norm on $\mathbb{R}^d$, then you can take $G=O(d,\mathbb{Z})\ltimes\mathbb{Z}^d$ and $H=O(d,\mathbb{Z})$. [I see that S.Carnahan has posted the same suggestion right before me. Edit: and also Will Sawin]