निष्कोण पद्धति: Difference between revisions

Latest revision as of 11:29, 10 May 2023

बीजगणितीय ज्यामिति में, क्षेत्र पर निष्कोण पद्धति एक ऐसी योजना है जो किसी भी बिंदु के पास सजातीय अंतराल द्वारा अच्छी तरह अनुमानित है। समतलता ऐसी योजना की धारणा को सटीक बनाने का तरीका है जिसमें कोई विलक्षण बिंदु नहीं है। विशेष स्थिति एक क्षेत्र के ऊपर निष्कोण विविधता की धारणा है। टोपोलॉजी में बहुरूपता की बीजगणितीय ज्यामिति में निष्कोण पद्धतिएँ भूमिका निभाती हैं।

परिभाषा

सबसे पहले, माना X को क्षेत्र k पर परिमित प्रकार की परिबद्ध योजना है। समतुल्य रूप से, X में कुछ प्राकृतिक संख्या n के लिए k से अधिक सजातीय स्थान में संवृत्त संलयन है। फिर X कुछ समीकरणों g₁ = 0, ..., g_r = 0 द्वारा परिभाषित एक संवृत्त उपयोजना है, जहां प्रत्येक g_i बहुपद वलय k[x₁,..., x_n] में है। सजातीय योजना X, k के ऊपर आयाम m का निष्कोण है यदि X में प्रत्येक बिंदु के आसपास में कम से कम m आयाम है, और व्युत्पन्नों की मैट्रिक्स (∂g_i/∂x_j) में X पर प्रत्येक स्थान कम से कम n−m रैंक है। (यह इस प्रकार है कि X के निकट प्रत्येक बिंदु के आसपास में m के बराबर आयाम है।) समतलता X के सजातीय स्थान में संलयन के चुनाव से स्वतंत्र है।

व्युत्पन्नों के मैट्रिक्स पर स्थिति का अर्थ यह समझा जाता है कि X का संवृत्त उपसमुच्चय जहां व्युत्पन्न के मैट्रिक्स के सभी (n−m) × (n − m) अल्प शून्य हैं, खाली समुच्चय है। समान रूप से, सभी g_i और उन सभी अल्पों द्वारा उत्पन्न बहुपद वलय में आदर्श संपूर्ण बहुपद वलय है।

ज्यामितीय शब्दों में, X में बिंदु p पर व्युत्पन्नों (∂g_i/∂x_j) का मैट्रिक्स एक रैखिक मानचित्र Fⁿ → F^r देता है, जहां F p का अवशिष्ट क्षेत्र है। इस मानचित्र के आधार को p पर X की ज़ारिस्की स्पर्शरेखा स्थान कहा जाता है। X की समतलता का अर्थ है कि ज़रिस्की स्पर्शरेखा स्थान का आयाम प्रत्येक बिंदु के निकट X के आयाम के बराबर है एक विलक्षण बिंदु पर, ज़ारिस्की स्पर्शरेखा स्थान बड़ा होगा।

प्रायः क्षेत्र k पर योजना X, k के ऊपर निष्कोण होता है यदि X के प्रत्येक बिंदु में एक विवृत आसपास होता है जो k के ऊपर कुछ आयाम की निष्कोण सजातीय योजना है। विशेष रूप से, k पर निष्कोण पद्धति स्थानीय रूप से परिमित प्रकार की होती है।

योजनाओं के निष्कोण रूपवाद की अधिक सामान्य धारणा है, जो मोटे तौर पर निष्कोण तंतुओं के साथ एक आकारिकी है। विशेष रूप से, योजना X क्षेत्र k पर निष्कोण होती है यदि और केवल अगर आकारिकी X → Spec k निष्कोण होती है।

गुण

क्षेत्र पर निष्कोण पद्धति नियमित है और इसलिए सामान्य है। विशेष रूप से, क्षेत्र पर निष्कोण पद्धति कम हो जाती है।

