हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद

कम्यूटेटिव बीजगणित में, हिल्बर्ट फलन, हिल्बर्ट बहुपद, और एक श्रेणीबद्ध क्रमविनिमेय बीजगणित की हिल्बर्ट श्रृंखला एक क्षेत्र पर सूक्ष्म रूप से उत्पन्न तीन दृढ़ता से संबंधित धारणाएं हैं जो बीजगणित के सजातीय घटकों के आयाम के विकास को मापती हैं।

इन धारणाओं को फ़िल्टर किए गए बीजगणितों तक बढ़ा दिया गया है, और इन बीजगणितों पर वर्गीकृत या फ़िल्टर किए गए गुणांक (गणित) के साथ-साथ प्रोजेक्टिव योजनाओं पर सुसंगत ढेरों के लिए भी बढ़ाया गया है।

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

बीजगणित या एक गुणांक की डेविड हिल्बर्ट श्रृंखला ग्रेडेड वेक्टर स्पेस की हिल्बर्ट-पोंकेयर श्रृंखला की विशेष स्थिति होती है।

कम्प्यूटेशनल बीजगणितीय ज्यामिति में हिल्बर्ट बहुपद और हिल्बर्ट श्रृंखला महत्वपूर्ण हैं, क्योंकि वे स्पष्ट बहुपद समीकरणों द्वारा परिभाषित आयाम और बीजगणितीय विविधता की डिग्री की गणना के लिए सबसे आसान ज्ञात विधि होती हैं। इसके अतिरिक्त, वे बीजगणितीय किस्मों के श्रेणीयों के लिए उपयोगी आविष्कार प्रदान करते हैं क्योंकि एक समतल श्रेणी $$\pi:X \to S$$ में किसी भी बंद बिंदु पर एक ही हिल्बर्ट बहुपद होते है $$s \in S$$. इसका उपयोग हिल्बर्ट योजना और उद्धरण योजना के निर्माण में किया जाता है।

परिभाषाएं और मुख्य गुण
एक क्षेत्र K पर सूक्ष्म रूप से उत्पन्न क्रम विनिमय बीजगणित S पर विचार करें, जो सकारात्मक डिग्री के तत्वों द्वारा अंतिम रूप से उत्पन्न होता है। इस का मतलब है कि
 * $$S = \bigoplus_{i \ge 0} S_i $$

ओर वो $$S_0=K$$.

हिल्बर्ट फलन
 * $$HF_S : n\longmapsto \dim_K S_n$$

$K$-सदिश स्थल $S_{n}$ के आयाम के लिए पूर्णांक $n$ को मानचित्र करता है। हिल्बर्ट श्रृंखला, जिसे ग्रेडेड वेक्टर रिक्त स्थान की अधिक सामान्य सेटिंग में हिल्बर्ट-पोंकेयर श्रृंखला कहा जाता है, औपचारिक श्रृंखला होती है
 * $$HS_S(t)=\sum_{n=0}^{\infty} HF_S(n)t^n.$$

यदि $S$ सकारात्मक डिग्री के द्वारा $h$ सदृश तत्वों द्वारा उत्पन्न होता है $$d_1, \ldots, d_h$$, तो हिल्बर्ट श्रृंखला का योग एक परिमेय भिन्न होता है
 * $$HS_S(t)=\frac{Q(t)}{\prod_{i=1}^h \left (1-t^{d_i} \right )},$$

जहाँ Q पूर्णांक गुणांकों वाला एक बहुपद है।

यदि $S$ डिग्री 1 के तत्वों द्वारा उत्पन्न होता है तो हिल्बर्ट श्रृंखला के योग को फिर से लिखा जा सकता है
 * $$HS_S(t)=\frac{P(t)}{(1-t)^\delta},$$

जहाँ $P$ पूर्णांक गुणांक वाला बहुपद है, और $$\delta$$ $S$ का क्रुल आयाम होता है। इस स्थिति में इस तर्कसंगत अंश का श्रृंखला विस्तार होता है
 * $$HS_S(t)=P(t) \left(1+\delta t+\cdots +\binom{n+\delta-1}{\delta-1} t^n+\cdots\right)$$

