हिल्बर्ट योजना: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Moduli scheme of subschemes of a scheme, represents the flat-family-of-subschemes functor}}
{{Short description|Moduli scheme of subschemes of a scheme, represents the flat-family-of-subschemes functor}}
बीजीय ज्यामिति में, गणित की शाखा, हिल्बर्ट योजना ऐसी [[योजना सिद्धांत|योजना]] है जो कुछ प्रक्षेप्य समिष्ट (या अधिक सामान्य प्रक्षेप्य योजना) के विवृत उप-योजनाओं के लिए पैरामीटर समिष्ट है, जो चाउ विविधता को परिष्कृत करती है। हिल्बर्ट योजना [[हिल्बर्ट बहुपद|हिल्बर्ट बहुपदों]]  के अनुरूप [[प्रक्षेप्य उपयोजना|प्रक्षेप्य उपयोजनाओं]] का असंयुक्त संघ है। हिल्बर्ट योजनाओं का मूल सिद्धांत {{harvs|first=अलेक्जेंडर|last= ग्रोथेंडिक|authorlink=अलेक्जेंडर ग्रोथेंडिक|year=1961|txt}} द्वारा विकसित किया गया था। हिरोनका के उदाहरण से ज्ञात होता है कि गैर-प्रोजेक्टिव प्रकार के लिए हिल्बर्ट योजनाएँ आवश्यक नहीं हैं।
बीजगणितीय ज्यामिति में, गणित की शाखा, '''हिल्बर्ट योजना''' ऐसी [[योजना सिद्धांत|योजना]] है जो कुछ प्रक्षेप्य समिष्ट (या अधिक सामान्य प्रक्षेप्य योजना) के विवृत उप-योजनाओं के लिए पैरामीटर समिष्ट है, जो चाउ विविधता को परिष्कृत करती है। हिल्बर्ट योजना [[हिल्बर्ट बहुपद|हिल्बर्ट बहुपदों]]  के अनुरूप [[प्रक्षेप्य उपयोजना|प्रक्षेप्य उपयोजनाओं]] का असंयुक्त संघ है। हिल्बर्ट योजनाओं का मूल सिद्धांत {{harvs|first=अलेक्जेंडर|last= ग्रोथेंडिक|authorlink=अलेक्जेंडर ग्रोथेंडिक|year=1961|txt}} द्वारा विकसित किया गया था। हिरोनका के उदाहरण से ज्ञात होता है कि गैर-प्रोजेक्टिव प्रकार के लिए हिल्बर्ट योजनाएँ आवश्यक नहीं हैं।


==प्रक्षेप्य समिष्ट की हिल्बर्ट योजना==
==प्रक्षेप्य समिष्ट की हिल्बर्ट योजना==
Line 8: Line 8:
हिल्बर्ट योजना स्वाभाविक रूप से विवृत उप-योजनाओं के समुच्चय के लिए समरूपी है <math>\mathbb{P}^n \times S</math> जो {{mvar|S}} पर [[सपाट रूपवाद|समतल]] हैं। <math>\mathbb{P}^n \times S</math> की विवृत उपयोजनाएँ जो कि {{mvar|S}} पर समतल हैं, उन्हें अनौपचारिक रूप {{mvar|S}} द्वारा मानकीकृत प्रोजेक्टिव समिष्ट की उप-योजनाओं के परिवारों के रूप में माना जा सकता है। हिल्बर्ट योजना  <math>\mathbf{Hilb}(n)</math> खण्डों के असंयुक्त संघ के रूप में विभक्त हो जाता है, हिल्बर्ट बहुपद {{mvar|P}} के साथ प्रक्षेप्य समिष्ट की उपयोजनाओं के हिल्बर्ट बहुपद के अनुरूप <math>\mathbf{Hilb}(n, P)</math> होता है।  इनमें से प्रत्येक खंड प्रक्षेप्य <math>\operatorname{Spec}(\Z)</math> है।   
हिल्बर्ट योजना स्वाभाविक रूप से विवृत उप-योजनाओं के समुच्चय के लिए समरूपी है <math>\mathbb{P}^n \times S</math> जो {{mvar|S}} पर [[सपाट रूपवाद|समतल]] हैं। <math>\mathbb{P}^n \times S</math> की विवृत उपयोजनाएँ जो कि {{mvar|S}} पर समतल हैं, उन्हें अनौपचारिक रूप {{mvar|S}} द्वारा मानकीकृत प्रोजेक्टिव समिष्ट की उप-योजनाओं के परिवारों के रूप में माना जा सकता है। हिल्बर्ट योजना  <math>\mathbf{Hilb}(n)</math> खण्डों के असंयुक्त संघ के रूप में विभक्त हो जाता है, हिल्बर्ट बहुपद {{mvar|P}} के साथ प्रक्षेप्य समिष्ट की उपयोजनाओं के हिल्बर्ट बहुपद के अनुरूप <math>\mathbf{Hilb}(n, P)</math> होता है।  इनमें से प्रत्येक खंड प्रक्षेप्य <math>\operatorname{Spec}(\Z)</math> है।   


===निर्धारक किस्म के रूप में निर्माण===
===निर्धारक कोटि के रूप में निर्माण===
ग्रोथेंडिक ने हिल्बर्ट योजना का निर्माण किया <math>\mathbf{Hilb}(n)</math> का <math>n</math>-आयामी प्रक्षेप्य <math>\mathbb{P}^n</math> विभिन्न निर्धारकों के लुप्त होने से परिभाषित [[ग्रासमैनियन]] की उपयोजना के रूप में अंतरिक्ष। इसकी मौलिक संपत्ति योजना के लिए है <math>T</math>, यह उस फ़नकार का प्रतिनिधित्व करता है जिसका <math>T</math>-मूल्यांकित अंक बंद उप-योजनाएं हैं <math>\mathbb{P}^n \times T</math> जो कि समतल हैं <math>T</math>.
ग्रोथेंडिक ने हिल्बर्ट योजना का निर्माण किया <math>\mathbf{Hilb}(n)</math> का <math>n</math>-आयामी प्रक्षेप्य <math>\mathbb{P}^n</math> विभिन्न निर्धारकों के लुप्त होने से परिभाषित [[ग्रासमैनियन]] की उपयोजना के रूप में समिष्ट है। इसकी मौलिक संपत्ति योजना के लिए <math>T</math> है, यह उस फ़नकार का प्रतिनिधित्व करता है जिसका <math>T</math>-मूल्यांकित अंक विवृत उप-योजनाएं <math>\mathbb{P}^n \times T</math> हैं, जो कि <math>T</math> पर समतल हैं।


अगर <math>X</math> की उपयोजना है <math>n</math>-आयामी प्रक्षेप्य स्थान, फिर <math>X</math>  श्रेणीबद्ध आदर्श से मेल खाता है <math>I_X^\bullet</math> बहुपद वलय का <math>S</math> में <math>n+1</math> चर, श्रेणीबद्ध टुकड़ों के साथ <math>I_X^m</math>. पर्याप्त रूप से बड़े के लिए <math>m</math> के सभी उच्च कोहोमोलोजी समूह <math>X</math> में गुणांक के साथ <math>\mathcal{O}(m)</math> गायब होना। सटीक अनुक्रम<ब्लॉककोट> का उपयोग करना<math>0 \to I_X \to \mathcal{O}_{\mathbb{P}^n} \to \mathcal{O}_X \to 0</math>हमारे पास है <math>I_X^m = \Gamma(I_X\otimes \mathcal{O}_{\mathbb{P}^n}(m))</math> आयाम है <math>Q(m) - P_X(m)</math>, कहाँ <math>Q</math> प्रक्षेप्य स्थान का हिल्बर्ट बहुपद है। इसे स्थानीय स्तर पर सपाट ढेरों द्वारा उपरोक्त सटीक अनुक्रम को टेंसर करके दिखाया जा सकता है <math>\mathcal{O}_{\mathbb{P}^n}(m)</math>,  सटीक अनुक्रम दे रहा है जहां बाद के दो शब्दों में तुच्छ सह-समरूपता है, जो उच्च सह-समरूपता की तुच्छता को दर्शाता है <math>I_X(m)</math>. ध्यान दें कि हम  सुसंगत शीफ के हिल्बर्ट बहुपद की समानता का उपयोग इसके शीफ कोहोलॉजी समूहों की यूलर-विशेषता के साथ कर रहे हैं।
यदि <math>X</math> की उपयोजना <math>n</math>-आयामी प्रक्षेप्य समिष्ट है, तब <math>X</math>  श्रेणीबद्ध आदर्श से युग्मित होता है, <math>I_X^\bullet</math> बहुपद वलय का <math>S</math> में <math>n+1</math> चर, श्रेणीबद्ध खण्डों के साथ <math>I_X^m</math> होता है। पर्याप्त रूप से बड़े के लिए <math>m</math> के सभी उच्च सह-समरूपता समूह <math>X</math> में गुणांक के साथ <math>\mathcal{O}(m)</math> लुप्त हो जाता है। जो त्रुटिहीन अनुक्रम का उपयोग करता है:


