Formas cuadráticas universales y funciones zeta de Dedekind

Información Básica

• ID del Artículo: 2311.12911
• Título: Formas cuadráticas universales y funciones zeta de Dedekind
• Autores: Vítězslav Kala, Mentzelos Melistas
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: 21 de noviembre de 2023
• Enlace del Artículo: https://arxiv.org/abs/2311.12911
• Financiamiento: Subvención 21-00420M de la Fundación de Ciencias Checa (GAČR)

Resumen

Este artículo utiliza funciones zeta de Dedekind para estudiar formas cuadráticas universales (universal quadratic forms) en cuerpos totalmente reales. En particular, bajo la hipótesis de que la codferente es generada por elementos totalmente positivos, se demuestra una cota superior explícita para el rango de formas cuadráticas universales en un cuerpo numérico K dado. Para eliminar esta hipótesis, los autores también investigan el problema del número mínimo de generadores de partes positivas de ideales en cuerpos totalmente reales.

Antecedentes de Investigación y Motivación

Problemas de Investigación

Las formas cuadráticas universales son formas cuadráticas definidas positivas que pueden representar todos los números naturales. El problema central de investigación de este artículo es: ¿Cuántas variables (es decir, cuál es la cota inferior del rango) se necesitan como mínimo para una forma cuadrática universal en un cuerpo totalmente real K?

Importancia del Problema

1. Historia Extensa: La investigación de formas cuadráticas universales involucra el trabajo de matemáticos como Diofanto, Fermat, Euler y Gauss. Los resultados modernos importantes incluyen el teorema 15 de Conway-Schneeberger y el teorema 290 de Bhargava-Hanke.
2. Generalización Natural: La generalización del anillo de enteros Z al anillo de enteros O_K de un cuerpo totalmente real K es un problema natural de teoría de números.
3. Resultados Conocidos:
   • Maaß (1941): La suma de tres cuadrados es universal en Q(√5)
   • Siegel (1945): Si cualquier número de sumas de cuadrados es universal en K, entonces K=Q o Q(√5)
   • Hsia-Kitaoka-Kneser: Existe una forma cuadrática universal en cada cuerpo numérico
   • Blomer-Kala: Para cualquier número positivo N, existe un cuerpo cuadrático real tal que el rango de cualquier forma cuadrática universal es al menos N

Limitaciones de Métodos Existentes

Aunque se sabe que existen formas cuadráticas universales, encontrar el número mínimo de variables requeridas para una forma cuadrática universal en un cuerpo numérico dado sigue siendo un problema abierto y difícil. Los métodos existentes carecen de caracterización precisa para cuerpos numéricos específicos.

Motivación de la Investigación

1. Utilizar funciones zeta de Dedekind para extraer información más precisa sobre el rango de formas cuadráticas universales
2. Generalizar las técnicas de Yatsyna y Kala-Yatsyna
3. Explorar caminos posibles para eliminar la hipótesis técnica de que "la codferente es generada por elementos totalmente positivos"

Contribuciones Principales

1. Teorema 1.1 (Resultado Principal): Bajo la hipótesis de que la codferente O^∨_K es generada por un elemento totalmente positivo δ, se proporciona una cota inferior explícita para el rango R de formas cuadráticas universales, que depende del discriminante Δ_K y del grado d.
2. Teorema 1.2 (Resultado de Finitud): Para un grado d y rango R dados, existe solo un número finito de cuerpos totalmente reales (cuya codferente es generada por elementos totalmente positivos) en los que existe una forma cuadrática universal de rango R, generalizando el Teorema 4 de Yatsyna.
3. Teorema 2.4 (Problema de Levantamiento): Para cuerpos numéricos de grado d≤43, cuando O^∨_K es un ideal principal y satisface condiciones específicas, se proporciona una cota superior explícita para el discriminante.
4. Investigación de Generadores de Partes Positivas de Ideales:
   • Se definen κ(I) y κ(K) para caracterizar el número mínimo de generadores necesarios para partes positivas de ideales
   • Se demuestra la finitud de κ(K) (Teorema 3.6)
   • Se proporcionan cotas explícitas relacionadas con fracciones continuas para cuerpos cuadráticos reales (Proposición 3.9)

Explicación Detallada de Métodos

Definición de Tareas

Entrada: Cuerpo totalmente real K, grado d, discriminante Δ_K, rango R de forma cuadrática universal Q Salida: Desigualdad de cota inferior que debe satisfacer R Restricciones: La codferente de K es O^∨_K = (δ), donde δ es totalmente positivo

Marco Técnico Principal

1. Aplicación de la Fórmula de Siegel

La fórmula de Siegel (Teorema 2.2) establece la conexión entre valores especiales de la función zeta de Dedekind y cantidades aritméticas:

$\zeta_K(-1) = 2^d \sum_{\ell=1}^{r_d} b_\ell(2d) s_\ell^K(2)$

donde:

• $r_d = \lfloor d/6 \rfloor$ (cuando d≡1 mod 6) o $\lfloor d/6 \rfloor + 1$ (en caso contrario)
• $s_\ell^K(2) = \sum_{\gamma \in O^{\vee,+}_K, \text{Tr}(\gamma)=\ell} \sigma((\gamma)(O^{\vee}_K)^{-1})$
• $b_\ell(2d)$ son números racionales que dependen solo de d