k पर परिमित प्रकार की अभिन्न पृथक योजना होने के लिए क्षेत्र k पर विविधता को परिभाषित करें। फिर k के ऊपर परिमित प्रकार की कोई भी निष्कोण पृथक योजना k के ऊपर निष्कोण विविधताओ का एक परिमित असंयुक्त संघ है।

सम्मिश्र संख्याओं पर निष्कोण विविधता X के लिए, X के जटिल बिंदुओं का स्थान X(C) चिरसम्मत (यूक्लिडियन) टोपोलॉजी का उपयोग करते हुए जटिल बहुरूपता है। इसी तरह, वास्तविक संख्या पर निष्कोण विविधता X के लिए, वास्तविक बिंदुओं का स्थान X(R) वास्तविक कई गुना है, संभवतः खाली है।

किसी भी योजना X के लिए जो क्षेत्र k पर स्थानीय रूप से परिमित प्रकार का है, X पर अवकलों का एक सुसंगत शीफ Ω¹ है। योजना X, k पर निष्कोण है यदि और केवल यदि Ω¹ प्रत्येक बिंदु के निकट X के आयाम के बराबर रैंक का एक सदिश बंडल है।^{^[1] उस स्थिति में, Ω^{1 को X का कोटिस्पर्शी बंडल कहा जाता है। k पर निष्कोण पद्धति के स्पर्शरेखा बंडल को दोहरे बंडल, TX = (Ω^{1)^{* के रूप में परिभाषित किया जा सकता है।}}}}

समतलता एक ज्यामितीय गुण है, जिसका अर्थ है कि k के किसी भी क्षेत्र विस्तार E के लिए, योजना X k पर निष्कोण है यदि और केवल अगर योजना X_E:= X ×_{Spec k} Spec E, E पर निष्कोण है। पूर्ण क्षेत्र k के लिए, योजना X, k पर निष्कोण है यदि और केवल अगर X स्थानीय रूप से k के ऊपर परिमित प्रकार का है और X नियमित है।

सामान्य समतलता

योजना X को सामान्य रूप से k पर आयाम n का निष्कोण कहा जाता है यदि X में विवृत सघन उपसमुच्चय होता है जो k से अधिक आयाम n का निष्कोण होता है। पूर्ण क्षेत्र (विशेष रूप से बीजगणितीय रूप से संवृत्त क्षेत्र) पर प्रत्येक विविधता सामान्य रूप से निष्कोण होती है।^[2]

उदाहरण

सजातीय अंतराल और प्रक्षेपी अंतराल क्षेत्र k पर निष्कोण पद्धति हैं।
k पर प्रक्षेपी अंतराल Pⁿ में निष्कोण हाइपरसफेस का एक उदाहरण फर्मेट ऊनविम पृष्ठ (हाइपरसफेस) x₀^d + ... + x_n^d = 0 है, किसी भी धनात्मक पूर्णांक d के लिए जो कि k में व्युत्क्रमणीय है।
क्षेत्र k पर विलक्षण (गैर-निष्कोण) योजना का एक उदाहरण सजातीय रेखा A¹ में k पर संवृत्त उपयोजना x² = 0 है।
k के पर विलक्षण (गैर-निष्कोण) विविधता का एक उदाहरण पुच्छल घन वक्र x² = y³ है जो सजातीय तल A² में है, जो मूल (x,y) = (0,0) के बाहर निष्कोण है।
क्षेत्र k पर 0-आयामी विविधता X, X = Spec E के रूप में है, जहाँ E, k का परिमित विस्तार क्षेत्र है। विविधता X k पर निष्कोण है यदि और केवल अगर E k का वियोज्य विस्तार है। इस प्रकार, यदि E k के पर वियोज्य नहीं है, तो X नियमित योजना है, लेकिन k पर निष्कोण नहीं है। उदाहरण के लिए, मान लीजिए k अभाज्य संख्या p के लिए परिमेय फलन F_p(t) का क्षेत्र है, और मान लीजिए E = F_p(t^1/p), तब Spec E विभिन्न प्रकार के आयाम 0 से अधिक k है जो नियमित योजना है, लेकिन k पर निष्कोण नहीं है।
शुबर्ट विविधताएं सामान्यतया निष्कोण नहीं होती हैं।

