बीजगणितीय विविधता का फलन क्षेत्र

बीजगणितीय ज्यामिति में, बीजगणितीय विविधता V के फलन क्षेत्र में ऐसे ऑब्जेक्ट होते हैं जिसकी V पर परिमेय फलन के रूप में व्याख्या की जाती है। पारम्परिक बीजगणितीय ज्यामिति में वे बहुपदीय अनुपात हैं; समिश्र बीजगणितीय ज्यामिति में ये मेरोमॉर्फिक फलन और उनके उच्च-विमितीय अनुरूप हैं; आधुनिक बीजगणितीय ज्यामिति में वे  अंशों के कुछ भागफल वलय के क्षेत्र के तत्व हैं।

जटिल कई गुना के लिए परिभाषा
जटिल बीजगणितीय ज्यामिति के अध्ययन का उद्देश्य जटिल विश्लेषणात्मक विविधता हैं, जिसके लिए हमारे पास जटिल विश्लेषण की एक स्थानीय धारणा है तथा उन्ही धारणा के माध्यम से हम मेरोमोर्फिक कार्यों को परिभाषित कर सकते हैं। एक प्रकार का कार्य क्षेत्र विविधता पर सभी मेरोमोर्फिक कार्यों का समुच्चय है। (सभी मेरोमॉर्फिक कार्यों की तरह ये अपने मान $$\mathbb{C}\cup\infty$$ में लेते हैं।) कार्यों के योग और गुणन की संक्रियाओं के साथ यह बीजगणित के अर्थ में एक क्षेत्र है।

रीमैन क्षेत्र के लिए, जो कि सम्मिश्र संख्याओं पर विविधता $$\mathbb{P}^1$$ है, वैश्विक मेरोमॉर्फिक कार्य वस्तुतः तर्कसंगत कार्य हैं (अर्थात, जटिल बहुपद कार्यों के अनुपात)।

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

यादृच्छिक योजना के लिए सामान्यीकरण
आधुनिक योजना सिद्धांत की सबसे सामान्य समुच्चयन में हम बाद के दृष्टिकोण को प्रस्थान के बिंदु के रूप में लेते हैं। अर्थात् यदि $$X$$ एक समाकल योजना है, तो $$X$$ के प्रत्येक विवृत उपसमुच्चय $$U$$ के लिए $$U$$ पर खंडों $$\mathcal{O}_X(U)$$ का वलय एक अभिन्न डोमेन है और इसलिए इसमें खंडों का एक क्षेत्र है। इसके अतिरिक्त यह सत्यापित किया जा सकता है कि ये सभी समान और $$X$$ के सामान्य बिंदु के स्थानीय वलय के समान हैं। इस प्रकार $$X$$ का कार्य क्षेत्र इसके सामान्य बिंदु का स्थानीय वलय है। इस दृष्टिकोण को कार्य क्षेत्र (योजना सिद्धांत) में अधिक विकसित किया गया है। देखें.

कार्य क्षेत्र की ज्यामिति
यदि विविधता V एक क्षेत्र K पर परिभाषित है, तो फलन क्षेत्र K(V) आधार क्षेत्र K का एक परिमित रूप से उत्पन्न क्षेत्र विस्तारण है; इसकी श्रेष्ठता की स्थिति विविधता की बीजगणितीय विविधता के आयाम के समान है। K के सभी विस्तार जो कि K पर क्षेत्रों के रूप में परिमित रूप से उत्पन्न होते हैं, कुछ बीजगणितीय विविधता से इस तरह उत्पन्न होते हैं। इन कार्य क्षेत्र को K पर बीजगणितीय कार्य क्षेत्र के रूप में भी जाना जाता है।

विविधता V के गुण जो केवल कार्य क्षेत्र पर निर्भर करते हैं, उनका अध्ययन बायरेशनल ज्यामिति में किया जाता है।

उदाहरण
K बिंदु पर एक कार्य क्षेत्र K है।

K पर सजातीय रेखा का कार्य क्षेत्र एक चर में तर्कसंगत कार्यों के क्षेत्र K(t) के लिए समरूप है। यह प्रक्षेपी रेखा का कार्य क्षेत्र भी है।

समीकरण $$y^2 = x^5 + 1$$ द्वारा परिभाषित सजातीय समतल वक्र पर विचार करें। इसका कार्य क्षेत्र K (x, y) है, जो तत्वों x और y द्वारा उत्पन्न होता है जो कि K से अधिक श्रेष्ठ हैं और बीजगणितीय संबंध $$y^2 = x^5 + 1$$ को संतुष्ट करते है।

यह भी देखें

 * कार्य क्षेत्र (योजना सिद्धांत): एक सामान्यीकरण
 * बीजगणितीय कार्य क्षेत्र
 * कार्टियर भाजक

संदर्भ

 * , section II.3 First Properties of Schemes exercise 3.6
 * , section II.3 First Properties of Schemes exercise 3.6