का पर्याप्त बड़ा मान चुनें <math>m</math>. <math>(Q(m) - P_X(m))</math>वें>-आयामी स्थान <math>I_X^m</math> का  उपस्थान है <math>Q(m)</math>-आयामी स्थान <math>S^n</math>, तो ग्रासमैनियन के  बिंदु का प्रतिनिधित्व करता है <math>\textbf{Gr}(Q(m)-P_X(m), Q(m))</math>. यह हिल्बर्ट बहुपद के अनुरूप हिल्बर्ट योजना के टुकड़े का  एम्बेडिंग देगा <math>P_X</math> इस ग्रासमैनियन में।
<math>0 \to I_X \to \mathcal{O}_{\mathbb{P}^n} \to \mathcal{O}_X \to 0</math>


इस छवि पर योजना संरचना का वर्णन करना बाकी है, दूसरे शब्दों में इसके अनुरूप आदर्श के लिए पर्याप्त तत्वों का वर्णन करना बाकी है। ऐसे पर्याप्त तत्व मानचित्र की शर्तों द्वारा दिए गए हैं {{math|''I<sub>X</sub>''(''m'') ⊗ ''S''(''k'') → ''S''(''k'' + ''m'')}} की रैंक अधिकतम है {{math|dim(''I<sub>X</sub>''(''k'' + ''m''))}} सभी सकारात्मक के लिए {{mvar|k}}, जो विभिन्न निर्धारकों के लुप्त होने के बराबर है। (अधिक सावधानीपूर्वक विश्लेषण से पता चलता है कि इसे लेना ही पर्याप्त है {{math|''k'' {{=}} 1}}.)
हमारे पास <math>I_X^m = \Gamma(I_X\otimes \mathcal{O}_{\mathbb{P}^n}(m))</math> का आयाम <math>Q(m) - P_X(m)</math> है, जहां <math>Q</math> प्रक्षेप्य समिष्ट का हिल्बर्ट बहुपद है। इसे स्थानीय स्तर पर समतल समूहों द्वारा उपरोक्त त्रुटिहीन अनुक्रम को टेंसर करके दिखाया जा सकता है, <math>\mathcal{O}_{\mathbb{P}^n}(m)</math>,  त्रुटिहीन अनुक्रम देता है जहां अंत के दो शब्दों में तुच्छ सह-समरूपता है, जो उच्च सह-समरूपता की तुच्छता <math>I_X(m)</math> को दर्शाता है। ध्यान दें कि हम सुसंगत शीफ के हिल्बर्ट बहुपद की समानता का उपयोग इसके शीफ सह-समरूपता समूहों की यूलर-विशेषता के साथ कर रहे हैं।
 
<math>m</math> के पर्याप्त बड़े मान का चयन करता है। <math>(Q(m) - P_X(m))</math>-आयामी स्थान <math>I_X^m</math> का उपस्थान है <math>Q(m)</math>-आयामी स्थान <math>S^n</math> है, तो यह ग्रासमैनियन के बिंदु <math>\textbf{Gr}(Q(m)-P_X(m), Q(m))</math> का प्रतिनिधित्व करता है। यह हिल्बर्ट बहुपद के अनुरूप हिल्बर्ट योजना के खण्डों का एम्बेडिंग देता है, इस ग्रासमैनियन में <math>P_X</math> है।
 
इस छवि पर योजना संरचना का वर्णन करना शेष है, दूसरे शब्दों में इसके अनुरूप आदर्श के लिए पर्याप्त तत्वों का वर्णन करना शेष है। ऐसे पर्याप्त तत्व नियमों द्वारा दिए गए हैं कि मानचित्र {{math|''I<sub>X</sub>''(''m'') ⊗ ''S''(''k'') → ''S''(''k'' + ''m'')}} की रैंक सभी धनात्मक {{mvar|k}} के लिए अधिकतम {{math|dim(''I<sub>X</sub>''(''k'' + ''m''))}} है, जो विभिन्न निर्धारकों के लुप्त होने के समान है। (अधिक सावधानीपूर्वक विश्लेषण से ज्ञात होता है कि {{math|''k'' {{=}} 1}} लेना ही पर्याप्त है।)