संदर्भ

D. Gaitsgory's notes on flatness and smoothness at http://www.math.harvard.edu/~gaitsgde/Schemes_2009/BR/SmoothMaps.pdf
Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (2nd ed.), Cambridge University Press, ISBN 978-0-521-36764-6, MR 1011461

यह भी देखें

एटेल आकारिकी
बीजगणितीय विविधता का आयाम
योजना सिद्धांत की शब्दावली
निष्कोण समापन

[1] Theorem 30.3, Matsumura, Commutative Ring Theory (1989).

[2] Lemma 1 in section 28 and Corollary to Theorem 30.5, Matsumura, Commutative Ring Theory (1989).

[1]

[2]

@@ Line 1: / Line 1: @@
-[[बीजगणितीय ज्यामिति]] में, एक फील्ड (गणित) पर एक चिकनी योजना एक ऐसी [[योजना (गणित)]] है जो किसी भी बिंदु के पास [[affine अंतरिक्ष]] द्वारा अच्छी तरह अनुमानित है। चिकनाई एक योजना की धारणा को सटीक बनाने का एक तरीका है जिसमें बीजगणितीय विविधता बिंदुओं का कोई विलक्षण बिंदु नहीं है। एक विशेष मामला एक क्षेत्र पर एक चिकनी बीजगणितीय विविधता की धारणा है। टोपोलॉजी में [[ कई गुना ]] की बीजगणितीय ज्यामिति में चिकनी योजनाएँ भूमिका निभाती हैं।
+[[बीजगणितीय ज्यामिति]] में, क्षेत्र पर '''निष्कोण पद्धति''' एक ऐसी [[योजना (गणित)|योजना]] है जो किसी भी बिंदु के पास [[affine अंतरिक्ष|सजातीय]] अंतराल द्वारा अच्छी तरह अनुमानित है। समतलता ऐसी योजना की धारणा को सटीक बनाने का तरीका है जिसमें कोई विलक्षण बिंदु नहीं है। विशेष स्थिति एक क्षेत्र के ऊपर निष्कोण विविधता की धारणा है। टोपोलॉजी में [[ कई गुना |बहुरूपता]] की बीजगणितीय ज्यामिति में निष्कोण पद्धतिएँ भूमिका निभाती हैं।
 == परिभाषा ==
