सजातीय समन्वय वलय: Difference between revisions
(Created page with "बीजगणितीय ज्यामिति में, बीजगणितीय विविधता ''V'' की सजातीय समन्वय...") |
No edit summary |
||
| Line 1: | Line 1: | ||
[[बीजगणितीय ज्यामिति]] में, [[बीजगणितीय विविधता]] ''V'' की सजातीय समन्वय अंगूठी ''R'' को बीजगणितीय विविधता के रूप में दिया गया है#किसी दिए गए आयाम के [[प्रक्षेप्य स्थान]] की विविधता ''N'' परिभाषा के अनुसार [[भागफल अंगूठी]] है | [[बीजगणितीय ज्यामिति]] में, [[बीजगणितीय विविधता]] ''V'' की सजातीय समन्वय अंगूठी ''R'' को बीजगणितीय विविधता के रूप में दिया गया है#किसी दिए गए आयाम के [[प्रक्षेप्य स्थान]] की विविधता ''N'' परिभाषा के अनुसार [[भागफल अंगूठी]] है | ||
:''आर'' = ''के''[''एक्स''<sub>0</sub>, एक्स<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''N''</sub>] / | :''आर'' = ''के''[''एक्स''<sub>0</sub>, एक्स<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''N''</sub>] /मैं | ||
जहां I, V को परिभाषित करने वाला [[सजातीय आदर्श]] है, K बीजगणितीय रूप से बंद क्षेत्र है जिस पर V को परिभाषित किया गया है, और | जहां I, V को परिभाषित करने वाला [[सजातीय आदर्श]] है, K बीजगणितीय रूप से बंद क्षेत्र है जिस पर V को परिभाषित किया गया है, और | ||
| Line 11: | Line 11: | ||
==निरूपण== | ==निरूपण== | ||
चूँकि V को | चूँकि V को विविधता माना जाता है, और इसलिए यह अप्रासंगिक बीजगणितीय सेट है, आदर्श I को [[प्रमुख आदर्श]] के रूप में चुना जा सकता है, और इसलिए R [[अभिन्न डोमेन]] है। समान परिभाषा का उपयोग सामान्य सजातीय आदर्शों के लिए किया जा सकता है, लेकिन परिणामी समन्वय रिंगों में गैर-शून्य निलपोटेंट तत्व और शून्य के अन्य विभाजक शामिल हो सकते हैं। [[योजना सिद्धांत]] के दृष्टिकोण से इन मामलों को प्रोज निर्माण के माध्यम से ही स्तर पर निपटाया जा सकता है। | ||
सभी एक्स द्वारा उत्पन्न अप्रासंगिक आदर्श जे<sub>''i''</sub> खाली सेट से मेल खाता है, क्योंकि सभी सजातीय निर्देशांक प्रक्षेप्य स्थान के | सभी एक्स द्वारा उत्पन्न अप्रासंगिक आदर्श जे<sub>''i''</sub> खाली सेट से मेल खाता है, क्योंकि सभी सजातीय निर्देशांक प्रक्षेप्य स्थान के बिंदु पर गायब नहीं हो सकते हैं। | ||
प्रक्षेप्य Nullstellensatz प्रक्षेप्य किस्मों और सजातीय आदर्शों I जिनमें J शामिल नहीं है, के बीच | प्रक्षेप्य Nullstellensatz प्रक्षेप्य किस्मों और सजातीय आदर्शों I जिनमें J शामिल नहीं है, के बीच विशेषण पत्राचार देता है। | ||
==संकल्प और सहजीवन== | ==संकल्प और सहजीवन== | ||
बीजगणितीय ज्यामिति के लिए होमोलॉजिकल बीजगणित तकनीकों के अनुप्रयोग में, [[डेविड हिल्बर्ट]] (हालांकि आधुनिक शब्दावली अलग है) के बाद से आर के मुक्त रिज़ॉल्यूशन को लागू करना पारंपरिक रहा है, जिसे बहुपद रिंग पर | बीजगणितीय ज्यामिति के लिए होमोलॉजिकल बीजगणित तकनीकों के अनुप्रयोग में, [[डेविड हिल्बर्ट]] (हालांकि आधुनिक शब्दावली अलग है) के बाद से आर के मुक्त रिज़ॉल्यूशन को लागू करना पारंपरिक रहा है, जिसे बहुपद रिंग पर वर्गीकृत मॉड्यूल के रूप में माना जाता है। इससे Syzygy (गणित) के बारे में जानकारी मिलती है, अर्थात् आदर्श I के जेनरेटरों के बीच संबंध। शास्त्रीय परिप्रेक्ष्य में, ऐसे जेनरेटर केवल वे समीकरण होते हैं जिन्हें V को परिभाषित करने के लिए लिखा जाता है। यदि V [[ऊनविम पृष्ठ]] है तो केवल समीकरण की आवश्यकता होती है, और इसके लिए पूर्ण प्रतिच्छेदन समीकरणों की संख्या को संहिताकरण के रूप में लिया जा सकता है; लेकिन सामान्य प्रक्षेप्य विविधता में समीकरणों का कोई परिभाषित सेट नहीं है जो इतना पारदर्शी हो। विस्तृत अध्ययन, उदाहरण के लिए [[विहित वक्र]] और [[एबेलियन किस्मों को परिभाषित करने वाले समीकरण]], इन मामलों को संभालने के लिए व्यवस्थित तकनीकों की ज्यामितीय रुचि दिखाते हैं। यह विषय अपने शास्त्रीय रूप में [[उन्मूलन सिद्धांत]] से भी विकसित हुआ है, जिसमें न्यूनीकरण मॉड्यूलो I को एल्गोरिथम प्रक्रिया माना जाता है (अब व्यवहार में ग्रोबनेर बेस द्वारा नियंत्रित किया जाता है)। | ||
सामान्य कारणों से K[X की तुलना में [[ श्रेणीबद्ध मॉड्यूल ]] के रूप में R के निःशुल्क रिज़ॉल्यूशन हैं<sub>0</sub>, एक्स<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''N''</sub>]. | सामान्य कारणों से K[X की तुलना में [[ श्रेणीबद्ध मॉड्यूल |श्रेणीबद्ध मॉड्यूल]] के रूप में R के निःशुल्क रिज़ॉल्यूशन हैं<sub>0</sub>, एक्स<sub>1</sub>, एक्स<sub>2</sub>, ..., एक्स<sub>''N''</sub>]. रिज़ॉल्यूशन को न्यूनतम के रूप में परिभाषित किया गया है यदि प्रत्येक मॉड्यूल में छवि मुक्त मॉड्यूल के रूप में है | ||
:φ:एफ<sub>''i''</sub> → एफ<sub>''i'' − 1</sub> | :φ:एफ<sub>''i''</sub> → एफ<sub>''i'' − 1</sub> | ||
संकल्प में जेएफ में निहित है<sub>''i'' − 1,</sub> जहाँ J अप्रासंगिक आदर्श है। नाकायमा के लेम्मा के परिणामस्वरूप, φ फिर एफ में | संकल्प में जेएफ में निहित है<sub>''i'' − 1,</sub> जहाँ J अप्रासंगिक आदर्श है। नाकायमा के लेम्मा के परिणामस्वरूप, φ फिर एफ में दिया गया आधार लेता है<sub>''i''</sub> एफ में जनरेटर के न्यूनतम सेट के लिए<sub>''i'' − 1</sub>. न्यूनतम मुक्त रिज़ॉल्यूशन की अवधारणा मजबूत अर्थ में अच्छी तरह से परिभाषित है: श्रृंखला परिसरों के समरूपता [[तक]] अद्वितीय और किसी भी मुक्त रिज़ॉल्यूशन में प्रत्यक्ष योग के रूप में घटित होती है। चूँकि [[श्रृंखला जटिल]] R के लिए आंतरिक है, इसलिए कोई 'ग्रेडेड बेट्टी नंबर' β को परिभाषित कर सकता है<sub>''i, j''</sub> एफ से आने वाली ग्रेड-जे छवियों की संख्या के रूप में<sub>''i''</sub> (अधिक सटीक रूप से, φ को सजातीय बहुपदों के मैट्रिक्स के रूप में सोचने से, उस सजातीय डिग्री की प्रविष्टियों की गिनती दाईं ओर से प्राप्त ग्रेडिंग द्वारा बढ़ जाती है)। दूसरे शब्दों में, सभी मुक्त मॉड्यूल में वजन का अनुमान रिज़ॉल्यूशन से लगाया जा सकता है, और वर्गीकृत बेट्टी संख्या रिज़ॉल्यूशन के दिए गए मॉड्यूल में दिए गए वजन के जनरेटर की संख्या की गणना करती है। किसी दिए गए प्रक्षेप्य एम्बेडिंग में वी के इन अपरिवर्तनीयों के गुण वक्रों के मामले में भी सक्रिय शोध प्रश्न खड़े करते हैं।<ref>[[David Eisenbud]], ''The Geometry of Syzygies'', (2005, {{isbn|978-0-387-22215-8}}), pp. 5–8.</ref> | ||
ऐसे उदाहरण हैं जहां न्यूनतम मुक्त रिज़ॉल्यूशन स्पष्ट रूप से ज्ञात है। [[तर्कसंगत सामान्य वक्र]] के लिए यह ईगॉन-नॉर्थकॉट कॉम्प्लेक्स है। प्रक्षेप्य स्थान में [[अण्डाकार वक्र]]ों के लिए रिज़ॉल्यूशन का निर्माण ईगॉन-नॉर्थकॉट परिसरों के मानचित्रण शंकु के रूप में किया जा सकता है।<ref>Eisenbud, Ch. 6.</ref> | |||
==नियमितता== | ==नियमितता== | ||
कास्टेलनुवो-मम्फोर्ड नियमितता को प्रोजेक्टिव किस्म को परिभाषित करने वाले आदर्श I के न्यूनतम रिज़ॉल्यूशन से पढ़ा जा सकता है। आरोपित बदलावों के संदर्भ में ए<sub>''i'', ''j''</sub> आई-वें मॉड्यूल एफ में<sub>''i''</sub>, यह a के i पर अधिकतम है<sub>''i'', ''j''</sub> − मैं; इसलिए यह तब छोटा होता है जब बदलाव केवल 1 की वृद्धि से बढ़ता है क्योंकि हम रिज़ॉल्यूशन में बाईं ओर जाते हैं (केवल रैखिक सहजीवन)।<ref>Eisenbud, Ch. 4.</ref> | कास्टेलनुवो-मम्फोर्ड नियमितता को प्रोजेक्टिव किस्म को परिभाषित करने वाले आदर्श I के न्यूनतम रिज़ॉल्यूशन से पढ़ा जा सकता है। आरोपित बदलावों के संदर्भ में ए<sub>''i'', ''j''</sub> आई-वें मॉड्यूल एफ में<sub>''i''</sub>, यह a के i पर अधिकतम है<sub>''i'', ''j''</sub> − मैं; इसलिए यह तब छोटा होता है जब बदलाव केवल 1 की वृद्धि से बढ़ता है क्योंकि हम रिज़ॉल्यूशन में बाईं ओर जाते हैं (केवल रैखिक सहजीवन)।<ref>Eisenbud, Ch. 4.</ref> | ||
==प्रोजेक्टिव सामान्यता== | ==प्रोजेक्टिव सामान्यता== | ||
यदि R [[एकीकृत रूप से बंद डोमेन]] है, तो इसके प्रोजेक्टिव एम्बेडिंग में विविधता V 'प्रोजेक्टिवली सामान्य' है। इस स्थिति का तात्पर्य है कि वी | यदि R [[एकीकृत रूप से बंद डोमेन]] है, तो इसके प्रोजेक्टिव एम्बेडिंग में विविधता V 'प्रोजेक्टिवली सामान्य' है। इस स्थिति का तात्पर्य है कि वी [[सामान्य किस्म]] है, लेकिन इसके विपरीत नहीं: प्रक्षेप्य सामान्यता की संपत्ति प्रक्षेप्य एम्बेडिंग से स्वतंत्र नहीं है, जैसा कि तीन आयामों में तर्कसंगत चतुर्थक वक्र के उदाहरण से दिखाया गया है।<ref>[[Robin Hartshorne]], ''Algebraic Geometry'' (1977), p. 23.</ref> अन्य समतुल्य स्थिति प्रक्षेप्य स्थान पर [[टॉटोलॉजिकल लाइन बंडल]] के दोहरे द्वारा काटे गए वी पर [[विभाजकों की रैखिक प्रणाली]] और डी = 1, 2, 3, ... के लिए इसकी डी-वें शक्तियों के संदर्भ में है; जब V बीजगणितीय वक्र#एकवचन|गैर-एकवचन है, तो यह प्रक्षेप्य रूप से सामान्य है यदि और केवल तभी जब ऐसी प्रत्येक रैखिक प्रणाली [[पूर्ण रैखिक प्रणाली]] हो।<ref>Hartshorne, p. 159.</ref> वैकल्पिक रूप से कोई टॉटोलॉजिकल लाइन बंडल के दोहरे को प्रक्षेप्य स्थान पर [[सेरे ट्विस्ट शीफ़]] O(1) के रूप में सोच सकता है, और संरचना शीफ O को मोड़ने के लिए इसका उपयोग कर सकता है।<sub>''V''</sub> कितनी भी बार, मान लीजिए k बार, शीफ़ O प्राप्त करना<sub>''V''</sub>(क)। तब V को 'k-नॉर्मल' कहा जाता है यदि O(k) के वैश्विक खंड O के वैश्विक खंडों को विशेष रूप से मैप करते हैं<sub>''V''</sub>(k), किसी दिए गए k के लिए, और यदि V 1-सामान्य है तो इसे 'रैखिक रूप से सामान्य' कहा जाता है। गैर-एकवचन विविधता प्रक्षेप्य रूप से सामान्य है यदि और केवल यदि यह सभी k ≥ 1 के लिए k-सामान्य है। रैखिक सामान्यता को ज्यामितीय रूप से भी व्यक्त किया जा सकता है: V के रूप में प्रक्षेप्य विविधता को उच्च आयाम के प्रक्षेप्य स्थान से आइसोमोर्फिक [[रैखिक प्रक्षेपण]] द्वारा प्राप्त नहीं किया जा सकता है , उचित रैखिक उपस्थान में लेटने के तुच्छ तरीके को छोड़कर। रैखिक सामान्यता की स्थितियों को कम करने के लिए पर्याप्त [[ वेरोनीज़ मानचित्रण |वेरोनीज़ मानचित्रण]] का उपयोग करके प्रक्षेप्य सामान्यता का इसी तरह अनुवाद किया जा सकता है। | ||
वी के प्रोजेक्टिव एम्बेडिंग को जन्म देने वाले दिए गए बहुत बड़े लाइन बंडल के दृष्टिकोण से इस मुद्दे को देखते हुए, ऐसे लाइन बंडल ([[उलटा पुलिंदा]]) को 'सामान्य रूप से उत्पन्न' कहा जाता है यदि एम्बेडेड वी प्रोजेक्टिव रूप से सामान्य है। प्रक्षेप्य सामान्यता पहली शर्त एन है<sub>0</sub> ग्रीन और लाज़र्सफेल्ड द्वारा परिभाषित स्थितियों का | वी के प्रोजेक्टिव एम्बेडिंग को जन्म देने वाले दिए गए बहुत बड़े लाइन बंडल के दृष्टिकोण से इस मुद्दे को देखते हुए, ऐसे लाइन बंडल ([[उलटा पुलिंदा]]) को 'सामान्य रूप से उत्पन्न' कहा जाता है यदि एम्बेडेड वी प्रोजेक्टिव रूप से सामान्य है। प्रक्षेप्य सामान्यता पहली शर्त एन है<sub>0</sub> ग्रीन और लाज़र्सफेल्ड द्वारा परिभाषित स्थितियों का क्रम। इसके लिए | ||
:<math>\bigoplus_{d=0}^\infty H^0(V, L^d)</math> | :<math>\bigoplus_{d=0}^\infty H^0(V, L^d)</math> | ||
प्रक्षेप्य स्थान के सजातीय समन्वय रिंग पर वर्गीकृत मॉड्यूल के रूप में माना जाता है, और न्यूनतम मुक्त रिज़ॉल्यूशन लिया जाता है। हालत एन<sub>p</sub> पहले पी ग्रेडेड बेट्टी नंबरों पर लागू किया गया, जिसके लिए जरूरी है कि वे j > i + 1 होने पर गायब हो जाएं।<ref>See e.g. Elena Rubei, ''On Syzygies of Abelian Varieties'', Transactions of the American Mathematical Society, Vol. 352, No. 6 (Jun., 2000), pp. 2569–2579.</ref> वक्रों के लिए ग्रीन ने वह स्थिति N दिखाई<sub>''p''</sub> तब संतुष्ट होता है जब deg(L) ≥ 2g + 1 + p, जो कि p = 0 के लिए [[गुइडो कैस्टेलनुवोवो]] का शास्त्रीय परिणाम था।<ref>Giuseppe Pareschi, ''Syzygies of Abelian Varieties'', Journal of the American Mathematical Society, Vol. 13, No. 3 (Jul., 2000), pp. 651–664.</ref> | प्रक्षेप्य स्थान के सजातीय समन्वय रिंग पर वर्गीकृत मॉड्यूल के रूप में माना जाता है, और न्यूनतम मुक्त रिज़ॉल्यूशन लिया जाता है। हालत एन<sub>p</sub> पहले पी ग्रेडेड बेट्टी नंबरों पर लागू किया गया, जिसके लिए जरूरी है कि वे j > i + 1 होने पर गायब हो जाएं।<ref>See e.g. Elena Rubei, ''On Syzygies of Abelian Varieties'', Transactions of the American Mathematical Society, Vol. 352, No. 6 (Jun., 2000), pp. 2569–2579.</ref> वक्रों के लिए ग्रीन ने वह स्थिति N दिखाई<sub>''p''</sub> तब संतुष्ट होता है जब deg(L) ≥ 2g + 1 + p, जो कि p = 0 के लिए [[गुइडो कैस्टेलनुवोवो]] का शास्त्रीय परिणाम था।<ref>Giuseppe Pareschi, ''Syzygies of Abelian Varieties'', Journal of the American Mathematical Society, Vol. 13, No. 3 (Jul., 2000), pp. 651–664.</ref> | ||
==यह भी देखें== | ==यह भी देखें== | ||
*प्रक्षेपी विविधता | *प्रक्षेपी विविधता | ||
| Line 49: | Line 44: | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{Reflist}} | {{Reflist}} | ||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 05:38, 21 July 2023
बीजगणितीय ज्यामिति में, बीजगणितीय विविधता V की सजातीय समन्वय अंगूठी R को बीजगणितीय विविधता के रूप में दिया गया है#किसी दिए गए आयाम के प्रक्षेप्य स्थान की विविधता N परिभाषा के अनुसार भागफल अंगूठी है
- आर = के[एक्स0, एक्स1, एक्स2, ..., एक्सN] /मैं
जहां I, V को परिभाषित करने वाला सजातीय आदर्श है, K बीजगणितीय रूप से बंद क्षेत्र है जिस पर V को परिभाषित किया गया है, और
- के[एक्स0, एक्स1, एक्स2, ..., एक्सN]
N + 1 चर X में बहुपद वलय हैi. इसलिए बहुपद वलय स्वयं प्रक्षेप्य स्थान का सजातीय समन्वय वलय है, और आधार के किसी दिए गए विकल्प के लिए चर सजातीय निर्देशांक हैं (प्रक्षेप्य स्थान के अंतर्निहित सदिश स्थल में)। आधार के चुनाव का मतलब है कि यह परिभाषा आंतरिक नहीं है, लेकिन सममित बीजगणित का उपयोग करके इसे ऐसा बनाया जा सकता है।
निरूपण
चूँकि V को विविधता माना जाता है, और इसलिए यह अप्रासंगिक बीजगणितीय सेट है, आदर्श I को प्रमुख आदर्श के रूप में चुना जा सकता है, और इसलिए R अभिन्न डोमेन है। समान परिभाषा का उपयोग सामान्य सजातीय आदर्शों के लिए किया जा सकता है, लेकिन परिणामी समन्वय रिंगों में गैर-शून्य निलपोटेंट तत्व और शून्य के अन्य विभाजक शामिल हो सकते हैं। योजना सिद्धांत के दृष्टिकोण से इन मामलों को प्रोज निर्माण के माध्यम से ही स्तर पर निपटाया जा सकता है।
सभी एक्स द्वारा उत्पन्न अप्रासंगिक आदर्श जेi खाली सेट से मेल खाता है, क्योंकि सभी सजातीय निर्देशांक प्रक्षेप्य स्थान के बिंदु पर गायब नहीं हो सकते हैं।
प्रक्षेप्य Nullstellensatz प्रक्षेप्य किस्मों और सजातीय आदर्शों I जिनमें J शामिल नहीं है, के बीच विशेषण पत्राचार देता है।
संकल्प और सहजीवन
बीजगणितीय ज्यामिति के लिए होमोलॉजिकल बीजगणित तकनीकों के अनुप्रयोग में, डेविड हिल्बर्ट (हालांकि आधुनिक शब्दावली अलग है) के बाद से आर के मुक्त रिज़ॉल्यूशन को लागू करना पारंपरिक रहा है, जिसे बहुपद रिंग पर वर्गीकृत मॉड्यूल के रूप में माना जाता है। इससे Syzygy (गणित) के बारे में जानकारी मिलती है, अर्थात् आदर्श I के जेनरेटरों के बीच संबंध। शास्त्रीय परिप्रेक्ष्य में, ऐसे जेनरेटर केवल वे समीकरण होते हैं जिन्हें V को परिभाषित करने के लिए लिखा जाता है। यदि V ऊनविम पृष्ठ है तो केवल समीकरण की आवश्यकता होती है, और इसके लिए पूर्ण प्रतिच्छेदन समीकरणों की संख्या को संहिताकरण के रूप में लिया जा सकता है; लेकिन सामान्य प्रक्षेप्य विविधता में समीकरणों का कोई परिभाषित सेट नहीं है जो इतना पारदर्शी हो। विस्तृत अध्ययन, उदाहरण के लिए विहित वक्र और एबेलियन किस्मों को परिभाषित करने वाले समीकरण, इन मामलों को संभालने के लिए व्यवस्थित तकनीकों की ज्यामितीय रुचि दिखाते हैं। यह विषय अपने शास्त्रीय रूप में उन्मूलन सिद्धांत से भी विकसित हुआ है, जिसमें न्यूनीकरण मॉड्यूलो I को एल्गोरिथम प्रक्रिया माना जाता है (अब व्यवहार में ग्रोबनेर बेस द्वारा नियंत्रित किया जाता है)।
सामान्य कारणों से K[X की तुलना में श्रेणीबद्ध मॉड्यूल के रूप में R के निःशुल्क रिज़ॉल्यूशन हैं0, एक्स1, एक्स2, ..., एक्सN]. रिज़ॉल्यूशन को न्यूनतम के रूप में परिभाषित किया गया है यदि प्रत्येक मॉड्यूल में छवि मुक्त मॉड्यूल के रूप में है
- φ:एफi → एफi − 1
संकल्प में जेएफ में निहित हैi − 1, जहाँ J अप्रासंगिक आदर्श है। नाकायमा के लेम्मा के परिणामस्वरूप, φ फिर एफ में दिया गया आधार लेता हैi एफ में जनरेटर के न्यूनतम सेट के लिएi − 1. न्यूनतम मुक्त रिज़ॉल्यूशन की अवधारणा मजबूत अर्थ में अच्छी तरह से परिभाषित है: श्रृंखला परिसरों के समरूपता तक अद्वितीय और किसी भी मुक्त रिज़ॉल्यूशन में प्रत्यक्ष योग के रूप में घटित होती है। चूँकि श्रृंखला जटिल R के लिए आंतरिक है, इसलिए कोई 'ग्रेडेड बेट्टी नंबर' β को परिभाषित कर सकता हैi, j एफ से आने वाली ग्रेड-जे छवियों की संख्या के रूप मेंi (अधिक सटीक रूप से, φ को सजातीय बहुपदों के मैट्रिक्स के रूप में सोचने से, उस सजातीय डिग्री की प्रविष्टियों की गिनती दाईं ओर से प्राप्त ग्रेडिंग द्वारा बढ़ जाती है)। दूसरे शब्दों में, सभी मुक्त मॉड्यूल में वजन का अनुमान रिज़ॉल्यूशन से लगाया जा सकता है, और वर्गीकृत बेट्टी संख्या रिज़ॉल्यूशन के दिए गए मॉड्यूल में दिए गए वजन के जनरेटर की संख्या की गणना करती है। किसी दिए गए प्रक्षेप्य एम्बेडिंग में वी के इन अपरिवर्तनीयों के गुण वक्रों के मामले में भी सक्रिय शोध प्रश्न खड़े करते हैं।[1]
ऐसे उदाहरण हैं जहां न्यूनतम मुक्त रिज़ॉल्यूशन स्पष्ट रूप से ज्ञात है। तर्कसंगत सामान्य वक्र के लिए यह ईगॉन-नॉर्थकॉट कॉम्प्लेक्स है। प्रक्षेप्य स्थान में अण्डाकार वक्रों के लिए रिज़ॉल्यूशन का निर्माण ईगॉन-नॉर्थकॉट परिसरों के मानचित्रण शंकु के रूप में किया जा सकता है।[2]
नियमितता
कास्टेलनुवो-मम्फोर्ड नियमितता को प्रोजेक्टिव किस्म को परिभाषित करने वाले आदर्श I के न्यूनतम रिज़ॉल्यूशन से पढ़ा जा सकता है। आरोपित बदलावों के संदर्भ में एi, j आई-वें मॉड्यूल एफ मेंi, यह a के i पर अधिकतम हैi, j − मैं; इसलिए यह तब छोटा होता है जब बदलाव केवल 1 की वृद्धि से बढ़ता है क्योंकि हम रिज़ॉल्यूशन में बाईं ओर जाते हैं (केवल रैखिक सहजीवन)।[3]
प्रोजेक्टिव सामान्यता
यदि R एकीकृत रूप से बंद डोमेन है, तो इसके प्रोजेक्टिव एम्बेडिंग में विविधता V 'प्रोजेक्टिवली सामान्य' है। इस स्थिति का तात्पर्य है कि वी सामान्य किस्म है, लेकिन इसके विपरीत नहीं: प्रक्षेप्य सामान्यता की संपत्ति प्रक्षेप्य एम्बेडिंग से स्वतंत्र नहीं है, जैसा कि तीन आयामों में तर्कसंगत चतुर्थक वक्र के उदाहरण से दिखाया गया है।[4] अन्य समतुल्य स्थिति प्रक्षेप्य स्थान पर टॉटोलॉजिकल लाइन बंडल के दोहरे द्वारा काटे गए वी पर विभाजकों की रैखिक प्रणाली और डी = 1, 2, 3, ... के लिए इसकी डी-वें शक्तियों के संदर्भ में है; जब V बीजगणितीय वक्र#एकवचन|गैर-एकवचन है, तो यह प्रक्षेप्य रूप से सामान्य है यदि और केवल तभी जब ऐसी प्रत्येक रैखिक प्रणाली पूर्ण रैखिक प्रणाली हो।[5] वैकल्पिक रूप से कोई टॉटोलॉजिकल लाइन बंडल के दोहरे को प्रक्षेप्य स्थान पर सेरे ट्विस्ट शीफ़ O(1) के रूप में सोच सकता है, और संरचना शीफ O को मोड़ने के लिए इसका उपयोग कर सकता है।V कितनी भी बार, मान लीजिए k बार, शीफ़ O प्राप्त करनाV(क)। तब V को 'k-नॉर्मल' कहा जाता है यदि O(k) के वैश्विक खंड O के वैश्विक खंडों को विशेष रूप से मैप करते हैंV(k), किसी दिए गए k के लिए, और यदि V 1-सामान्य है तो इसे 'रैखिक रूप से सामान्य' कहा जाता है। गैर-एकवचन विविधता प्रक्षेप्य रूप से सामान्य है यदि और केवल यदि यह सभी k ≥ 1 के लिए k-सामान्य है। रैखिक सामान्यता को ज्यामितीय रूप से भी व्यक्त किया जा सकता है: V के रूप में प्रक्षेप्य विविधता को उच्च आयाम के प्रक्षेप्य स्थान से आइसोमोर्फिक रैखिक प्रक्षेपण द्वारा प्राप्त नहीं किया जा सकता है , उचित रैखिक उपस्थान में लेटने के तुच्छ तरीके को छोड़कर। रैखिक सामान्यता की स्थितियों को कम करने के लिए पर्याप्त वेरोनीज़ मानचित्रण का उपयोग करके प्रक्षेप्य सामान्यता का इसी तरह अनुवाद किया जा सकता है।
वी के प्रोजेक्टिव एम्बेडिंग को जन्म देने वाले दिए गए बहुत बड़े लाइन बंडल के दृष्टिकोण से इस मुद्दे को देखते हुए, ऐसे लाइन बंडल (उलटा पुलिंदा) को 'सामान्य रूप से उत्पन्न' कहा जाता है यदि एम्बेडेड वी प्रोजेक्टिव रूप से सामान्य है। प्रक्षेप्य सामान्यता पहली शर्त एन है0 ग्रीन और लाज़र्सफेल्ड द्वारा परिभाषित स्थितियों का क्रम। इसके लिए
प्रक्षेप्य स्थान के सजातीय समन्वय रिंग पर वर्गीकृत मॉड्यूल के रूप में माना जाता है, और न्यूनतम मुक्त रिज़ॉल्यूशन लिया जाता है। हालत एनp पहले पी ग्रेडेड बेट्टी नंबरों पर लागू किया गया, जिसके लिए जरूरी है कि वे j > i + 1 होने पर गायब हो जाएं।[6] वक्रों के लिए ग्रीन ने वह स्थिति N दिखाईp तब संतुष्ट होता है जब deg(L) ≥ 2g + 1 + p, जो कि p = 0 के लिए गुइडो कैस्टेलनुवोवो का शास्त्रीय परिणाम था।[7]
यह भी देखें
- प्रक्षेपी विविधता
- हिल्बर्ट बहुपद
टिप्पणियाँ
- ↑ David Eisenbud, The Geometry of Syzygies, (2005, ISBN 978-0-387-22215-8), pp. 5–8.
- ↑ Eisenbud, Ch. 6.
- ↑ Eisenbud, Ch. 4.
- ↑ Robin Hartshorne, Algebraic Geometry (1977), p. 23.
- ↑ Hartshorne, p. 159.
- ↑ See e.g. Elena Rubei, On Syzygies of Abelian Varieties, Transactions of the American Mathematical Society, Vol. 352, No. 6 (Jun., 2000), pp. 2569–2579.
- ↑ Giuseppe Pareschi, Syzygies of Abelian Varieties, Journal of the American Mathematical Society, Vol. 13, No. 3 (Jul., 2000), pp. 651–664.
संदर्भ
- Oscar Zariski and Pierre Samuel, Commutative Algebra Vol. II (1960), pp. 168–172.
