Thue equations that simultaneously fail the Hasse principle

Sintesi Tecnica: Equazioni di Thue che Falliscono Simultaneamente il Principio di Hasse

Enunciato del Problema
L'articolo affronta il principio di Hasse integrale per le equazioni di Thue della forma $F(x, y) = h$, dove $F$ è una forma binaria irriducibile con coefficienti interi di grado $n \geq 3$, e $h$ è un intero positivo. Sebbene il teorema di Thue garantisca la finitezza delle soluzioni intere per $|F(x, y)| \leq m$, il principio di Hasse integrale postula che, se un'equazione ammette soluzioni negli interi $p$-adici $\mathbb{Z}_p$ per tutti i primi $p$ (solubilità locale), essa debba avere una soluzione negli interi $\mathbb{Z}$ (solubilità globale).

Il lavoro precedente di Akhtari e Bhargava ha dimostrato che una proporzione positiva di equazioni di Thue $F(x, y) = m$ fallisce questo principio. Il problema specifico affrontato in questo articolo è di raffinare tale costruzione per dimostrare che, per ogni intero positivo fissato $m$, una proporzione positiva di forme binarie $F$ fallisce il principio di Hasse integrale simultaneamente per tutte le equazioni $F(x, y) = h$ dove $1 \leq h \leq m$.

Metodologia
L'autore utilizza un argomento di conteggio costruttivo basato sull'altezza delle forme binarie, ordinate per valore assoluto massimo dei loro coefficienti. La strategia si basa su tre componenti principali:

1. Limiti Superiori sulle Soluzioni: La costruzione utilizza un risultato di Györy (Teorema 2.1), che fornisce un limite superiore sul numero di soluzioni intere primitive per le disuguaglianze di Thue $|F(x, y)| \leq M$ quando il discriminante $|D(F)|$ è sufficientemente grande rispetto a $M$. Nello specifico, se $|D(F)| \geq (3nM)^{6(n-1)}$, il numero di soluzioni primitive è al massimo $32n + 11$.

2. Costruzione Locale-Globale:

   • Solubilità Locale: L'autore costruisce forme che rappresentano ogni intero $h \leq m$ localmente ovunque (su $\mathbb{Z}_p$ per ogni $p$). Ciò viene ottenuto assicurando che le forme abbiano radici semplici modulo piccoli primi $p_i$ (permettendo il sollevamento tramite il Lemma di Hensel) e soddisfacano specifiche condizioni di irriducibilità modulo grandi primi (garantendo la regolarità delle curve proiettive associate e applicando il limite di Hasse-Weil).
   • Non-Solubilità Globale: La costruzione genera una vasta famiglia di forme $\{G_j\}$ partendo da una singola forma "seme" $F$. Ogni $G_j$ è derivata applicando una sequenza di trasformazioni lineari che coinvolgono i primi $p_1, \dots, p_k$ (dove $p_i < M$). Una soluzione a $G_j(x, y) = h$ implica una soluzione a un'equazione scalata che coinvolge $F$.

3. Conteggio e Densità:

   • L'autore definisce un insieme $\tilde{S}$ di forme "seme" che soddisfano specifiche condizioni di Galois e di congruenza (ad esempio, gruppo di Galois $S_n$, radici semplici modulo piccoli primi).
   • Da ciascuna $F \in \tilde{S}$, l'autore costruisce $2^k$ forme $G_j$ distinte (dove $k$ è il numero di primi minori di $M$).
   • L'autore dimostra che queste forme $G_j$ sono a coppie non equivalenti e massimali.
   • Confrontando il numero di forme nell'insieme costruito $S$ (quelle che falliscono il principio di Hasse) rispetto al numero totale di forme di una data altezza, l'autore deriva un limite inferiore per la proporzione di tali forme.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.1, che afferma:

Sia $m$ un intero positivo. Quando le forme binari integrali di grado fisso $n \geq 3$ sono ordinate per altezza, una proporzione positiva di forme primitive massimali rappresenta ogni intero positivo minore di $m$ localmente ovunque ma non globalmente.

I passaggi tecnici chiave che supportano questo risultato includono:

• Fallimento Simultaneo: A differenza dei risultati precedenti focalizzati su un singolo $h$, questa costruzione assicura il fallimento del principio di Hasse per l'intero intervallo $1 \leq h \leq m$ per lo stesso insieme di forme.
• Proporzione Esplicita: Il saggio fornisce un limite inferiore esplicito per la proporzione di tali forme. La proporzione dipende da $m$ e dal grado $n$, derivata dal rapporto tra il numero di forme costruite e il numero totale di forme di una data altezza. Il limite coinvolge termini relativi al numero di primi $k$ e alla crescita del discriminante.
• Massimalità: Le forme costruite sono mostrate essere massimali (non sott forme proprie di altre forme), il che è necessario per garantire che l'argomento di conteggio riguardo al numero di soluzioni sia valido.
• Generalizzazione: L'autore nota che la costruzione si estende alle forme cubiche ordinate per discriminante e alle forme quartiche ordinate per i loro invarianti $I$ e $J$.

Significato e Rivendicazioni
L'articolo sostiene di raffinare la costruzione in [2] (Akhtari e Bhargava) per ottenere il fallimento simultaneo del principio di Hasse per un intervallo di interi. La significatività risiede nel dimostrare che il fallimento del principio di Hasse integrale non è un fenomeno isolato per specifici valori di $h$, ma è una proprietà robusta condivisa da una proporzione positiva di forme attraverso uno spettro di interi target.

L'autore dichiara esplicitamente che il lavoro è un raffinamento di costruzioni precedenti e non pretende di risolvere il problema generale di caratterizzare tutti tali moduli, bensì stabilisce l'esistenza di una proporzione positiva con queste specifiche proprietà di fallimento simultaneo. Il saggio si affida a metodi di setacci stabiliti (setaccio di Ekedahl) e a limiti dalla geometria diolantea (Györy, Hasse-Weil) per validare la densità dell'insieme costruito.