जहाँ
 * $$\binom{n+\delta-1}{\delta-1} = \frac{(n+\delta-1)(n+\delta-2)\cdots (n+1)}{(\delta-1)!}$$ के लिए द्विपद गुणांक है $$n>-\delta,$$ और 0 अन्यथा है।

यदि
 * $$P(t)=\sum_{i=0}^d a_it^i,$$

का गुणांक $$t^n$$ में $$HS_S(t)$$ इस प्रकार है
 * $$HF_S(n)= \sum_{i=0}^d a_i \binom{n -i+\delta-1}{\delta-1}.$$

के लिए $$n\ge i-\delta+1,$$ इस योग में सूचकांक $i$ का पद $n$ डिग्री का एक बहुपद है $$\delta-1$$ प्रमुख गुणांक के साथ $$a_i/(\delta-1)!.$$ यह दर्शाता है कि एक अद्वितीय बहुपद सम्मलित है $$HP_S(n)$$ तर्कसंगत गुणांक के साथ जो के बराबर होता है $$HF_S(n)$$ बहुत पर्याप्त n के लिए। यह बहुपद हिल्बर्ट बहुपद है, और इसका रूप है
 * $$HP_S(n)= \frac{P(1)}{(\delta-1)!}n^{\delta-1} + \text{ terms of lower degree in } n. $$

कम से कम $n_{0}$ ऐसा है कि $$HP_S(n)=HF_S(n)$$ के लिए $n ≥ n_{0}$ के लिए हिल्बर्ट नियमितता कहलाती है। डिग्री से कम हो सकता है $$\deg P-\delta+1$$.

हिल्बर्ट बहुपद एक संख्यात्मक बहुपद है, क्योंकि आयाम पूर्णांक हैं, किन्तु बहुपद में लगभग कभी भी पूर्णांक गुणांक नहीं होते हैं.

इन सभी परिभाषाओं को $S$ पर सूक्ष्म रूप से उत्पन्न श्रेणीकृत गुणांक तक बढ़ाया जा सकता है, एकमात्र अंतर के साथ $t^{m}$ हिल्बर्ट श्रृंखला में दिखाई देता है, जहाँ $m$  गुणांक के  जनित्र की न्यूनतम डिग्री होती है, जो नकारात्मक हो सकती है।

हिल्बर्ट फलन, हिल्बर्ट श्रृंखला और फ़िल्टर किए गए बीजगणित के हिल्बर्ट बहुपद संबद्ध ग्रेडेड बीजगणित के होते हैं।

प्रक्षेपी किस्म का हिल्बर्ट बहुपद $V$ में $P^{n}$ को सजातीय समन्वय वलय के हिल्बर्ट बहुपद के रूप में परिभाषित किया गया है $V$.

वर्गीकृत बीजगणित और बहुपद के छल्ले
सजातीय आदर्शों द्वारा बहुपद वलय और उनके भागफल विशिष्ट श्रेणीबद्ध बीजगणित हैं। इसके विपरीत यदि $S$ क्षेत्र में उत्पन्न एक वर्गीकृत बीजगणित है $K$ द्वारा $n$ सजातीय तत्व $g_{1}, ..., g_{n}$ डिग्री 1, फिर नक्शा जो भेजता है $X_{i}$ पर $g_{i}$ श्रेणीबद्ध छल्लों के समरूपता को परिभाषित करें $$R_n=K[X_1,\ldots, X_n]$$ पर $S$. इसका कर्नेल (बीजगणित) एक सजातीय आदर्श है $I$ और यह ग्रेडेड बीजगणित के एक समरूपता को परिभाषित करता है $$R_n/I$$ और $S$.

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

Additivity
हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद अपेक्षाकृत सटीक अनुक्रमों के लिए योगात्मक हैं। अधिक सटीक, यदि
 * $$0 \;\rightarrow\; A\;\rightarrow\; B\;\rightarrow\; C \;\rightarrow\; 0$$