-सबसे पहले, X को स्कीम थ्योरी की ग्लोसरी की एफ़िन स्कीम होने दें#फ़ील्ड k पर परिमित करें। समतुल्य रूप से, एक्स में एफाइन स्पेस ए में एक [[बंद विसर्जन]] है<sup>n</sup> कुछ प्राकृतिक संख्या n के लिए k से अधिक। तब X कुछ समीकरणों g द्वारा परिभाषित बंद उपयोजना है<sub>1</sub> = 0, ..., जी<sub>''r''</sub> = 0, जहां प्रत्येक जी<sub>i</sub>बहुपद वलय k [x] में है<sub>1</sub>,..., एक्स<sub>''n''</sub>]। affine स्कीम X, k पर आयाम m की 'सुचारू' है यदि X में प्रत्येक बिंदु के पड़ोस में कम से कम m बीजगणितीय विविधता का आयाम है, और डेरिवेटिव का मैट्रिक्स (∂g<sub>''i''</sub>/∂x<sub>''j''</sub>) की X पर हर जगह कम से कम n−m रैंक है।<ref>The definition of smoothness used in this article is equivalent to Grothendieck's definition of smoothness by Theorems 30.2 and Theorem 30.3 in: Matsumura, Commutative Ring Theory (1989).</ref> (यह इस प्रकार है कि एक्स के पास प्रत्येक बिंदु के पड़ोस में एम के बराबर आयाम है।) चिकनाई एक्स के विसर्जित स्थान में विसर्जन की पसंद से स्वतंत्र है।
+सबसे पहले, माना ''X'' को क्षेत्र ''k'' पर परिमित प्रकार की परिबद्ध योजना है। समतुल्य रूप से, ''X'' में कुछ प्राकृतिक संख्या ''n'' के लिए ''k'' से अधिक सजातीय स्थान में [[बंद विसर्जन|संवृत्त संलयन]] है। फिर ''X'' कुछ समीकरणों ''g''<sub>1</sub> = 0, ..., ''g<sub>r</sub>'' = 0 द्वारा परिभाषित एक संवृत्त उपयोजना है, जहां प्रत्येक ''g<sub>i</sub>'' बहुपद वलय ''k''[''x''<sub>1</sub>,..., ''x<sub>n</sub>''] में है। सजातीय योजना ''X'', ''k'' के ऊपर आयाम ''m'' का निष्कोण है यदि ''X'' में प्रत्येक बिंदु के आसपास में कम से कम ''m'' आयाम है, और व्युत्पन्नों की मैट्रिक्स (∂''g<sub>i</sub>''/∂''x<sub>j</sub>'') में ''X'' पर प्रत्येक स्थान कम से कम ''n''−''m'' रैंक है। (यह इस प्रकार है कि ''X'' के निकट प्रत्येक बिंदु के आसपास में ''m'' के बराबर आयाम है।) समतलता ''X'' के सजातीय स्थान में संलयन के चुनाव से स्वतंत्र है।
-डेरिवेटिव्स के मैट्रिक्स पर स्थिति का अर्थ यह समझा जाता है कि X का बंद उपसमुच्चय जहां डेरिवेटिव्स के मैट्रिक्स के सभी (n−m) × (n − m) [[माइनर (रैखिक बीजगणित)]] शून्य हैं, खाली सेट है। समान रूप से, सभी जी द्वारा उत्पन्न बहुपद अंगूठी में आदर्श (रिंग थ्योरी)।<sub>''i''</sub> और वे सभी अवयस्क संपूर्ण बहुपद वलय हैं।
+व्युत्पन्नों के मैट्रिक्स पर स्थिति का अर्थ यह समझा जाता है कि ''X'' का संवृत्त उपसमुच्चय जहां व्युत्पन्न के मैट्रिक्स के सभी (''n''−''m'') × (''n'' − ''m'') [[माइनर (रैखिक बीजगणित)|अल्प]] शून्य हैं, खाली समुच्चय है। समान रूप से, सभी ''g<sub>i</sub>'' और उन सभी अल्पों द्वारा उत्पन्न बहुपद वलय में आदर्श संपूर्ण बहुपद वलय है।
-ज्यामितीय शब्दों में, डेरिवेटिव का मैट्रिक्स (∂g<sub>''i''</sub>/∂x<sub>''j''</sub>) X में एक बिंदु p पर एक रैखिक नक्शा F देता है<sup>एन</sup> → एफ<sup>r</sup>, जहां F, p का अवशिष्ट क्षेत्र है। इस मानचित्र के कर्नेल को पी पर एक्स की [[ज़ारिस्की स्पर्शरेखा स्थान]] कहा जाता है। एक्स की चिकनाई का अर्थ है कि ज़रिस्की स्पर्शरेखा स्थान का आयाम प्रत्येक बिंदु के निकट एक्स के आयाम के बराबर है; एक बीजगणितीय विविधता के एक विलक्षण बिंदु पर, ज़रिस्की स्पर्शरेखा स्थान बड़ा होगा।
+ज्यामितीय शब्दों में, ''X'' में बिंदु ''p'' पर व्युत्पन्नों (∂''g<sub>i</sub>''/∂''x<sub>j</sub>'') का मैट्रिक्स एक रैखिक मानचित्र ''F<sup>n</sup>'' → ''F<sup>r</sup>'' देता है, जहां ''F'' ''p'' का अवशिष्ट क्षेत्र है। इस मानचित्र के आधार को ''p'' पर ''X'' की [[ज़ारिस्की स्पर्शरेखा स्थान]] कहा जाता है। ''X'' की समतलता का अर्थ है कि ज़रिस्की स्पर्शरेखा स्थान का आयाम प्रत्येक बिंदु के निकट ''X'' के आयाम के बराबर है एक विलक्षण बिंदु पर, ज़ारिस्की स्पर्शरेखा स्थान बड़ा होगा।
-अधिक आम तौर पर, एक क्षेत्र के ऊपर एक योजना एक्स कश्मीर पर 'चिकनी' होती है यदि एक्स के प्रत्येक बिंदु में एक खुला पड़ोस होता है जो कि कश्मीर पर कुछ आयाम की एक चिकनी संबंध योजना है। विशेष रूप से, कश्मीर पर एक चिकनी योजना योजना सिद्धांत की शब्दावली है # स्थानीय रूप से परिमित प्रकार की।
+प्रायः क्षेत्र ''k'' पर योजना ''X'', ''k'' के ऊपर निष्कोण होता है यदि ''X'' के प्रत्येक बिंदु में एक विवृत आसपास होता है जो ''k'' के ऊपर कुछ आयाम की निष्कोण सजातीय योजना है। विशेष रूप से, ''k'' पर निष्कोण पद्धति स्थानीय रूप से परिमित प्रकार की होती है।
-योजनाओं के एक चिकनी रूपवाद की अधिक सामान्य धारणा है, जो मोटे तौर पर चिकनी तंतुओं के साथ एक आकारिकी है। विशेष रूप से, एक योजना एक्स एक क्षेत्र के ऊपर चिकनी है अगर और केवल अगर मोर्फिज्म एक्स → स्पेक के चिकनी है।
+योजनाओं के निष्कोण रूपवाद की अधिक सामान्य धारणा है, जो मोटे तौर पर निष्कोण तंतुओं के साथ एक आकारिकी है। विशेष रूप से, योजना ''X'' क्षेत्र ''k'' पर निष्कोण होती है यदि और केवल अगर आकारिकी ''X'' → Spec ''k'' निष्कोण होती है।
 == गुण ==
