आकारिक वर्ग नियम

गणित में, एक आकारिक वर्ग नियम (सामान्यतः) एक आकारिक शक्ति श्रृंखला है, जो ऐसे व्यवहार करता है, जैसे कि यह एक लाई वर्ग का उत्पाद था। उन्हें S बोचनर (1946) द्वारा प्रस्तुत किया गया था। आकारिक वर्ग शब्द का अर्थ कभी-कभी आकारिक वर्ग नियम के समान होता है, और कभी-कभी इसका अर्थ कई सामान्यीकरणों में से एक होता है। आकारिक वर्ग लाई वर्ग (या बीजगणितीय वर्गों) और लाई बीजगणित के बीच मध्यवर्ती हैं। उनका उपयोग बीजगणितीय संख्या सिद्धांत और बीजगणितीय टोपोलॉजी में किया जाता है।

परिभाषाएँ

एक क्रमविनिमेय रिंग R पर एक आयामी आकारिक वर्ग नियम एक शक्ति श्रृंखला F (x, y) है जिसमें R में गुणांक होते हैं, जैसे कि

1. F(x,y) = x + y + उच्च डिग्री के पद
2. F(x, F(y,z)) = F(F(x ,y), z) (सहयोगिता)।

सबसे सरल उदाहरण योजक आकारिक वर्ग नियम F(x, y) = x + y है। परिभाषा का विचार यह है, कि F को एक लाई वर्ग के उत्पाद के आकारिक शक्ति श्रृंखला विस्तार की प्रकार कुछ होना चाहिए, जहां हम निर्देशांक चुनते हैं, जिससे कि लाई वर्ग की पहचान मूल हो सकती है।

अधिक सामान्यतः, एक n-आयामी आकारिक वर्ग नियम 2n चर में n पावर श्रृंखला F_i(x₁, x₂, ..., x_n, y₁, y₂, ..., y_n) का एक संग्रह है, जैसे कि

1. F(x,y) = x + y + उच्च डिग्री के पद
2. F(x, F(y,z)) = F(F(x,y), z)

जहां हम F के लिए (F1, ..., Fn), x के लिए (x1, ..., xn), और इसी प्रकार लिखते हैं।

आकारिक वर्ग नियम को कम्यूटेटिव कहा जाता है, यदि F(x,y) = F(y,x) यदि R टॉरशन फ्री है, तो कोई R को Q-बीजगणित में एम्बेड कर सकता है, और किसी भी एक-आयामी आकारिक वर्ग नियम F को F(x,y) = exp(log(x) + log(y)) के रूप में लिखने के लिए घातांकीय और लघुगणक का उपयोग कर सकता है, इसलिए F आवश्यक रूप से कम्यूटेटिव है। अधिक सामान्यतः, हमारे पास है।

प्रमेय. R पर प्रत्येक एक-आयामी आकारिक वर्ग नियम क्रमविनिमेय है, यदि R में कोई नॉनज़ीरो टोरसन निलपोटेंट नहीं है, (अर्थात, कोई गैर-शून्य तत्व नहीं है जो टॉरशन और निलपोटेंट दोनों हैं)।

वर्ग (गणित) के लिए व्युत्क्रम तत्वों के अस्तित्व के अनुरूप स्वयंसिद्ध की कोई आवश्यकता नहीं है, क्योंकि यह आकारिक वर्ग नियम की परिभाषा से स्वचालित रूप से अनुसरण करता है। जैसे कि F(x,G(x)) = 0 दूसरे शब्दों में, हम निरंतर एक (अद्वितीय) पावर श्रृंखला पा सकते हैं।

आयाम m के आकारिक वर्ग नियम F से आयाम n के आकारिक वर्ग नियम जी तक एक समरूपता m चर में n शक्ति श्रृंखला का एक संग्रह F है, जैसे कि

G(f(x), f(y)) = f(F(x,y)).

