title: Orden de los cuaterniones de Hurwitz
text: # Orden de los cuaterniones de Hurwitz
  
  El orden cuaternión de Hurwitz es un orden específico en álgebra de cuaterniones sobre un cuerpo de números apropiado. El orden es de particular importancia en la teoría de la superficie de Riemann, en conexión con campos con simetría máxima, es decir, superficie de Hurwitz. El orden cuaternión de Hurwitz fue estudiado en 1967 por el matemático japonés Gorō Shimura, pero fue descrita antes por Noam Elkies, en 1998. Para un uso alternativo de este término, véase cuaternión de Hurwitz (ambos términos se utilizan actualmente).
  
  ## Definición
  
  Deja a $K$ ser el subcampo máximo real de $\mathbb {Q}$$(\rho )$ donde $\rho$ es una raíz séptima de la unidad primitiva. El anillo de los enteros de $K$ es $\mathbb {Z} [\eta ]$, donde el elemento $\eta =\rho +{\bar {\rho }}$ puede ser identificado con el real positivo $2\cos({\tfrac {2\pi }{7}})$. Deja a $D$ ser el álgebra de cuaterniones, o álgebra simbólica
  
      $D:=\,(\eta ,\eta )_{K},$
  
  así que $i^{2}=j^{2}=\eta$ y $ij=-ji$ están dentro de $D.$ También deja a $\tau =1+\eta +\eta ^{2}$ y $j'={\tfrac {1}{2}}(1+\eta i+\tau j)$. Deja a
  
      ${\mathcal {Q}}_{\mathrm {Hur} }=\mathbb {Z} [\eta ][i,j,j'].$
  
  Entonces, ${\mathcal {Q}}_{\mathrm {Hur} }$ es el orden máximo de $D$, descrito explícitamente por Noam Elkies.
  
  ## Estructura modular
  
  El orden $Q_{\mathrm {Hur} }$ es también generado por los elementos
  
      $g_{2}={\tfrac {1}{\eta }}ij$
  
  y
  
      $g_{3}={\tfrac {1}{2}}(1+(\eta ^{2}-2)j+(3-\eta ^{2})ij).$
  
  De hecho, el orden es módulo $\mathbb {Z} [\eta ]$ libre sobre la base $\,1,g_{2},g_{3},g_{2}g_{3}$. Aquí los generadores satisfacen las relaciones
  
      $g_{2}^{2}=g_{3}^{3}=(g_{2}g_{3})^{7}=-1,$
  
  los cuales descienden a las relaciones apropiadas en el grupo de triángulos (2,3,7), luego del cociente por el centro.
  
  ## Subgrupos de congruencia principales
  
  El subgrupo de congruencia principal definido por un ideal $I\subset \mathbb {Z} [\eta ]$ es por definición el grupo
  
      ${\mathcal {Q}}_{\mathrm {Hur} }^{1}(I)=\{x\in {\mathcal {Q}}_{\mathrm {Hur} }^{1}:x\equiv 1($mod $I{\mathcal {Q}}_{\mathrm {Hur} })\$
  
  es decir, el grupo de elementos de norma reducida 1 en ${\mathcal {Q}}_{\mathrm {Hur} }$ equivalente al módulo 1 del ideal $I{\mathcal {Q}}_{\mathrm {Hur} }$. El grupo Fuchciano es obtenido como la imagen del subgrupo de congruencia principal bajo una representación a $PSL_{2}(R)$.
  
  ## Aplicación
  
  El orden fue utilizado por Nick Katz, Mary Schaps y Uzi Vishne para construir una familia de superficies de Hurwitz satisfaciendo un límite inferior asintótico para el sístole: $sys>{\tfrac {4}{3}}\log g$ donde $g$ es el género, mejorando un resultado previo de Peter Sarnak y Peter Buser.
  
  