-एक क्षेत्र पर एक चिकनी योजना योजना सिद्धांत की शब्दावली है #नियमित और इसलिए [[सामान्य योजना]]। विशेष रूप से, एक क्षेत्र पर एक चिकनी योजना योजना सिद्धांत की शब्दावली है # कम।
+क्षेत्र पर [[सामान्य योजना|निष्कोण पद्धति]] नियमित है और इसलिए सामान्य है। विशेष रूप से, क्षेत्र पर निष्कोण पद्धति कम हो जाती है।
-स्कीम थ्योरी की ग्लोसरी होने के लिए 'k' फील्ड में वैरायटी को डिफाइन करें# स्कीम थ्योरी की इंटीग्रल ग्लोसरी #'k' पर फाइनाइट टाइप की सेपरेटेड स्कीम। फिर '' k '' पर परिमित प्रकार की कोई भी अलग-अलग योजना '' k '' पर चिकनी किस्मों का एक परिमित असंयुक्त संघ है।
+''k'' पर परिमित प्रकार की अभिन्न पृथक योजना होने के लिए क्षेत्र ''k'' पर विविधता को परिभाषित करें। फिर ''k'' के ऊपर परिमित प्रकार की कोई भी निष्कोण पृथक योजना ''k'' के ऊपर निष्कोण विविधताओ का एक परिमित असंयुक्त संघ है।
-जटिल संख्याओं के ऊपर एक सहज विविधता ''X'' के लिए, ''X'' के जटिल बिंदुओं का स्थान ''X''(C) शास्त्रीय (यूक्लिडियन) टोपोलॉजी का उपयोग करते हुए एक जटिल मैनिफोल्ड है। इसी तरह, वास्तविक संख्याओं पर एक चिकनी विविधता ''एक्स'' के लिए, वास्तविक बिंदुओं का स्थान ''एक्स''(आर) एक वास्तविक विभेदक कई गुना है, संभवतः खाली है।
+सम्मिश्र संख्याओं पर निष्कोण विविधता ''X'' के लिए, ''X'' के जटिल बिंदुओं का स्थान ''X''('''C''') चिरसम्मत (यूक्लिडियन) टोपोलॉजी का उपयोग करते हुए जटिल बहुरूपता है। इसी तरह, वास्तविक संख्या पर निष्कोण विविधता ''X'' के लिए, वास्तविक बिंदुओं का स्थान ''X''('''R''') वास्तविक कई गुना है, संभवतः खाली है।
-किसी भी योजना 'एक्स' के लिए जो स्थानीय रूप से परिमित प्रकार के क्षेत्र '' के '' पर है, एक [[सुसंगत शीफ]] है Ω<sup>एक्स पर [[काहलर अंतर]] का 1।<sup>1</sup> प्रत्येक बिंदु के निकट X के आयाम के बराबर रैंक का एक सदिश बंडल है।<ref>Theorem 30.3, Matsumura, Commutative Ring Theory (1989).</ref> उस स्थिति में, Ω<sup>1</sup> को X का कोटैंजेंट बंडल कहा जाता है। k पर एक चिकनी योजना के [[[[स्पर्शरेखा बंडल]]]] को दोहरे बंडल के रूप में परिभाषित किया जा सकता है, TX = (Ω<sup>1</sup>)<sup>*</सुप>.
-चिकनाई एक ज्यामितीय गुण है, जिसका अर्थ है कि k के किसी भी क्षेत्र विस्तार E के लिए, एक योजना X k पर चिकनी है यदि और केवल यदि योजना X<sub>E</sub>:= एक्स ×<sub>Spec ''k''</sub> स्पेक E, E पर स्मूथ है। एक [[ उत्तम क्षेत्र ]] k के लिए, एक स्कीम X, k पर स्मूथ है अगर और केवल अगर X स्थानीय रूप से k पर परिमित प्रकार का है और X [[नियमित योजना]] है।
-== सामान्य चिकनाई ==
-एक स्कीम X को k के ऊपर आयाम n का 'सामान्य रूप से चिकना' कहा जाता है यदि X में एक खुला घना उपसमुच्चय होता है जो k के ऊपर आयाम n का चिकना होता है। एक पूर्ण क्षेत्र (विशेष रूप से एक बीजगणितीय रूप से बंद क्षेत्र) पर प्रत्येक विविधता सामान्य रूप से चिकनी होती है।<ref>Lemma 1 in section 28 and Corollary to Theorem 30.5, Matsumura, Commutative Ring Theory (1989).</ref>
+किसी भी योजना ''X'' के लिए जो क्षेत्र ''k'' पर स्थानीय रूप से परिमित प्रकार का है, ''X'' पर अवकलों का एक [[सुसंगत शीफ]] Ω<sup>1</sup> है। योजना ''X'', ''k'' पर निष्कोण है यदि और केवल यदि Ω<sup>1</sup> प्रत्येक बिंदु के निकट ''X'' के आयाम के बराबर रैंक का एक सदिश बंडल है।<sup><ref>Theorem 30.3, Matsumura, Commutative Ring Theory (1989).</ref> उस स्थिति में, Ω<sup>1 को ''X'' का कोटिस्पर्शी बंडल कहा जाता है। ''k'' पर निष्कोण पद्धति के स्पर्शरेखा बंडल को दोहरे बंडल, ''TX'' = (Ω<sup>1)<sup>* के रूप में परिभाषित किया जा सकता है।
+समतलता एक ज्यामितीय गुण है, जिसका अर्थ है कि ''k'' के किसी भी क्षेत्र विस्तार ''E'' के लिए, योजना ''X'' ''k'' पर निष्कोण है यदि और केवल अगर योजना ''X<sub>E</sub>'':= ''X'' ×<sub>Spec ''k''</sub> Spec ''E, E'' पर निष्कोण है। [[ उत्तम क्षेत्र |पूर्ण क्षेत्र]] ''k'' के लिए, योजना ''X'', ''k'' पर निष्कोण है यदि और केवल अगर ''X'' स्थानीय रूप से ''k'' के ऊपर परिमित प्रकार का है और ''X'' [[नियमित योजना|नियमित]] है।
+== सामान्य समतलता ==
+योजना ''X'' को सामान्य रूप से ''k'' पर आयाम ''n'' का निष्कोण कहा जाता है यदि ''X'' में विवृत सघन उपसमुच्चय होता है जो ''k'' से अधिक आयाम ''n'' का निष्कोण होता है। पूर्ण क्षेत्र (विशेष रूप से बीजगणितीय रूप से संवृत्त क्षेत्र) पर प्रत्येक विविधता सामान्य रूप से निष्कोण होती है।<ref>Lemma 1 in section 28 and Corollary to Theorem 30.5, Matsumura, Commutative Ring Theory (1989).</ref>
 == उदाहरण ==