===गुण<ref>{{Cite book|last=Hartshorne|first=Robin|authorlink=Robin Hartshorne|url=https://www.springer.com/gp/book/9781441915955|title=विरूपण सिद्धांत|date=2010|publisher=Springer-Verlag|isbn=978-1-4419-1595-5|series=Graduate Texts in Mathematics|location=New York|pages=5–6|language=en}}</ref>===
===गुण<ref>{{Cite book|last=Hartshorne|first=Robin|authorlink=Robin Hartshorne|url=https://www.springer.com/gp/book/9781441915955|title=विरूपण सिद्धांत|date=2010|publisher=Springer-Verlag|isbn=978-1-4419-1595-5|series=Graduate Texts in Mathematics|location=New York|pages=5–6|language=en}}</ref>===


==== सार्वभौमिकता ====
==== सार्वभौमिकता ====
बंद उपयोजना दी गई है <math>Y \subset \mathbb{P}^n_k=X</math> हिल्बर्ट बहुपद वाले क्षेत्र पर <math>P</math>, हिल्बर्ट योजना {{math|1=H='''Hilb'''(''n'', ''P'')}} की सार्वभौमिक उपयोजना है <math>W \subset X \times H</math> सपाट <math>H</math> ऐसा है कि
विवृत उपयोजना दी गई है <math>Y \subset \mathbb{P}^n_k=X</math> हिल्बर्ट बहुपद वाले क्षेत्र पर <math>P</math>, हिल्बर्ट योजना {{math|1=H='''Hilb'''(''n'', ''P'')}} की सार्वभौमिक उपयोजना है <math>W \subset X \times H</math> समतल <math>H</math> जैसे कि;


* रेशे <math>W_x</math> बंद बिंदुओं पर <math>x \in H</math> की बंद उपयोजनाएँ हैं <math>X</math>. के लिए <math>Y \subset X</math> इस बिंदु को निरूपित करें <math>x</math> जैसा <math>[Y] \in H</math>.
* फाइबर <math>W_x</math> विवृत बिंदुओं पर <math>x \in H</math> की विवृत उपयोजनाएँ <math>X</math> हैं। <math>Y \subset X</math> के लिए इस बिंदु को निरूपित करें <math>x</math> के रूप में <math>[Y] \in H</math> है।
* <math>H</math> की उपयोजनाओं के सभी फ्लैट परिवारों के संबंध में सार्वभौमिक है <math>X</math> हिल्बर्ट बहुपद होना <math>P</math>. यानी  स्कीम दी गई है <math>T</math> और सपाट परिवार <math>W' \subset X\times T</math>, अद्वितीय रूपवाद है <math>\phi: T \to H</math> ऐसा है कि <math>\phi^*W \cong W'</math>.
* <math>H</math> की उपयोजनाओं के सभी समतल परिवारों के संबंध में सार्वभौमिक है <math>X</math> में हिल्बर्ट बहुपद <math>P</math> है। अर्थात स्कीम दी गई है <math>T</math> और समतल परिवार <math>W' \subset X\times T</math>, अद्वितीय रूपवाद है <math>\phi: T \to H</math> जैसे कि <math>\phi^*W \cong W'</math> है।


==== स्पर्शरेखा स्थान ====
==== स्पर्शरेखा समिष्ट ====
बिंदु का स्पर्शरेखा स्थान <math>[Y] \in H</math> सामान्य बंडल के वैश्विक अनुभागों द्वारा दिया गया है <math>N_{Y/X}</math>; वह है,
बिंदु का स्पर्शरेखा समिष्ट <math>[Y] \in H</math> सामान्य बंडल के वैश्विक अनुभागों <math>N_{Y/X}</math> द्वारा दिया गया है; वह है,
:<math>T_{[Y]}H = H^0(Y, N_{Y/X})</math>
:<math>T_{[Y]}H = H^0(Y, N_{Y/X})</math>
==== पूर्ण अन्तः खंड की अबाधितता ====
==== पूर्ण अन्तः खंड की अबाधितता ====
स्थानीय पूर्ण अन्तः खंड के लिए <math>Y</math> ऐसा है कि <math>H^1(Y,N_{X/Y}) = 0</math>, बिंदु <math>[Y]\in H</math> चिकना है. इसका तात्पर्य प्रत्येक [[विरूपण सिद्धांत]] से है <math>Y</math> में <math>X</math> अबाधित है.
स्थानीय पूर्ण अन्तः खंड के लिए <math>Y</math> जैसे कि <math>H^1(Y,N_{X/Y}) = 0</math>, बिंदु <math>[Y]\in H</math> सहज है। इसका तात्पर्य प्रत्येक [[विरूपण सिद्धांत]] से है <math>Y</math> में <math>X</math> अबाधित है।


==== स्पर्शरेखा स्थान का आयाम ====
==== स्पर्शरेखा समिष्ट का आयाम ====
यदि <math>H^1(Y,N_{X/Y}) \neq 0</math>, का आयाम <math>H</math> पर <math>[Y]</math> से अधिक या बराबर है <math>h^0(Y,N_{X/Y}) - h^1(Y,N_{X/Y})</math>.
यदि <math>H^1(Y,N_{X/Y}) \neq 0</math>, का आयाम <math>H</math> पर <math>[Y]</math> से अधिक या समान <math>h^0(Y,N_{X/Y}) - h^1(Y,N_{X/Y})</math> है।


इन गुणों के अतिरिक्त, {{harvs|txt|last=Macaulay|first=Francis Sowerby|authorlink=Francis Sowerby Macaulay|year=1927}} हिल्बर्ट योजना किन बहुपदों के लिए निर्धारित की गई है <math>\mathbf{Hilb}(n, P)</math> गैर-रिक्त है, और {{harvs|txt| last=Hartshorne | first=Robin | author-link=Robin Hartshorne|year=1966}}दिखाया कि अगर <math>\mathbf{Hilb}(n, P)</math> गैर-रिक्त है तो यह रैखिक रूप से जुड़ा हुआ है। तो प्रक्षेप्य स्थान की दो उप-योजनाएं हिल्बर्ट योजना के ही जुड़े हुए घटक में हैं यदि और केवल तभी जब उनके पास  ही हिल्बर्ट बहुपद हो।
इन गुणों के अतिरिक्त, {{harvs|txt|last=मैकाले|first=फ्रांसिस सॉवरबी|authorlink=फ्रांसिस सॉवरबी मैकाले|year=1927}} ने यह निर्धारित किया कि हिल्बर्ट योजना किन बहुपदों के लिए है <math>\mathbf{Hilb}(n, P)</math> गैर-रिक्त है, और {{harvs|txt| last=हार्टशोर्न | first=रॉबिन | author-link=रॉबिन हार्टशोर्न|year=1966}} ने दिखाया कि यदि <math>\mathbf{Hilb}(n, P)</math> गैर-रिक्त है तो यह रैखिक रूप से जुड़ा हुआ है। तो प्रक्षेप्य समिष्ट की दो उप-योजनाएं हिल्बर्ट योजना के जुड़े हुए घटक में हैं यदि और केवल तभी जब उनके निकट हिल्बर्ट बहुपद होते हैं।


हिल्बर्ट योजनाओं में खराब विलक्षणताएं हो सकती हैं, जैसे अपरिवर्तनीय घटक जो सभी बिंदुओं पर गैर-कम होते हैं। उनमें अप्रत्याशित रूप से उच्च आयाम के अपरिवर्तनीय घटक भी हो सकते हैं। उदाहरण के लिए, कोई हिल्बर्ट योजना की अपेक्षा कर सकता है {{mvar|d}} अंक (अधिक सटीक आयाम 0, लंबाई {{mvar|d}} आयाम की योजना की उपयोजनाएँ)। {{mvar|n}} आयाम होना {{mvar|dn}}, लेकिन अगर {{math|''n'' ≥ 3}} इसके अपरिवर्तनीय घटकों का आयाम बहुत बड़ा हो सकता है।
हिल्बर्ट योजनाओं में दुर्गत विलक्षणताएं हो सकती हैं, जैसे अपरिवर्तनीय घटक जो सभी बिंदुओं पर गैर-अल्प होते हैं। उनमें अप्रत्याशित रूप से उच्च आयाम के अपरिवर्तनीय घटक भी हो सकते हैं। उदाहरण के लिए, कोई आयाम {{mvar|n}} की योजना के {{mvar|d}} बिंदुओं (अधिक त्रुटिहीन आयाम 0, लंबाई {{mvar|d}} उपयोजनाओं) की हिल्बर्ट योजना से आयाम {{mvar|dn}} होने की अपेक्षा कर सकता है, किन्तु यदि {{math|''n'' ≥ 3}} है तो इसके अपरिवर्तनीय घटकों का आयाम बहुत बड़ा हो सकता है।


== कार्यात्मक व्याख्या ==
== कार्यात्मक व्याख्या ==
हिल्बर्ट योजना की वैकल्पिक व्याख्या है जो सापेक्ष हिल्बर्ट योजनाओं के सामान्यीकरण की ओर ले जाती है जो सापेक्ष योजना की उप-योजनाओं को मानकीकृत करती है। निश्चित आधार योजना के लिए <math>S</math>, होने देना <math>X \in (Sch/S)</math> और चलो<ब्लॉककोट><math>\underline{
हिल्बर्ट योजना की वैकल्पिक व्याख्या है जो सापेक्ष हिल्बर्ट योजनाओं के सामान्यीकरण की ओर ले जाती है जो सापेक्ष योजना की उप-योजनाओं को मानकीकृत करती है। निश्चित आधार योजना के लिए <math>S</math>, मान लीजिये <math>X \in (Sch/S)</math> और  
 
<math>\underline{
     \text{Hilb}
     \text{Hilb}
}_{X/S}:(Sch/S)^{op} \to Sets</math>संबंधित योजना भेजने वाला फ़नकार बनें <math>T \to S</math> सेट<ब्लॉककोट> के समरूपता वर्गों के सेट के लिए<math>\underline{
}_{X/S}:(Sch/S)^{op} \to Sets</math>  
 
संबंधित योजना भेजने वाला फ़ैक्टर बनें <math>T \to S</math> समुच्चय के समरूपता वर्गों के समुच्चय के लिए <math>\underline{
     \text{Hilb}
     \text{Hilb}
}_{X/S}(T) = \left\{
}_{X/S}(T) = \left\{
Line 50: Line 58:
\end{matrix}
\end{matrix}
: Z \to T \text{ is flat}
: Z \to T \text{ is flat}
\right\} / \sim </math>जहां तुल्यता संबंध समरूपता वर्गों द्वारा दिया जाता है <math>Z</math>. यह निर्माण परिवारों की मुश्किलों को ध्यान में रखकर किया गया है। दिया गया <math>f: T' \to T</math>,  परिवार है <math>f^*Z = Z\times_TT'</math> ऊपर <math>T'</math>.
\right\} / \sim </math>जहां तुल्यता संबंध समरूपता वर्गों <math>Z</math> द्वारा दिया जाता है यह निर्माण परिवारों की कठिनाईओं को ध्यान में रखकर किया गया है। दिया गया <math>f: T' \to T</math>,  परिवार <math>f^*Z = Z\times_TT'</math> ऊपर <math>T'</math> है।


=== प्रक्षेप्य मानचित्रों के लिए प्रतिनिधित्वशीलता ===
=== प्रक्षेप्य मानचित्रों के लिए प्रतिनिधित्वशीलता ===
यदि संरचना मानचित्र <math>X \to S</math> प्रक्षेप्य है, तो इस फ़नकार को ऊपर निर्मित हिल्बर्ट योजना द्वारा दर्शाया गया है। इसे परिमित प्रकार के मानचित्रों के मामले में सामान्यीकृत करने के लिए आर्टिन द्वारा विकसित [[बीजगणितीय स्थान]]ों की तकनीक की आवश्यकता होती है।<ref>{{Citation|last=Artin|first=M.|title=Algebraization of formal moduli: I|date=2015-12-31|work=Global Analysis: Papers in Honor of K. Kodaira (PMS-29)|pages=21–72|place=Princeton|publisher=Princeton University Press|doi=10.1515/9781400871230-003|isbn=978-1-4008-7123-0}}</ref>
यदि संरचना मानचित्र <math>X \to S</math> प्रक्षेप्य है, तो इस फ़ैक्टर को ऊपर निर्मित हिल्बर्ट योजना द्वारा दर्शाया गया है। इसे परिमित प्रकार के मानचित्रों की स्थिति में सामान्यीकृत करने के लिए आर्टिन द्वारा विकसित [[बीजगणितीय स्थान|बीजगणितीय स्थानों]] की प्रौद्योगिकी की आवश्यकता होती है।<ref>{{Citation|last=Artin|first=M.|title=Algebraization of formal moduli: I|date=2015-12-31|work=Global Analysis: Papers in Honor of K. Kodaira (PMS-29)|pages=21–72|place=Princeton|publisher=Princeton University Press|doi=10.1515/9781400871230-003|isbn=978-1-4008-7123-0}}</ref>
=== बीजगणितीय स्थानों के मानचित्रों के लिए सापेक्ष हिल्बर्ट योजना ===
=== बीजगणितीय स्थानों के मानचित्रों के लिए सापेक्ष हिल्बर्ट योजना ===
अपनी सबसे बड़ी व्यापकता में, हिल्बर्ट फ़ैक्टर को बीजगणितीय स्थानों के सीमित प्रकार के मानचित्र के लिए परिभाषित किया गया है <math>f\colon X \to B</math>  योजना पर परिभाषित <math>S</math>. फिर, हिल्बर्ट फ़ैक्टर को इस प्रकार परिभाषित किया गया है<ref>{{Cite web|title=Section 97.9 (0CZX): The Hilbert functor—The Stacks project|url=https://stacks.math.columbia.edu/tag/0CZX|access-date=2020-06-17|website=stacks.math.columbia.edu}}</ref>
अपनी सबसे बड़ी व्यापकता में, हिल्बर्ट फ़ैक्टर को बीजगणितीय स्थानों के सीमित प्रकार के मानचित्र के लिए परिभाषित किया गया है <math>f\colon X \to B</math>  योजना पर परिभाषित <math>S</math> है। फिर, हिल्बर्ट फ़ैक्टर को इस प्रकार परिभाषित किया गया है:<ref>{{Cite web|title=Section 97.9 (0CZX): The Hilbert functor—The Stacks project|url=https://stacks.math.columbia.edu/tag/0CZX|access-date=2020-06-17|website=stacks.math.columbia.edu}}</ref>
:<math>\underline{\text{Hilb}}_{X/B}:(Sch/B)^{op} \to Sets</math>
:<math>\underline{\text{Hilb}}_{X/B}:(Sch/B)^{op} \to Sets</math>
को टी भेज रहा हूँ
को T भेजा जाता है:
:<math>\underline{\text{Hilb}}_{X/B}(T) = \left\{ Z \subset X\times_BT :  
:<math>\underline{\text{Hilb}}_{X/B}(T) = \left\{ Z \subset X\times_BT :  
\begin{align}
\begin{align}
Line 64: Line 72:
\end{align}
\end{align}
\right\}</math>.
\right\}</math>.
यह फ़ैक्टर किसी योजना द्वारा नहीं, बल्कि  बीजगणितीय स्थान द्वारा प्रदर्शित किया जा सकता है। इसके अलावा यदि <math>S = \text{Spec}(\Z)</math>, और <math>X\to B</math> योजनाओं का सीमित प्रकार का मानचित्र है, उनके हिल्बर्ट फ़ैक्टर को बीजगणितीय स्थान द्वारा दर्शाया जाता है।
यह फ़ैक्टर किसी योजना द्वारा नहीं, अन्यथा बीजगणितीय स्थान द्वारा प्रदर्शित किया जा सकता है। इसके अतिरिक्त यदि <math>S = \text{Spec}(\Z)</math>, और <math>X\to B</math> योजनाओं का सीमित प्रकार का मानचित्र है, उनके हिल्बर्ट फ़ैक्टर को बीजगणितीय स्थान द्वारा दर्शाया जाता है।


== हिल्बर्ट योजनाओं के उदाहरण ==
== हिल्बर्ट योजनाओं के उदाहरण ==


=== हाइपरसर्फेस की फ़ानो योजनाएँ ===
=== हाइपरसर्फेस की फ़ानो योजनाएँ ===
सामान्य तौर पर हिल्बर्ट योजना की जांच के लिए प्रेरक उदाहरणों में से  प्रोजेक्टिव योजना की फ़ानो योजना थी। उपयोजना दी गई <math>X \subset \mathbb{P}^n</math> डिग्री का <math>d</math>, स्कीम है <math>F_k(X)</math> में <math>\mathbb{G}(k, n)</math> पैरामीटराइज़िंग <math>H \subset X \subset \mathbb{P}^n</math> कहाँ <math>H</math> है <math>k</math>-विमान में <math>\mathbb{P}^n</math>, जिसका अर्थ है कि यह डिग्री का एम्बेडिंग है <math>\mathbb{P}^k</math>.<ref name=":0">{{Cite web|url=https://scholar.harvard.edu/files/joeharris/files/000-final-3264.pdf|title=3264 and all that|last=|first=|date=|website=|pages=203, 212|access-date=|section=}}</ref> चिकनी सतहों के लिए <math>\mathbb{P}^3</math> डिग्री का <math>d \geq 3</math>, गैर-रिक्त फ़ानो योजनाएँ <math>F_k(X)</math> चिकने और शून्य-आयामी हैं। ऐसा इसलिए है क्योंकि चिकनी सतहों पर रेखाओं का स्व-प्रतिच्छेदन नकारात्मक होता है।<ref name=":0" />
सामान्यतः हिल्बर्ट योजना के परीक्षण के लिए प्रेरक उदाहरणों में प्रोजेक्टिव योजना की फ़ानो योजना थी। उपयोजना दी गई <math>X \subset \mathbb{P}^n</math> डिग्री का <math>d</math>, स्कीम है <math>F_k(X)</math> में <math>\mathbb{G}(k, n)</math> पैरामीटराइज़िंग <math>H \subset X \subset \mathbb{P}^n</math> जहां <math>H</math> है <math>k</math>-समतल में <math>\mathbb{P}^n</math> है, जिसका अर्थ है कि यह डिग्री का एम्बेडिंग <math>\mathbb{P}^k</math> है।<ref name=":0">{{Cite web|url=https://scholar.harvard.edu/files/joeharris/files/000-final-3264.pdf|title=3264 and all that|last=|first=|date=|website=|pages=203, 212|access-date=|section=}}</ref> चिकनी सतहों के लिए <math>\mathbb{P}^3</math> डिग्री का <math>d \geq 3</math>, गैर-रिक्त फ़ानो योजनाएँ <math>F_k(X)</math> चिकने और शून्य-आयामी हैं। ऐसा इसलिए है क्योंकि चिकनी सतहों पर रेखाओं का स्व-प्रतिच्छेदन नकारात्मक होता है।<ref name=":0" />
===अंकों की हिल्बर्ट योजना ===
===अंकों की हिल्बर्ट योजना ===
उदाहरणों का अन्य सामान्य समूह हिल्बर्ट योजनाएँ हैं <math>n</math>- योजना के बिंदु <math>X</math>, आमतौर पर दर्शाया गया है <math>X^{[n]}</math>. के लिए <math>\mathbb{P}^2</math> जहां सीमा लोकी है वहां  अच्छी ज्यामितीय व्याख्या है <math>B \subset H</math> बिंदुओं के प्रतिच्छेदन का वर्णन करते हुए उनके स्पर्शरेखा सदिशों के साथ-साथ बिंदुओं को पैरामीट्रिज़ करने के बारे में सोचा जा सकता है। उदाहरण के लिए, <math>(\mathbb{P}^2)^{[2]}</math> ब्लोअप है <math>Bl_{\Delta}(\mathbb{P}^2\times\mathbb{P}^2/S_2)</math> विकर्ण का<ref>{{Cite web|url=https://web.northeastern.edu/iloseu/Barbara_14_complete.pdf|title=समतल पर बिंदुओं की हिल्बर्ट योजना का सामान्य परिचय|last=|first=|date=|website=|url-status=live|archive-url=https://web.archive.org/web/20200226012711/https://web.northeastern.edu/iloseu/Barbara_14_complete.pdf|archive-date=26 February 2020|access-date=}}</ref> सममित क्रिया मॉड्यूलो.
उदाहरणों का अन्य सामान्य समूह हिल्बर्ट योजनाएँ हैं <math>n</math>- योजना के बिंदु <math>X</math>, सामान्यतः <math>X^{[n]}</math> दर्शाया जाता है। <math>\mathbb{P}^2</math> के लिए अच्छी ज्यामितीय व्याख्या है जहां सीमा लोकी है, <math>B \subset H</math> बिंदुओं के प्रतिच्छेदन का वर्णन करते हुए उनके स्पर्शरेखा सदिशों के साथ-साथ बिंदुओं को पैरामीट्रिज़ करने के संबंध में सोचा जा सकता है। उदाहरण के लिए, <math>(\mathbb{P}^2)^{[2]}</math> ब्लोअप है <math>Bl_{\Delta}(\mathbb{P}^2\times\mathbb{P}^2/S_2)</math> विकर्ण का<ref>{{Cite web|url=https://web.northeastern.edu/iloseu/Barbara_14_complete.pdf|title=समतल पर बिंदुओं की हिल्बर्ट योजना का सामान्य परिचय|last=|first=|date=|website=|url-status=live|archive-url=https://web.archive.org/web/20200226012711/https://web.northeastern.edu/iloseu/Barbara_14_complete.pdf|archive-date=26 February 2020|access-date=}}</ref> सममित क्रिया मॉड्यूलो होता है।


=== डिग्री डी हाइपरसर्फेस ===
=== डिग्री d हाइपरसर्फेस ===
डिग्री k हाइपरसर्फेस की हिल्बर्ट योजना <math>\mathbb{P}^n</math> प्रक्षेपीकरण द्वारा दिया गया है <math>\mathbb{P}(\Gamma(\mathcal{O}(k)))</math>. उदाहरण के लिए, डिग्री 2 हाइपरसर्फेस की हिल्बर्ट योजना <math>\mathbb{P}^1</math> है <math>\mathbb{P}^2</math> द्वारा दी गई सार्वभौमिक हाइपरसतह के साथ
डिग्री k हाइपरसर्फेस की हिल्बर्ट योजना <math>\mathbb{P}^n</math> प्रक्षेपीकरण <math>\mathbb{P}(\Gamma(\mathcal{O}(k)))</math> द्वारा दिया गया है। उदाहरण के लिए, डिग्री 2 हाइपरसर्फेस की हिल्बर्ट योजना <math>\mathbb{P}^1</math> <math>\mathbb{P}^2</math> द्वारा दी गई सार्वभौमिक हाइपर सतह के साथ है:
:<math>\text{Proj}(k[x_0,x_1][\alpha,\beta,\gamma]/(\alpha x_0^2 + \beta x_0x_1 + \gamma x_1^2)) \subseteq \mathbb{P}_{x_0,x_1}^1\times\mathbb{P}^2_{\alpha,\beta,\gamma}</math>
:<math>\text{Proj}(k[x_0,x_1][\alpha,\beta,\gamma]/(\alpha x_0^2 + \beta x_0x_1 + \gamma x_1^2)) \subseteq \mathbb{P}_{x_0,x_1}^1\times\mathbb{P}^2_{\alpha,\beta,\gamma}</math>
जहां अंतर्निहित रिंग को बड़ा किया गया है।
जहां अंतर्निहित वलय को बड़ा किया गया है।


=== वक्रों की हिल्बर्ट योजना और वक्रों का मापांक ===
=== वक्रों की हिल्बर्ट योजना और वक्रों का मापांक ===
निश्चित जाति के लिए <math>g</math> बीजगणितीय वक्र <math>C</math>, त्रि-दंशीय दोहरीकरण शीफ की डिग्री <math>\omega_C^{\otimes 3}</math> विश्व स्तर पर उत्पन्न होता है, जिसका अर्थ है कि इसकी यूलर विशेषता वैश्विक वर्गों के आयाम से निर्धारित होती है, इसलिए
निश्चित जाति के लिए <math>g</math> बीजगणितीय वक्र <math>C</math>, त्रि-दंशीय दोहरीकरण शीफ की डिग्री <math>\omega_C^{\otimes 3}</math> विश्व स्तर पर उत्पन्न होता है, जिसका अर्थ है कि इसकी यूलर विशेषता वैश्विक वर्गों के आयाम से निर्धारित होती है, इसलिए;
:<math>\chi(\omega_C^{\otimes 3}) = \dim H^0(C,\omega_X^{\otimes 3})</math>.
:<math>\chi(\omega_C^{\otimes 3}) = \dim H^0(C,\omega_X^{\otimes 3})</math>.
इस सदिश समष्टि का आयाम है <math>5g-5</math>, इसलिए के वैश्विक खंड <math>\omega_C^{\otimes 3}</math> में एम्बेडिंग निर्धारित करें <math>\mathbb{P}^{5g-6}</math> प्रत्येक जाति के लिए <math>g</math> वक्र. रीमैन-रोच सूत्र का उपयोग करके, संबंधित हिल्बर्ट बहुपद की गणना इस प्रकार की जा सकती है
इस सदिश समष्टि का आयाम <math>5g-5</math> है, इसलिए <math>\omega_C^{\otimes 3}</math> के वैश्विक खंड में एम्बेडिंग निर्धारित करें <math>\mathbb{P}^{5g-6}</math> प्रत्येक जाति के लिए <math>g</math> वक्र है। रीमैन-रोच सूत्र का उपयोग करके, संबंधित हिल्बर्ट बहुपद की गणना इस प्रकार की जा सकती है:
:<math>H_C(t) = 6(g-1)t + (1-g)</math>.
:<math>H_C(t) = 6(g-1)t + (1-g)</math>.
फिर, हिल्बर्ट योजना
फिर, हिल्बर्ट योजना;
:<math>\text{Hilb}_{\mathbb{P}^{5g-6}}^{H_C(t)}</math>
:<math>\text{Hilb}_{\mathbb{P}^{5g-6}}^{H_C(t)}</math>
सभी जीनस जी वक्रों को मानकीकृत करता है। इस योजना का निर्माण बीजगणितीय वक्रों के मॉड्यूल स्टैक के निर्माण में पहला कदम है। अन्य मुख्य तकनीकी उपकरण जीआईटी भागफल हैं, क्योंकि इस मॉड्यूलि स्पेस का निर्माण भागफल के रूप में किया गया है
सभी जीनस ''g'' वक्रों को मानकीकृत करता है। इस योजना का निर्माण बीजगणितीय वक्रों के मॉड्यूल स्टैक के निर्माण में प्रथम कदम है। अन्य मुख्य प्रौद्योगिकी उपकरण जीआईटी भागफल हैं, क्योंकि इस मॉड्यूलि समिष्ट का निर्माण भागफल के रूप में किया गया है:
:<math>\mathcal{M}_g = [U_g/GL_{5g-6}]</math>,
:<math>\mathcal{M}_g = [U_g/GL_{5g-6}]</math>,
कहाँ <math>U_g</math> हिल्बर्ट योजना में चिकने वक्रों का उप-स्थान है।
जहां <math>U_g</math> हिल्बर्ट योजना में चिकने वक्रों का उप-स्थान है।


== मैनिफोल्ड पर बिंदुओं की हिल्बर्ट योजना ==
== मैनिफोल्ड पर बिंदुओं की हिल्बर्ट योजना ==
  हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, हालांकि जब कई बिंदु मेल खाते हैं तो यह तस्वीर बहुत भ्रामक हो सकती है।
  हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, चूँकि जब कई बिंदु युग्मित होते हैं तो यह छवि अधिक भ्रामक हो सकती है।


बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ किस्म के चक्रों तक हिल्बर्ट-चाउ रूपवाद है जो किसी भी 0-आयामी योजना को उसके संबंधित 0-चक्र में ले जाता है। {{harvs|last=Fogarty|year1=1968|year2=1969|year3=1973}}.
बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ प्रकार के चक्रों तक हिल्बर्ट-चाउ रूपवाद है जो किसी भी 0-आयामी योजना को उसके संबंधित 0-चक्र में ले जाता है। {{harvs|last=फ़ोगार्टी|year1=1968|year2=1969|year3=1973}}.


हिल्बर्ट योजना <math>M^{[n]}</math> का {{mvar|n}} अंक पर {{mvar|M}}  प्राकृतिक रूपवाद से सुसज्जित है {{mvar|n}}-वाँ सममित उत्पाद {{mvar|M}}. यह रूपवाद द्विवार्षिक है {{mvar|M}}अधिकतम आयाम का 2. के लिए {{mvar|M}} आयाम का कम से कम 3 आकारवाद बड़े के लिए द्विवार्षिक नहीं है {{mvar|n}}: हिल्बर्ट योजना सामान्य रूप से कम करने योग्य है और इसमें सममित उत्पाद की तुलना में आयाम के घटक बहुत बड़े हैं।
हिल्बर्ट योजना {{mvar|M}} पर {{mvar|n}} बिंदुओं का <math>M^{[n]}</math>, {{mvar|M}}  के {{mvar|n}}-वें सममित उत्पाद के लिए प्राकृतिक रूपवाद से सुसज्जित है। यह रूपवाद अधिकतम 2 आयाम के {{mvar|M}} के लिए द्विवार्षिक है। कम से कम 3 आयाम के {{mvar|M}} के लिए रूपवाद बड़े {{mvar|n}} के लिए द्विवार्षिक नहीं है: हिल्बर्ट योजना सामान्य रूप से कम करने योग्य है और इसमें सममित उत्पाद की तुलना में आयाम के घटक अधिक बड़े हैं।


वक्र पर बिंदुओं की हिल्बर्ट योजना {{mvar|C}} ( आयाम-1 जटिल मैनिफोल्ड) बीजगणितीय वक्र के सममित उत्पाद के लिए आइसोमोर्फिक है {{mvar|C}}. यह चिकना है.
वक्र {{mvar|C}} (आयाम-1 जटिल मैनिफोल्ड) पर बिंदुओं की हिल्बर्ट योजना {{mvar|C}} की सममित शक्ति के समरूपी है। यह चिकनी है।


हिल्बर्ट योजना {{mvar|n}} [[जटिल सतह]] पर बिंदु भी चिकने होते हैं (ग्रोथेंडिक)। अगर <math>n=2</math>, से प्राप्त किया जाता है <math>M\times M</math> विकर्ण को उड़ाकर और फिर से विभाजित करके <math>\Z/2\Z</math> कार्रवाई से प्रेरित <math>(x,y) \mapsto (y,x)</math>. इसका उपयोग [[ मार्क हाईमन ]] ने कुछ [[मैकडोनाल्ड बहुपद]]ों के गुणांकों की सकारात्मकता के प्रमाण में किया था।
किसी [[जटिल सतह|सतह]] पर {{mvar|n}} बिंदुओं की हिल्बर्ट योजना भी चिकनी (ग्रोथेंडिक) है। यदि <math>n=2</math>, से प्राप्त किया जाता है <math>M\times M</math> विकर्ण को उड़ाकर और फिर से विभाजित करके <math>\Z/2\Z</math> क्रिया से प्रेरित <math>(x,y) \mapsto (y,x)</math> होता है। इसका उपयोग[[ मार्क हाईमन | मार्क हैमन]] ने कुछ [[मैकडोनाल्ड बहुपद|मैकडोनाल्ड बहुपदों]] के गुणांकों की धनात्मकता के प्रमाण में किया था।


3 या अधिक आयाम की चिकनी मैनिफोल्ड की हिल्बर्ट योजना आमतौर पर चिकनी नहीं होती है।
3 या अधिक आयाम की चिकनी मैनिफोल्ड की हिल्बर्ट योजना सामान्यतः चिकनी नहीं होती है।


== हिल्बर्ट योजनाएं और हाइपरकेहलर ज्यामिति ==
== हिल्बर्ट योजनाएं और हाइपरकेहलर ज्यामिति ==
होने देना {{mvar|M}}  जटिल काहलर मैनिफोल्ड बनें|काहलर सतह के साथ <math>c_1= 0</math> ([[K3 सतह]] या टोरस)। का विहित बंडल {{mvar|M}} तुच्छ है, जैसा कि एनरिक्स-कोडैरा वर्गीकरण से मिलता है। इस तरह {{mvar|M}}  होलोमोर्फिक [[सिंपलेक्टिक ज्यामिति]] रूप को स्वीकार करता है। इसे [[अकीरा फुजिकी]] (के लिए) द्वारा देखा गया था <math>n=2</math>) और [[अरनौद ब्यूविल]] <math>M^{[n]}</math> होलोमोर्फिक रूप से भी सहानुभूतिपूर्ण है। इसे देखना बहुत कठिन नहीं है, उदाहरण के लिए, के लिए <math>n=2</math>. वास्तव में, <math>M^{[2]}</math> के  सममित वर्ग का विस्फोट है {{mvar|M}}. की विलक्षणताएँ <math>\operatorname{Sym}^2 M</math> स्थानीय रूप से समरूपी हैं <math>\Complex^2 \times \Complex^2/\{\pm 1\}</math>. का विस्फोट <math>\Complex^2/\{\pm 1\}</math> है <math>T^{*}\mathbb{P}^{1}(\Complex)</math>, और यह स्थान सहानुभूतिपूर्ण है। इसका उपयोग यह दिखाने के लिए किया जाता है कि सहानुभूतिपूर्ण रूप स्वाभाविक रूप से असाधारण विभाजकों के चिकने भाग तक विस्तारित होता है <math>M^{[n]}</math>. इसे शेष तक विस्तारित किया गया है <math>M^{[n]}</math> हार्टोग्स के सिद्धांत द्वारा.
मान लीजिए कि {{mvar|M}}  जटिल काहलर सतह <math>c_1= 0</math> ([[K3 सतह]] या टोरस) है। {{mvar|M}} का विहित बंडल तुच्छ है, जैसा कि सतहों के एनरिक्स-कोडैरा वर्गीकरण से मिलता है। इसलिए {{mvar|M}}  होलोमोर्फिक [[सिंपलेक्टिक ज्यामिति]] रूप को स्वीकार करता है। इसे [[अकीरा फुजिकी]] (के लिए) द्वारा देखा गया था <math>n=2</math>) और [[अरनौद ब्यूविल|अरनॉड ब्यूविल]] <math>M^{[n]}</math> भी होलोमोर्फिक रूप से सहानुभूतिपूर्ण है। इसे देखना बहुत कठिन नहीं है, उदाहरण के लिए, <math>n=2</math> है। वास्तव में, <math>M^{[2]}</math>, {{mvar|M}} के सममित वर्ग का विस्फोट है। <math>\operatorname{Sym}^2 M</math> की विलक्षणताएँ स्थानीय रूप से समरूपी हैं <math>\Complex^2 \times \Complex^2/\{\pm 1\}</math> का विस्फोट <math>\Complex^2/\{\pm 1\}</math> है <math>T^{*}\mathbb{P}^{1}(\Complex)</math> है, और यह स्थान सहानुभूतिपूर्ण है। इसका उपयोग यह दिखाने के लिए किया जाता है कि सहानुभूतिपूर्ण रूप स्वाभाविक रूप से असाधारण विभाजकों के चिकने भाग <math>M^{[n]}</math>तक विस्तारित होता है। इसे शेष <math>M^{[n]}</math> हार्टोग्स के सिद्धांत द्वारा विस्तारित किया गया है। 


होलोमोर्फिक रूप से सहानुभूतिपूर्ण, काहलर मैनिफोल्ड हाइपरकाहलर मैनिफोल्ड|हाइपरकाहलर है, जैसा कि कैलाबी अनुमान|कैलाबी-यॉ प्रमेय से निम्नानुसार है। K3 सतह पर और 4-आयामी टोरस पर बिंदुओं की हिल्बर्ट योजनाएँ हाइपरकेहलर मैनिफोल्ड्स के उदाहरणों की दो श्रृंखलाएँ देती हैं: K3 पर बिंदुओं की हिल्बर्ट योजना और सामान्यीकृत कुमेर सतह।
होलोमोर्फिक रूप से सहानुभूतिपूर्ण, काहलर मैनिफोल्ड हाइपरकाहलर है, जैसा कि कैलाबी-यॉ प्रमेय से निम्नानुसार है। K3 सतह पर और 4-आयामी टोरस पर बिंदुओं की हिल्बर्ट योजनाएँ हाइपरकेहलर मैनिफोल्ड्स के उदाहरणों की दो श्रृंखलाएँ देती हैं: K3 पर बिंदुओं की हिल्बर्ट योजना और सामान्यीकृत कुमेर सतह है।


==यह भी देखें==
==यह भी देखें==
Line 112: Line 120:
*मात्सुसाका का बड़ा प्रमेय
*मात्सुसाका का बड़ा प्रमेय
*[[बीजगणितीय वक्रों का मापांक]]
*[[बीजगणितीय वक्रों का मापांक]]
*[[मोडुली स्थान]]
*[[मोडुली स्थान|मोडुली समिष्ट]]  
*[[हिल्बर्ट मॉड्यूलर सतह]]
*[[हिल्बर्ट मॉड्यूलर सतह]]
*[[सीगल मॉड्यूलर किस्म]]
*[[सीगल मॉड्यूलर किस्म|सीगल मॉड्यूलर प्रकार]]  


==संदर्भ==
==संदर्भ==
Line 142: Line 150:
*{{citation|last1=Bolognese|first1=Barbara|last2=Losev|first2=Ivan|title=A general introduction to the Hilbert scheme of points on the plane|url=http://www.northeastern.edu/iloseu/Barbara_14_complete.pdf|url-status=bot: unknown|archiveurl=https://web.archive.org/web/20170830033238/http://www.northeastern.edu/iloseu/Barbara_14_complete.pdf|archivedate=2017-08-30}}
*{{citation|last1=Bolognese|first1=Barbara|last2=Losev|first2=Ivan|title=A general introduction to the Hilbert scheme of points on the plane|url=http://www.northeastern.edu/iloseu/Barbara_14_complete.pdf|url-status=bot: unknown|archiveurl=https://web.archive.org/web/20170830033238/http://www.northeastern.edu/iloseu/Barbara_14_complete.pdf|archivedate=2017-08-30}}
*{{citation |last=Maclagan |first=Diane|authorlink=Diane Maclagan |title=Notes on Hilbert Schemes |url=http://homepages.warwick.ac.uk/staff/D.Maclagan/papers/HilbertSchemesNotes.pdf |url-status=bot: unknown |archiveurl=https://web.archive.org/web/20160307150146/http://homepages.warwick.ac.uk/staff/D.Maclagan/papers/HilbertSchemesNotes.pdf |archivedate=2016-03-07 }}
*{{citation |last=Maclagan |first=Diane|authorlink=Diane Maclagan |title=Notes on Hilbert Schemes |url=http://homepages.warwick.ac.uk/staff/D.Maclagan/papers/HilbertSchemesNotes.pdf |url-status=bot: unknown |archiveurl=https://web.archive.org/web/20160307150146/http://homepages.warwick.ac.uk/staff/D.Maclagan/papers/HilbertSchemesNotes.pdf |archivedate=2016-03-07 }}
[[Category: योजना सिद्धांत]] [[Category: बीजगणितीय ज्यामिति]] [[Category: विभेदक ज्यामिति]] [[Category: मोडुली सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 maint]]
[[Category:Created On 07/07/2023]]
[[Category:Created On 07/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:बीजगणितीय ज्यामिति]]
[[Category:मोडुली सिद्धांत]]
[[Category:योजना सिद्धांत]]
[[Category:विभेदक ज्यामिति]]

Latest revision as of 18:17, 16 July 2023

बीजगणितीय ज्यामिति में, गणित की शाखा, हिल्बर्ट योजना ऐसी योजना है जो कुछ प्रक्षेप्य समिष्ट (या अधिक सामान्य प्रक्षेप्य योजना) के विवृत उप-योजनाओं के लिए पैरामीटर समिष्ट है, जो चाउ विविधता को परिष्कृत करती है। हिल्बर्ट योजना हिल्बर्ट बहुपदों के अनुरूप प्रक्षेप्य उपयोजनाओं का असंयुक्त संघ है। हिल्बर्ट योजनाओं का मूल सिद्धांत अलेक्जेंडर ग्रोथेंडिक (1961) द्वारा विकसित किया गया था। हिरोनका के उदाहरण से ज्ञात होता है कि गैर-प्रोजेक्टिव प्रकार के लिए हिल्बर्ट योजनाएँ आवश्यक नहीं हैं।

प्रक्षेप्य समिष्ट की हिल्बर्ट योजना

हिल्बर्ट योजना का प्रक्षेप्य समिष्ट की विवृत उप-योजनाओं को निम्नलिखित अर्थों में वर्गीकृत करता है: किसी भी स्थानीय नोथेरियन योजना S के लिए, S-मूल्यांकित अंक के समुच्चय इस प्रकार हैं:

हिल्बर्ट योजना स्वाभाविक रूप से विवृत उप-योजनाओं के समुच्चय के लिए समरूपी है जो S पर समतल हैं। की विवृत उपयोजनाएँ जो कि S पर समतल हैं, उन्हें अनौपचारिक रूप S द्वारा मानकीकृत प्रोजेक्टिव समिष्ट की उप-योजनाओं के परिवारों के रूप में माना जा सकता है। हिल्बर्ट योजना खण्डों के असंयुक्त संघ के रूप में विभक्त हो जाता है, हिल्बर्ट बहुपद P के साथ प्रक्षेप्य समिष्ट की उपयोजनाओं के हिल्बर्ट बहुपद के अनुरूप होता है। इनमें से प्रत्येक खंड प्रक्षेप्य है।

निर्धारक कोटि के रूप में निर्माण

ग्रोथेंडिक ने हिल्बर्ट योजना का निर्माण किया का -आयामी प्रक्षेप्य विभिन्न निर्धारकों के लुप्त होने से परिभाषित ग्रासमैनियन की उपयोजना के रूप में समिष्ट है। इसकी मौलिक संपत्ति योजना के लिए है, यह उस फ़नकार का प्रतिनिधित्व करता है जिसका -मूल्यांकित अंक विवृत उप-योजनाएं हैं, जो कि पर समतल हैं।

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

हमारे पास का आयाम है, जहां प्रक्षेप्य समिष्ट का हिल्बर्ट बहुपद है। इसे स्थानीय स्तर पर समतल समूहों द्वारा उपरोक्त त्रुटिहीन अनुक्रम को टेंसर करके दिखाया जा सकता है, , त्रुटिहीन अनुक्रम देता है जहां अंत के दो शब्दों में तुच्छ सह-समरूपता है, जो उच्च सह-समरूपता की तुच्छता को दर्शाता है। ध्यान दें कि हम सुसंगत शीफ के हिल्बर्ट बहुपद की समानता का उपयोग इसके शीफ सह-समरूपता समूहों की यूलर-विशेषता के साथ कर रहे हैं।

के पर्याप्त बड़े मान का चयन करता है। -आयामी स्थान का उपस्थान है -आयामी स्थान है, तो यह ग्रासमैनियन के बिंदु का प्रतिनिधित्व करता है। यह हिल्बर्ट बहुपद के अनुरूप हिल्बर्ट योजना के खण्डों का एम्बेडिंग देता है, इस ग्रासमैनियन में है।

इस छवि पर योजना संरचना का वर्णन करना शेष है, दूसरे शब्दों में इसके अनुरूप आदर्श के लिए पर्याप्त तत्वों का वर्णन करना शेष है। ऐसे पर्याप्त तत्व नियमों द्वारा दिए गए हैं कि मानचित्र IX(m) ⊗ S(k) → S(k + m) की रैंक सभी धनात्मक k के लिए अधिकतम dim(IX(k + m)) है, जो विभिन्न निर्धारकों के लुप्त होने के समान है। (अधिक सावधानीपूर्वक विश्लेषण से ज्ञात होता है कि k = 1 लेना ही पर्याप्त है।)

गुण[1]

सार्वभौमिकता

विवृत उपयोजना दी गई है हिल्बर्ट बहुपद वाले क्षेत्र पर , हिल्बर्ट योजना H=Hilb(n, P) की सार्वभौमिक उपयोजना है समतल जैसे कि;

  • फाइबर विवृत बिंदुओं पर की विवृत उपयोजनाएँ हैं। के लिए इस बिंदु को निरूपित करें के रूप में है।
  • की उपयोजनाओं के सभी समतल परिवारों के संबंध में सार्वभौमिक है में हिल्बर्ट बहुपद है। अर्थात स्कीम दी गई है और समतल परिवार , अद्वितीय रूपवाद है जैसे कि है।

स्पर्शरेखा समिष्ट

बिंदु का स्पर्शरेखा समिष्ट सामान्य बंडल के वैश्विक अनुभागों द्वारा दिया गया है; वह है,

पूर्ण अन्तः खंड की अबाधितता

स्थानीय पूर्ण अन्तः खंड के लिए जैसे कि , बिंदु सहज है। इसका तात्पर्य प्रत्येक विरूपण सिद्धांत से है में अबाधित है।

स्पर्शरेखा समिष्ट का आयाम

यदि , का आयाम पर से अधिक या समान है।

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

हिल्बर्ट योजनाओं में दुर्गत विलक्षणताएं हो सकती हैं, जैसे अपरिवर्तनीय घटक जो सभी बिंदुओं पर गैर-अल्प होते हैं। उनमें अप्रत्याशित रूप से उच्च आयाम के अपरिवर्तनीय घटक भी हो सकते हैं। उदाहरण के लिए, कोई आयाम n की योजना के d बिंदुओं (अधिक त्रुटिहीन आयाम 0, लंबाई d उपयोजनाओं) की हिल्बर्ट योजना से आयाम dn होने की अपेक्षा कर सकता है, किन्तु यदि n ≥ 3 है तो इसके अपरिवर्तनीय घटकों का आयाम बहुत बड़ा हो सकता है।

कार्यात्मक व्याख्या

हिल्बर्ट योजना की वैकल्पिक व्याख्या है जो सापेक्ष हिल्बर्ट योजनाओं के सामान्यीकरण की ओर ले जाती है जो सापेक्ष योजना की उप-योजनाओं को मानकीकृत करती है। निश्चित आधार योजना के लिए , मान लीजिये और

संबंधित योजना भेजने वाला फ़ैक्टर बनें समुच्चय के समरूपता वर्गों के समुच्चय के लिए जहां तुल्यता संबंध समरूपता वर्गों द्वारा दिया जाता है यह निर्माण परिवारों की कठिनाईओं को ध्यान में रखकर किया गया है। दिया गया , परिवार ऊपर है।

प्रक्षेप्य मानचित्रों के लिए प्रतिनिधित्वशीलता

यदि संरचना मानचित्र प्रक्षेप्य है, तो इस फ़ैक्टर को ऊपर निर्मित हिल्बर्ट योजना द्वारा दर्शाया गया है। इसे परिमित प्रकार के मानचित्रों की स्थिति में सामान्यीकृत करने के लिए आर्टिन द्वारा विकसित बीजगणितीय स्थानों की प्रौद्योगिकी की आवश्यकता होती है।[2]

बीजगणितीय स्थानों के मानचित्रों के लिए सापेक्ष हिल्बर्ट योजना

अपनी सबसे बड़ी व्यापकता में, हिल्बर्ट फ़ैक्टर को बीजगणितीय स्थानों के सीमित प्रकार के मानचित्र के लिए परिभाषित किया गया है योजना पर परिभाषित है। फिर, हिल्बर्ट फ़ैक्टर को इस प्रकार परिभाषित किया गया है:[3]

को T भेजा जाता है:

.

यह फ़ैक्टर किसी योजना द्वारा नहीं, अन्यथा बीजगणितीय स्थान द्वारा प्रदर्शित किया जा सकता है। इसके अतिरिक्त यदि , और योजनाओं का सीमित प्रकार का मानचित्र है, उनके हिल्बर्ट फ़ैक्टर को बीजगणितीय स्थान द्वारा दर्शाया जाता है।

हिल्बर्ट योजनाओं के उदाहरण

हाइपरसर्फेस की फ़ानो योजनाएँ

सामान्यतः हिल्बर्ट योजना के परीक्षण के लिए प्रेरक उदाहरणों में प्रोजेक्टिव योजना की फ़ानो योजना थी। उपयोजना दी गई डिग्री का , स्कीम है में पैरामीटराइज़िंग जहां है -समतल में है, जिसका अर्थ है कि यह डिग्री का एम्बेडिंग है।[4] चिकनी सतहों के लिए डिग्री का , गैर-रिक्त फ़ानो योजनाएँ चिकने और शून्य-आयामी हैं। ऐसा इसलिए है क्योंकि चिकनी सतहों पर रेखाओं का स्व-प्रतिच्छेदन नकारात्मक होता है।[4]

अंकों की हिल्बर्ट योजना

उदाहरणों का अन्य सामान्य समूह हिल्बर्ट योजनाएँ हैं - योजना के बिंदु , सामान्यतः दर्शाया जाता है। के लिए अच्छी ज्यामितीय व्याख्या है जहां सीमा लोकी है, बिंदुओं के प्रतिच्छेदन का वर्णन करते हुए उनके स्पर्शरेखा सदिशों के साथ-साथ बिंदुओं को पैरामीट्रिज़ करने के संबंध में सोचा जा सकता है। उदाहरण के लिए, ब्लोअप है विकर्ण का[5] सममित क्रिया मॉड्यूलो होता है।

डिग्री d हाइपरसर्फेस

डिग्री k हाइपरसर्फेस की हिल्बर्ट योजना प्रक्षेपीकरण द्वारा दिया गया है। उदाहरण के लिए, डिग्री 2 हाइपरसर्फेस की हिल्बर्ट योजना द्वारा दी गई सार्वभौमिक हाइपर सतह के साथ है:

जहां अंतर्निहित वलय को बड़ा किया गया है।

वक्रों की हिल्बर्ट योजना और वक्रों का मापांक

निश्चित जाति के लिए बीजगणितीय वक्र , त्रि-दंशीय दोहरीकरण शीफ की डिग्री विश्व स्तर पर उत्पन्न होता है, जिसका अर्थ है कि इसकी यूलर विशेषता वैश्विक वर्गों के आयाम से निर्धारित होती है, इसलिए;

.

इस सदिश समष्टि का आयाम है, इसलिए के वैश्विक खंड में एम्बेडिंग निर्धारित करें प्रत्येक जाति के लिए वक्र है। रीमैन-रोच सूत्र का उपयोग करके, संबंधित हिल्बर्ट बहुपद की गणना इस प्रकार की जा सकती है:

.

फिर, हिल्बर्ट योजना;

सभी जीनस g वक्रों को मानकीकृत करता है। इस योजना का निर्माण बीजगणितीय वक्रों के मॉड्यूल स्टैक के निर्माण में प्रथम कदम है। अन्य मुख्य प्रौद्योगिकी उपकरण जीआईटी भागफल हैं, क्योंकि इस मॉड्यूलि समिष्ट का निर्माण भागफल के रूप में किया गया है:

,

जहां हिल्बर्ट योजना में चिकने वक्रों का उप-स्थान है।

मैनिफोल्ड पर बिंदुओं की हिल्बर्ट योजना

हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, चूँकि जब कई बिंदु युग्मित होते हैं तो यह छवि अधिक भ्रामक हो सकती है।

बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ प्रकार के चक्रों तक हिल्बर्ट-चाउ रूपवाद है जो किसी भी 0-आयामी योजना को उसके संबंधित 0-चक्र में ले जाता है। (फ़ोगार्टी 1968, 1969, 1973).

हिल्बर्ट योजना M पर n बिंदुओं का , M के n-वें सममित उत्पाद के लिए प्राकृतिक रूपवाद से सुसज्जित है। यह रूपवाद अधिकतम 2 आयाम के M के लिए द्विवार्षिक है। कम से कम 3 आयाम के M के लिए रूपवाद बड़े n के लिए द्विवार्षिक नहीं है: हिल्बर्ट योजना सामान्य रूप से कम करने योग्य है और इसमें सममित उत्पाद की तुलना में आयाम के घटक अधिक बड़े हैं।

वक्र C (आयाम-1 जटिल मैनिफोल्ड) पर बिंदुओं की हिल्बर्ट योजना C की सममित शक्ति के समरूपी है। यह चिकनी है।

किसी सतह पर n बिंदुओं की हिल्बर्ट योजना भी चिकनी (ग्रोथेंडिक) है। यदि , से प्राप्त किया जाता है विकर्ण को उड़ाकर और फिर से विभाजित करके क्रिया से प्रेरित होता है। इसका उपयोग मार्क हैमन ने कुछ मैकडोनाल्ड बहुपदों के गुणांकों की धनात्मकता के प्रमाण में किया था।

3 या अधिक आयाम की चिकनी मैनिफोल्ड की हिल्बर्ट योजना सामान्यतः चिकनी नहीं होती है।

हिल्बर्ट योजनाएं और हाइपरकेहलर ज्यामिति

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

होलोमोर्फिक रूप से सहानुभूतिपूर्ण, काहलर मैनिफोल्ड हाइपरकाहलर है, जैसा कि कैलाबी-यॉ प्रमेय से निम्नानुसार है। K3 सतह पर और 4-आयामी टोरस पर बिंदुओं की हिल्बर्ट योजनाएँ हाइपरकेहलर मैनिफोल्ड्स के उदाहरणों की दो श्रृंखलाएँ देती हैं: K3 पर बिंदुओं की हिल्बर्ट योजना और सामान्यीकृत कुमेर सतह है।

यह भी देखें

संदर्भ

  1. Hartshorne, Robin (2010). विरूपण सिद्धांत. Graduate Texts in Mathematics (in English). New York: Springer-Verlag. pp. 5–6. ISBN 978-1-4419-1595-5.
  2. Artin, M. (2015-12-31), "Algebraization of formal moduli: I", Global Analysis: Papers in Honor of K. Kodaira (PMS-29), Princeton: Princeton University Press, pp. 21–72, doi:10.1515/9781400871230-003, ISBN 978-1-4008-7123-0
  3. "Section 97.9 (0CZX): The Hilbert functor—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-06-17.
  4. 4.0 4.1 "3264 and all that" (PDF). pp. 203, 212.
  5. "समतल पर बिंदुओं की हिल्बर्ट योजना का सामान्य परिचय" (PDF). Archived (PDF) from the original on 26 February 2020.

उदाहरण और अनुप्रयोग

बाहरी संबंध