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

From Vigyanwiki
(Created page with "{{Short description|Moduli scheme of subschemes of a scheme, represents the flat-family-of-subschemes functor}} बीजीय ज्यामिति में, गणि...")
 
No edit summary
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=Alexander|last= Grothendieck|authorlink=Alexander Grothendieck|year=1961|txt}}. हिरोनका के उदाहरण से पता चलता है कि गैर-प्रोजेक्टिव किस्मों के लिए हिल्बर्ट योजनाएँ आवश्यक नहीं हैं।
बीजीय ज्यामिति में, गणित की शाखा, हिल्बर्ट योजना [[योजना सिद्धांत]] है जो कुछ प्रक्षेप्य स्थान (या अधिक सामान्य प्रक्षेप्य योजना) के बंद उप-योजनाओं के लिए पैरामीटर स्थान है, जो चाउ विविधता को परिष्कृत करती है। हिल्बर्ट योजना [[हिल्बर्ट बहुपद]]ों के अनुरूप [[प्रक्षेप्य उपयोजना]]ओं का असंयुक्त संघ है। हिल्बर्ट योजनाओं का मूल सिद्धांत किसके द्वारा विकसित किया गया था? {{harvs|first=Alexander|last= Grothendieck|authorlink=Alexander Grothendieck|year=1961|txt}}. हिरोनका के उदाहरण से पता चलता है कि गैर-प्रोजेक्टिव किस्मों के लिए हिल्बर्ट योजनाएँ आवश्यक नहीं हैं।


==प्रक्षेप्य स्थान की हिल्बर्ट योजना==
==प्रक्षेप्य स्थान की हिल्बर्ट योजना==
Line 9: Line 9:


===निर्धारक किस्म के रूप में निर्माण===
===निर्धारक किस्म के रूप में निर्माण===
ग्रोथेंडिक ने हिल्बर्ट योजना का निर्माण किया <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></blockquote>हमारे पास है <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>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>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>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'')}} की रैंक अधिकतम है {{math|dim(''I<sub>X</sub>''(''k'' + ''m''))}} सभी सकारात्मक के लिए {{mvar|k}}, जो विभिन्न निर्धारकों के लुप्त होने के बराबर है। (अधिक सावधानीपूर्वक विश्लेषण से पता चलता है कि इसे लेना ही पर्याप्त है {{math|''k'' {{=}} 1}}.)
इस छवि पर योजना संरचना का वर्णन करना बाकी है, दूसरे शब्दों में इसके अनुरूप आदर्श के लिए पर्याप्त तत्वों का वर्णन करना बाकी है। ऐसे पर्याप्त तत्व मानचित्र की शर्तों द्वारा दिए गए हैं {{math|''I<sub>X</sub>''(''m'') ⊗ ''S''(''k'') → ''S''(''k'' + ''m'')}} की रैंक अधिकतम है {{math|dim(''I<sub>X</sub>''(''k'' + ''m''))}} सभी सकारात्मक के लिए {{mvar|k}}, जो विभिन्न निर्धारकों के लुप्त होने के बराबर है। (अधिक सावधानीपूर्वक विश्लेषण से पता चलता है कि इसे लेना ही पर्याप्त है {{math|''k'' {{=}} 1}}.)
Line 20: Line 20:


==== सार्वभौमिकता ====
==== सार्वभौमिकता ====
एक बंद उपयोजना दी गई है <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> अबाधित है.
Line 36: Line 34:
यदि <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=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> गैर-रिक्त है तो यह रैखिक रूप से जुड़ा हुआ है। तो प्रक्षेप्य स्थान की दो उप-योजनाएं हिल्बर्ट योजना के ही जुड़े हुए घटक में हैं यदि और केवल तभी जब उनके पास ही हिल्बर्ट बहुपद हो।


