🔢 mathematics

On Teissier's example of an equisingularity class that cannot be defined over the rationals

Questo articolo corregge l'esempio di Teissier di una singolarità di superficie derivata da un cono di poligono proiettivo reale e fornisce una prova completa che dimostra che questa singolarità non è Whitney equisingolare rispetto a nessuna singolarità definita sul campo dei numeri razionali.

Autori originali: Adam Parusiński, Laurentiu Paunescu

Pubblicato 2026-02-03

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Adam Parusiński, Laurentiu Paunescu

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Il quadro generale: Un pezzo di puzzle rotto

Immaginate di avere una complessa scultura 3D fatta di vetro (una "singolarità di superficie" matematica). I matematici amano studiare queste forme, ma vogliono anche sapere se queste forme possono essere costruite usando solo materiali "razionali" — ovvero numeri che si possono scrivere come semplici frazioni (come 1/2, 3/4 o 5).

Il documento affronta un puzzle specifico proposto da un matematico di nome Bernard Teissier. Teissier sosteneva di aver trovato una scultura che, indipendentemente da come si cerchi di rimodellarla o levigarla, non può essere costruita usando solo numeri razionali. Richiede numeri "irrazionali" (come $\sqrt{2}$ o $\pi$ ).

Tuttavia, gli autori di questo documento, Adam Parusiński e Laurențiu Păunescu, hanno riscontrato due problemi nella storia originale di Teissier:

Il progetto era leggermente errato: La forma specifica utilizzata da Teissier poteva in realtà essere costruita con numeri razionali.
La prova era traballante: La regola matematica che Teissier ha usato per dimostrare il suo punto era in realtà errata.

Questo documento corregge il progetto e fornisce una nuova prova solida per dimostrare che l'idea principale di Teissier era corretta, anche se il suo esempio originale era difettoso.

Parte 1: Il puzzle della "Disposizione di linee" (Correggere il progetto)

Per comprendere la forma, gli autori partono da un disegno 2D composto da linee che si intersecano, simile a un effetto a raggiera o a una ragnatela. Questo deriva da un famoso problema geometrico di Grünbaum.

L'errore originale: Teissier ha utilizzato una specifica disposizione di 9 linee. Gli autori si sono resi conto che, guardando attentamente, questa specifica disposizione può essere effettivamente disegnata utilizzando numeri razionali. È come cercare di dimostrare che una casa è fatta di legno, ma per errore hai scelto una casa fatta di plastica.
La correzione: Gli autori hanno aggiunto una linea extra al disegno. Questo piccolo cambiamento rompe la simmetria della forma.
Il risultato: Con questa nuova disposizione di 10 linee, la forma diventa "rigida". È matematicamente impossibile ruotare o spostare questa forma in modo che tutti i suoi punti di intersezione cadano su coordinate razionali. È bloccata in uno stato che richiede numeri irrazionali.

Analogia: Immaginate di cercare di disporre 10 bastoncini su un tavolo in modo che si incrocino in punti specifici. Con 9 bastoncini, potete disporli in modo che ogni incrocio sia una frazione "pulita". Ma se aggiungete un decimo bastoncino in un certo modo, la geometria forza almeno un punto di incrocio a diventare un numero irrazionale e disordinato. Semplicemente non potete costruire quella specifica configurazione con la matematica "pulita".

Parte 2: Il problema della "Deformazione" (Correggere la prova)

L'argomento originale di Teissier si basava su una regola riguardante il modo in cui queste forme cambiano nel tempo. Egli sosteneva che se si deforma lentamente una forma (come il ghiaccio che si scioglie diventando acqua), il "cono tangente" (il punto acuto o il nucleo della forma) si comporta in modo prevedibile e fluido.

