Multiplicities of eigenvalues and quadratic representations of integers

1. Il Problema

Il lavoro si concentra sullo studio delle molteplicità degli autovalori (non nulli) dell'operatore di Laplace su due tipi specifici di varietà bidimensionali:

1. Rettilinei (Rectangle): Domini del tipo $\Omega_{a,b} = [0, a] \times [0, b]$ con condizioni al contorno di Dirichlet.
2. Tori (Torus): Tori piatti bidimensionali $T = \mathbb{R}^2 / L$, dove $L$ è un reticolo generato da due vettori linearmente indipendenti $\vec{a}$ e $\vec{b}$.

L'obiettivo principale è caratterizzare l'insieme $M$ di tutte le possibili molteplicità degli autovalori in funzione dei parametri geometrici della varietà (il rapporto tra i lati per i rettangoli, e il rapporto di lunghezza $r$ e l'angolo $\theta$ tra i vettori generatori per i tori). In particolare, gli autori indagano quando l'insieme $M$ è infinito (e specificamente se coincide con l'insieme dei numeri naturali o suoi multipli) e quando è finito.

Il problema collega la teoria spettrale (proprietà fisiche delle vibrazioni di una membrana) alla teoria dei numeri, in particolare alla rappresentazione quadratica degli interi.

2. Metodologia

Gli autori utilizzano un approccio interdisciplinare che fonde analisi spettrale e teoria dei numeri algebrica:

• Riduzione a Problemi Geometrici:

  • Per i rettangoli, la molteplicità di un autovalore $\lambda$ corrisponde al numero di punti reticolari interi nel primo quadrante su un'ellisse definita dall'equazione $\frac{x^2}{a^2} + \frac{y^2}{b^2} = \frac{\lambda}{\pi^2}$.
  • Per i tori, la molteplicità è legata al numero di punti reticolari su un'ellisse definita dalla forma quadratica $x^2 - 2r \cos \theta xy + r^2 y^2 = \text{costante}$.

• Teoria delle Forme Quadratiche:

  • Il problema viene trasformato nello studio del numero di rappresentazioni di interi positivi tramite forme quadratiche binarie primitive e definite positive.
  • Viene utilizzata la corrispondenza tra le classi di forme quadratiche e le classi di ideali nei campi quadratici immaginari (o ordini di campi quadratici).
  • Si fa ricorso al Teorema di Weber sulla densità dei primi rappresentati da forme quadratiche e alle proprietà dei gruppi di classi di ideali ($C(\Delta)$).

• Analisi dei Casi Razionali e Irrazionali:

  • Nel caso in cui i parametri geometrici portino a coefficienti razionali nelle forme quadratiche, si applica la teoria delle forme quadratiche per dimostrare la suriettività delle funzioni di conteggio delle rappresentazioni.
  • Nel caso in cui i parametri siano irrazionali, si utilizzano argomenti di indipendenza lineare su $\mathbb{Q}$ e analisi algebrica delle soluzioni di equazioni diofantee per limitare il numero di soluzioni.

3. Risultati Chiave e Contributi

A. Il Caso dei Rettangoli

Gli autori risolvono una questione aperta nella letteratura precedente (relativa a lavori di [7] e [9]).

• Teorema 1.1: Un rettangolo $\Omega_{a,b}$ soddisfa la proprietà (M) (ovvero, l'insieme delle molteplicità è l'insieme di tutti gli interi positivi $\mathbb{N}$) se e solo se il quadrato del rapporto tra i lati, $(a/b)^2$, è un numero razionale.
• Dimostrazione: Si basa sul Teorema 1.2, che afferma che per ogni coppia di interi coprimi $m, n$ con $mn > 3$, esiste un numero primo $p$ tale che l'equazione $p^{2k-1} = mx^2 + ny^2$ abbia esattamente $k$ soluzioni distinte. Questo garantisce l'esistenza di autovalori con molteplicità arbitrariamente alta.

B. Il Caso dei Tori

La caratterizzazione per i tori è più complessa e dipende da due parametri: $r = |\vec{a}|/|\vec{b}|$ e $\theta$ (l'angolo tra i vettori).

• Condizione di Infinità: L'insieme delle molteplicità $M(T)$ è infinito se e solo se sia $r^2$ che $r \cos \theta$ sono numeri razionali.

• Classificazione delle Molteplicità (Teorema 1.3):
  Quando le condizioni di razionalità sono soddisfatte, $M(T)$ è un multiplo scalare di $\mathbb{N}$ determinato dal discriminante $\Delta$ della forma quadratica associata:

  • $M(T) = 6\mathbb{N}$ se $\Delta = -3$.
  • $M(T) = 4\mathbb{N}$ se $\Delta = -4$.
  • $M(T) = 2\mathbb{N}$ se $\Delta \neq -3, -4$.
    Il discriminante è dato da $\Delta = -4 \left( r \cdot \frac{\beta\delta}{\gcd(\beta, \delta)} \right)^2 \sin^2 \theta$, dove $\beta, \delta$ sono legati alle frazioni di $2r \cos \theta$ e $r^2$.

• Casi Irrazionali:
  Se almeno uno tra $r^2$ o $r \cos \theta$ è irrazionale, l'insieme delle molteplicità è finito. Gli autori caratterizzano esattamente quando $M(T) = \{2\}$ e quando $M(T) = \{2, 4\}$ in base alle relazioni di dipendenza lineare tra $1, r \cos \theta, r^2$ su $\mathbb{Q}$ e al fatto che certi coefficienti siano quadrati perfetti in $\mathbb{Q}$.

C. Risultato Fondamentale sulle Forme Quadratiche (Teorema 1.4)

Un contributo teorico indipendente e significativo è la dimostrazione che per ogni forma quadratica binaria primitiva e definita positiva $Q(x,y)$, la funzione di conteggio delle rappresentazioni proprie $r^+_Q(n)$ è suriettiva su $\mathbb{Z}_{\ge 0}$. Questo significa che ogni intero non negativo può essere ottenuto come numero di rappresentazioni proprie di qualche intero $n$ tramite $Q$.

4. Significato e Impatto

• Collegamento Spettro-Geometria: Il lavoro fornisce una risposta precisa alla domanda su come la geometria algebrica (rapporti razionali vs irrazionali) determini la struttura dello spettro di un operatore differenziale. Risolve il problema di "sentire la forma" in termini di molteplicità spettrale.
• Risoluzione di Congetture Aperte: Conferma e generalizza risultati parziali precedenti sui rettangoli, chiudendo la questione sulla caratterizzazione razionale per la proprietà (M).
• Nuovi Strumenti: L'uso della teoria delle forme quadratiche e delle classi di ideali per analizzare le molteplicità spettrali offre un potente strumento analitico che può essere esteso ad altri problemi spettrali su varietà con simmetrie reticolari.
• Classificazione Completa: Fornisce una tassonomia completa per i tori bidimensionali, distinguendo chiaramente i casi in cui lo spettro è "ricco" (molteplicità illimitate) da quelli in cui è "povero" (molteplicità limitate a 2 o 4), basandosi su criteri aritmetici precisi.

In sintesi, il paper dimostra che la ricchezza delle molteplicità degli autovalori è intrinsecamente legata alla razionalità dei parametri geometrici che definiscono la forma della varietà, traducendo un problema di analisi in uno di teoria dei numeri risolvibile tramite la teoria delle forme quadratiche.