हिल्बर्ट योजनाओं में खराब विलक्षणताएं हो सकती हैं, जैसे अपरिवर्तनीय घटक जो सभी बिंदुओं पर गैर-कम होते हैं। उनमें अप्रत्याशित रूप से उच्च आयाम के अपरिवर्तनीय घटक भी हो सकते हैं। उदाहरण के लिए, कोई हिल्बर्ट योजना की अपेक्षा कर सकता है {{mvar|d}} अंक (अधिक सटीक आयाम 0, लंबाई {{mvar|d}} आयाम की एक योजना की उपयोजनाएँ)। {{mvar|n}} आयाम होना {{mvar|dn}}, लेकिन अगर {{math|''n'' ≥ 3}} इसके अपरिवर्तनीय घटकों का आयाम बहुत बड़ा हो सकता है।
हिल्बर्ट योजनाओं में खराब विलक्षणताएं हो सकती हैं, जैसे अपरिवर्तनीय घटक जो सभी बिंदुओं पर गैर-कम होते हैं। उनमें अप्रत्याशित रूप से उच्च आयाम के अपरिवर्तनीय घटक भी हो सकते हैं। उदाहरण के लिए, कोई हिल्बर्ट योजना की अपेक्षा कर सकता है {{mvar|d}} अंक (अधिक सटीक आयाम 0, लंबाई {{mvar|d}} आयाम की योजना की उपयोजनाएँ)। {{mvar|n}} आयाम होना {{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></blockquote>संबंधित योजना भेजने वाला फ़नकार बनें <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 52: Line 50:
\end{matrix}
\end{matrix}
: Z \to T \text{ is flat}
: Z \to T \text{ is flat}
\right\} / \sim </math></blockquote>जहां तुल्यता संबंध समरूपता वर्गों द्वारा दिया जाता है <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>
को टी भेज रहा हूँ
को टी भेज रहा हूँ
Line 68: Line 64:
\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> सममित क्रिया मॉड्यूलो.


=== डिग्री डी हाइपरसर्फेस ===
=== डिग्री डी हाइपरसर्फेस ===
Line 85: Line 79:


=== वक्रों की हिल्बर्ट योजना और वक्रों का मापांक ===
=== वक्रों की हिल्बर्ट योजना और वक्रों का मापांक ===
एक निश्चित जाति के लिए <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>.
फिर, हिल्बर्ट योजना
फिर, हिल्बर्ट योजना
Line 98: Line 92:
  हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, हालांकि जब कई बिंदु मेल खाते हैं तो यह तस्वीर बहुत भ्रामक हो सकती है।
  हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, हालांकि जब कई बिंदु मेल खाते हैं तो यह तस्वीर बहुत भ्रामक हो सकती है।


बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ किस्म के चक्रों तक एक हिल्बर्ट-चाउ रूपवाद है जो किसी भी 0-आयामी योजना को उसके संबंधित 0-चक्र में ले जाता है। {{harvs|last=Fogarty|year1=1968|year2=1969|year3=1973}}.
बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ किस्म के चक्रों तक हिल्बर्ट-चाउ रूपवाद है जो किसी भी 0-आयामी योजना को उसके संबंधित 0-चक्र में ले जाता है। {{harvs|last=Fogarty|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}}: हिल्बर्ट योजना सामान्य रूप से कम करने योग्य है और इसमें सममित उत्पाद की तुलना में आयाम के घटक बहुत बड़े हैं।
हिल्बर्ट योजना <math>M^{[n]}</math> का {{mvar|n}} अंक पर {{mvar|M}} प्राकृतिक रूपवाद से सुसज्जित है {{mvar|n}}-वाँ सममित उत्पाद {{mvar|M}}. यह रूपवाद द्विवार्षिक है {{mvar|M}}अधिकतम आयाम का 2. के लिए {{mvar|M}} आयाम का कम से कम 3 आकारवाद बड़े के लिए द्विवार्षिक नहीं है {{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>. इसका उपयोग [[ मार्क हाईमन ]] ने कुछ [[मैकडोनाल्ड बहुपद]]ों के गुणांकों की सकारात्मकता के प्रमाण में किया था।
Line 109: Line 103:


== हिल्बर्ट योजनाएं और हाइपरकेहलर ज्यामिति ==
== हिल्बर्ट योजनाएं और हाइपरकेहलर ज्यामिति ==
होने देना {{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 138: Line 132:
*{{Citation | last1=Nitsure | first1=Nitin | title=Fundamental algebraic geometry | arxiv=math/0504590 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Math. Surveys Monogr. | mr=2223407 | year=2005 | volume=123 | chapter=Construction of Hilbert and Quot schemes | pages=105–137| bibcode=2005math......4590N }}
*{{Citation | last1=Nitsure | first1=Nitin | title=Fundamental algebraic geometry | arxiv=math/0504590 | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Math. Surveys Monogr. | mr=2223407 | year=2005 | volume=123 | chapter=Construction of Hilbert and Quot schemes | pages=105–137| bibcode=2005math......4590N }}
*{{Citation | last1=Qin | first1=Zhenbo | title=Hilbert schemes of points and infinite dimensional Lie algebras | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Mathematical Surveys and Monographs | isbn=978-1-4704-4188-3 | year=2018 | volume=228}}
*{{Citation | last1=Qin | first1=Zhenbo | title=Hilbert schemes of points and infinite dimensional Lie algebras | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Mathematical Surveys and Monographs | isbn=978-1-4704-4188-3 | year=2018 | volume=228}}
=== उदाहरण और अनुप्रयोग ===
=== उदाहरण और अनुप्रयोग ===


Line 152: Line 142:
*{{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 }}
{{Authority control}}
[[Category: योजना सिद्धांत]] [[Category: बीजगणितीय ज्यामिति]] [[Category: विभेदक ज्यामिति]] [[Category: मोडुली सिद्धांत]]  
[[Category: योजना सिद्धांत]] [[Category: बीजगणितीय ज्यामिति]] [[Category: विभेदक ज्यामिति]] [[Category: मोडुली सिद्धांत]]  



Revision as of 09:03, 13 July 2023

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

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

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

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

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

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

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

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

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

गुण[1]

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

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

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

स्पर्शरेखा स्थान

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

पूर्ण चौराहों की अबाधितता

स्थानीय पूर्ण चौराहों के लिए ऐसा है कि , बिंदु चिकना है. इसका तात्पर्य प्रत्येक विरूपण सिद्धांत से है में अबाधित है.

स्पर्शरेखा स्थान का आयाम

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

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

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

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

हिल्बर्ट योजना की वैकल्पिक व्याख्या है जो सापेक्ष हिल्बर्ट योजनाओं के सामान्यीकरण की ओर ले जाती है जो सापेक्ष योजना की उप-योजनाओं को मानकीकृत करती है। निश्चित आधार योजना के लिए , होने देना और चलो<ब्लॉककोट>संबंधित योजना भेजने वाला फ़नकार बनें सेट<ब्लॉककोट> के समरूपता वर्गों के सेट के लिएजहां तुल्यता संबंध समरूपता वर्गों द्वारा दिया जाता है . यह निर्माण परिवारों की मुश्किलों को ध्यान में रखकर किया गया है। दिया गया , परिवार है ऊपर .

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

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

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

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

को टी भेज रहा हूँ

.

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

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

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

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

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

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

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

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

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

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

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

.

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

.

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

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

,

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

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

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

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

हिल्बर्ट योजना का n अंक पर M प्राकृतिक रूपवाद से सुसज्जित है n-वाँ सममित उत्पाद M. यह रूपवाद द्विवार्षिक है Mअधिकतम आयाम का 2. के लिए M आयाम का कम से कम 3 आकारवाद बड़े के लिए द्विवार्षिक नहीं है 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.

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

बाहरी संबंध