2. Ecuación Funcional

Se utiliza la ecuación funcional de la función zeta de Dedekind: $\zeta_K(-1) = (-1)^d |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d \zeta_K(2)$

3. Conteo de Vectores Cortos

Se utiliza el teorema de Regev-Stephens-Davidowitz (Teorema 2.1): Para una red Z definida positiva L de rango R, el número de vectores de norma ≤i satisface: $N_{\leq i}(L) \leq C(R,i) = 2\binom{R+4i-1}{4i-1} - 1$

4. Lema Clave (Lema 2.3)

Bajo la hipótesis O^∨_K = (δ), para γ ∈ O^∨,+_K con Tr(γ) = ℓ, se tiene: $\sigma((\gamma)(O^{\vee}_K)^{-1}) \leq g(\ell, \Delta_K)$

donde $g(\ell, \Delta_K)$ involucra cotas de Robin sobre la función de divisores.

Estrategia de Prueba (Teorema 1.1)

1. Construcción de Red Z: Dado una base entera de O_K, ω_1,...,ω_d, se construye una forma cuadrática de rango Rd: $q(x_{11},...,x_{Rd}) = \text{Tr}(\delta Q(x_{11}\omega_1 + \cdots + x_{Rd}\omega_d))$
2. Estimación de Vectores Cortos:
   • Por universalidad, q representa todos los elementos en O^∨,+_K con traza ≤ r_d
   • Se aplica el Teorema 2.1 para obtener cota superior del número de vectores cortos
3. Establecimiento de Cadena de Desigualdades: $C(Rd, r_d) \geq \#\{\gamma \in O^{+,\vee}_K : \text{Tr}(\gamma) \leq r_d\}$
4. Utilización de la Fórmula de Siegel: A través del Lema 2.3 y la fórmula de Siegel, se conecta el lado derecho con ζ_K(-1)
5. Aplicación de la Ecuación Funcional: Finalmente se obtiene una desigualdad explícita que involucra el discriminante y ζ_K(2)

Puntos de Innovación Técnica

1. Generalización de Técnicas de Kala-Yatsyna: Se generaliza la técnica de prueba de 9, Teorema 5.1 a situaciones más generales
2. Análisis Refinado de Vectores Cortos: Se combinan ingeniosamente el conteo de vectores cortos en teoría de redes con aritmética de cuerpos numéricos
3. Investigación Sistemática de Partes Positivas de Ideales:
   • Se introduce el concepto de elementos I-indescomponibles (I-indecomposables)
   • Se definen κ(I) y κ(K) para cuantificar el número de generadores
   • Se utiliza el grupo de clases estrecho para demostrar finitud
4. Método de Fracciones Continuas: Para cuerpos cuadráticos reales, se utilizan desarrollos en fracciones continuas para proporcionar cotas explícitas de κ(I) (Proposición 3.9)

Configuración Experimental

Conjunto de Datos

Este es un artículo de matemática teórica pura, que no involucra experimentos y conjuntos de datos en el sentido tradicional.

Verificación Computacional

El artículo proporciona ejemplos concretos:

• Ejemplo 3.7: Q(√2) tiene número de clases estrecho 1, por lo tanto κ(Q(√2)) = 1
• Ejemplo 3.10: Se proporciona cálculo detallado demostrando que κ(Q(√3)) = 2

Herramientas Matemáticas

• Base de datos LMFDB: Se utiliza para consultar invariantes básicos de cuerpos numéricos (número de clases, unidades fundamentales, etc.)
• Desarrollo en fracciones continuas: Se utiliza para cálculos en cuerpos cuadráticos reales

Resultados Experimentales

Resultados Teóricos Principales

Desigualdad Explícita del Teorema 1.1

Para una forma cuadrática universal de rango R: $2\binom{Rd + 4r_d - 1}{4r_d - 1} - 1 > \frac{G(\Delta_K)}{B(d)2^d} |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d$

donde:

• $G(\Delta_K) = \min\{1/g(\ell, \Delta_K) : \ell \leq r_d\}$
• $B(d)$ involucra los coeficientes $b_\ell(2d)$ de la fórmula de Siegel

Significado: El lado derecho crece con |Δ_K|, por lo tanto, cuanto mayor sea el discriminante, mayor será el rango R requerido.

Finitud del Teorema 1.2

Para d y R fijos, solo existe un número finito de cuerpos numéricos que satisfacen las condiciones.

Estrategia de Prueba:

• Por el Teorema 1.1, el discriminante tiene cota superior
• Se aplica el teorema de Hermite-Minkowski: Dado grado y cota superior de discriminante, existe solo un número finito de cuerpos numéricos

Cota de Discriminante del Teorema 2.4

Para d≤43 y cuerpos que satisfacen condiciones específicas, si existe un tipo Z universal: $|\Delta_K| < |b_{r_d}(2d)(4\pi^2)^{dd}|^{2/3}$

Resultados de Generadores de Partes Positivas de Ideales

Proposición 3.5 y Teorema 3.6

• El κ(I) de cualquier ideal I es finito
• κ(K) = max_I κ(I) es finito (utilizando finitud del grupo de clases estrecho)

Proposición 3.9 (Cuerpos Cuadráticos Reales)

Para K = Q(√D), sea ξ_D = u_0, u_1,..., u_s el desarrollo en fracción continua, entonces: