Linear theories of global fields with absolute values

1. Il Problema e il Contesto

La teoria del primo ordine di un campo globale (una estensione finita di $\mathbb{Q}$ o di $\mathbb{F}_p(t)$) nel linguaggio degli anelli (con addizione e moltiplicazione) è indeducibile, come dimostrato da Julia Robinson e Rumely. Anche la decidibilità della sua teoria esistenziale rimane un problema aperto famoso.

Gli autori investigano una variante di questo problema: la teoria lineare di un campo globale. Invece di considerare la moltiplicazione binaria completa, il linguaggio include solo:

• La struttura di spazio vettoriale sul campo base $k$ (addizione, zero, uno e moltiplicazione scalare per $\lambda \in k$).
• Predicati aggiuntivi che catturano la struttura aritmetica tramite valutazioni assolute (o valori assoluti).

L'obiettivo è determinare la decidibilità della teoria (e della teoria esistenziale) di un campo globale $k$ equipaggiato con uno o più valori assoluti, distinguendo tra casi ultrametrici (finiti), archimedei reali e archimedei complessi.

2. Metodologia

La metodologia si basa su una combinazione di tecniche di teoria dei modelli, teoria dei campi valutati e approssimazione debole.

• Eliminazione dei Quantificatori per Spazi Vettoriali Valutati: Gli autori sviluppano una teoria completa per spazi vettoriali su un campo $k$ dotati di una valutazione discreta. Dimostrano l'eliminazione dei quantificatori per una teoria a due sortite (sorta vettoriale e sorta di valori) che include la valutazione, l'ordinamento dei valori e la struttura del gruppo residuo.
• Interpretazione e Bi-interpretazione: Per collegare la teoria degli spazi vettoriali valutati (con linguaggio a due sortite) alla teoria dei campi con valori assoluti (linguaggio a una sorta), utilizzano tecniche di interpretazione. Mostrano che la struttura $(k, +, 0, 1, (\cdot_\lambda), L_p, M_p)$ è bi-interpretabile con una struttura di spazio valutato, permettendo di trasferire risultati di eliminazione dei quantificatori.
• Definibilità della Moltiplicazione: Analizzano come la moltiplicazione completa del campo possa essere definita (o esistenzialmente definita) a partire dall'addizione e dai valori assoluti. Questo è il punto cruciale per stabilire l'indeducibilità: se la moltiplicazione è definibile, la teoria eredita l'indeducibilità della teoria dei campi.
• Approssimazione Debole (Weak Approximation): Per trattare famiglie di posti (valutazioni) simultaneamente, utilizzano il teorema di approssimazione debole di Artin-Whaples. Questo permette di asseverare che le condizioni locali su diversi posti possono essere soddisfatte globalmente, fornendo un'assiomatizzazione completa per la teoria combinata.

3. Risultati Chiave

A. Teoria di un Singolo Posto (Teorema 1.1)

Il comportamento della teoria dipende fortemente dal tipo di posto $p$:

1. Posti Finiti (Ultrametrici):

   • La teoria completa di $k$ con un posto finito $p$ (inclusi i predicati per l'ordine e la moltiplicazione dei valori assoluti) è decidibile.
   • La teoria di $k$ coincide con quella del suo completamento $\hat{k}_p$.
   • La teoria ammette eliminazione dei quantificatori.

2. Posti Reali (Archimedei):

   • La teoria con solo il predicato di ordine $L_p$ (dove $|x|_p \le |y|_p$) è decidibile e coincide con quella del completamento $\mathbb{R}$.
   • Tuttavia, se si include anche il predicato ternario $M_p$ (che codifica $|xy|_p = |z|_p$), la teoria diventa indeducibile. In questo caso, la moltiplicazione del campo è definibile quantifier-free, rendendo la teoria Turing-equivalente alla teoria esistenziale del campo intero.
   • La teoria completa di $k$ con $L_p$ e $M_p$ è diversa da quella del completamento.

3. Posti Complessi:

   • La teoria con solo il predicato $L_p$ è già indeducibile perché permette di definire il sottocampo reale $k \cap \mathbb{R}$ e la sua struttura di campo.
   • Per la teoria esistenziale:
     • Se $k \cap \mathbb{R}i = \{0\}$ (nessun elemento immaginario puro non nullo), la teoria esistenziale è decidibile.
     • Altrimenti, è Turing-equivalente alla teoria esistenziale di $k \cap \mathbb{R}$.

B. Teoria di Famiglie di Posti (Teorema 1.2)

Gli autori generalizzano i risultati a insiemi di posti $S_0$ (predicati binari $L_p$) e $S_1$ (predicati ternari $M_p$).

• La teoria è decidibile se e solo se:
  1. $S_0$ non contiene posti complessi.
  2. $S_1$ non contiene posti infiniti (reali o complessi).
• In caso di decidibilità, la teoria ammette eliminazione dei quantificatori (se $S_1 = \emptyset$) o completezza model-theoretica, ed è assiomatizzabile esplicitamente includendo gli assiomi di approssimazione debole.

4. Contributi Principali

1. Classificazione della Decidibilità: Forniscono una mappa completa e precisa delle condizioni sotto le quali la teoria lineare di un campo globale con valori assoluti è decidibile o indeducibile, distinguendo chiaramente tra casi reali, complessi e ultrametrici.
2. Nuovi Risultati di Eliminazione dei Quantificatori: Dimostrano l'eliminazione dei quantificatori per spazi vettoriali valutati su campi con residuo finito o infinito, estendendo lavori precedenti (come quelli di van den Dries) a un linguaggio più ricco che include la struttura del gruppo dei valori.
3. Assiomatizzazione Esplicita: Forniscono un'assiomatizzazione completa e decidibile per la teoria di campi globali con insiemi di posti ultrametrici e reali (senza moltiplicazione complessa), basata sulla combinazione delle teorie locali e dell'approssimazione debole.
4. Analisi della Definibilità: Dimostrano come la struttura di campo completa emerga o meno dai valori assoluti, mostrando che nei casi complessi e reali (con moltiplicazione dei valori) la moltiplicazione è definibile, portando all'indeducibilità.

5. Significato e Implicazioni

Questo lavoro è significativo per la logica matematica e la teoria dei numeri per diversi motivi:

• Limiti della Decidibilità: Delimita con precisione i confini tra strutture algebriche lineari decidibili e quelle che, pur sembrando "deboli" (mancando la moltiplicazione completa), diventano indeducibili a causa della ricchezza nascosta nei valori assoluti.
• Connessione tra Teoria dei Modelli e Teoria dei Numeri: Integra profondamente il teorema di approssimazione debole (un risultato classico di teoria dei numeri) nella logica dei modelli, mostrando come le proprietà globali dei campi possano essere catturate assiomaticamente tramite condizioni locali.
• Strumenti per Teorie Lineari: Offre nuovi strumenti tecnici (come l'eliminazione dei quantificatori per spazi vettoriali valutati) che possono essere applicati ad altri problemi riguardanti strutture algebriche lineari con valutazioni.
• Implicazioni per la Teoria Esistenziale: Poiché la decidibilità della teoria esistenziale dei campi globali è un problema aperto, questi risultati offrono un quadro di riferimento cruciale su come l'aggiunta di strutture di valutazione influenzi la complessità computazionale della teoria.

In sintesi, il paper risolve la questione della decidibilità per una vasta classe di teorie lineari di campi globali, dimostrando che la presenza di valori assoluti complessi o la combinazione di valori assoluti reali con la moltiplicazione dei valori è sufficiente a rendere il problema indeducibile, mentre le combinazioni "pure" ultrametriche e reali (senza moltiplicazione dei valori) rimangono decidibili.