The crossmetric tensor and the geometrical meaning of the imaginary numbers

Resumen Técnico: El Tensor de la Crossmétrica y el Significado Geométrico de los Números Imaginarios

Planteamiento del Problema
El artículo aborda dos cuestiones interconectadas en la teoría de los cuaterniones. Primero, mientras que los cuaterniones de Hamilton proporcionan un marco algebraico compacto para las rotaciones en 3D en bases cartesianas, su generalización a bases no cartesianas (cristalográficas) ha dependido históricamente de la separación de los productos escalar y vectorial. Segundo, la interpretación geométrica de las unidades imaginarias ($i, j, k$) en el álgebra de Hamilton sigue siendo ambigua y a menudo carece de una representación física coherente, lo que llevó a la resistencia histórica de físicos como Gibbs y Heaviside, quienes preferían el análisis vectorial. El autor señala que las explicaciones existentes de los números imaginarios como "operadores de rotación de 90 grados" o elementos de base abstractos no logran proporcionar una intuición geométrica consistente, particularmente respecto al factor de diferencia de dos entre las rotaciones complejas en 2D y las rotaciones de cuaterniones en 3D.

Metodología
El estudio procede en dos fases principales: generalización algebraica e interpretación geométrica.

1. Generalización Algebraica: Basándose en el trabajo previo (Cayron, 2026), el autor generaliza la composición de los cuaterniones de rotación a bases cristalográficas no cartesianas. En lugar de tratar el producto escalar (regido por el tensor métrico $\mathcal{M}$) y el producto vectorial (regido por la matriz de cruce $\mathcal{X}$) como operaciones separadas, el autor los combina en una única matriz de 4x4 denominada tensor de la crossmétrica ($\mathcal{Q}_c$). Esta matriz permite que el producto de dos cuaterniones cristalográficos se escriba como una única forma cuadrática: $\mathbf{q}_3 = \mathbf{q}_1^T \mathcal{Q}_c \mathbf{q}_2$. Los símbolos utilizados en este tensor son $\mathbf{s}$ (eje escalar) y los ejes cristalográficos $\mathbf{a}, \mathbf{b}, \mathbf{c}$.
2. Interpretación Geométrica: El autor propone un nuevo modelo geomético donde un cuaternión unitario no es una operación en sí misma, sino un conjunto de pares de planos orientados (planos de espejo). Un cuaternión que representa una rotación de ángulo $\alpha$ alrededor de un eje $\mathbf{u}$ se define como el conjunto infinito de pares de planos $(\mathbf{m}_1, \mathbf{m}_2)$ que intersectan a lo largo de $\mathbf{u}$ con un ángulo de $\alpha/2$ entre ellos. La composición de cuaterniones se modela mediante una regla de cabeza-cola de grupoide: el plano de llegada del primer cuaternión debe coincidir con el plano de partida del segundo.

Contribuciones Clave y Resultados

• El Tensor de la Crossmétrica ($\mathcal{Q}_c$): El artículo deriva la forma explícita de $\mathcal{Q}_c$ para las seis familias cristalinas. Este tensor unifica el tensor métrico (para productos escalares) y el tensor de cruce (para productos vectoriales) en una única estructura simbólica. Se demuestra que los componentes de $\mathcal{Q}_c$ son deducibles únicamente a partir del tensor métrico $\mathcal{M}$.
• Significado Geométrico de las Unidades Imaginarias: El artículo redefine las unidades imaginarias $\mathbf{i}, \mathbf{j}, \mathbf{k}$ (y sus contrapartes cristalográficas $\tilde{\mathbf{a}}, \tilde{\mathbf{b}}, \tilde{\mathbf{c}}$) no como números, sino como cuaterniones elementales que representan rotaciones de media vuelta ($180^\circ$). Geométricamente, estas son pares de planos perpendiculares y orientados que intersectan a lo largo de los respectivos ejes.
  • Por ejemplo, $\mathbf{i}$ se representa como un par de planos $(\mathbf{m}_y, -\mathbf{m}_z)$.
  • La regla $\mathbf{i}^2 = -1$ se deriva geométricamente: la composición de un par de planos consigo mismo (tras contabilizar la reversión de orientación) resulta en una rotación de $360^\circ$, lo cual corresponde al cuaternión $-\mathbf{s}$.
• Cuaterniones Elementales vs. Complementarios: El estudio distingue entre cuaterniones "elementales" (basados en los ejes cristalográficos $\mathbf{a}, \mathbf{b}, \mathbf{c}$) y cuaterniones "complementarios" (basados en las caras de la celda unidad, es decir, vectores recíprocos).
  • En bases cristalográficas generales, estos son conjuntos distintos. Los cuaterniones elementales satisfacen la regla del cuadrado ($\mathbf{a}^2 = -1$), mientras que los complementarios satisfacen las reglas del bi-producto (p. ej., $\mathbf{a}'\mathbf{b}' = \mathbf{c}'$).
  • Caso Especial Cartesiano: En un sistema cúbico (cartesiano), los cuaterniones elementales y complementarios coinciden ($\mathbf{i} = \mathbf{i}'$, etc.). Esta coincidencia explica por qué el sistema original de Hamilton requiere solo tres unidades imaginarias para satisfacer simultáneamente las reglas de cuadrado y de bi-producto, mientras que un sistema cristalográfico general requeriría seis unidades distintas para describir plenamente el álgebra.
• Reinterpretación de los Números Imaginarios en 2D: El autor argumenta que el número imaginario $\mathbf{i}$ en 2D debe entenderse como un par de líneas perpendiculares (planos en 2D) que representan una rotación de $180^\circ$ al elevarse al cuadrado. Si bien el número imaginario $\mathbf{i}$ en 2D se asocia con una rotación de $90^\circ$ (un cuarto de vuelta), el artículo enfatiza que el objeto geométrico $\mathbf{i}$ corresponde al conjunto de pares de planos orientados perpendiculares. Por consiguiente, la rotación asociada al objeto $\mathbf{i}$ es una rotación de dos veces $90^\circ$, es decir, $180^\circ$. Esta perspectiva aclara que el número complejo $\cos\alpha + \sin\alpha \mathbf{i}$ representa dos planos que forman un ángulo $\alpha$ entre ellos, resultando en una rotación de ángulo $2\alpha$, en lugar de una representación directa de una rotación de ángulo $\alpha$.

Significación y Reivindicaciones
El artículo afirma que el tensor de la crossmétrica proporciona un marco algebraico riguroso para las rotaciones cristalográficas que es consistente con la geometría subyacente de la red. Más importante aún, la propuesta interpretación geométrica de los números imaginarios como "pares de planos orientados flotantes" ofrece una explicación coherente para las reglas de Hamilton sin depender de convenciones algebraicas abstractas.

El autor sugiere que la ambigüedad de las unidades de los cuaterniones ($+1$ y $-1$ representando la misma rotación) se explica naturalmente mediante la estructura de grupoide de estos pares de planos. El estudio postula que el "yugo del cuaternión" criticado por Gibbs se debió a la falta de una representación geométrica clara para los símbolos imaginarios, un vacío que este trabajo intenta llenar vinculando los símbolos algebraicos directamente con la geometría de los planos de espejo y la composición de rotaciones. El estudio concluye que los cuaterniones cartesianos son simplemente un caso específico y altamente simétrico de un sistema de cuaterniones cristalográficos más amplio.