हिल्बर्ट योजना: Difference between revisions
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}} द्वारा विकसित किया गया था। हिरोनका के उदाहरण से ज्ञात होता है कि गैर-प्रोजेक्टिव प्रकार के लिए हिल्बर्ट योजनाएँ आवश्यक नहीं हैं। | |||
==प्रक्षेप्य समिष्ट की हिल्बर्ट योजना== | ==प्रक्षेप्य समिष्ट की हिल्बर्ट योजना== | ||
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>\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>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>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>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>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>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^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= | इन गुणों के अतिरिक्त, {{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|n}} की योजना के {{mvar|d}} बिंदुओं (अधिक त्रुटिहीन आयाम 0, लंबाई {{mvar|d}} उपयोजनाओं) की हिल्बर्ट योजना से आयाम {{mvar|dn}} होने की अपेक्षा कर सकता है, किन्तु यदि {{math|''n'' ≥ 3}} है तो इसके अपरिवर्तनीय घटकों का आयाम बहुत बड़ा हो सकता है। | ||
== कार्यात्मक व्याख्या == | == कार्यात्मक व्याख्या == | ||
हिल्बर्ट योजना की | हिल्बर्ट योजना की वैकल्पिक व्याख्या है जो सापेक्ष हिल्बर्ट योजनाओं के सामान्यीकरण की ओर ले जाती है जो सापेक्ष योजना की उप-योजनाओं को मानकीकृत करती है। निश्चित आधार योजना के लिए <math>S</math>, मान लीजिये <math>X \in (Sch/S)</math> और | ||
<math>\underline{ | |||
\text{Hilb} | \text{Hilb} | ||
}_{X/S}:(Sch/S)^{op} \to Sets</math>संबंधित योजना भेजने वाला | }_{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>जहां तुल्यता संबंध समरूपता वर्गों | \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> प्रक्षेप्य है, तो इस | यदि संरचना मानचित्र <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>\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>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> सममित क्रिया मॉड्यूलो होता है। | ||
=== डिग्री | === डिग्री d हाइपरसर्फेस === | ||
डिग्री k हाइपरसर्फेस की हिल्बर्ट योजना <math>\mathbb{P}^n</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>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> हिल्बर्ट योजना में चिकने वक्रों का उप-स्थान है। | |||
== मैनिफोल्ड पर बिंदुओं की हिल्बर्ट योजना == | == मैनिफोल्ड पर बिंदुओं की हिल्बर्ट योजना == | ||
हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, | हिल्बर्ट योजना कभी-कभी किसी योजना पर 0-आयामी उप-योजनाओं की समयनिष्ठ हिल्बर्ट योजना को संदर्भित करती है। अनौपचारिक रूप से इसे किसी योजना पर बिंदुओं के सीमित संग्रह के रूप में सोचा जा सकता है, चूँकि जब कई बिंदु युग्मित होते हैं तो यह छवि अधिक भ्रामक हो सकती है। | ||
बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ | बिंदुओं की कम हिल्बर्ट योजना से लेकर चाउ प्रकार के चक्रों तक हिल्बर्ट-चाउ रूपवाद है जो किसी भी 0-आयामी योजना को उसके संबंधित 0-चक्र में ले जाता है। {{harvs|last=फ़ोगार्टी|year1=1968|year2=1969|year3=1973}}. | ||
हिल्बर्ट योजना <math>M^{[n]}</math> | हिल्बर्ट योजना {{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|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> हार्टोग्स के सिद्धांत द्वारा विस्तारित किया गया है। | |||
होलोमोर्फिक रूप से सहानुभूतिपूर्ण, काहलर मैनिफोल्ड | होलोमोर्फिक रूप से सहानुभूतिपूर्ण, काहलर मैनिफोल्ड हाइपरकाहलर है, जैसा कि कैलाबी-यॉ प्रमेय से निम्नानुसार है। 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: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 पर बिंदुओं की हिल्बर्ट योजना और सामान्यीकृत कुमेर सतह है।
यह भी देखें
- उद्धरण योजना
- कास्टेलनुवो-मम्फोर्ड नियमितता
- मात्सुसाका का बड़ा प्रमेय
- बीजगणितीय वक्रों का मापांक
- मोडुली समिष्ट
- हिल्बर्ट मॉड्यूलर सतह
- सीगल मॉड्यूलर प्रकार
संदर्भ
- ↑ Hartshorne, Robin (2010). विरूपण सिद्धांत. Graduate Texts in Mathematics (in English). New York: Springer-Verlag. pp. 5–6. ISBN 978-1-4419-1595-5.
- ↑ 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
- ↑ "Section 97.9 (0CZX): The Hilbert functor—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-06-17.
- ↑ 4.0 4.1 "3264 and all that" (PDF). pp. 203, 212.
- ↑ "समतल पर बिंदुओं की हिल्बर्ट योजना का सामान्य परिचय" (PDF). Archived (PDF) from the original on 26 February 2020.
- Beauville, Arnaud (1983), "Variétés Kähleriennes dont la première classe de Chern est nulle", Journal of Differential Geometry, 18 (4): 755–782, doi:10.4310/jdg/1214438181, MR 0730926
- I. Dolgachev (2001) [1994], "Hilbert scheme", Encyclopedia of Mathematics, EMS Press
- Fantechi, Barbara; Göttsche, Lothar; Illusie, Luc; Kleiman, Steven L.; Nitsure, Nitin; Vistoli, Angelo (2005), Fundamental algebraic geometry, Mathematical Surveys and Monographs, vol. 123, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3541-8, MR 2222646
- Fogarty, John (1968), "Algebraic families on an algebraic surface", American Journal of Mathematics, The Johns Hopkins University Press, 90 (2): 511–521, doi:10.2307/2373541, JSTOR 2373541, MR 0237496
- Fogarty, John (1969), "Truncated Hilbert functors", Journal für die reine und angewandte Mathematik, 234: 65–88, MR 0244268, archived from the original on 2013-02-12
- Fogarty, John (1973), "Algebraic families on an algebraic surface. II. The Picard scheme of the punctual Hilbert scheme", American Journal of Mathematics, Johns Hopkins University Press, 95 (3): 660–687, doi:10.2307/2373734, JSTOR 2373734, MR 0335512
- Göttsche, Lothar (1994), Hilbert schemes of zero-dimensional subschemes of smooth varieties, Lecture Notes in Mathematics, vol. 1572, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0073491, ISBN 978-3-540-57814-7, MR 1312161
- Grothendieck, Alexander (1961), Techniques de construction et théorèmes d'existence en géométrie algébrique. IV. Les schémas de Hilbert, Séminaire Bourbaki 221 Reprinted in Adrien Douady; Roger Godement; Alain Guichardet ... (1995), Séminaire Bourbaki, Vol. 6, Paris: Société Mathématique de France, pp. 249–276, ISBN 2-85629-039-6, MR 1611822
- Hartshorne, Robin (1966), "Connectedness of the Hilbert scheme", Publications Mathématiques de l'IHÉS (29): 5–48, MR 0213368
- Macaulay, Francis Sowerby (1927), "Some properties of enumeration in the theory of modular systems", Proceedings of the London Mathematical Society, Series 2, 26: 531–555, doi:10.1112/plms/s2-26.1.531
- Mumford, David (1966-08-21), Lectures on Curves on an Algebraic Surface, Annals of Mathematics Studies, vol. 59, Princeton University Press, ISBN 978-0-691-07993-6
- Nakajima, Hiraku (1999), Lectures on Hilbert schemes of points on surfaces, University Lecture Series, vol. 18, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1956-2, MR 1711344
- Nitsure, Nitin (2005), "Construction of Hilbert and Quot schemes", Fundamental algebraic geometry, Math. Surveys Monogr., vol. 123, Providence, R.I.: American Mathematical Society, pp. 105–137, arXiv:math/0504590, Bibcode:2005math......4590N, MR 2223407
- Qin, Zhenbo (2018), Hilbert schemes of points and infinite dimensional Lie algebras, Mathematical Surveys and Monographs, vol. 228, Providence, R.I.: American Mathematical Society, ISBN 978-1-4704-4188-3
उदाहरण और अनुप्रयोग
- arxiv:alg-geom/9411005|बॉट का सूत्र और गणनात्मक ज्यामिति
- मुड़े हुए घनों की संख्या क्विंटिक थ्रीफोल्ड पर
- कैलाबी-याउ थ्रीफोल्ड्स पर तर्कसंगत वक्र: दर्पण समरूपता भविष्यवाणियों का सत्यापन
बाहरी संबंध
- Bertram, Aaron (1999), Construction of the Hilbert scheme, retrieved 2008-09-06
- Bolognese, Barbara; Losev, Ivan, A general introduction to the Hilbert scheme of points on the plane (PDF), archived from the original on 2017-08-30
{{citation}}
: CS1 maint: bot: original URL status unknown (link) - Maclagan, Diane, Notes on Hilbert Schemes (PDF), archived from the original on 2016-03-07
{{citation}}
: CS1 maint: bot: original URL status unknown (link)