Formal moduli
ગણિતમાં, ઔપચારિક મોડ્યુલી એ મોડ્યુલી જગ્યાઓના સિદ્ધાંતનું એક પાસું છે (ઉદાહરણ તરીકે, બીજગણિત જાતો અથવા વેક્ટર બંડલનું), જે વિરૂપતા સિદ્ધાંત અને ઔપચારિક ભૂમિતિ સાથે નજીકથી જોડાયેલું છે. આશરે કહીએ તો, વિકૃતિ સિદ્ધાંત ટેલર બહુપદી સ્તરની વિકૃતિઓ વિશેની માહિતી પ્રદાન કરી શકે છે, જ્યારે ઔપચારિક મોડુલી સિદ્ધાંત ઔપચારિક શક્તિ શ્રેણી સિદ્ધાંત બનાવવા માટે સુસંગત ટેલર બહુપદીઓને ભેગા કરી શકે છે. મોડ્યુલી જગ્યાઓ માટેનું પગલું, યોગ્ય રીતે કહીએ તો, બીજગણિતનો પ્રશ્ન છે, અને મોટા ભાગે આર્ટિનના અંદાજ પ્રમેય દ્વારા નિશ્ચિત ધોરણે મૂકવામાં આવ્યું છે. એક ઔપચારિક સાર્વત્રિક વિરૂપતા વ્યાખ્યા દ્વારા સંપૂર્ણ સ્થાનિક વીંટી પર એક ઔપચારિક યોજના છે, જેમાં અભ્યાસ કરવામાં આવતા ક્ષેત્ર પરની યોજનાને ખાસ ફાઇબર સાથે, અને આવા સેટ-અપ્સમાં સાર્વત્રિક ગુણધર્મ સાથે. સ્થાનિક રીંગ પછી ઔપચારિક મોડુલીનું વાહક છે. સંદર્ભ મોડુલી સિદ્ધાંત બીજગણિત ભૂમિતિ ભૌમિતિક બીજગણિત