Lokal uniformering

I algebraisk geometri är lokal uniformering en svag form av upplösning av singulariteter , som grovt anger att en varietet kan desingulariseras nära vilken värdering som helst, eller med andra ord att Zariski-Riemann-utrymmet för sorten i någon mening är nonsingular. Lokal uniformering introducerades av Zariski ( 1939 , 1940 ), som skilde ut problemet med att lösa en sorts singulariteter i problemet med lokal uniformering och problemet med att kombinera de lokala uniformeringarna till en global desingularisering.

Lokal enhetlighet av en sort vid en värdering av dess funktionsfält innebär att hitta en projektiv modell av sorten så att centrum för värderingen är icke-singular. Detta är svagare än upplösning av singulariteter: om det finns en upplösning av singulariteter är detta en modell så att centrum för varje värdering är icke-singular. Zariski (1944b) bevisade att om man kan visa lokal enhetlighet av en sort så kan man hitta ett ändligt antal modeller så att varje värdering har ett icke-singulart centrum på åtminstone en av dessa modeller. För att fullborda ett bevis på upplösning av singulariteter är det då tillräckligt att visa att man kan kombinera dessa ändliga modeller till en enda modell, men detta verkar ganska svårt. (Lokal enhetlighet vid en värdering innebär inte direkt upplösning i centrum av värderingen: grovt sett; det innebär bara upplösning i en sorts "kil" nära denna punkt, och det verkar svårt att kombinera upplösningarna för olika kilar till en upplösning vid ett tillfälle.)

Zariski (1940) bevisade lokal enhetlighet av sorter i valfri dimension över fält med karakteristik 0, och använde detta för att bevisa upplösning av singulariteter för sorter i karakteristisk 0 av dimension som högst 3. Lokal enhetlighet i positiv egenskap verkar vara mycket svårare. Abhyankar ( 1956 , 1966 ) bevisade lokal enhetlighet i alla egenskaper för ytor och i egenskaper åtminstone 7 för 3-faldig, och kunde härleda global upplösning av singulariteter i dessa fall från detta. Cutkosky (2009) förenklade Abhyankars långa bevis. Cossart och Piltant ( 2008 , 2009 ) utökade Abhyankars bevis på lokal uniformering av 3-faldiga till de återstående egenskaperna 2, 3 och 5. Temkin (2013) visade att det är möjligt att hitta en lokal uniformering av vilken värdering som helst efter att ha tagit en renodlad oskiljaktig förlängning av funktionsfältet.

Lokal enhetlighet i positiv egenskap för sorter med dimension minst 4 är (från och med 2019) ett öppet problem.

externa länkar