Campo con un elemento

Template:S Template:Correggere Il campo con un elemento, in matematica, è un oggetto che dovrebbe comportarsi in modo simile a un campo finito composto da un singolo elemento, se tale campo potesse esistere. Tale oggetto è indicato con ${𝔽}_1$ e, in inglese, è conosciuto anche come F-un (fun significa bizzarro, divertente) per le sue caratteristiche anomale. Il nome campo con un elemento e la notazione ${𝔽}_1$ sono solo indicativi, poiché non esiste un campo con un singolo elemento nell'algebra astratta classica. Invece ${𝔽}_1$ fa riferimento all'idea teorica secondo la quale dovrebbe esserci un modo per sostituire insiemi e operazioni - i tradizionali elementi costitutivi dell'algebra astratta - con altri oggetti più flessibili. Sono state proposte molte teorie per ${𝔽}_1$, ma non è chiaro quale di esse conferisca a ${𝔽}_1$ tutte le proprietà desiderate. In queste teorie non esiste ancora un campo con un singolo elemento. Esiste, invece, un oggetto simile a un campo, la cui caratteristica è avere un elemento.

${𝔽}_1$ non può essere un campo, perché tutti i campi devono contenere due elementi distinti: l'elemento neutro additivo $0$ e quello neutro moltiplicativo $1.$ Anche se questa restrizione fosse eliminata, l'anello con un elemento deve essere l'anello zero, che non si comporta come un campo finito. Invece, la maggior parte delle teorie proposte per ${𝔽}_1$ sostituisce l'intera algebra astratta. Oggetti matematici come spazi vettoriali e anelli dei polinomi possono essere riportati in queste nuove teorie definendo le loro proprietà astratte in modo analogo a quello classico. Ciò consente lo sviluppo dell'algebra commutativa e della geometria algebrica su nuove basi. Una delle caratteristiche peculiari delle teorie di ${𝔽}_1$ è la seguente: queste nuove basi consentono più oggetti rispetto all'algebra astratta classica, una delle quali si comporta come un campo di caratteristica uno.

La possibilità di studiare le proprietà di ${𝔽}_1$ fu originariamente suggerita nel 1956 da Jacques Tits. Tits suggerì un'analogia tra simmetrie nella geometria proiettiva e combinatoria dei complessi simpliciali collegando ${𝔽}_1$ alla geometria non commutativa e ad una possibile dimostrazione dell'ipotesi di Riemann. Sono state proposte molte teorie di ${𝔽}_1$, ma non è chiaro quale di esse garantisca a ${𝔽}_1$ le proprietà necessarie.

Storia

Nel 1957, Jacques Tits ha introdotto la teoria degli edifici, che mettono in relazione gruppi algebrici con complessi simpliciali astratti. Una delle ipotesi è una condizione di non banalità: se l'edificio dovesse essere un complesso simpliciale astratto $n$-dimensionale, e se $k<n$, allora ogni $k$-duplex dell'edificio sarebbe contenuto in almeno tre $n$ semplici. Ciò è analogo alla condizione della geometria proiettiva classica: una retta deve contenere almeno tre punti. Tuttavia, ci sono geometrie degeneri che soddisfano tutte le condizioni per essere una geometria proiettiva, tranne per il fatto che le rette ammettano solo due punti. Gli oggetti analoghi nella teoria degli edifici sono chiamati appartamenti. Gli appartamenti svolgono un ruolo così costituente nella teoria degli edifici che Tits ipotizzava l'esistenza di una teoria della geometria proiettiva in cui le geometrie degeneri avrebbero avuto la stessa importanza di quelle classiche. Questa geometria avrebbe avuto luogo, ha affermato, su un campo caratteristico. Usando questa analogia, è stato possibile descrivere alcune delle proprietà elementari di ${𝔽}_1$, ma non è stato possibile costruirlo.