वर्गीकृत या फ़िल्टर किए गए गुणांक का एक सटीक क्रम है, तो हमारे पास है
 * $$HS_B=HS_A+HS_C$$ और
 * $$HP_B=HP_A+HP_C.$$

यह वेक्टर रिक्त स्थान के आयाम के लिए उसी संपत्ति से तुरंत अनुसरण करता है।

एक गैर-शून्य भाजक
द्वारा भागफल

होने देना $A$ एक वर्गीकृत बीजगणित हो और $f$ डिग्री का एक सजातीय तत्व $d$ में $A$ जो शून्य भाजक नहीं है। तो हमारे पास हैं
 * $$HS_{A/(f)}(t)=(1-t^d)\,HS_A(t)\,.$$

यह सटीक क्रम पर योगात्मकता से अनुसरण करता है
 * $$0 \;\rightarrow\; A^{[d]}\; \xrightarrow{f}\; A \;\rightarrow\; A/f\rightarrow\; 0\,,$$

जहां तीर अंकित है $f$ द्वारा गुणा है $f$, और $$A^{[d]}$$ ग्रेडेड गुणांक है जो से प्राप्त किया जाता है $A$ डिग्रियों को स्थानांतरित करके $d$, जिससे गुणा किया जा सके $f$ की डिग्री 0 है। इसका तात्पर्य है कि $$HS_{A^{[d]}}(t)=t^d\,HS_A(t)\,.$$

एक बहुपद वलय की हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद
बहुपद वलय की हिल्बर्ट श्रृंखला $$R_n=K[x_1, \ldots, x_n]$$ में $$n$$ अनिश्चित है
 * $$HS_{R_n}(t) = \frac{1}{(1-t)^{n}}\,.$$

यह इस प्रकार है कि हिल्बर्ट बहुपद है
 * $$ HP_{R_n}(k) = {{k+n-1}\choose{n-1}} = \frac{(k+1)\cdots(k+n-1)}{(n-1)!}\,.$$

सबूत है कि हिल्बर्ट श्रृंखला में यह सरल रूप है, एक गैर शून्य विभाजक द्वारा भागफल के लिए पिछले सूत्र को पुनरावर्ती रूप से लागू करके प्राप्त किया जाता है $$x_n$$) और उस पर टिप्पणी करना $$HS_K(t)=1\,.$$

हिल्बर्ट श्रृंखला का आकार और आयाम
एक वर्गीकृत बीजगणित $A$ डिग्री 1 के सजातीय तत्वों द्वारा उत्पन्न क्रुल आयाम शून्य है यदि अधिकतम सजातीय आदर्श, जो कि डिग्री 1 के सजातीय तत्वों द्वारा उत्पन्न आदर्श है, नीलपोटेंट आदर्श है। इसका तात्पर्य है कि का आयाम $A$ के तौर पर $K$-सदिश स्थान परिमित है और हिल्बर्ट श्रृंखला की $A$ एक बहुपद है $P(t)$ ऐसा है कि $P(1)$ के आयाम के बराबर है $A$ के तौर पर $K$-सदिश स्थल।

यदि क्रुल का आयाम $A$ सकारात्मक है, एक सजातीय तत्व है $f$ घात एक का जो शून्य भाजक नहीं है (वास्तव में घात एक के लगभग सभी तत्वों में यह गुण होता है)। का क्रुल आयाम $A/(f)$ का क्रुल आयाम है $A$ शून्य से एक कम।

हिल्बर्ट श्रृंखला की योगात्मकता यह दर्शाती है $$HS_{A/(f)}(t)=(1-t)\,HS_A(t)$$. के क्रुल आयाम के बराबर इसे कई बार दोहराना $A$, हमें अंततः आयाम 0 का एक बीजगणित मिलता है जिसकी हिल्बर्ट श्रृंखला एक बहुपद है $P(t)$. यह दिखाता है कि हिल्बर्ट श्रृंखला की $A$ है
 * $$HS_A(t)=\frac{P(t)}{(1-t)^d}$$

जहां बहुपद $P(t)$ इस प्रकार कि $P(1) ≠ 0$ और $d$ का क्रुल आयाम है $A$.