-*एफ़ाइन स्पेस और [[ प्रक्षेपण स्थान ]] फ़ील्ड k पर स्मूद स्कीम हैं।
+*सजातीय अंतराल और [[ प्रक्षेपण स्थान |प्रक्षेपी अंतराल]] क्षेत्र ''k'' पर निष्कोण पद्धति हैं।
-*प्रक्षेपी स्थान 'पी' में एक चिकनी हाइपरसतह का एक उदाहरण<sup>n</sup> over k Fermat हाइपरसफेस x है<sub>0</sub><sup>डी</sup> + ... + एक्स<sub>''n''</sub><sup>d</sup> = 0, किसी भी धनात्मक पूर्णांक d के लिए जो k में व्युत्क्रमणीय है।
+*''k'' पर प्रक्षेपी अंतराल '''P'''<sup>n</sup> में निष्कोण हाइपरसफेस का एक उदाहरण फर्मेट ऊनविम पृष्ठ (हाइपरसफेस) ''x''<sub>0</sub><sup>''d''</sup> + ... + ''x<sub>n</sub><sup>d</sup>'' = 0 है, किसी भी धनात्मक पूर्णांक ''d'' के लिए जो कि ''k'' में व्युत्क्रमणीय है।
-* फ़ील्ड k पर एक विलक्षण (गैर-चिकनी) योजना का एक उदाहरण बंद उपयोजना x है<sup>एफ़ाइन लाइन A में 2</sup> = 0<sup>1</sup> k से अधिक।
+* क्षेत्र ''k'' पर विलक्षण (गैर-निष्कोण) योजना का एक उदाहरण सजातीय रेखा ''A''<sup>1</sup> में ''k'' पर संवृत्त उपयोजना ''x''<sup>2</sup> = 0 है।
-* k से अधिक एकवचन (गैर-चिकनी) किस्म का एक उदाहरण कस्पिडल क्यूबिक कर्व x है<sup>2</sup> = और<sup>3</sup> एफाइन प्लेन ए में<sup>2</sup>, जो मूल बिंदु (x,y) = (0,0) के बाहर चिकना है।
+* ''k'' के पर विलक्षण (गैर-निष्कोण) विविधता का एक उदाहरण पुच्छल घन वक्र ''x''<sup>2</sup> = ''y''<sup>3</sup> है जो सजातीय तल ''A''<sup>2</sup> में है, जो मूल (''x'',''y'') = (0,0) के बाहर निष्कोण है।
-*क्षेत्र k पर एक 0-आयामी वैरायटी X, X = Spec E के रूप में है, जहाँ E, k का परिमित विस्तार क्षेत्र है। विविधता X, k के ऊपर चिकनी है यदि और केवल यदि E k का एक [[वियोज्य विस्तार]] विस्तार है। इस प्रकार, यदि E k के ऊपर वियोज्य नहीं है, तो X एक नियमित योजना है, लेकिन k पर सुचारू नहीं है। उदाहरण के लिए, मान लीजिए k परिमेय फलन 'F' का क्षेत्र है<sub>''p''</sub>(टी) एक प्रमुख संख्या पी के लिए, और ई = 'एफ'<sub>''p''</sub>(टी<sup>1/p</sup>); तो कल्पना ई विभिन्न प्रकार के आयाम 0 ओवर के है जो एक नियमित योजना है, लेकिन के पर चिकनी नहीं है।
+*क्षेत्र ''k'' पर 0-आयामी विविधता ''X'', ''X'' = Spec ''E'' के रूप में है, जहाँ ''E'', ''k'' का परिमित विस्तार क्षेत्र है। विविधता ''X'' ''k'' पर निष्कोण है यदि और केवल अगर ''E'' ''k'' का [[वियोज्य विस्तार]] है। इस प्रकार, यदि ''E'' ''k'' के पर वियोज्य नहीं है, तो ''X'' नियमित योजना है, लेकिन ''k'' पर निष्कोण नहीं है। उदाहरण के लिए, मान लीजिए ''k'' अभाज्य संख्या ''p'' के लिए परिमेय फलन '''F'''<sub>''p''</sub>(''t'') का क्षेत्र है, और मान लीजिए ''E'' = '''F'''<sub>''p''</sub>(''t''<sup>1/''p''</sup>), तब Spec ''E'' विभिन्न प्रकार के आयाम 0 से अधिक ''k'' है जो नियमित योजना है, लेकिन ''k'' पर निष्कोण नहीं है।
-* [[शुबर्ट किस्म]] सामान्य रूप से चिकनी नहीं होती है।
+*
+*
+*
+*
+* [[शुबर्ट किस्म|शुबर्ट विविधताएं]] सामान्यतया निष्कोण नहीं होती हैं।
 == टिप्पणियाँ ==
 {{reflist}}
 == संदर्भ ==
 * [[Dennis Gaitsgory|D. Gaitsgory]]'s notes on flatness and smoothness at http://www.math.harvard.edu/~gaitsgde/Schemes_2009/BR/SmoothMaps.pdf
 *{{Hartshorne AG}}
 * {{Citation | last1=Matsumura | first1=Hideyuki | title=Commutative Ring Theory | publisher=[[Cambridge University Press]] | edition=2nd | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-36764-6 | year=1989 | mr=1011461}}
 == यह भी देखें ==
-* एटले मोर्फिज्म
+* एटेल आकारिकी
 * बीजगणितीय विविधता का आयाम
 * [[योजना सिद्धांत की शब्दावली]]
-* सुचारू समापन
+* निष्कोण समापन
-श्रेणी:योजना सिद्धांत|*
-[[Category: Machine Translated Page]]
 [[Category:Created On 26/04/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]

Anonymous

Search

निष्कोण पद्धति: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 11:29, 10 May 2023

Contents

परिभाषा

गुण

सामान्य समतलता

उदाहरण

टिप्पणियाँ

संदर्भ

यह भी देखें

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

निष्कोण पद्धति: Difference between revisions

Latest revision as of 11:29, 10 May 2023

परिभाषा

गुण

सामान्य समतलता

उदाहरण

टिप्पणियाँ

संदर्भ

यह भी देखें

Navigation

Wiki tools

Page tools

Other projects

Hidden categories