Dominios fundamentales para grupos S-aritméticos cuaterniónicos sobre cuerpos totalmente reales

Información Básica

• ID del Artículo: 2510.09356
• Título: Fundamental domains for quaternionic S-arithmetic groups over totally real fields
• Autores: Marc Masdeu, Eloi Torrents
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: 13 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.09356

Resumen

Sea $B$ un álgebra de cuaterniones totalmente definida positiva sobre un cuerpo totalmente real $F$, $\mathfrak{p}$ un ideal primo de $F$, y $\Gamma$ el grupo de elementos de norma reducida 1 en un orden de Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-orden $R$ dentro de $B$. Este artículo presenta un algoritmo para calcular dominios fundamentales de la acción de $\Gamma$ en el árbol de Bruhat-Tits de $\operatorname{GL}_2(F_\mathfrak{p})$. Utilizando este algoritmo, los autores tabulan todas las curvas de Shimura de género no superior a 3 sobre cuerpos totalmente reales que pueden ser uniformizadas p-ádicamente por algún primo $\mathfrak{p}$.

Contexto e Investigación de Motivación

1. Problema Central: El problema central que aborda este artículo es el cálculo de dominios fundamentales de la acción de grupos S-aritméticos cuaterniónicos en el árbol de Bruhat-Tits. Este es un problema computacional importante en teoría de números algebraicos y teoría de formas automorfas.
2. Importancia:
   • Para curvas de Shimura con reducción mala, la estructura de la fibra especial mala está codificada por estos dominios fundamentales
   • El cálculo de dominios fundamentales es crucial para entender la uniformización p-ádica de curvas de Shimura
   • Estos resultados computacionales pueden utilizarse para determinar todas las curvas de Shimura dentro de rangos específicos de género
3. Limitaciones de Métodos Existentes:
   • Los algoritmos previos se enfocaban principalmente en el caso del cuerpo de números racionales $\mathbb{Q}$
   • Faltaban métodos computacionales efectivos para el caso general de cuerpos totalmente reales
   • Los métodos existentes tenían eficiencia limitada al tratar casos de género alto
4. Motivación de la Investigación:
   • Generalizar el algoritmo de Franc-Masdeu al caso de cuerpos totalmente reales
   • Proporcionar un método sistemático para calcular y clasificar curvas de Shimura de género bajo
   • Proveer herramientas computacionales para la teoría p-ádica de curvas de Shimura

Contribuciones Principales

1. Innovación Algorítmica: Generalización del algoritmo de Franc-Masdeu al caso de álgebras de cuaterniones sobre cuerpos totalmente reales, proporcionando un algoritmo completo para calcular dominios fundamentales
2. Desarrollo Teórico:
   • Proporciona métodos efectivos para determinar si dos vértices o aristas en el árbol de Bruhat-Tits son equivalentes bajo la acción del grupo
   • Ofrece métodos estandarizados para representar vértices y aristas del árbol de Bruhat-Tits mediante matrices
3. Logros Computacionales: Cálculo sistemático y tabulación de todas las curvas de Shimura uniformizables p-ádicamente de género no superior a 3 sobre cuerpos totalmente reales de grado 2-7
4. Implementación de Software: Proporciona una implementación en SageMath que permite que otros investigadores utilicen y verifiquen el algoritmo

Explicación Detallada de Métodos

Definición de la Tarea

Dado un álgebra de cuaterniones totalmente definida positiva $B$ sobre un cuerpo totalmente real $F$, un ideal primo $\mathfrak{p}$, y un orden de Eichler $R$, calcular el dominio fundamental de la acción del grupo $\Gamma = \iota(R[1/\mathfrak{p}]^{\times 1}) \subseteq \text{SL}_2(F_\mathfrak{p})$ en el árbol de Bruhat-Tits $T_\mathfrak{p}$.

Arquitectura del Algoritmo Principal

1. Representación del Árbol de Bruhat-Tits

• Representación de Vértices: Clases de homotopía $[Λ]$, donde $Λ \subseteq F_\mathfrak{p}^2$ es una red
• Representación Estandarizada: Uso de matrices $2 \times 2$ en $\mathcal{O}_F$ para representar vértices y aristas