La regola interrotta: Gli autori evidenziano che il teorema matematico che Teissier ha usato per fare questa affermazione è in realtà falso. È come usare una mappa che dice "tutti i ponti sono sicuri", quando in realtà alcuni ponti crollano.
La nuova prova: Invece di usare la mappa interrotta, gli autori hanno costruito un nuovo percorso. Hanno utilizzato un concetto chiamato "tangenti eccezionali".
- Cosa sono? Immaginate un punto acuto su una superficie. Di solito, se lo toccate con un foglio piatto (un piano tangente), il foglio tocca in modo prevedibile. Ma in certi punti "eccezionali", il foglio può toccare in direzioni strane e imprevedibili.
- La logica: Gli autori hanno dimostrato che, per la loro specifica forma a 10 linee, queste "tangenti eccezionali" non esistono. Poiché non esistono, il nucleo della forma (il cono tangente) rimane esattamente lo stesso mentre la forma si deforma.
- La conclusione: Poiché il nucleo è bloccato in una specifica configurazione irrazionale, l'intera forma non può essere deformata in una versione costruita con numeri razionali.

Parte 3: Il Controesempio (Perché la vecchia regola è fallita)

Per dimostrare che la vecchia regola di Teissier era interrotta, gli autori hanno creato un esempio "mostruoso" (Sezione 4).

Hanno costruito una forma che non ha tangenti eccezionali (appare molto fluida e ben comportata).
Tuttavia, quando hanno cercato di deformarla, la forma si è comunque frammentata in modo strano.
Questo dimostra che la vecchia regola ("Nessuna tangente eccezionale = Deformazione fluida") è falsa. Si può avere una forma senza tangenti strane che si comporta comunque male quando si tenta di modificarla.

Riassunto

L'obiettivo: Dimostrare che alcune forme complesse non possono essere costruite usando semplici numeri razionali.
La correzione: La forma originale usata da Teissier era troppo semplice (poteva essere costruita razionalmente). Gli autori hanno aggiunto una linea per renderla veramente "irrazionale".
La nuova prova: Gli autori hanno scartato una regola matematica fallace e l'hanno sostituita con un argomento rigoroso sulle "tangenti eccezionali" e su come le forme si deformano.
La lezione: Esistono effettivamente singolarità di superficie che sono "Whitney equisingulari" (topologicamente stabili) ma che non possono essere definite sui numeri razionali. Teissier aveva ragione sull'esistenza di tali forme, ma il documento fornisce il progetto corretto e il corretto apparato matematico per dimostrarlo.

In breve: il documento è una "nota di correzione" che ripara un esempio rotto e una prova fallace, confermando infine che alcune forme matematiche sono fondamentalmente troppo complesse per essere costruite partendo da semplici frazioni.

Sintesi Tecnica: Sull'esempio di Teissier di una classe di equisingolarità che non può essere definita sui numeri razionali

Enunciato del Problema
Il saggio affronta una questione specifica della teoria delle singolarità riguardante la definibilità delle famiglie equisingolari sul campo dei numeri razionali ( $\mathbb{Q}$ ). Sebbene sia stabilito che ogni singolarità complessa è equisingolare (in un senso più forte di quello di Whitney) a una singolarità definita da equazioni polinomiali con coefficienti nel campo dei numeri algebrici, rimane un problema aperto se tale singolarità possa essere deformata in una definita su $\mathbb{Q}$ tramite una deformazione topologicamente equisingolare.

Bernard Teissier, in una nota del 1990 [T90], propose un controesempio: una singolarità superficiale in $\mathbb{C}^3$ derivata da un classico esempio di geometria convessa (la disposizione di rette di Grünbaum) che non è Whitney-equisingolare a nessuna singolarità definita su $\mathbb{Q}$ . Tuttavia, l'esempio originale conteneva due errori:

La specifica disposizione di rette citata dal lavoro di Grünbaum ammette effettivamente un'equazione polinomiale con coefficienti razionali, fallendo così nel servire come controesempio.
La dimostrazione si basava su un teorema di Lê e Teissier [LT1] riguardante la deformazione di una superficie al suo cono tangente, che era stato enunciato in modo errato.

Metodologia
Gli autori, Parusiński e Păunescu, impiegano la geometria algebrica e la teoria delle stratificazioni per correggere l'esempio e fornire una prova rigorosa del risultato sottostante di Teissier.