हिल्बर्ट श्रृंखला के लिए यह सूत्र बताता है कि हिल्बर्ट बहुपद की डिग्री है $d$, और इसका अग्रणी गुणांक है $$\frac{P(1)}{d!}$$.

प्रक्षेपी किस्म की डिग्री और बेज़ाउट की प्रमेय
हिल्बर्ट श्रृंखला हमें हिल्बर्ट श्रृंखला के अंश के 1 पर मान के रूप में एक बीजगणितीय विविधता की डिग्री की गणना करने की अनुमति देती है। यह बेज़ाउट के प्रमेय का अपेक्षाकृत सरल प्रमाण भी प्रदान करता है।

प्रोजेक्टिव बीजगणितीय सेट और हिल्बर्ट श्रृंखला की डिग्री के बीच संबंध दिखाने के लिए, प्रोजेक्टिव बीजगणितीय सेट पर विचार करें $V$, एक सजातीय आदर्श के शून्य के सेट के रूप में परिभाषित $$I\subset k[x_0, x_1, \ldots, x_n]$$, जहाँ $k$ एक फ़ील्ड है, और चलो $$ R=k[x_0, \ldots, x_n]/I$$ बीजगणितीय सेट पर नियमित कार्यों की अंगूठी बनें।

इस खंड में, किसी को बीजगणितीय सेटों की इरेड्यूसबिलिटी की आवश्यकता नहीं है और न ही आदर्शों की प्रधानता की। इसके अतिरिक्त, हिल्बर्ट श्रृंखला को गुणांक के क्षेत्र, क्षेत्र का विस्तार करके नहीं बदला जाता है $k$ को, व्यापकता की हानि के बिना, बीजगणितीय रूप से संवृत होना माना जाता है।

आयाम $d$ का $V$ क्रुल डायमेंशन माइनस एक के बराबर है $R$, और की डिग्री $V$ चौराहों के बिंदुओं की संख्या है, जिन्हें गुणकों के साथ गिना जाता है $V$ के चौराहे के साथ $$d$$ सामान्य स्थिति में हाइपरप्लेन। इसका तात्पर्य अस्तित्व में है $R$, एक नियमित अनुक्रम का $$h_0, \ldots, h_{d}$$ का $d + 1$ डिग्री एक के सजातीय बहुपद। एक नियमित अनुक्रम की परिभाषा का तात्पर्य सटीक अनुक्रमों के अस्तित्व से है
 * $$0 \longrightarrow \left(R/\langle h_0,\ldots, h_{k-1}\rangle \right)^{[1]} \stackrel{h_k}{\longrightarrow} R/\langle h_1,\ldots, h_{k-1}\rangle \longrightarrow R/\langle h_1,\ldots, h_k \rangle \longrightarrow 0,$$

के लिए $$k=0, \ldots, d.$$ इसका अर्थ यह है कि
 * $$HS_{R/\langle h_0, \ldots, h_{d-1}\rangle}(t) = (1-t)^d\,HS_R(t)=\frac{P(t)}{1-t},$$

जहाँ $$ P(t)$$ की हिल्बर्ट श्रृंखला का अंश है $R$.

अंगूठी $$R_1=R/\langle h_0, \ldots, h_{d-1}\rangle$$ क्रुल आयाम एक है, और एक प्रोजेक्टिव बीजगणितीय सेट के नियमित कार्यों की अंगूठी है $$V_0$$ आयाम 0 में अंकों की एक परिमित संख्या होती है, जो कई बिंदु हो सकते हैं। जैसा $$h_d$$ एक नियमित अनुक्रम से संबंधित है, इनमें से कोई भी बिंदु समीकरण के हाइपरप्लेन से संबंधित नहीं है $$h_d=0.$$ इस हाइपरप्लेन का पूरक एक affine अंतरिक्ष है जिसमें शामिल है $$V_0.$$ यह बनाता है $$V_0$$ एक affine बीजगणितीय सेट, जिसमें है $$R_0 = R_1/\langle h_d-1\rangle$$ इसके नियमित कार्यों की अंगूठी के रूप में। रैखिक बहुपद $$h_d-1$$ में शून्य भाजक नहीं है $$R_1,$$ और इस प्रकार एक सटीक अनुक्रम होता है
 * $$0 \longrightarrow R_1 \stackrel{h_d-1}{\longrightarrow} R_1 \longrightarrow R_0 \longrightarrow 0,$$

