Multiplicities of eigenvalues and quadratic representations of integers

1. Problématique et Contexte

L'article étudie la relation entre les propriétés spectrales de l'opérateur de Laplace sur des domaines géométriques simples (rectangles et tores bidimensionnels) et la théorie des nombres, spécifiquement la représentation des entiers par des formes quadratiques.

Le problème central est la caractérisation de l'ensemble $M$ des multiplicités des valeurs propres non nulles de l'opérateur de Laplace (avec conditions aux limites de Dirichlet pour les rectangles, et conditions périodiques pour les tores).

• Pour un rectangle $\Omega_{a,b} = [0, a] \times [0, b]$, les valeurs propres sont données par $\lambda_{m,n} = \pi^2 (\frac{m^2}{a^2} + \frac{n^2}{b^2})$. La multiplicité d'une valeur propre correspond au nombre de points entiers $(m,n)$ dans le premier quadrant situés sur une ellipse définie par cette équation.
• Pour un tore $T = \mathbb{R}^2/L$ généré par des vecteurs $\vec{a}$ et $\vec{b}$, les valeurs propres sont liées au carré de la norme des vecteurs du réseau dual. La multiplicité correspond au nombre de points entiers sur une ellipse définie par une forme quadratique binaire dépendant du rapport des longueurs $r = |\vec{a}|/|\vec{b}|$ et de l'angle $\theta$ entre les vecteurs.

La question ouverte abordée est de déterminer sous quelles conditions géométriques (rationnelles ou irrationnelles des paramètres) l'ensemble des multiplicités $M$ est infini, et plus précisément, s'il contient tous les entiers naturels ($M = \mathbb{N}$) ou des sous-ensembles spécifiques.

2. Méthodologie

Les auteurs adoptent une approche interdisciplinaire combinant l'analyse spectrale et la théorie algébrique des nombres :

1. Réduction aux Formes Quadratiques :

   • Pour les rectangles, le problème est ramené à l'étude du nombre de solutions entières de l'équation $mx^2 + ny^2 = K$, où $m/n = (b/a)^2$.
   • Pour les tores, le problème est ramené à l'étude du nombre de représentations d'entiers par une forme quadratique binaire primitive positive définie $f(x,y) = ax^2 + bxy + cy^2$, dont les coefficients dépendent de $r$ et $\theta$.

2. Théorie des Corps de Nombres et Classes d'Idéaux :

   • L'analyse repose sur la correspondance entre les représentations d'entiers par une forme quadratique $Q$ et les idéaux dans l'anneau des entiers $\mathcal{O}_K$ d'un corps quadratique imaginaire $K = \mathbb{Q}(\sqrt{\Delta})$, où $\Delta$ est le discriminant de la forme.
   • Les auteurs utilisent le théorème d'isomorphisme entre le groupe des classes de formes et le groupe des classes d'idéaux.
   • Ils exploitent les propriétés des formes ambiguës (formes équivalentes à leur opposée par une transformation de SL(2, $\mathbb{Z}$)) et des classes d'idéaux ambiguës (d'ordre $\le 2$ dans le groupe de classes).

3. Construction de Multiplicités Arbitraires :

   • Pour prouver que l'ensemble des multiplicités est infini (ou égal à $\mathbb{N}$), les auteurs ne calculent pas explicitement le nombre de points sur toutes les ellipses. Au lieu de cela, ils démontrent l'existence d'une valeur propre ayant une multiplicité $k$ arbitraire.
   • Cela est réalisé en choisissant un nombre premier $p$ représenté de manière unique par la forme quadratique (grâce au théorème de Weber sur la densité des nombres premiers) et en considérant des puissances $p^{2k-1}$.
   • L'analyse des idéaux dans la classe de forme permet de montrer que le nombre de solutions distinctes (à automorphisme près) pour $p^{2k-1}$ est exactement $k$ (ou un multiple de $k$ selon le discriminant).

3. Résultats Principaux

A. Cas des Rectangles

Théorème 1.1 : Un rectangle $\Omega_{a,b}$ satisfait la propriété (M) (c'est-à-dire que l'ensemble des multiplicités est $\mathbb{N}$) si et seulement si le carré du rapport des côtés, $(a/b)^2$, est un nombre rationnel.