व्युत्क्रम के साथ एक समरूपता को आइसोमोर्फिज्म कहा जाता है, और इसे सख्त आइसोमोर्फिज्म कहा जाता है, यदि इसके अतिरिक्त f(x) = x + उच्च डिग्री की शर्तें, उनके बीच एक आइसोमोर्फिज्म के साथ दो आकारिक वर्ग नियम अनिवार्य रूप से समान हैं, वे मात्र "निर्देशांक के परिवर्तन" से भिन्न होते हैं।

उदाहरण

• योगात्मक आकारिक वर्ग नियम द्वारा दिया गया है।

$F(x,y)=x+y.\$

• गुणात्मक आकारिक वर्ग नियम द्वारा दिया गया है।

$F(x,y)=x+y+xy.\$

इस नियम को इस प्रकार समझा जा सकता है। रिंग R के गुणक वर्ग में गुणनफल जी को G(a,b) = ab द्वारा दिया गया है। यदि हम a = 1 + x, b = 1 + y, और G = 1 + F डालकर 0 को पहचान बनाने के लिए "निर्देशांक बदलते हैं", तो हम पाते हैं कि F(x,y) = x + y + xy.

तर्कसंगत संख्याओं पर, योगात्मक आकारिक वर्ग नियम से गुणक तक एक आइसोमोर्फिज्म होता है, जो exp(x) − 1 द्वारा दिया जाता है। सामान्य कम्यूटेटिव रिंग्स R पर ऐसे कोई समरूपता नहीं है, क्योंकि इसे परिभाषित करने के लिए गैर-अभिन्न तर्कसंगत संख्याओं की आवश्यकता होती है, और योजक और गुणक आकारिक वर्ग सामान्यतः आइसोमोर्फिक नहीं होते हैं।

• सामान्यतः, हम पहचान पर निर्देशांक लेकर और उत्पाद मानचित्र के आकारिक शक्ति श्रृंखला विस्तार को लिखकर किसी भी बीजगणितीय वर्ग या आयाम n के लाई वर्ग से आयाम n के एक आकारिक वर्ग नियम का निर्माण कर सकते हैं। योगात्मक और गुणक आकारिक वर्ग नियम इस प्रकार से योगात्मक और गुणक बीजगणितीय वर्गों से प्राप्त किए जाते हैं। इसका एक और महत्वपूर्ण विशेष स्थिति एक इलिप्टिक वक्र (या एबेलियन किस्म) का आकारिक वर्ग (नियम) है।
• F(x,y) = (x + y)/(1 + xy) हाइपरबॉलिक स्पर्शरेखा फ़ंक्शन के लिए अतिरिक्त सूत्र (1 के समतुल्य प्रकाश की गति के साथ) से आने वाला एक आकारिक वर्ग नियम है: tanh(x + y) = F(tanh(x), tanh(y)), और यह विशेष सापेक्षता में वेगों को जोड़ने का सूत्र भी है।
• ${\textstyle F(x,y)=\left.\left(x{\sqrt {1-y^{4}}}+y{\sqrt {1-x^{4}}}\right)\right/\!(1+x^{2}y^{2})}$ Z पर एक आकारिक वर्ग नियम है[1/2] यूलर द्वारा पाया गया, एक एलिप्टिक इंटीग्रल (स्ट्रिकलैंड) के लिए अतिरिक्त सूत्र के रूप में:

$\int _{0}^{x}{dt \over {\sqrt {1-t^{4}}}}+\int _{0}^{y}{dt \over {\sqrt {1-t^{4}}}}=\int _{0}^{F(x,y)}{dt \over {\sqrt {1-t^{4}}}}.$

लाई बीजगणित

कोई भी n-आयामी आकारिक वर्ग नियम रिंग R पर एक n-आयामी लाई बीजगणित देता है, जिसे आकारिक वर्ग नियम के द्विघात भाग F₂ के संदर्भ में परिभाषित किया गया है।