जिसका तात्पर्य है
 * $$HS_{R_0}(t) = (1-t)HS_{R_1}(t) = P(t).$$

यहां हम #filtered का उपयोग कर रहे हैं, और तथ्य यह है कि ग्रेडेड बीजगणित की हिल्बर्ट श्रृंखला फ़िल्टर्ड बीजगणित के रूप में इसकी हिल्बर्ट श्रृंखला भी है।

इस प्रकार $$R_0$$ एक आर्टिनियन रिंग है, जो कि ए है $k$-आयाम का सदिश स्थान $P(1)$, और जॉर्डन-होल्डर प्रमेय को साबित करने के लिए इस्तेमाल किया जा सकता है $P(1)$ बीजगणितीय सेट की डिग्री है $V$. वास्तव में, एक बिंदु की बहुलता एक रचना श्रृंखला में संबंधित अधिकतम आदर्श की घटनाओं की संख्या है।

बेज़ाउट के प्रमेय को सिद्ध करने के लिए, इसी तरह आगे बढ़ सकते हैं। यदि $$f$$ डिग्री का एक सजातीय बहुपद है $$\delta$$, जो शून्य भाजक नहीं है $R$, सटीक अनुक्रम
 * $$0 \longrightarrow R^{[\delta]} \stackrel{f}{\longrightarrow} R \longrightarrow R/\langle f\rangle \longrightarrow 0,$$

पता चलता है कि
 * $$HS_{R/\langle f \rangle}(t)= \left (1-t^\delta \right )HS_R(t).$$

अंशों को देखते हुए यह बेज़ाउट के प्रमेय के निम्नलिखित सामान्यीकरण को सिद्ध करता है:


 * प्रमेय - यदि $f$ डिग्री का एक सजातीय बहुपद है $$\delta$$, जो शून्य भाजक नहीं है $R$, फिर के प्रतिच्छेदन की डिग्री $V$ द्वारा परिभाषित हाइपरसफेस के साथ $$f$$ की डिग्री का उत्पाद है $V$ द्वारा $$\delta.$$

अधिक ज्यामितीय रूप में, इसे इस प्रकार दोहराया जा सकता है:


 * प्रमेय - यदि डिग्री की एक प्रक्षेपी हाइपरसफेस $d$ में डिग्री के बीजगणितीय सेट का कोई अलघुकरणीय घटक नहीं होता है $δ$, तो उनके प्रतिच्छेदन की डिग्री है $dδ$.

सामान्य बेज़ाउट के प्रमेय को आसानी से एक हाइपरसफेस से शुरू करके, और इसके साथ प्रतिच्छेद करके निकाला जाता है $n − 1$ अन्य हाइपरसर्फ्स, एक के बाद एक।

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

होने देना $$f_1, \ldots, f_k$$ होना $k$ में सजातीय बहुपद $$R=K[x_1, \ldots, x_n]$$, संबंधित डिग्री के $$\delta_1, \ldots, \delta_k.$$ सेटिंग $$R_i=R/\langle f_1, \ldots, f_i\rangle,$$ one में निम्नलिखित सटीक क्रम हैं
 * $$0 \;\rightarrow\; R_{i-1}^{[\delta_i]}\; \xrightarrow{f_i}\; R_{i-1} \;\rightarrow\; R_i\; \rightarrow\; 0\,.$$

हिल्बर्ट श्रृंखला की योज्यता का तात्पर्य इस प्रकार है
 * $$HS_{R_i}(t)=(1-t^{\delta_i})HS_{R_{i-1}}(t)\,.$$

