William Rowan Hamilton
Quaternions · A Primeira Não-Comutatividade

Na manhã de 16 de outubro de 1843, William Rowan Hamilton caminhava ao longo do Canal Real em Dublin com sua esposa. Havia mais de dez anos tentando estender os números complexos $\mathbb{C} = a + bi$ a um sistema com três eixos. Não conseguia. Toda tentativa fracassava: a álgebra colapsava, a divisão não funcionava, as normas não se multiplicavam corretamente.

Então, no instante em que chegou à Ponte de Brougham, a solução apareceu — não em três dimensões, mas em quatro. Eram necessárias três unidades imaginárias, não uma. E o preço era que a multiplicação não mais comutaria.

Hamilton tirou um canivete do bolso e gravou na pedra da ponte:

A inscrição não sobreviveu — pedra e água se encarregaram disso. Mas o que ela continha sobreviveu a tudo o que veio depois: os grupos de Lie, a mecânica quântica, a geometria não-comutativa de Connes, e os grupos esporádicos que culminam no Monster. Hamilton abriu uma porta que nunca mais fechou.

On the morning of October 16, 1843, William Rowan Hamilton walked along the Royal Canal in Dublin with his wife. He had spent more than ten years trying to extend the complex numbers $\mathbb{C} = a + bi$ to a system with three axes. He could not. Every attempt failed: the algebra collapsed, division broke down, norms would not multiply correctly.

Then, at the moment he reached Brougham Bridge, the solution came — not in three dimensions but in four. Three imaginary units were needed, not one. And the price was that multiplication would no longer commute.

Hamilton took a penknife from his pocket and carved into the bridge stone:

The inscription did not survive — stone and water saw to that. But what it contained survived everything that followed: Lie groups, quantum mechanics, Connes' noncommutative geometry, and the sporadic groups culminating in the Monster. Hamilton opened a door that never closed again.

Antes de 1843, toda álgebra que os matemáticos conheciam era comutativa: $ab = ba$ sem exceção. Os números inteiros, os racionais, os reais, os complexos — todos comutavam. A comutatividade parecia uma lei da natureza, não uma escolha.

Hamilton quebrou isso. Os quaternions $\mathbb{H}$ têm três unidades imaginárias $i, j, k$ com as relações:

A não-comutatividade dos quaternions não vem de nenhum termo de borda, de nenhuma distribuição, de nenhuma descontinuidade. Vem da álgebra intrínseca — da maneira como $i$, $j$, $k$ se relacionam por necessidade estrutural. Isto é o que [K,F] ≠ 0 deve ser: não-comutatividade de acoplamento, não de fronteira.

Before 1843, every algebra mathematicians knew was commutative: $ab = ba$ without exception. Integers, rationals, reals, complex numbers — all commuted. Commutativity seemed like a law of nature, not a choice.

Hamilton broke that. The quaternions $\mathbb{H}$ have three imaginary units $i, j, k$ with the relations:

The non-commutativity of quaternions does not come from any boundary term, any distribution, any discontinuity. It comes from the intrinsic algebra — from the way $i$, $j$, $k$ relate by structural necessity. This is what [K,F] ≠ 0 must be: non-commutativity from coupling, not from a boundary.

Os quaternions de Hamilton são o terceiro degrau de uma escada finita. Hurwitz provou em 1898 que existem exatamente quatro álgebras de divisão normadas sobre $\mathbb{R}$, e somente quatro. Cada extensão sacrifica uma propriedade:

Hamilton abriu a porta aos octonions $\mathbb{O}$ ao mostrar que a comutatividade podia cair. Graves descobriu os octonions em dezembro de 1843 — dois meses depois de Brougham — ao perceber que a associatividade também podia cair. A escada termina nos octonions: não existe álgebra de divisão normada de dimensão 16.

A conexão com o Monster não é metafórica: o reticulado de Leech — o reticulado mais simétrico em 24 dimensões, cujo grupo de automorfismos é a extensão dupla do Monster — é construído sobre a estrutura $\mathbb{O}^3$. O caminho de Hamilton a Conway, Fischer e Griess é direto.