[x,y] = F₂(x,y) − F₂(y,x)

लाई वर्गों या बीजगणितीय वर्गों से लाई बीजगणित तक के प्राकृतिक कार्य को लाई वर्गों से आकारिक वर्ग नियमों में सम्मिलित किया जा सकता है, इसके पश्चात आकारिक वर्ग के लाई बीजगणित को लिया जा सकता है:

लाई वर्ग → आकारिक वर्ग नियम → लाई बीजगणित

विशेषता (बीजगणित) 0 के क्षेत्रों में, आकारिक वर्ग नियम अनिवार्य रूप से परिमित-आयामी लाई बीजगणित के समान होते हैं, अधिक उपयुक्त रूप से, परिमित-आयामी आकारिक वर्ग नियमों से परिमित-आयामी लाई बीजगणित तक फ़ैक्टर श्रेणियों का एक समतुल्य है। गैर-शून्य विशेषता वाले क्षेत्रों में, आकारिक वर्ग नियम लाई बीजगणित के समकक्ष नहीं हैं। वास्तव में, इस स्थितियाँ में यह सर्वविदित है, कि एक बीजगणितीय वर्ग से उसके लाई बीजगणित में जाने से अधिकांशतः बहुत अधिक जानकारी दूर हो जाती है, लेकिन इसके अतिरिक्त आकारिक वर्ग नियम में जाने से अधिकांशतः पर्याप्त जानकारी बच जाती है। तो कुछ अर्थों में आकारिक वर्ग नियम विशेषता P > 0 में लाई बीजगणित के लिए "सही" विकल्प हैं।

क्रमविनिमेय आकारिक वर्ग नियम का लघुगणक

यदि F एक कम्यूटेटिव Q-बीजगणित R पर एक कम्यूटेटिव n-आयामी आकारिक वर्ग नियम है, तो यह योगात्मक आकारिक वर्ग नियम के लिए सख्ती से आइसोमोर्फिक है। दूसरे शब्दों में, योगात्मक आकारिक वर्ग से F तक एक सख्त आइसोमोर्फिज्म F है, जिसे F का लघुगणक कहा जाता है, जिससे कि

f(F(x,y)) = f(x) + f(y).

उदाहरण:

• F(x,y) = x + y का लघुगणक f(x) = x है ।
• F(x,y) = x + y +xy का लघुगणक f(x) = log(1 + x)है, क्योंकि log(1 + x + y + xy) = log(1 + x) + log(1 + y)है।

यदि R में परिमेय नहीं है, तो R ⊗ Q तक अदिश राशि के विस्तार द्वारा एक मानचित्र F का निर्माण किया जा सकता है, लेकिन यदि R में धनात्मक विशेषता है, तो यह अर्ध कुछ शून्य पर भेज दिया जाता है। रिंग R पर आकारिक वर्ग नियम अधिकांशतः उनके लघुगणक को R ⊗ Q में गुणांक के साथ एक शक्ति श्रृंखला के रूप में लिखकर बनाया जाता है, और फिर यह सिद्ध किया जाता है, कि R ⊗ Q पर संबंधित आकारिक वर्ग के गुणांक वास्तव में R में हैं। धनात्मक में काम करते समय विशेषता, कोई सामान्यतः R को एक मिश्रित विशेषता रिंग से परिवर्तित कर देता है, जिसका R पर प्रक्षेपण होता है, जैसे कि विट सदिश की रिंग डब्ल्यू (R), और अंत में R तक कम हो जाती है।

अपरिवर्तनीय अंतर

मान लिया, जब F एक-आयामी होता है, तो कोई इसके लघुगणक को अपरिवर्तनीय अवकल ω(t) के संदर्भ में लिख सकता है।

$$\omega (t)={\frac {\partial F}{\partial x}}(0,t)^{-1}dt\in R[[t]]dt,$$