एक साधारण रिकर्सन देता है
 * $$HS_{R_k}(t)=\frac{(1-t^{\delta_1})\cdots (1-t^{\delta_k})}{(1-t)^n}= \frac{(1+t+\cdots+t^{\delta_1})\cdots (1+t+\cdots+t^{\delta_k})}{(1-t)^{n-k}}\,.$$

इससे पता चलता है कि पूर्ण चौराहा एक नियमित अनुक्रम द्वारा परिभाषित किया गया है $k$ बहुपद का कोडिमेंशन होता है $k$, और इसकी डिग्री अनुक्रम में बहुपदों की डिग्री का गुणनफल है।

मुक्त संकल्पों से सम्बन्ध
हर वर्गीकृत गुणांक $M$ एक श्रेणीबद्ध नियमित रिंग पर $R$ हिल्बर्ट के सिज़ीजी प्रमेय के कारण एक वर्गीकृत मुक्त रिज़ॉल्यूशन है, जिसका अर्थ है कि एक सटीक अनुक्रम मौजूद है
 * $$ 0 \to L_k \to \cdots \to L_1 \to M \to 0,$$

जहां $$L_i$$ मुक्त गुणांक वर्गीकृत हैं, और तीर डिग्री शून्य के रैखिक मानचित्र हैं।

हिल्बर्ट श्रृंखला की योगात्मकता का तात्पर्य है
 * $$HS_M(t) =\sum_{i=1}^k (-1)^{i-1}HS_{L_i}(t).$$

यदि $$R=k[x_1, \ldots, x_n]$$ एक बहुपद वलय है, और यदि कोई आधार तत्वों की डिग्री जानता है $$L_i,$$ तो पूर्ववर्ती वर्गों के सूत्र कटौती की अनुमति देते हैं $$HS_M(t)$$ से $$HS_R(t) = 1/(1-t)^n.$$ वास्तव में, इन सूत्रों का अर्थ है कि, यदि एक श्रेणीबद्ध मुक्त गुणांक $L$ का आधार है $h$ डिग्री के सजातीय तत्व $$\delta_1, \ldots, \delta_h,$$ तो इसकी हिल्बर्ट श्रृंखला है
 * $$HS_L(t) = \frac{t^{\delta_1}+\cdots +t^{\delta_h}}{(1-t)^n}.$$

हिल्बर्ट श्रृंखला की गणना के लिए इन सूत्रों को एक तरीके के रूप में देखा जा सकता है। यह शायद ही कभी मामला है, जैसा कि ज्ञात एल्गोरिदम के साथ, हिल्बर्ट श्रृंखला की गणना और एक मुक्त संकल्प की गणना उसी ग्रोबनेर आधार से शुरू होती है, जिससे हिल्बर्ट श्रृंखला सीधे एक कम्प्यूटेशनल जटिलता के साथ गणना की जा सकती है जो उच्चतर नहीं है इससे मुक्त संकल्प की गणना की जटिलता <!-- आइए इस खंड पर टिप्पणी करें और फिर इन मुक्त संकल्पों का उपयोग करके हिल्बर्ट बहुपद संगणनाओं को जोड़ें।

हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपद
की गणना