Lema 2.2: Los vértices pueden representarse como matrices de la forma $\begin{pmatrix} \pi^m & 0 \\ r & \pi^n \end{pmatrix}$ o $\begin{pmatrix} 0 & \pi^m \\ \pi^n & r \end{pmatrix}$, donde $r \in S_n$.

2. Algoritmo de Determinación de Equivalencia

El problema central es determinar si dos vértices/aristas $u, v$ son $Γ$-equivalentes, es decir, si existe $γ \in Γ$ tal que $\iota(γ)u = v$.

Lema 3.2: Sea $2m = a + b$, donde $a = \text{val}_\pi(\det u)$, $b = \text{val}_\pi(\det v)$, entonces $\text{Hom}_Γ(u,v) = Γ \cap π^{-m}v^*Λ_0u$

Pasos Principales del Algoritmo:

1. Construir la red $Λ_{u,v} = \iota^{-1}(π^h v^* Λ_0 u) \cap R + \mathfrak{p}^{d⌈m/d⌉+1}R$
2. Buscar elementos con norma reducida $δ^{2⌈m/d⌉}$
3. Usar el algoritmo LLL para resolver el problema del vector más corto

3. Algoritmo de Cálculo del Dominio Fundamental

Flujo Principal del Algoritmo 2:

1. Comenzar desde el vértice base $v_0$
2. Para cada vértice por procesar, verificar todas sus aristas salientes
3. Usar la determinación de equivalencia para establecer si nuevas aristas/vértices ya están en el dominio fundamental
4. Registrar relaciones de frontera, calcular género
5. Repetir hasta que todos los vértices hayan sido procesados

Puntos de Innovación Técnica

1. Estandarización de Representación Matricial: Mediante el Lema 2.2, se transforma el cálculo de matrices p-ádicas en cálculos en el anillo de enteros, simplificando enormemente la complejidad de implementación
2. Aplicación de Métodos de Redes: Se transforma el problema de determinación de equivalencia en el problema de encontrar elementos de norma específica en una red particular, resuelto eficientemente mediante el algoritmo LLL
3. Precálculo de Datos de Frontera: Mediante precálculo de información de reducción de la capa de frontera, se reduce la complejidad de reducción de vértices arbitrarios a $O(\text{dist}(v))$
4. Control de Género: El algoritmo puede establecer límites de género máximo, evitando cálculos de casos excesivamente complejos

Configuración Experimental

Rango de Datos

• Grado del Cuerpo Numérico: Cuerpos totalmente reales de grado 2-7
• Rango de Género: 0-3
• Condiciones de Primos: Primos no ramificados con grado de inercia 1

Entorno de Cálculo

• Hardware: Procesador Apple M4, 16GB RAM
• Software: Implementación en SageMath
• Optimizaciones del Algoritmo: Uso de algoritmo LLL y técnicas de reducción de redes

Indicadores de Evaluación

1. Eficiencia Computacional: Tiempo de ejecución del Algoritmo 1 en vértices a diferentes distancias
2. Completitud de Cobertura: Garantía de completitud de clasificación mediante la cota de Selberg-Zograf
3. Verificación de Resultados: Verificación de la corrección de resultados computacionales mediante múltiples métodos

Resultados Experimentales

Logros Computacionales Principales

Tabla 1: Estadísticas de Cantidad de Curvas de Shimura Descubiertas

Análisis de Rendimiento

• Eficiencia del Algoritmo: El tiempo de ejecución del Algoritmo 1 crece lentamente con la distancia del vértice, demostrando buena escalabilidad
• Cálculos a Gran Escala: Cálculo exitoso de dominios fundamentales de género 65 (16 vértices, 80 aristas), con tiempo de ejecución aproximado de 30 segundos

Ejemplos Concretos

1. Cuerpo Cuadrático $\mathbb{Q}(\sqrt{97})$:
   • Primo $\mathfrak{p} = (10-\sqrt{97})$
   • Estructura de dominio fundamental relativamente simple
2. Cuerpo Cuadrático $\mathbb{Q}(\sqrt{5})$:
   • Primo $\mathfrak{p} = (\frac{3\sqrt{5}-1}{2})$
   • Discriminante del álgebra de cuaterniones $N^- = (21)$
   • Obtención de curva de Shimura de género 65

Verificación de Completitud

