निष्कोण पद्धति

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

परिभाषा

सबसे पहले, माना 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 को 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 का निष्कोण होता है। पूर्ण क्षेत्र (विशेष रूप से बीजगणितीय रूप से संवृत्त क्षेत्र) पर प्रत्येक विविधता सामान्य रूप से निष्कोण होती है।

उदाहरण

• सजातीय अंतराल और प्रक्षेपी अंतराल क्षेत्र 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 का परिमित विस्तार क्षेत्र है।
• शुबर्ट किस्म सामान्य रूप से चिकनी नहीं होती है।

संदर्भ

• 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

यह भी देखें

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

श्रेणी:योजना सिद्धांत|*