desingularisaatiolle

Desingularisaatio (desingularisation) on prosessi, jolla algebraalisten tai analyyttisten tilojen singulariteetit poistetaan tai niiden vaikutus minimoidaan. Tavoitteena on lopullinen tila, joka on säännöllinen ja jonka ominaisuudet ovat tutkittavissa helpommin. Desingularisaatio on keskeinen osa singulariteettien ratkaisun teoriaa, eli resolution of singularities, algebrallisessa geometriassa.

Käytännössä prosessi etenee toistuvien muutosten kautta: valitaan sopivia keskuksia ja tehdään niihin liittyviä rakennemuutoksia, jolloin singulariteetit vaimenevat ja lopulta saavutetaan säännöllinen tila. Lopullinen desingularisoitu tilakokonaisuus on karkeasti ottaen alkuperäisen tilan korjaus, jolla on paremmat geometrican ominaisuudet. Karakteristiikassa nolla desingularisaatio on erityisen hyvin understood.

Merkittävin teoreettinen tulos on Hironakan todistus siitä, että desingularisaatio on mahdollista kaikenlaisille projektiivisille algebraattisille tiloille karakteristiikassa nolla (1964). Tämän jälkeen on kehitetty algoritmisiä menetelmiä, kuten Bierstone–Milnor ja Villamayor, joiden avulla resoluutio voidaan toteuttaa käytännössä. Positiivisessa karakteristikissa yleistä ratkaisua ei ole vielä osoitettu, mutta on saavutettu tuloksia tietyissä luokissa ja matalammissa ulottuvuuksissa.

Sovelluksina desingularisaatio helpottaa teoreettisia todistuksia, moduli- ja koosto-kysymyksiä sekä monien geometristen rakenteiden tarkastelua ja laskentaa. Se on tärkeä väline algebrallisen geometrian kehittämisessä ja sen yhteydessä tuotavien rakenteiden ymmärtämisessä.