Uso de la cota de Selberg-Zograf: $A < \frac{64}{3}(g+1)$ donde la fórmula de área es: $A = \frac{4}{(2π)^{2n}} d_F^{3/2} ζ_F(2) Φ(\mathfrak{p}N^-) Ψ(N^+)$

Mediante esta cota se garantiza la completitud de la clasificación.

Trabajos Relacionados

Direcciones Principales de Investigación

1. Teoría del Árbol de Bruhat-Tits: La teoría fundamental de Serre proporciona el marco matemático para este artículo
2. Uniformización p-ádica de Curvas de Shimura: El teorema de Čerednik-Drinfel'd proporciona la base teórica
3. Geometría Algebraica Computacional: El algoritmo original de Franc-Masdeu es el punto de partida de este trabajo

Relación con Trabajos Relacionados

• Generalización: Este artículo generaliza el algoritmo de FM14 desde el cuerpo de números racionales a cuerpos totalmente reales generales
• Sistematicidad: Comparado con el trabajo de clasificación de Voight, este artículo proporciona un método computacional más sistemático
• Practicidad: Proporciona una implementación de software utilizable, facilitando su uso por otros investigadores

Conclusiones y Discusión

Conclusiones Principales

1. Generalización exitosa del algoritmo de cálculo de dominios fundamentales del árbol de Bruhat-Tits al caso de cuerpos totalmente reales
2. Cálculo sistemático y clasificación completa de curvas de Shimura de género bajo
3. Verificación de la eficiencia y escalabilidad del algoritmo

Limitaciones

1. Complejidad Computacional: Para casos de género alto, la complejidad computacional sigue siendo relativamente alta
2. Restricción de Primos: El algoritmo requiere que los primos sean no ramificados con grado de inercia 1
3. Requisitos de Memoria: Los cálculos a gran escala requieren soporte de memoria considerable

Direcciones Futuras

1. Generalización al caso de primos generales
2. Optimización del algoritmo para manejar casos de género más alto
3. Aplicación al cálculo explícito de ecuaciones de curvas de Shimura

Evaluación Profunda

Ventajas

1. Contribución Teórica: Resolución exitosa del importante problema de cálculo de dominios fundamentales de grupos S-aritméticos cuaterniónicos sobre cuerpos totalmente reales
2. Innovación Algorítmica: Transformación ingeniosa de cálculos p-ádicos en cálculos en el anillo de enteros, simplificando enormemente la implementación
3. Sistematicidad: Proporciona resultados de clasificación completos con valor de referencia importante
4. Practicidad: La implementación de código abierto permite que los resultados sean verificados y utilizados posteriormente

Deficiencias

1. Restricción de Primos: Las condiciones restrictivas sobre primos limitan la universalidad del método
2. Análisis de Complejidad: Falta análisis detallado de complejidad teórica
3. Limitación de Género Alto: La eficiencia del tratamiento de casos de género alto requiere mejora

Impacto

1. Valor Académico: Proporciona herramientas computacionales importantes para la teoría de curvas de Shimura
2. Perspectivas de Aplicación: Aplicable a criptografía, teoría de códigos y campos relacionados
3. Reproducibilidad: La implementación de código abierto completa facilita la verificación y extensión

Escenarios Aplicables

1. Cálculo y clasificación explícita de curvas de Shimura
2. Investigación computacional de álgebras de cuaterniones
3. Cálculo numérico de formas automorfas p-ádicas
4. Problemas de cálculo concreto en teoría de números algebraicos

Referencias

Este artículo se basa principalmente en las siguientes referencias importantes:

• FM14 Trabajo original de Franc-Masdeu sobre cálculo de dominios fundamentales de $\text{GL}_2(\mathbb{Q}_p)$
• Ser03 Teoría clásica de árboles de Serre
• Voi09 Trabajo de clasificación de curvas de Shimura de género bajo de Voight
• Mil15 Teoría de uniformización p-ádica de curvas de Shimura de Milione

Evaluación General: Este es un artículo de alta calidad en teoría de números computacional que resuelve exitosamente un importante problema teórico computacional y proporciona resultados de clasificación sistemáticos. El diseño del algoritmo es ingenioso, la implementación es completa, y tiene contribuciones importantes para campos relacionados.