जहाँ ${\textstyle R[[t]]dt}$ नि: शुल्क है, ${\textstyle R[[t]]}$-एक प्रतीक डीटी पर रैंक 1 का मॉड्यूल, तो फिर ω इस अर्थ में अनुवाद अपरिवर्तनीय है कि

$$F^{*}\omega =\omega ,$$

यदि हम लिखते हैं, ${\textstyle \omega (t)=p(t)dt}$, तो परिभाषा के अनुसार

$$F^{*}\omega :=p(F(t,s)){\frac {\partial F}{\partial x}}(t,s)dt.$$

यदि कोई विस्तार पर विचार करता है।${\textstyle \omega (t)=(1+c_{1}t+c_{2}t^{2}+\dots )dt}$, सूत्र

$$f(t)=\int \omega (t)=t+{\frac {c_{1}}{2}}t^{2}+{\frac {c_{2}}{3}}t^{3}+\dots$$

F के लघुगणक को परिभाषित करता है।

आकारिक वर्ग नियम का आकारिक वर्ग रिंग

एक आकारिक वर्ग नियम की आकारिक वर्ग रिंग एक वर्ग के वर्ग रिंग के अनुरूप एक सह-विनिमेय हॉपफ बीजगणित है, और एक ली बीजगणित के सार्वभौमिक आवरण बीजगणित के समान है, जिनमें से दोनों कोकम्यूटेटिव हॉफ बीजगणित भी हैं। सामान्यतः सह-विनिमेय हॉपफ बीजगणित वर्गों की प्रकार व्यवहार करते हैं।

सादगी के लिए हम 1-आयामी स्थितियाँ का वर्णन करते हैं; उच्च-आयामी स्थिति समान है, सिवाय इसके कि नोटेशन अधिक सम्मिलित हो जाता है।

सरलता के लिए हम 1-आयामी स्थितियाँ का वर्णन करते हैं; उच्च-आयामी स्थिति समान है सिवाय इसके कि अंकन अधिक सम्मिलित हो जाता है।

मान लीजिए कि F, R पर एक (1-आयामी) आकारिक वर्ग नियम है। इसकी आकारिक वर्ग रिंग (जिसे हाइपरलेजेब्रा या इसका 'सहसंयोजक बायलजेब्रा' भी कहा जाता है) एक सह-विनिमेय हॉपफ बीजगणित H है जिसका निर्माण निम्नानुसार किया गया है।

• एक R-मॉड्यूल (गणित) के रूप में, H एक आधार 1 = D (0), D (1), D (2), ...
• सह-उत्पाद ΔD⁽ⁿ⁾ = ΣD⁽ⁱ⁾ ⊗ D⁽ⁿ⁻ⁱ⁾ द्वारा दिया गया है, (इसलिए इस को बीजगणित का कोलजेब्रा का द्वैत मात्र आकारिक शक्ति श्रृंखला की रिंग है)।
• गणक η D (0) के गुणांक द्वारा दिया गया है।
• पहचान 1 = D(0) है।
• एंटीपोड F D⁽ⁿ⁾ to (−1)ⁿD⁽ⁿ⁾ तक ले जाता है।
• गुणांक D⁽ⁱ⁾D^(j) में D⁽¹ का गुणांक, F(x,y) में xⁱy^j का गुणांक है।

इसके विपरीत, एक हॉपफ बीजगणित को देखते हुए जिसकी को बीजगणित संरचना ऊपर दी गई है, हम इससे एक आकारिक वर्ग नियम F पुनर्प्राप्त कर सकते हैं। इसलिए 1-आयामी आकारिक वर्ग नियम अनिवार्य रूप से हॉपफ बीजगणित के समान हैं जिनकी को बीजगणित संरचना ऊपर दी गई है।

कार्यकर्ताओं के रूप में आकारिक वर्ग नियम

