Esta pregunta acabó siendo más larga de lo que pretendía (aunque la mayor parte son interesantes observaciones de Hamilton), así que pensé que sería bueno incluir mi pregunta al principio, antes de los antecedentes, ciertamente largos:
Pregunta: ¿Por qué Hamilton consideraba que la parte escalar de un cuaternión representaba el tiempo? ¿Admite el punto de vista moderno de los cuaterniones en física una interpretación que incluya el tiempo pero que no requiera la relatividad y pensamientos afines como requisito previo?
Antecedentes: Me parece muy adelantado a su tiempo que Hamilton prefiriera pensar, o tal vez insistiera en pensar, en el álgebra como el estudio de una variable temporal. De hecho, aunque no soy historiador de las matemáticas, según mi lectura, Hamilton se siente bastante incómodo con la relativamente reciente difusión de la abstracción en el álgebra, especialmente en términos de números imaginarios. Se lamenta del abismo que existe entre esta abstracción y la firmeza de la ciencia:
Sin embargo, se podría sentir un pesar natural, si tal fuera el destino del Álgebra; si un estudio, que está continuamente ocupando a los matemáticos más y más, y casi ha reemplazado el Estudio de la Ciencia Geométrica, se encontrara al final que no es, en ningún sentido estricto o apropiado, el Estudio de una Ciencia en absoluto....
...y más tarde...
El autor reconoce con placer que está de acuerdo con M. Cauchy, en considerar cada (llamada) Ecuación Imaginaria como una representación simbólica de dos Ecuaciones Reales separadas: pero difiere de ese excelente matemático en su método en general, y especialmente en no introducir el signo $\sqrt{-1}$ hasta que le haya proporcionado, mediante su Teoría de las Parejas, un significado posible y real, como símbolo de la pareja (0, 1).
Como solución a su dilema, Hamilton postula que la interpretación del álgebra como estudio del tiempo es la forma de fundamentar científicamente el álgebra con números imaginarios, escribiendo:
Es la genialidad del Álgebra considerar lo que razona como fluido, como fue el genio de la Geometría considerar fijo lo que razonaba.
En su tratado sobre el tema: "Theory of Conjugate Functions, or Algebraic Couples; with a Preliminary and Elementary Essay on Algebra as The Science of Pure Time", desarrolla una enorme cantidad de álgebra básica (desde la suma y el orden hasta las formas indeterminadas y la exponenciación) a través de esta lente. La parte pegajosa es que no parece (para mí, al menos) resolver la cuestión en cuestión; la de proporcionar una formulación intuitiva del álgebra en la que uno pueda relacionar el tiempo y los números imaginarios, al menos más allá de la teoría de las parejas de Cauchy a la que se hace referencia más arriba. Sin embargo, él mismo se declara victorioso al respecto, escribiendo que esta "Teoría de las parejas se publica para poner de manifiesto ese sentido oculto". Se queda tan prendado de este punto de vista que más tarde interpreta los cuaterniones como un "escalar más vector" como un elemento "tiempo más espacio" del espaciotiempo:
Se dice que el tiempo sólo tiene una dimensión y que el espacio tiene tres. [ ] El cuaternión matemático participa de estos dos elementos; en lenguaje técnico puede decirse que es "tiempo más espacio", o "espacio más tiempo": y en este sentido tiene, o al menos implica una referencia a, cuatro dimensiones.
Desde Einstein y Minkowski (y otros), es bastante común pensar en términos de espaciotiempo (y de hecho el concepto parece remontarse a d'Alembert en 1754), pero sin la relatividad/ métrica de Lorenz/etc. a nuestra disposición, es sorprendente lo dedicado que estaba Hamilton al punto de vista de relacionar el tiempo y las cantidades imaginarias.
Pregunta (redux): En realidad, la base de esta cuestión es la interpretación sorprendentemente moderna de Hamilton de la parte escalar de un cuaternión como representación del tiempo. ¿Por qué lo hizo? ¿Admite el punto de vista moderno de los cuaterniones en física una interpretación que incluya el tiempo pero que no requiera la relatividad y pensamientos relacionados como requisito previo?