Formes quadratiques universelles et fonctions zêta de Dedekind

Informations fondamentales

• ID de l'article : 2311.12911
• Titre : Formes quadratiques universelles et fonctions zêta de Dedekind
• Auteurs : Vítězslav Kala, Mentzelos Melistas
• Classification : math.NT (Théorie des nombres)
• Date de publication : 21 novembre 2023
• Lien de l'article : https://arxiv.org/abs/2311.12911
• Financement : Subvention 21-00420M de la Fondation des sciences tchèques (GAČR)

Résumé

Cet article étudie les formes quadratiques universelles sur les corps de nombres totalement réels en utilisant les fonctions zêta de Dedekind. En particulier, sous l'hypothèse que la codifférente est engendrée par des éléments totalement positifs, les auteurs établissent une borne supérieure explicite pour le rang des formes quadratiques universelles sur un corps de nombres K donné. Pour supprimer cette hypothèse, les auteurs étudient également le nombre minimum de générateurs des parties positives des idéaux dans les corps totalement réels.

Contexte et motivation de la recherche

Problème de recherche

Les formes quadratiques universelles sont des formes quadratiques définies positives qui représentent tous les entiers naturels. Le problème central de cet article est : Sur un corps de nombres totalement réel K, quel est le nombre minimum de variables (c'est-à-dire la borne inférieure du rang) nécessaire pour une forme quadratique universelle ?

Importance du problème

1. Historique riche : L'étude des formes quadratiques universelles implique les travaux de Diophante, Fermat, Euler, Gauss et autres. Les résultats modernes importants incluent le théorème 15 de Conway-Schneeberger et le théorème 290 de Bhargava-Hanke.
2. Généralisation naturelle : L'extension de l'anneau des entiers ℤ à l'anneau des entiers O_K d'un corps de nombres totalement réel K est une question théorique des nombres naturelle.
3. Résultats connus :
   • Maaß (1941) : La somme de trois carrés est universelle sur ℚ(√5)
   • Siegel (1945) : Si une somme de plusieurs carrés est universelle sur K, alors K = ℚ ou ℚ(√5)
   • Hsia-Kitaoka-Kneser : Il existe une forme quadratique universelle sur chaque corps de nombres
   • Blomer-Kala : Pour tout entier positif N, il existe un corps quadratique réel tel que le rang de toute forme quadratique universelle soit au moins N

Limitations des méthodes existantes

Bien que l'existence de formes quadratiques universelles soit établie, trouver le nombre minimum de variables nécessaires pour une forme quadratique universelle sur un corps de nombres donné reste un problème ouvert et difficile. Les méthodes existantes manquent de caractérisation précise pour des corps de nombres spécifiques.

Motivation de la recherche

1. Utiliser les fonctions zêta de Dedekind pour extraire des informations plus précises sur le rang des formes quadratiques universelles
2. Généraliser les techniques de Yatsyna et Kala-Yatsyna
3. Explorer les voies possibles pour supprimer l'hypothèse technique que « la codifférente est engendrée par des éléments totalement positifs »

Contributions principales

1. Théorème 1.1 (résultat principal) : Sous l'hypothèse que la codifférente O^∨_K est engendrée par un élément totalement positif δ, une borne inférieure explicite pour le rang R d'une forme quadratique universelle est donnée, dépendant du discriminant Δ_K et du degré d.
2. Théorème 1.2 (résultat de finitude) : Pour un degré d et un rang R donnés, il n'existe qu'un nombre fini de corps de nombres totalement réels (dont la codifférente est engendrée par des éléments totalement positifs) sur lesquels existe une forme quadratique universelle de rang R, généralisant le théorème 4 de Yatsyna.
3. Théorème 2.4 (problème de relèvement) : Pour les corps de nombres de degré d ≤ 43 satisfaisant certaines conditions, une borne supérieure explicite du discriminant est donnée.
4. Étude des générateurs des parties positives des idéaux :
   • Définition de κ(I) et κ(K) pour caractériser le nombre minimum de générateurs des parties positives des idéaux
   • Preuve de la finitude de κ(K) (théorème 3.6)
   • Bornes explicites liées aux fractions continues pour les corps quadratiques réels (proposition 3.9)

Explication détaillée des méthodes

Définition de la tâche

Entrée : Corps de nombres totalement réel K, degré d, discriminant Δ_K, rang R d'une forme quadratique universelle Q Sortie : Inégalité de borne inférieure que R doit satisfaire Contraintes : La codifférente de K est O^∨_K = (δ), où δ est totalement positif

Cadre technique principal

1. Application de la formule de Siegel

La formule de Siegel (théorème 2.2) établit une connexion entre les valeurs spéciales de la fonction zêta de Dedekind et les quantités arithmétiques :

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

où :

• $r_d = \lfloor d/6 \rfloor$ (si d ≡ 1 mod 6) ou $\lfloor d/6 \rfloor + 1$ (sinon)
• $s_\ell^K(2) = \sum_{\gamma \in O^{\vee,+}_K, \text{Tr}(\gamma)=\ell} \sigma((\gamma)(O^{\vee}_K)^{-1})$
• $b_\ell(2d)$ sont des nombres rationnels dépendant uniquement de d

2. Équation fonctionnelle

Utilisation de l'équation fonctionnelle de la fonction zêta de Dedekind : $\zeta_K(-1) = (-1)^d |\Delta_K|^{3/2} \left(\frac{1}{4\pi}\right)^d \zeta_K(2)$

3. Comptage des vecteurs courts

Utilisation du théorème de Regev-Stephens-Davidowitz (théorème 2.1) : Pour un réseau Z défini positif de rang R, le nombre de vecteurs de norme ≤ i satisfait : $N_{\leq i}(L) \leq C(R,i) = 2\binom{R+4i-1}{4i-1} - 1$

4. Lemme clé (lemme 2.3)

Sous l'hypothèse O^∨_K = (δ), pour γ ∈ O^∨,+_K avec Tr(γ) = ℓ, on a : $\sigma((\gamma)(O^{\vee}_K)^{-1}) \leq g(\ell, \Delta_K)$

où $g(\ell, \Delta_K)$ implique les bornes de Robin sur la fonction diviseur.

Stratégie de preuve (théorème 1.1)

1. Construction d'un réseau Z : Étant donné une base entière ω_1,...,ω_d de O_K, construire une forme quadratique de rang Rd : $q(x_{11},...,x_{Rd}) = \text{Tr}(\delta Q(x_{11}\omega_1 + \cdots + x_{Rd}\omega_d))$
2. Estimation des vecteurs courts :
   • Par universalité, q représente tous les éléments de O^∨,+_K avec trace ≤ r_d
   • Application du théorème 2.1 pour obtenir une borne supérieure du nombre de vecteurs courts
3. Établissement d'une chaîne d'inégalités : $C(Rd, r_d) \geq \#\{\gamma \in O^{+,\vee}_K : \text{Tr}(\gamma) \leq r_d\}$
4. Utilisation de la formule de Siegel : Via le lemme 2.3 et la formule de Siegel, relier le membre droit à ζ_K(-1)
5. Application de l'équation fonctionnelle : Obtenir finalement une inégalité explicite impliquant le discriminant et ζ_K(2)

Points d'innovation technique

1. Généralisation de la technique Kala-Yatsyna : Extension de la preuve de 9, théorème 5.1 à des situations plus générales
2. Analyse fine des vecteurs courts : Combinaison ingénieuse du comptage des vecteurs courts en théorie des réseaux avec l'arithmétique des corps de nombres
3. Étude systématique des générateurs des parties positives des idéaux :
   • Introduction du concept d'éléments I-indécomposables
   • Définition de κ(I) et κ(K) quantifiant le nombre de générateurs
   • Utilisation du groupe de classes étroit pour prouver la finitude
4. Méthode des fractions continues : Pour les corps quadratiques réels, utilisation du développement en fraction continue pour donner une borne explicite de κ(I) (proposition 3.9)

Configuration expérimentale

Ensemble de données

Cet article est un article de mathématiques théoriques pures et n'implique pas d'expériences et d'ensembles de données au sens traditionnel.

Vérification computationnelle

L'article fournit des exemples concrets :

• Exemple 3.7 : Le nombre de classes étroit de ℚ(√2) est 1, donc κ(ℚ(√2)) = 1
• Exemple 3.10 : Calcul détaillé prouvant que κ(ℚ(√3)) = 2

Outils mathématiques

• Base de données LMFDB : Pour interroger les invariants fondamentaux des corps de nombres (nombre de classes, unités fondamentales, etc.)
• Développement en fraction continue : Pour les calculs sur les corps quadratiques réels

Résultats expérimentaux

Résultats théoriques principaux

Inégalité explicite du théorème 1.1

Pour une forme quadratique universelle de rang 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$

où :

• $G(\Delta_K) = \min\{1/g(\ell, \Delta_K) : \ell \leq r_d\}$
• $B(d)$ implique les coefficients $b_\ell(2d)$ de la formule de Siegel

Signification : Le membre droit croît avec |Δ_K|, donc plus le discriminant est grand, plus le rang R requis est grand.

Finitude du théorème 1.2

Pour d et R fixés, il n'existe qu'un nombre fini de corps de nombres satisfaisant les conditions.

Esquisse de preuve :

• Par le théorème 1.1, le discriminant a une borne supérieure
• Application du théorème de Hermite-Minkowski : Pour un degré et une borne supérieure du discriminant donnés, il n'existe qu'un nombre fini de corps de nombres

Borne du discriminant du théorème 2.4

Pour d ≤ 43 et satisfaisant certaines conditions, s'il existe un type Z universel : $|\Delta_K| < |b_{r_d}(2d)(4\pi^2)^{dd}|^{2/3}$

Résultats sur les générateurs des parties positives des idéaux

Propositions 3.5 et théorème 3.6

• Pour tout idéal I, κ(I) est fini
• κ(K) = max_I κ(I) est fini (utilisant la finitude du groupe de classes étroit)

Proposition 3.9 (corps quadratiques réels)

Pour K = ℚ(√D), soit ξ_D = u_0, u_1,..., u_s le développement en fraction continue, alors :