R पर एक n-आयामी आकारिक वर्ग नियम F और एक क्रमविनिमेय R-बीजगणित स को देखते हुए, हम एक वर्ग F(S) बना सकते हैं, जिसका अंतर्निहित सेट Nⁿ है जहां N, स के निलपोटेंट तत्वों का समुच्चय है। उत्पाद को Nⁿ के तत्वों को गुणा करने के लिए F का उपयोग करके दिया जाता है, मुद्दा यह है, कि सभी आकारिक शक्ति श्रृंखलाएं अब एकत्रित करती हैं, क्योंकि उन्हें निलपोटेंट तत्वों पर लागू किया जा रहा है, इसलिए मात्र गैर-शून्य शब्दों की एक सीमित संख्या है।

यह F को क्रमविनिमेय R-बीजगणित S से वर्गों में एक फ़नकार बनाता है।

हम F(S) की परिभाषा को कुछ टोपोलॉजिकल R-बीजगणित तक बढ़ा सकते हैं। विशेष रूप से, यदि S असतत R बीजगणित की व्युत्क्रम सीमा है, तो हम F(S) को संबंधित वर्गों की व्युत्क्रम सीमा के रूप में परिभाषित कर सकते हैं। उदाहरण के लिए, यह हमें पी-एडिक संख्याओं में मानों के साथ F(Z_p) को परिभाषित करने की अनुमति देता है।

F के वर्ग-मूल्यवान फ़ैक्टर को F के आकारिक वर्ग रिंग H का उपयोग करके भी वर्णित किया जा सकता है। सरलता के लिए हम मान लेंगे कि F 1-आयामी है; सामान्य स्थिति समान है। किसी भी सह-विनिमेय हॉपफ बीजगणित के लिए, एक तत्व जी को 'वर्ग-समान' कहा जाता है, यदि Δg = g ⊗ g और εg = 1, और वर्ग जैसे तत्व गुणन के अनुसार एक वर्ग बनाते हैं। एक रिंग पर एक आकारिक वर्ग नियम के हॉपफ बीजगणित के स्थितियाँ में, वर्ग जैसे तत्व पूर्णतया फॉर्म के होते हैं।

D⁽⁰⁾ + D⁽¹⁾x + D⁽²⁾x² + ...

निलोपोटेंट तत्वों के लिए x, विशेष रूप से हम S के निलपोटेंट तत्वों के साथ H ⊗ S के वर्ग जैसे तत्वों की पहचान कर सकते हैं, और H ⊗ S के वर्ग जैसे तत्वों पर वर्ग संरचना को तब F(S) पर वर्ग संरचना के साथ पहचाना जाता है।

ऊंचाई

मान लीजिए कि F विशेषता P > 0 के क्षेत्र पर एक-आयामी आकारिक वर्ग नियमों के बीच एक समरूपता है। फिर f या तो शून्य है, या इसकी शक्ति श्रृंखला विस्तार में पहला गैर-शून्य पद क्या है?

कुछ गैर-ऋणात्मक पूर्णांक H के लिए $ax^{p^{h}}$, जिसे समरूपता f की ऊंचाई कहा जाता है। शून्य समरूपता की ऊंचाई को ∞ के रूप में परिभाषित किया गया है।

विशेषता p > 0 के क्षेत्र पर एक आयामी आकारिक वर्ग नियम की ऊंचाई को p मानचित्र द्वारा इसके गुणन की ऊंचाई के रूप में परिभाषित किया गया है।

विशेषता p > 0 के बीजगणितीय रूप से संवृत्त क्षेत्र पर दो एक-आयामी आकारिक वर्ग नियम आइसोमोर्फिक हैं यदि उनके पास समान ऊंचाई है, और ऊंचाई कोई भी धनात्मक पूर्णांक या ∞ हो सकती है।

उदाहरण:

