22
$\begingroup$

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For example, it can be interpreted in terms of octonions as $\Omega(w,x,y,z) = \langle w, x(\bar y z) - z(\bar y x)\rangle)$ where $y \mapsto \bar y$ is octonionic conjugation and $\langle,\rangle$ is the standard inner product.

A curious fact about this 4-form is that the indices that appear in each monomial are precisely the (length four) words in the Hamming Code $Ham(8,4)$. Is this just a coincidence (perhaps because all of these objects relate to the octonions)? The $E_8$-lattice can be constructed from $Ham(8,4)$ in a routine way.

Is there a machine that, when fed $E_8$ lattice, produces the group $Spin(7)$?

$\endgroup$
9
  • 1
    $\begingroup$ I suppose you mean octonionic conjugation, not quaternionic. Don't you need a special basis to get the Hamming code? $\endgroup$ Apr 29, 2016 at 17:26
  • $\begingroup$ mathoverflow.net/questions/119189/… $\endgroup$
    – user21574
    Apr 29, 2016 at 18:58
  • $\begingroup$ @VítTuček Oops, yes. I will fix. $\endgroup$ Apr 29, 2016 at 20:19
  • 1
    $\begingroup$ @VítTuček I don't know how canonical the passage $Spin(7) \leadsto Ham(8,4)$ --- I agree it looks like it needs a basis, but there might be a canonical way to do it (akin to choosing the unique-up-to-conjugation Cartan). The part I'm hoping to understand is $Ham(8,4) \leadsto Spin(7)$ or $E_8 \leadsto Spin(7)$ (I assume that $E_8 \leadsto Ham(8,4)$ isn't too bad, as some sort of reduction mod 2). Actually, I'd like to understand this machine well enough that I can feed it the Golay code (Leech lattice). $\endgroup$ Apr 29, 2016 at 20:25
  • $\begingroup$ @TheoJohnson-Freyd: So if I understand correctly, you claim that there is a (hopefully canonical) basis $\epsilon_i$ of $\mathbb{O}^*$ such that the assignment: $\epsilon_{i_1} \otimes \cdots \epsilon_{i_4} \to \sum_j e_{i_j}$ produces the Hamming code (8,4) on the set of nonzero monomials of the 4-form? Here $e_i$ form a basis of $\mathbb{Z}_2^8$. $\endgroup$ Apr 29, 2016 at 22:33

1 Answer 1

3
$\begingroup$

After a couple days of thought, I understand how $Ham(8,4)$ knows $Spin(7)$. I will describe a way here. Since I am answering my own question, I have marked this answer Community Wiki. You are explicitly invited to edit the answer however you see fit to improve it. If you make substantive edits, of course you should probably change this paragraph as well. --Theo


The real Clifford algebra $Cliff(8)$ is naturally a "twisted group algebra" for $\mathbb F_2^8$ in the following sense: it has an $\mathbb R$-basis $x_\alpha$ indexed by $\alpha \in \mathbb F_2^8$ with $x_\alpha x_\beta = \epsilon(\alpha,\beta) x_{\alpha + \beta}$ where $\epsilon = \pm 1$ is some group cocycle on $\mathbb F_2^8$. Of course, different people might make different choices for the cocycle $\epsilon$ --- changing it by a coboundary corresponds to changing the basis by a diagonal matrix. I will fix the following choice: identify $\mathbb F_2^8$ with the power set of $\{1,\dots,8\}$; let $x_1,\dots,x_8$ be the generators of $Cliff(8)$; if $\{i,j,\dots,k\} \subseteq \{1,\dots,8\}$ is ordered (so $i<j<\dots<k$) then $x_{ij\dots k} = x_ix_j\dots x_k$. (I will not use expressions like "$x_{21}$" or "$x_{11}$".)

The Hamming Code $Ham(8,4) \subseteq \mathbb F_2^8$ is a subgroup isomorphic to $\mathbb F_2^4$. Let's try to lift this to an inclusion $\mathbb F_2^4 \to Cliff(8)$.

Recall the definition of the Hamming Code: $\emptyset$ and $12345678 \in Ham(8,4)$, and the rest consists of certain 4-element subsets of $\{1,\dots,8\}$; to figure out which ones, run through all 4-element subsets in alphabetical order, and keep all the ones that have at most two elements of overlap with all previously-kept terms. The end result implies that if $\alpha,\beta \in Ham(8,4)$ and $|\alpha| = |\beta| = 4$, then $|\alpha \cap \beta| = 0$ or $2$. This implies in turn that if $\alpha,\beta \in Ham(8,4)$ then $x_\alpha^2 = x_\beta^2 = 1$ and $x_\alpha x_\beta = x_\beta x_\alpha$.

There's still the sign problem that in general $x_\alpha x_\beta \neq x_{\alpha + \beta}$. To fix this, for $\alpha \in Ham(8,4)$, set $y_\alpha = (-1)^{|\alpha|/4}x_\alpha$. Then $$ y : \mathbb F_2^4 \cong Ham(8,4) \hookrightarrow Cliff(8) $$ is a multiplicative map. So a lift exists.

Claim: $Spin(7) \subseteq SO(8)$ is precisely the stabilizer of $\sum_{\alpha \in Ham(8,4)} y_\alpha$ (under the conjugation $SO(8)$-action on $Cliff(8)$).

Since the $SO(8)$ action is inner, the image of $\mathfrak{so}(7)$ under this action is precisely the quadratic part of the centralizer of $\sum_{\alpha \in Ham(8,4)} y_\alpha$.

Proof: In the notation of this MO question, $\sum_{\alpha \in Ham(8,4)} y_\alpha = 1 + x_{12345678} - \Omega_0$. But $1$ and $x_{12345678}$ are stabilized by all of $SO(8)$.

How many choices were there? For any choice of four generators of $Ham(8,4)$ (say $1234, 1256, 1278, 1357$) you could set $y'_\alpha = \pm y_\alpha$, but that's it, so there are $2^4$ choices, generated by $4$ of them. (It must go to the line spanned by $x_\alpha$ and have the same square.) You can absorb these choices by changing $x_i$ to $-x_i$ for various $i$s. There are naturally two families of choices distinguished by whether element $12345678 \in Ham(8,4)$ is mapped to $x_{12345678}$ or $-x_{12345678}$. Any two choices in the same family are related by conjugating by diagonal matrices in $SO(8)$. (The two families are related by conjugating by diagonal matrices in $O(8)$ but not in $SO(8)$.)

So there's really not much choice, and the Hamming Code does "know" $Spin(7)$. I think what's going on with the two choices is the following. Let $\tau : Spin(8) \overset \sim \to Spin(8)$ denote the triality map, and let $\iota : Spin(7) \to Spin(8)$ denote the usual embedding (covering the canonical inclusion $\mathfrak {so}(7) \to \mathfrak {so}(8)$ which is $0$ in the last row and column) and $\pi : Spin(8) \to SO(8)$ the double cover. Then the composition $\pi \tau \iota : Spin(7) \to SO(8)$ is the embedding in question. But you could also have used the "other" triality $\tau^{-1}$, which corresponds to choosing the other spin module for $Spin(8)$.

$\endgroup$
1
  • 1
    $\begingroup$ (I haven't read the question, just the premise: I'm commenting only to say that I disagree with the CW mark, only on the basis that you're answering your own question.) $\endgroup$ May 4, 2016 at 5:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.