Correzione dell'Esempio Geometrico:
- Gli autori rivisitano le disposizioni di 9 rette di Grünbaum nello spazio proiettivo reale. Dimostrano che la disposizione originale $C'$ (e le sue varianti equiconfigurazionali) può effettivamente essere definita su $\mathbb{Q}$ grazie alla invarianza galoisiana dell'insieme delle rette.
- Per rompere questa simmetria, costruiscono una nuova disposizione, denominata $C'$ , aggiungendo una decima retta ($HE$) alla configurazione originale.
- Utilizzando la teoria di Galois, dimostrano che il prodotto delle forme lineari che definiscono questa nuova disposizione di 10 rette non è invariante sotto il gruppo di Galois dell'estensione di campo generata dalle coordinate. Di conseguenza, questa disposizione non può essere definita su $\mathbb{Q}$ .
Correzione della Dimostrazione Analitica:
- Gli autori identificano che la dimostrazione originale in [T90] si basava su [LT1, Théorème (2.1.1)], il quale affermava erroneamente che una deformazione al cono tangente è equisingolare se e solo se la singolarità non possiede "tangenti eccezionali".
- Forniscono un controesempio (Sezione 4) di una singolarità priva di tangenti eccezionali la cui deformazione al cono tangente non è equisingolare (specificamente, il luogo singolare si scinde topologicamente).
- Invece di affidarsi al teorema errato, gli autori forniscono una dimostrazione diretta utilizzando la teoria delle stratificazioni di Whitney e dei coni normali. Analizzano la famiglia di singolarità superficiali $f(x, y)$ e il suo cono tangente $C_{X,Y}$ .

Contributi Chiave e Risultati

Controesempio Raffinato (Proposizione 2.2): Gli autori dimostrano che il cono sulla loro corretta disposizione di 10 rette ( $C'$ ) produce una singolarità superficiale $X_0$ in $\mathbb{C}^3$ che non può essere definita su $\mathbb{Q}$ .
Teorema Principale (Teorema 3.5): Il saggio stabilisce un nuovo risultato riguardante l'equisingolarità del cono normale. Dimostra che, se una famiglia di singolarità superficiali $(X_{reg}, \Sigma \setminus Y, Y)$ $(X_{r e g}, Σ ∖ Y, Y)$ forma una stratificazione di Whitney, allora:
1. Le fibre $X_y$ non hanno tangenti eccezionali.
2. Il cono normale $C_{X,Y}$ soddisfa le condizioni di Whitney.
3. Il luogo singolare del cono normale è esattamente il cono normale del luogo singolare ( $C_{\Sigma, Y} = (C_{X,Y})_{sing}$ ).
4. La coppia $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ forma una stratificazione di Whitney.
Applicazione al Risultato di Teissier: Applicando il Teorema 3.5, gli autori mostrano che, se la singolarità originale $X_0$ (il cono sulla disposizione corretta) fosse Whitney-equisingolare a una singolarità definita su $\mathbb{Q}$ , allora anche i coni tangenti della famiglia deformata sarebbero equisingolari. Tuttavia, i coni tangenti della disposizione corretta sono proiettivamente equivalenti alla disposizione stessa, la quale non può essere definita su $\mathbb{Q}$ . Questa contraddizione prova che la singolarità originale non è Whitney-equisingolare a nessuna singolarità definita su $\mathbb{Q}$ .
Controesempio a [LT1] (Sezione 4.1): Gli autori costruiscono una singolarità specifica $f(x,y,z) = z(zx - y^2 + x^3)$ per dimostrare che l'assenza di tangenti eccezionali non è sufficiente a garantire che la deformazione al cono tangente sia equisingolare. In questo esempio, il luogo singolare si scinde da un cuspo a una doppia retta, violando la trivialità topologica.

Significato
Il significato primario del saggio risiede nella correzione rigorosa e nel completamento del risultato di Teissier del 1990. Esso fornisce un esempio valido ed esplicito di una singolarità superficiale complessa che non può essere deformata in una singolarità razionale tramite una deformazione Whitney-equisingolare. Inoltre, chiarisce la relazione tra tangenti eccezionali ed equisingolarità delle deformazioni al cono normale, correggendo un teorema precedentemente accettato ma errato nel campo. Il lavoro assicura che la base teorica per distinguere le classi di equisingolarità in base alla definibilità su $\mathbb{Q}$ sia solida.

Il quadro generale: Un pezzo di puzzle rotto

Parte 1: Il puzzle della "Disposizione di linee" (Correggere il progetto)

Parte 2: Il problema della "Deformazione" (Correggere la prova)

Parte 3: Il Controesempio (Perché la vecchia regola è fallita)

Riassunto

Articoli simili