• योगात्मक आकारिक वर्ग नियम F(x,y) = x + y की ऊंचाई ∞ है, क्योंकि इसका pth पावर मैप 0 है।
• गुणक आकारिक वर्ग नियम F(x,y) = x + y + xy की ऊंचाई 1 है, क्योंकि इसका pth पावर मैप (1 + x)^p − 1 = x^p है।
• एक अंडाकार वक्र के आकारिक वर्ग नियम में ऊंचाई या तो एक या दो होती है, जो इस बात पर निर्भर करता है कि वक्र साधारण है, या सुपरसिंगुलर, आइसेनस्टीन श्रृंखला के लुप्त होने से सुपरसिंगुलैरिटी का पता लगाया जा सकता है। $E_{p-1}$

लेज़ार्ड रिंग

Main article: लाजार्ड यूनिवर्सल रिंग

एक सार्वभौमिक क्रमविनिमेय रिंग पर एक सार्वभौमिक क्रमविनिमेय एक-आयामी आकारिक वर्ग नियम निम्नानुसार परिभाषित है। हम अनुमति देते हैं।

F(x,y)

होना

x + y + Σc_i,j xⁱy^j

अनिश्चित के लिए

c_i,j,

और हम सार्वभौमिक रिंग R को तत्वों द्वारा उत्पन्न क्रमविनिमेय रिंग के रूप में परिभाषित करते हैं, जो आकारिक वर्ग नियमों के लिए संबद्धता और क्रमविनिमेयता नियमों द्वारा मजबूर संबंधों के साथ हैं। परिभाषा के अनुसार कम या ज्यादा, रिंग R में निम्नलिखित सार्वभौमिक गुण हैं।

किसी भी कम्यूटेटिव रिंग S के लिए, S पर एक-आयामी आकारिक वर्ग नियम R से S तक रिंग समरूपता के अनुरूप हैं।

ऊपर निर्मित कम्यूटेटिव रिंग R को लाजार्ड की सार्वभौमिक रिंग के रूप में जाना जाता है। पहली नज़र में यह अविश्वसनीय रूप से जटिल लगता है: इसके जनरेटर के बीच संबंध बहुत गड़बड़ हैं। चूंकि लाजार्ड ने सिद्ध कर दिया कि इसकी एक बहुत ही सरल संरचना है। यह डिग्री 2, 4, 6, ... (जहां ci, j की डिग्री 2 (i + j − 1)) है। डेनियल क्विलेन ने सिद्ध किया कि जटिल कोबोर्डिज्म की गुणांक रिंग स्वाभाविक रूप से लाजार्ड की सार्वभौमिक रिंग के लिए एक वर्गीकृत रिंग के रूप में आइसोमोर्फिक है, जो असामान्य ग्रेडिंग की व्याख्या करती है।

आकारिक वर्ग

एक आकारिक वर्ग आकारिक योजनाओं की श्रेणी (गणित) में एक वर्ग वस्तु है।

• यदि $G$ आर्टिन बीजगणित से उन वर्गों तक एक नियम है, जिन्हें उपयुक्त छोड़ दिया जाता है, तो यह प्रतिनिधित्व योग्य है (G एक आकारिक वर्ग के बिंदुओं का कारक है)। (एक लापरवाह की बाईं सटीकता परिमित प्रोजेक्टिव सीमाओं के साथ यात्रा करने के समतुल्य है)।
• यदि $G$ तब एक वर्ग योजना है ,${\widehat {G}}$, पहचान पर G के आकारिक समापन में, एक आकारिक वर्ग की संरचना है।
• एक सुचारु वर्ग योजना का आकारिक समापन समरूपी के लिए आइसोमोर्फिक है, $\mathrm {Spf} (R[[T_{1},\ldots ,T_{n}]])$, कुछ लोग एक आकारिक वर्ग योजना को सुचारू कहते हैं, यदि विपरीत प्रभाव होती है, अन्य इस रूप की स्थानीय वस्तुओं के लिए "आकारिक वर्ग" शब्द आरक्षित करते हैं।
• आकारिक सहजता विकृतियों की लिफ्टों के अस्तित्व का जोर करती है, और आकारिक योजनाओं पर लागू हो सकती है, जो बिंदुओं से बड़ी हैं। एक सहज आकारिक वर्ग योजना एक आकारिक वर्ग योजना का एक विशेष स्थिति है।
• एक सहज आकारिक वर्ग को देखते हुए, कोई भी वर्गों के एक समान सेट का चयन करके एक आकारिक वर्ग नियम और एक क्षेत्र का निर्माण कर सकता है।
• मापदंडों के परिवर्तन से प्रेरित आकारिक वर्ग नियमों के बीच (गैर-सख्त) आइसोमोर्फिज्म आकारिक वर्ग पर समन्वय परिवर्तनों के वर्ग के तत्वों को बनाते हैं।