हिल्बर्ट बहुपद हिल्बर्ट श्रृंखला से आसानी से घटाया जा सकता है (देखें # परिभाषाएँ और मुख्य गुण)। यह खंड वर्णन करता है कि हिल्बर्ट श्रृंखला की गणना कैसे की जा सकती है, एक बहुपद अंगूठी के भागफल के मामले में, कुल डिग्री द्वारा फ़िल्टर या वर्गीकृत किया जाता है।

इस प्रकार K को एक क्षेत्र दें, $$R=K[x_1,\ldots,x_n]$$ एक बहुपद वलय हो और मैं R में एक आदर्श हो। H को I के तत्वों के उच्चतम डिग्री के सजातीय भागों द्वारा उत्पन्न सजातीय आदर्श होने दें। यदि I सजातीय है, तो H = I। अंत में बी को एक मोनोमियल ऑर्डरिंग के लिए I का ग्रोबनर आधार होने दें, जो कुल डिग्री आंशिक ऑर्डरिंग को परिष्कृत करता है और जी (सजातीय) आदर्श बी के तत्वों के प्रमुख मोनोमियल्स द्वारा उत्पन्न होता है।

हिल्बर्ट श्रृंखला की गणना इस तथ्य पर आधारित है कि फ़िल्टर किए गए बीजगणित आर/आई और वर्गीकृत बीजगणित आर/एच और आर/जी में एक ही हिल्बर्ट श्रृंखला है।

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

अधिकांश कंप्यूटर बीजगणित प्रणालियों में हिल्बर्ट श्रृंखला और हिल्बर्ट बहुपदों की गणना उपलब्ध है। उदाहरण के लिए मेपल (सॉफ्टवेयर) और मैग्मा (सॉफ्टवेयर) दोनों में इन कार्यों को हिल्बर्ट सीरीज और हिल्बर्ट पॉलीनोमियल नाम दिया गया है।

सुसंगत ढेरों का सामान्यीकरण
बीजगणितीय ज्यामिति में, डिग्री 1 के तत्वों द्वारा उत्पन्न ग्रेडेड रिंग प्रोज निर्माण  द्वारा प्रोजेक्टिव स्कीम तैयार करते हैं जबकि बारीक रूप से उत्पन्न ग्रेडेड मॉड्यूल सुसंगत शेवों के अनुरूप होते हैं। अगर $$\mathcal{F}$$ एक प्रोजेक्टिव स्कीम एक्स पर एक सुसंगत शीफ है, हम हिल्बर्ट बहुपद को परिभाषित करते हैं $$\mathcal{F}$$ एक समारोह के रूप में $$p_{\mathcal{F}}(m) = \chi(X, \mathcal{F}(m))$$, जहां χ सुसंगत शीफ की यूलर विशेषता है, और $$\mathcal{F}(m)$$ एक गंभीर मोड़। इस मामले में यूलर की विशेषता सुसंगत शीफ कोहोलॉजी # कोहोलॉजी की परिमित-आयामीता | ग्रोथेंडिक की परिमितता प्रमेय द्वारा एक अच्छी तरह से परिभाषित संख्या है।

यह कार्य वास्तव में एक बहुपद है। बड़े मी के लिए यह मंद से सहमत है $$H^0(X, \mathcal{F}(m))$$ सुसंगत शीफ कोहोलॉजी द्वारा#वैनिशिंग प्रमेय|सेरे की वैनिशिंग प्रमेय। यदि एम एक अंतिम रूप से उत्पन्न ग्रेडेड मॉड्यूल है और $$\tilde{M}$$ संबंधित सुसंगत शीफ हिल्बर्ट बहुपद की दो परिभाषाएँ सहमत हैं।

वर्गीकृत मुक्त संकल्प
एक प्रोजेक्टिव विविधता पर सुसंगत ढेरों की श्रेणी के बाद से $$X$$ ग्रेडेड-मॉड्यूल मॉड्यूलो की श्रेणी के बराबर ग्रेडेड-टुकड़ों की एक सीमित संख्या है, हम सुसंगत शेवों के हिल्बर्ट बहुपदों के निर्माण के लिए पिछले अनुभाग में परिणामों का उपयोग कर सकते हैं। उदाहरण के लिए, एक पूर्ण चौराहा $$X$$ बहु डिग्री का $$(d_1,d_2)$$ संकल्प है

0 \to \mathcal{O}_{\mathbb{P}^n}(-d_1-d_2) \xrightarrow{\begin{bmatrix} f_2 \\ -f_1 \end{bmatrix}} \mathcal{O}_{\mathbb{P}^n}(-d_1)\oplus\mathcal{O}_{\mathbb{P}^n}(-d_2) \xrightarrow{\begin{bmatrix}f_1 & f_2 \end{bmatrix}} \mathcal{O}_{\mathbb{P}^n} \to \mathcal{O}_X \to 0 $$

यह भी देखें

 * Castelnuovo–Mumford नियमितता
 * हिल्बर्ट योजना
 * उद्धरण योजना

संदर्भ


-->