Hamilton's quaternions are the third step of a finite ladder. Hurwitz proved in 1898 that there are exactly four normed division algebras over $\mathbb{R}$, and only four. Each extension sacrifices one property:

Hamilton opened the door to the octonions $\mathbb{O}$ by showing commutativity could fall. Graves discovered the octonions in December 1843 — two months after Brougham — by realizing associativity could fall too. The ladder ends at the octonions: no normed division algebra of dimension 16 exists.

The connection to the Monster is not metaphorical: the Leech lattice — the most symmetric lattice in 24 dimensions, whose automorphism group is the Monster's double extension — is constructed over $\mathbb{O}^3$ structure. The path from Hamilton to Conway, Fischer, and Griess is direct.

Os quaternions não foram a única contribuição de Hamilton. Em 1833 — dez anos antes de Brougham — ele reformulou toda a mecânica clássica em termos da função Hamiltoniana $H(q, p)$, onde $q$ são as coordenadas generalizadas e $p$ os momentos conjugados.

Esta formulação revelou que a mecânica tem uma estrutura geométrica profunda: o espaço de fase $(q, p)$ é uma variedade simpléctica com forma $\omega = \sum_i dq_i \wedge dp_i$. O parêntese de Poisson $\{f, g\} = \sum_i \left(\frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q_i}\right)$ é o precursor direto do comutador quântico $[A,B] = i\hbar\{A,B\} + O(\hbar^2)$ pela correspondência de Dirac.

A simetria canônica de Hamilton — que conserva $\omega$ — é a raiz geométrica da conservação do volume de espaço de fase (teorema de Liouville). A quebra dessa simetria pelo operador $F$ é o que gera a irreversibilidade termodinâmica discutida em ch-symplectic.html.

The quaternions were not Hamilton's only contribution. In 1833 — ten years before Brougham — he reformulated all of classical mechanics in terms of the Hamiltonian function $H(q, p)$, where $q$ are generalized coordinates and $p$ the conjugate momenta.

This formulation revealed that mechanics has a deep geometric structure: phase space $(q, p)$ is a symplectic manifold with form $\omega = \sum_i dq_i \wedge dp_i$. The Poisson bracket $\{f, g\}$ is the direct precursor of the quantum commutator $[A,B] = i\hbar\{A,B\} + O(\hbar^2)$ via Dirac's correspondence.

Hamilton's canonical symmetry — which preserves $\omega$ — is the geometric root of phase-space volume conservation (Liouville's theorem). The breaking of that symmetry by operator $F$ is what generates the thermodynamic irreversibility discussed in ch-symplectic.html.

O Monster Group $\mathbb{M}$ — o maior grupo simples esporádico, de ordem $\approx 8 \times 10^{53}$ — habita um mundo onde a não-comutatividade não é exceção mas substância. Sua construção por Griess em 1982 depende da álgebra de monstro, que tem estrutura de módulo vertex sobre o reticulado de Leech em 24 dimensões.

O reticulado de Leech é construído sobre $\mathbb{O}^3$ — três cópias dos octonions. Os octonions são a extensão de Hamilton a um passo além: se os quaternions sacrificaram a comutatividade, os octonions sacrificam também a associatividade. Hamilton apontou o caminho ao mostrar que o sacrifício é possível — e que a álgebra resultante não colapsa, apenas muda de natureza.

The Monster Group $\mathbb{M}$ — the largest sporadic simple group, of order $\approx 8 \times 10^{53}$ — inhabits a world where non-commutativity is not exception but substance. Its construction by Griess in 1982 depends on the Monster algebra, which has a vertex module structure over the 24-dimensional Leech lattice.

The Leech lattice is built on $\mathbb{O}^3$ — three copies of the octonions. The octonions are Hamilton's extension one step further: if the quaternions sacrificed commutativity, the octonions sacrifice associativity too. Hamilton pointed the way by showing that sacrifice is possible — and that the resulting algebra does not collapse, it merely changes nature.