आकारिक वर्गों और आकारिक वर्ग नियमों को मनमानी योजना (गणित) पर भी परिभाषित किया जा सकता है, न कि मात्र क्रमविनिमेय रिंगों या क्षेत्रों पर, और परिवारों को आधार से एक परमेट्रिंग ऑब्जेक्ट तक मानचित्रों द्वारा वर्गीकृत किया जा सकता है।

आकारिक वर्ग नियमों का मॉड्यूलि समष्टि अनंत-आयामी एफिन रिक्त स्थान का एक असंयुक्त संघ है, जिसके घटकों को आयाम द्वारा परमेट्राइज्ड किया जाता है, और जिनके बिंदुओं को पावर श्रृंखला F के स्वीकार्य गुणांक द्वारा परमेट्राइज्ड किया जाता है। सुचारू आकारिक वर्गों का संबंधित मॉड्यूलि स्टैक समन्वय परिवर्तनों के अनंत-आयामी वर्ग की विहित कार्रवाई द्वारा इस स्थान का एक भागफल है।

बीजगणितीय रूप से संवृत्त क्षेत्र पर, एक-आयामी आकारिक वर्गों का उप-स्टैक या तो एक बिंदु (विशेषता शून्य में) या स्टैकी पॉइंट पैरामीट्रिज़िंग ऊंचाइयों की एक अनंत श्रृंखला है। विशेषता शून्य में, प्रत्येक बिंदु के संवृत्त होने में अधिक ऊंचाई के सभी बिंदु सम्मिलित होते हैं। यह अंतर आकारिक वर्गों को धनात्मक और मिश्रित विशेषता में एक समृद्ध ज्यामितीय सिद्धांत देता है, जिसमें स्टीनरोड बीजगणित, पी-विभाज्य वर्ग, डायडोने सिद्धांत और गैलोइस अभ्यावेदन के संबंध हैं। उदाहरण के लिए, सेरे-टेट प्रमेय का तात्पर्य है कि एक वर्ग योजना की विकृतियाँ उसके आकारिक वर्ग द्वारा दृढ़ता से नियंत्रित की जाती हैं, विशेष रूप से सुपरसिंगुलर एबेलियन किस्मों के स्थितियाँ में, सुपरसिंगुलर अण्डाकार वक्रों के लिए, यह नियंत्रण पूर्ण है, और यह विशेषता शून्य स्थिति से अधिक भिन्न है, जहां आकारिक वर्ग में कोई विकृति नहीं है।

एक आकारिक वर्ग को कभी-कभी सह-विनिमेय हॉपफ बीजगणित के रूप में परिभाषित किया जाता है (सामान्यतः कुछ अतिरिक्त शर्तों के साथ, जैसे कि पॉइंटेड या जुड़ा होना)। यह उपरोक्त धारणा के लिए कमोबेश दोहरा है। सहज स्थितियाँ में, निर्देशांक चुनना आकारिक वर्ग रिंग का एक विशिष्ट आधार लेने के समतुल्य है।

कुछ लेखक आकारिक वर्ग शब्द का उपयोग आकारिक वर्ग नियम के अर्थ के लिए करते हैं।