Un'ispirazione separata per ${𝔽}_1$ è venuta dalla teoria dei numeri algebrica. La prova di Weil dell'ipotesi di Riemann per le curve su campi finiti è iniziata con una curva $C$ su un campo finito ${𝔽}_k$, ha preso il suo prodotto $C{\times }_{{𝔽}_k}C$ e quindi ne ha esaminato la diagonale. Se gli interi fossero una curva su un campo, la stessa dimostrazione proverebbe l'ipotesi di Riemann. Gli interi $\mathbb{Z}$ sono unidimensionali, il che suggerisce che possono essere una curva, ma non sono un'algebra su alcun campo. Una delle proprietà ipotizzate per ${𝔽}_1$ è che $\mathbb{Z}$ dovrebbe essere un'algebra su ${𝔽}_1$. Ciò consentirebbe di costruire il prodotto $\mathbb{Z}{\times }_{{𝔽}_1}\mathbb{Z}$ e si avrebbe la speranza che l'ipotesi di Riemann per $\mathbb{Z}$ possa essere dimostrata allo stesso modo dell'ipotesi di Riemann per una curva su un campo finito.

Un altro punto di vista viene dalla geometria di Arakelov, in cui le equazioni diofantee sono studiate usando strumenti dalla geometria complessa. La teoria prevede complicati confronti tra campi finiti e numeri complessi. Qui l'esistenza di ${𝔽}_1$ è utile per motivi tecnici.

Nel 1991, Alexander Smirnov aveva fatto alcuni passi verso la geometria algebrica su ${𝔽}_1$. Introdusse estensioni di ${𝔽}_1$ e le ha usate per gestire la retta proiettiva $P^1$ su ${𝔽}_1$. I numeri algebrici furono trattati come mappe di questo $P^1$ e furono suggerite delle approssimazioni congetturali alla formula di Riemann-Hurwitz per queste mappe. Queste approssimazioni implicarono asserzioni molto profonde come la congettura abc. Le estensioni di ${𝔽}_1$ in seguito furono indicate come ${𝔽}_q$ con $q=1^n$.

Nel 1993, Yuri Manin tenne una serie di lezioni sulle funzioni zeta in cui propose di sviluppare una teoria della geometria algebrica su ${𝔽}_1$. Suggerì che le funzioni zeta delle varietà su ${𝔽}_1$ avrebbero avuto descrizioni molto semplici, e propose una relazione tra la K-teoria di ${𝔽}_1$ e i gruppi di sfere omotopiche. Ciò ispirò diverse persone a tentare di costruire ${𝔽}_1$. Nel 2000, Zhu propose che ${𝔽}_1$ fosse uguale a ${𝔽}_2$, tranne per il fatto che, la somma di uno e uno, fosse uno invece che zero. Deitmar suggerì di trovare ${𝔽}_1$ dimenticando la struttura additiva di un anello e concentrandosi sulla moltiplicazione. Toën e Vaquié costruirono sulla teoria di Hakim degli schemi relativi e definirono ${𝔽}_1$ usando categorie monoidali simmetriche. La loro costruzione fu successivamente dimostrata equivalente a quella di Deitmar da Vezzani. Nikolaj Durov costruì ${𝔽}_1$ come monade algebrica commutativa. Soulé lo costruì usando algebre sui numeri complessi e funtori da categorie di determinati anelli. Borger usò la discesa per costruirlo dai campi finiti e dagli interi.

Alain Connes e Caterina Consani svilupparono le nozioni di Soulé e Deitmar "incollando" la categoria dei monoidi moltiplicativi e la categoria degli anelli per creare una nuova categoria $𝔐\Re$ definendo quindi gli schemi su ${𝔽}_1$ come un particolare tipo di funtore rappresentabile $𝔐\Re$. Usando questo, riuscirono a fornire una nozione di diverse costruzioni teoriche dei numeri su ${𝔽}_1$ come motivi ed estensioni di campo, oltre a costruire gruppi di Chevalley su ${𝔽}_{1^2}$. Insieme a Matilde Marcolli, Connes-Consani collegò anche ${𝔽}_1$ con la geometria non commutativa. È stato anche suggerito che potrebbero esserci delle connessioni con la congettura unica dei giochi nella teoria della complessità computazionale.

