In geometria algebrica, il teorema principale di Sariski, dimostrato da Oscar Sariski nel 1943, rivela la struttura delle mappe birazionali. Questo teorema dimostra che in un punto normale di una diversità c'è solo un ramo, il che rende più concreta e chiara la nostra comprensione della corrispondenza e della connettività tra diversità.
Il teorema principale di Sariski è in un certo senso un caso speciale del teorema di connettività di Sariski. Questo teorema esprime il fatto che in ogni punto normale di una molteplicità normale, la trasformazione corrispondente è connessa, il che ha un significato matematico di vasta portata, soprattutto per lo studio della struttura della molteplicità e delle proprietà correlate.
Una mappa birazionale è un isomorfismo a un sottoinsieme aperto della molteplicità normale se la sua fibra è finita.
La proposta di questo teorema non solo determinò ulteriormente alcune proprietà dei corpi multidimensionali nella geometria algebrica, ma pose anche le basi per lo sviluppo della geometria algebrica moderna. I "punti normali" qui menzionati, in geometria, sono quei punti con buone proprietà, come l'assenza di singolarità o altre irregolarità.
Per le mappature birazionali, se esploriamo la relazione tra due molteplicità, il teorema principale della SRS ci dice che in una molteplicità normale, la trasformazione totale della sua mappatura deve essere connessa. Tale connettività fornisce potenti strumenti per l'analisi di numerose strutture algebriche.
Un anello locale normale è una struttura a singolo ramo, il che significa che le sue trasformazioni hanno buona continuità.
Con lo sviluppo della matematica, sono state proposte sempre più varianti del teorema principale di Sariski, dopo essere stato ampliato da molti matematici. Ad esempio, Grothendieck estese questo teorema e propose lo studio delle strutture di mappatura generali, che consentirono una comprensione più completa delle proprietà della diversità.
Per fare alcuni esempi specifici, supponiamo di avere una molteplicità regolare V la cui dimensione è maggiore di 1, e che estendendo alcuni punti su V possiamo ottenere un'altra molteplicità V'; tale costruzione deriva dal teorema principale di Sariski. Questi esempi concreti non solo dimostrano l'applicabilità del teorema, ma forniscono anche un'intuizione geometrica più ricca.
Intorno a un punto chiuso x di una normale complessa multivariata, è possibile trovare un intorno U arbitrariamente piccolo che garantisce che l'insieme dei punti non singolari in U sia connesso.
Inoltre, il teorema principale di Sariski viene riformulato nel contesto degli anelli algebrici, fornendo così una comprensione più sistematica delle proprietà algebriche delle molteplicità. Questi teoremi non costituiscono solo il quadro teorico della matematica, ma anche i principi fondamentali che spiegano numerose strutture e proprietà geometriche.
Con lo studio approfondito della geometria algebrica, queste teorie vengono costantemente proposte e verificate, consentendoci di comprendere diversi corpi non solo in termini di proprietà geometriche superficiali, ma anche in termini di strutture a un livello più astratto. L'influenza del teorema principale di Sariski deriva dalle infinite riflessioni e discussioni che ha innescato.
Infine, da una prospettiva più macroscopica, non possiamo fare a meno di chiederci: la teoria delle diramazioni uniche in ogni punto normale ha un significato e un'applicazione matematica più profondi?