• Preuve clé : Si $(a/b)^2 \in \mathbb{Q}$, la forme quadratique associée est de la forme $mx^2 + ny^2$. En utilisant le Théorème 1.2 (qui garantit l'existence d'un nombre premier $p$ tel que $p^{2k-1} = mx^2 + ny^2$ a exactement $k$ solutions), on montre que toute multiplicité $k$ est atteignable.
• Si $(a/b)^2 \notin \mathbb{Q}$, toutes les multiplicités sont égales à 1.

B. Cas des Tores

Pour un tore défini par un rapport de longueurs $r$ et un angle $\theta$, les auteurs caractérisent l'ensemble $M(T)$ en fonction de la rationalité de $r^2$ et $r \cos \theta$.

Théorème 1.3 :

1. Cas Infinité : $M(T)$ est un ensemble infini si et seulement si $r^2 \in \mathbb{Q}$ et $r \cos \theta \in \mathbb{Q}$.
   Dans ce cas, $M(T)$ est un multiple de $\mathbb{N}$ déterminé par le discriminant $\Delta$ de la forme quadratique associée :

   • $M(T) = 6\mathbb{N}$ si $\Delta = -3$ (cas hexagonal).
   • $M(T) = 4\mathbb{N}$ si $\Delta = -4$ (cas carré).
   • $M(T) = 2\mathbb{N}$ si $\Delta \notin \{-3, -4\}$.
   • Note : La condition $\Delta = -3$ ou $-4$ correspond à des symétries supplémentaires du réseau (automorphismes non triviaux).

2. Cas Fini : Si $r^2 \notin \mathbb{Q}$ ou $r \cos \theta \notin \mathbb{Q}$, alors $M(T)$ est fini.

   • $M(T) = \{2\}$ dans des cas spécifiques d'indépendance linéaire ou de relations irrationnelles entre les paramètres.
   • $M(T) = \{2, 4\}$ si certaines conditions de dépendance linéaire sur $\mathbb{Q}$ sont remplies (par exemple, si $r \cos \theta = \alpha r^2 + \beta$ avec $\alpha^2 + \beta$ étant un carré rationnel).

C. Résultat Fondamental sur les Formes Quadratiques

Théorème 1.4 : Pour toute forme quadratique binaire primitive positive définie $Q(x,y)$, la fonction de comptage des représentations propres $r^+_Q(n)$ est surjective sur $\mathbb{Z}_{\ge 0}$.
Cela signifie que pour tout entier $k \ge 0$, il existe un entier $n$ qui est représenté par $Q$ d'au moins $k$ manières distinctes (à équivalence propre près). Ce résultat est la pierre angulaire permettant de garantir l'existence de multiplicités arbitrairement grandes.

4. Signification et Impact

• Résolution d'une question ouverte : L'article répond affirmativement à une question laissée ouverte dans des travaux antérieurs (Heimrath, etc.) concernant la caractérisation exacte des rectangles satisfaisant la propriété (M). La condition est strictement $(a/b)^2 \in \mathbb{Q}$.
• Lien Spectre-Géométrie : L'étude renforce le lien profond entre la géométrie de l'espace sous-jacent (rationnalité des paramètres métriques) et la structure algébrique du spectre de l'opérateur de Laplace. Elle montre que la "richesse" des multiplicités spectrales est directement liée à la rationalité des paramètres définissant la forme quadratique du réseau.
• Apport à la Théorie des Nombres : La preuve du Théorème 1.4 (surjectivité de la fonction de représentation) est un résultat non trivial en théorie des nombres, démontrant que les formes quadratiques peuvent représenter des entiers avec une multiplicité arbitrairement élevée, en exploitant la structure des groupes de classes d'idéaux.
• Généralisation : Les résultats étendent les connaissances au-delà des rectangles (cas carré) aux tores généraux, fournissant une classification complète des ensembles de multiplicités possibles en fonction des paramètres géométriques.

En résumé, ce travail établit une correspondance précise entre la géométrie des domaines plans et la théorie des formes quadratiques, prouvant que la rationalité des paramètres géométriques est la condition nécessaire et suffisante pour obtenir une richesse maximale (ou structurée) des multiplicités spectrales.