Formella moduler

I matematik är formella moduler en aspekt av teorin om modulrum (av algebraiska varianter eller vektorbuntar , till exempel ) , nära anknuten till deformationsteori och formell geometri . Grovt sett kan deformationsteori ge Taylor- polynomnivån av information om deformationer, medan formell modulteori kan sammanställa konsekventa Taylor-polynom för att göra en formell potensserieteori . Steget till modulrum är, korrekt sett, en algebraiseringsfråga och har till stor del satts på en fast grund av Artins approximationssats .

En formell universell deformation är per definition ett formellt schema över en komplett lokal ring , med speciell fiber schemat över ett fält som studeras, och med en universell egenskap bland sådana uppställningar. Den lokala ringen i fråga är då bärare av de formella modulerna.

• "Deformation" , Encyclopedia of Mathematics , EMS Press , 2001 [1994]