लुबिन-टेट आकारिक वर्ग नियम

Main article: लुबिन-टेट औपचारिक समूह कानून

हम Z_p को पी-एडीक पूर्णांक की रिंग मानते हैं। लुबिन-टेट औपचारिक वर्ग नियम अद्वितीय (1-आयामी) औपचारिक वर्ग नियम F है जैसे कि e(x) = px + x^p दूसरे शब्दों में F का एक एंडोमोर्फिज्म है।

$e(F(x,y))=F(e(x),e(y)).\$

अधिक सामान्यतः हम ई को किसी भी पावर श्रृंखला होने की अनुमति दे सकते हैं जैसे कि e(x) = px + + उच्च-डिग्री शब्द और e(x) = px मॉड P। इन शर्तों को पूरा करने के विभिन्न विकल्पों के लिए सभी वर्ग नियम सख्ती से आइसोमोर्फिक हैं।

'Z' में प्रत्येक तत्व ए के लिए लुबिन-टेट औपचारिक वर्ग नियम का एक अद्वितीय एंडोमोर्फिज्म F है, जैसे कि F (x) = x + उच्च-डिग्री शब्द। यह लुबिन-टेट औपचारिक वर्ग नियम पर रिंग जेडपी की कार्रवाई करता है।

Z के साथ एक समान निर्माण है, जिसे परिमित अवशेष वर्ग क्षेत्र के साथ किसी भी पूर्ण असतत मूल्यांकन रिंग द्वारा प्रतिस्थापित किया गया है।

यह निर्माण ल्यूबिन और टेट (1965) द्वारा अण्डाकार कार्यों के जटिल गुणन के आधारित सिद्धांत के स्थानीय क्षेत्र भाग को भिन्न करने के एक सफल प्रयास में प्रस्तुत किया गया था। यह स्थानीय वर्ग क्षेत्र सिद्धांत के कुछ दृष्टिकोणों में एक प्रमुख घटक है। और रंगीन समरूपता सिद्धांत में मोरावा ई-सिद्धांत के निर्माण में एक आवश्यक घटक है।

यह भी देखें

• विट सदिश
• आर्टिन-हासे घातांकीय
• ग्रुप फंक्शन
• अतिरिक्त प्रमेय

संदर्भ

• Adams, J. Frank (1974), Stable homotopy and generalised homology, University of Chicago Press, ISBN 978-0-226-00524-9
• Bochner, Salomon (1946), "Formal Lie groups", Annals of Mathematics, Second Series, 47 (2): 192–201, doi:10.2307/1969242, ISSN 0003-486X, JSTOR 1969242, MR 0015397
• Demazure, Michel (1972), Lectures on p-divisible groups, Lecture Notes in Mathematics, vol. 302, doi:10.1007/BFb0060741, ISBN 0-387-06092-8
• Fröhlich, A. (1968), Formal groups, Lecture Notes in Mathematics, vol. 74, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0074373, ISBN 978-3-540-04244-0, MR 0242837
• P. Gabriel, Étude infinitésimale des schémas en groupes SGA 3 Exp. VIIB
• Formal Groups and Applications (Pure and Applied Math 78) Michiel Hazewinkel Publisher: Academic Pr (June 1978) ISBN 0-12-335150-2
• Lazard, Michel (1975), Commutative formal groups, Lecture Notes in Mathematics, vol. 443, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0070554, ISBN 978-3-540-07145-7, MR 0393050
• Lubin, Jonathan; Tate, John (1965), "Formal complex multiplication in local fields", Annals of Mathematics, Second Series, 81 (2): 380–387, doi:10.2307/1970622, ISSN 0003-486X, JSTOR 1970622, MR 0172878, Zbl 0128.26501
• Neukirch, Jürgen (1999). Algebraische Zahlentheorie. Grundlehren der mathematischen Wissenschaften. Vol. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021.
• Strickland, N. "Formal groups" (PDF).