Lorscheid, insieme ad altri, ha recentemente raggiunto l'obiettivo originale di Tits di descrivere i gruppi Chevalley su ${𝔽}_1$ introducendo oggetti chiamati blueprint, che sono una generalizzazione simultanea di semianelli e monoidi. Questi sono usati per definire i cosiddetti schemi blu, uno dei quali è ${𝔽}_1$. Le idee di Lorscheid si discostano in qualche modo da altre idee di gruppi su ${𝔽}_1$, in quanto lo schema ${𝔽}_1$ non è esso stesso il gruppo di Weyl della sua estensione di base agli schemi normali. Lorscheid definisce innanzitutto la categoria Tits, una sottocategoria completa della categoria di schemi blu, e definisce l'estensione di Weyl, un funtore della categoria Tits a Set. Un modello Tits-Weyl di un gruppo algebrico $𝒢$ è uno schema blu $𝔾$ con un'operazione di gruppo che è un morfismo nella categoria Tits, la cui estensione di base è $𝒢$ e la cui estensione di Weyl è isomorfa al gruppo di Weyl $𝒢$.

La geometria di ${𝔽}_1$ è stata collegata alla geometria tropicale, per il fatto che i semianelli, in particolare, i semianelli tropicali, sorgono come quozienti di alcuni semianelli monoidi $N[𝔸]$ di somme formali finite di elementi di un monoide $𝔸$, che è esso stesso un'algebra ${𝔽}_1$. Questa connessione è resa esplicita dall'uso dei progetti da parte di Lorscheid. I fratelli Giansiracusa hanno costruito una teoria degli schemi tropicali, per la quale la loro categoria di schemi tropicali è equivalente alla categoria degli schemi Toën-Vaquié ${𝔽}_1$. Questa categoria si integra fedelmente, ma non completamente, nella categoria degli schemi blu ed è una sottocategoria completa della categoria degli schemi Durov.

Estensione di campo

Si possono definire le estensioni di campo del campo con un elemento come il gruppo di radici dell'unità, o con più dettaglio (con una struttura geometrica) come lo schema di gruppo delle radici dell'unità. Questo, anche se non naturalmente, è isomorfo rispetto al gruppo ciclico di ordine $n,$ con l'isomorfismo che dipende dalla scelta di una radice primitiva di unità:

${𝔽}_{1^n}={\mu }_n.$

Quindi uno spazio vettoriale di dimensione $d$ su ${𝔽}_{1^n}$ risulta essere un insieme finito di ordine $dn$ su cui le radici dell'unità agiscono liberamente, insieme a un punto base.

Da questo punto di vista il campo finito ${𝔽}_q$ è un'algebra su ${𝔽}_{1^n}$, di dimensione $d=\frac{q-1}{n}$ per qualsiasi $n$ che è un fattore di $q-1$ (ad esempio $n=q-1$ o $n=1$). Ciò corrisponde al fatto che il gruppo delle unità di un campo finito ${𝔽}_q$ (che sono $q-1$ elementi diversi da zero) è un gruppo ciclico di ordine $q-1$, sul quale ogni gruppo ciclico di ordine che divide $q-1$ agisce liberamente (elevando a potenza), e l'elemento zero del campo è il punto base.

Allo stesso modo, i numeri reali $ℝ$ sono un'algebra su ${𝔽}_{1^2}$, di dimensione infinita, poiché i numeri reali contengono $\pm 1$, ma nessuna altra radice dell'unità, e i numeri complessi $ℂ$ sono un'algebra su ${𝔽}_{1^n}$ per ogni $n$, ancora di dimensione infinita, poiché il campo complesso comprende tutte le radici dell'unità.

Da questo punto di vista, qualsiasi fenomeno che dipende solo da un campo che ha radici dell'unità può essere visto come proveniente da ${𝔽}_1.$ Ad esempio, la trasformata di Fourier discreta (a valori complessi) e l'analoga trasformata in teoria dei numeri (a valori in $\mathbb{Z}/n\mathbb{Z}$).

Bibliografia

• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo
• Template:Cita testo