रीमैन-रोच प्रमेय

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

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

प्रारंभिक धारणाएँ
रीमैन सतह $$X$$ इसके अतिरिक्त, इन विवृत उपसमुच्चय के बीच संक्रमण मानचित्र का होलोमोर्फिक फलन होना आवश्यक है। इसके पश्चात् की स्थिति किसी को $$\Complex$$ पर होलोमोर्फिक और मेरोमोर्फिक कार्यों से संबंधित समिष्ट विश्लेषण की धारणाओं और तरीकों को सतह $$X$$ पर स्थानांतरित करने की अनुमति देती है। रीमैन-रोच प्रमेय के प्रयोजनों के लिए, सतह $$X$$ को सदैव कॉम्पैक्ट माना जाता है। साधारण की भाषा में, रीमैन सतह का जीनस G उसके हैंडल की संख्या है; उदाहरण के लिए दाईं ओर दिखाई गई रीमैन सतह का जीनस तीन है। अधिक स्पष्ट रूप से, जीनस को पहली बेट्टी संख्या के आधे के रूप में परिभाषित किया गया है, अर्थात, समिष्ट गुणांक वाले पहले एकवचन होमोलॉजी समूह के $$\Complex$$ -आयाम के आधे के रूप में परिभाषित किया गया है। जीनस कॉम्पैक्ट रीमैन सतहों को होमोमोर्फिज्म $$H_1(X, \Complex)$$ तक वर्गीकृत करता है, अर्थात, दो ऐसी सतहें होमोमोर्फिक होती हैं यदि और केवल तभी जब उनका जीनस समान होटी है। इसलिए, जीनस रीमैन सतह का एक महत्वपूर्ण टोपोलॉजिकल इनवेरिएंट है। दूसरी ओर, हॉज सिद्धांत से पता चलता है कि जीनस एक्स पर होलोमोर्फिक वन-फॉर्म के समिष्ट के $$\Complex$$ -आयाम के साथ मेल खाता है, इसलिए जीनस रीमैन सतह के बारे में समिष्ट-विश्लेषणात्मक जानकारी को भी एन्कोड करता है।

एक भाजक (बीजगणितीय ज्यामिति) या वेइल भाजक $$D$$ सतह के बिंदुओं पर मुक्त एबेलियन समूह का तत्व है। सामान्यतः, भाजक पूर्णांक गुणांक के साथ सतह के बिंदुओं का सीमित रैखिक संयोजन है।

कोई मेरोमोर्फिक फलन $$f$$ भाजक निरूपित को जन्म देता है


 * $$(f):=\sum_{z_\nu \in R(f)} s_\nu z_\nu$$

जहां $$R(f)$$ $$f$$ के सभी शून्यकों और ध्रुवों का समुच्चय है, और $$s_\nu$$ द्वारा दिया गया है


 * $$s_\nu :=\begin{cases} a & \text{if } z_\nu \text{ is a zero of order }a \\

-a & \text{if } z_\nu \text{ is a pole of order }a. \end{cases}$$ समुच्चय $$R(f)$$ को परिमित माना जाता है; यह $$X$$ के सघन होने का परिणाम है और तथ्य यह है कि (गैर-शून्य) होलोमोर्फिक फलन के शून्य में संचय बिंदु नहीं होता है। इसलिए, $$(f)$$ अच्छी तरह से परिभाषित है। इस रूप के किसी भी भाजक को प्रमुख भाजक कहा जाता है। दो भाजक जो एक मुख्य भाजक से भिन्न होते हैं उन्हें रैखिक समतुल्य कहा जाता है। मेरोमोर्फिक 1-फॉर्म के विभाजक को इसी तरह परिभाषित किया गया है। वैश्विक मेरोमॉर्फिक 1-फॉर्म के विभाजक को विहित विभाजक (सामान्यतः $$K$$से दर्शाया जाता है) कहा जाता है। कोई भी दो मेरोमॉर्फिक 1-रूप रैखिक रूप से समतुल्य भाजक उत्पन्न करते है, इसलिए विहित विभाजक विशिष्ट रूप से रैखिक समतुल्यता तक निर्धारित होता है (इसलिए "द" विहित विभाजक)।

प्रतीक $$\deg(D)$$ विभाजक $$D$$ की डिग्री (कभी-कभी सूचकांक भी कहा जाता है) को दर्शाता है, अर्थात $$D$$ में आने वाले गुणांक का योग यह दिखाया जा सकता है कि वैश्विक मेरोमोर्फिक फलन के विभाजक में सदैव डिग्री 0 होती है, इसलिए विभाजक की डिग्री केवल उसके रैखिक तुल्यता वर्ग पर निर्भर करती है।

संख्या $$\ell(D)$$ वह मात्रा है जो प्राथमिक रुचि की है: सतह पर मेरोमॉर्फिक फलन $$h$$ के आयाम (सदिश समिष्ट) का आयाम $$\Complex$$ से अधिक), जैसे कि $$(h) + D$$ के सभी गुणांक गैर-ऋणात्मक हैं। सामान्यतः, हम इसे सभी मेरोमोर्फिक कार्यों के रूप में सोच सकते हैं जिनके प्रत्येक बिंदु पर ध्रुव $$D$$ में संबंधित गुणांक से भी उत्तम नहीं हैं; यदि $$D$$ में $$z$$ पर गुणांक ऋणात्मक है, तो हमें आवश्यकता है कि $$h$$ में $$z$$ पर कम से कम उस बहुलता का एक शून्य हो - यदि D में गुणांक धनात्मक है, तो h में अधिकतम उसी क्रम का एक ध्रुव हो सकता है। रैखिक रूप से समतुल्य भाजक के लिए सदिश समिष्ट वैश्विक मेरोमोर्फिक फलन (जो एक अदिश तक अच्छी तरह से परिभाषित है) के साथ गुणन के माध्यम से स्वाभाविक रूप से आइसोमोर्फिक होते हैं।

प्रमेय का कथन
विहित विभाजक $$K$$ स्थितियों के साथ जीनस $$g$$ की एक कॉम्पैक्ट रीमैन सतह के लिए रीमैन-रोच प्रमेय


 * $$\ell(D)-\ell(K-D) = \deg(D) - g + 1.$$

सामान्यतः, संख्या $$\ell(D)$$ रुचि की होती है, जबकि $$\ell(K-D)$$ को एक सुधार शब्द के रूप में माना जाता है (जिसे विशिष्टता का सूचकांक भी कहा जाता है इसलिए प्रमेय को अधिकांशतः यह कहकर व्याख्यायित किया जा सकता है


 * dimension − correction = degree − genus + 1.

क्योंकि यह सदिश समष्टि का आयाम है, सुधार शब्द $$\ell(K-D)$$ सदैव गैर-ऋणात्मक होता है, इसलिए


 * $$\ell(D) \ge \deg(D) - g + 1.$$

इसे रीमैन की असमानता कहा जाता है। रोच के कथन का भाग असमानता के पक्षों के बीच संभावित अंतर का वर्णन है। जीनस की सामान्य रीमैन सतह पर $$g$$, $$K$$ की डिग्री है इस प्रकार $$2g-2$$, भाजक का प्रतिनिधित्व करने के लिए चुने गए मेरोमोर्फिक रूप से स्वतंत्र है। यह $$D=K$$ डालने से होता है प्रमेय में. विशेषकर, जब तक $$D$$ कम से कम डिग्री $$2g-1$$ है, सुधार शब्द 0 है, इसलिए


 * $$\ell(D) = \deg(D) - g + 1.$$

प्रमेय को अब निम्न जीनस की सतहों के लिए चित्रित किया जाता है। कई अन्य निकट से संबंधित प्रमेय भी हैं: रेखा बंडल का उपयोग करके इस प्रमेय का समतुल्य सूत्रीकरण और बीजगणितीय वक्रों के लिए प्रमेय का सामान्यीकरण है।

===उदाहरण                                                                                                                                                                                                                                                 === प्रमेय को प्रश्न की सतह पर एक बिंदु $$P$$ चुनकर और संख्याओं के अनुक्रम के संबंध में चित्रित किया जाता है


 * $$\ell(n\cdot P), n\ge 0$$

अर्थात, फलन के समिष्ट का आयाम जो $$P$$ को छोड़कर प्रत्येक समिष्ट होलोमोर्फिक है, जहां फलन को अधिकतम $$n$$ पर ऑर्डर का ध्रुव रखने की अनुमति है। $$n = 0$$ के लिए, फलन का संपूर्ण होना आवश्यक है, अर्थात, संपूर्ण सतह $$X$$ पर होलोमोर्फिक लिउविल के प्रमेय के अनुसार, ऐसा फलन आवश्यक रूप से स्थिर है। इसलिए, $$\ell(0) = 1$$ सामान्यतः, अनुक्रम $$\ell(n\cdot P)$$ बढ़ता हुआ क्रम है।

जीनस शून्य
रीमैन क्षेत्र (जिसे समिष्ट प्रक्षेप्य रेखा भी कहा जाता है) साधारणतः कनेक्टेड है और इसलिए इसकी पहली विलक्षण समरूपता शून्य है। विशेषकर इसका वंश शून्य है। गोले को दो प्रतियों द्वारा आवरण किया जा सकता है $$\Complex$$, द्वारा संक्रमण मानचित्र दिया जा रहा है


 * $$\Complex^\times \ni z \mapsto \frac{1}{z} \in \Complex^\times.$$

अत: स्वरूप $$\omega = dz$$ की प्रति पर $$\mathbb C$$ रीमैन क्षेत्र पर मेरोमोर्फिक रूप तक फैला हुआ है: इसमें अनंत पर दोहरा ध्रुव है


 * $$d\left(\frac 1 z \right) = -\frac 1{z^2} \, dz.$$

इस प्रकार, इसका विभाजक $$K:= \operatorname{div}(\omega) = -2P$$ (जहां $$P$$ अनंत पर बिंदु है)।

इसलिए, प्रमेय कहता है कि अनुक्रम $$\ell(n\cdot P)$$ पढ़ता है


 * 1, 2, 3, ....

इस क्रम को आंशिक भिन्नों के सिद्धांत से भी पढ़ा जा सकता है। इसके विपरीत यदि यह क्रम इसी प्रकार प्रारम्भ होता है तो $$g$$ शून्य होना चाहिए.

====जीनस एक                                                                                                                                                                                                                                                                                            ==== अगला स्थिति जीनस $$g = 1$$ की एक रीमैन सतह है, जैसे कि टोरस $$\Complex/\Lambda$$, जहां $$\Lambda$$ एक द्वि-आयामी जालक है (एक समूह आइसोमॉर्फिक है $$\Z^2$$)। इसका जीनस एक है: इसका पहला एकवचन होमोलॉजी समूह दो लूपों द्वारा स्वतंत्र रूप से उत्पन्न होता है, जैसा कि दाईं ओर चित्रण में दिखाया गया है। C पर मानक कॉम्प्लेक्स कोऑर्डिनेट $$z$$, $$X$$ पर एक-रूप $$\omega = dz$$ उत्पन्न करता है जो प्रत्येक समिष्ट होलोमोर्फिक है, अर्थात, इसमें कोई ध्रुव नहीं है। इसलिए, $$\omega$$ का भाजक $$K$$ शून्य है।

इस सतह पर यही क्रम है


 * 1, 1, 2, 3, 4, 5 ... ;

और यह मामले की विशेषता है $$g = 1$$. वास्तव में, के लिए $$D = 0$$, $$\ell(K-D)=\ell(0)=1$$, जैसा कि ऊपर बताया गया था। के लिए $$D= n\cdot P$$ साथ $$n>0$$, की डिग्री $$K-D$$ सख्ती से ऋणात्मक है, ताकि सुधार शब्द 0 हो। आयामों का अनुक्रम अण्डाकार कार्यों के सिद्धांत से भी प्राप्त किया जा सकता है।

और यह स्थिति $$g = 1$$ की विशेषता बताता है। सामान्यतः, जैसा कि ऊपर उल्लेख किया गया था, $$D = 0$$ $$\ell(K-D)=\ell(0)=1$$ के लिए। n>0 के साथ $$D= n\cdot P$$ के लिए, $$K-D$$ की डिग्री सख्ती से ऋणात्मक है, जिससे सुधार शब्द 0 होते है। आयामों का अनुक्रम वृत्ताकार कार्यों के सिद्धांत से भी प्राप्त किया जा सकता है।

जीनस दो और उससे आगे
$$g=2$$ के लिए, ऊपर उल्लिखित अनुक्रम है


 * 1, 1, ?, 2, 3, ....

इससे पता चलता है कि ? बिंदु के आधार पर डिग्री 2 का पद या तो 1 या 2 होता है। यह सिद्ध किया जा सकता है कि किसी भी जीनस 2 वक्र में ठीक छह बिंदु होते हैं जिनका क्रम 1, 1, 2, 2, ... होता है और बाकी बिंदुओं का सामान्य अनुक्रम 1, 1, 1, 2, होता है ... विशेष रूप से, एक जीनस 2 वक्र एक हाइपरलिप्टिक वक्र होता है। $$g>2$$ के लिए यह सदैव सही है कि अधिकांश बिंदुओं पर अनुक्रम $$g+1$$ से प्रारंभ होता है और अन्य अनुक्रमों के साथ सीमित रूप से कई बिंदु होते हैं (वीयरस्ट्रैस बिंदु देखें)।

रीमैन-रेखा बंडलों के लिए रोच
रीमैन सतह पर विभाजकों और होलोमोर्फिक रेखा बंडल के बीच घनिष्ठ पत्राचार का उपयोग करते हुए, प्रमेय को अलग, फिर भी समकक्ष विधि से कहा जा सकता है: मान लीजिए कि L, X पर होलोमोर्फिक रेखा बंडल है। $$H^0(X,L)$$ L के होलोमोर्फिक अनुभागों के समिष्ट को निरूपित करें। यह समिष्ट परिमित-आयामी होगा; इसका आयाम $$h^0(X,L)$$ दर्शाया गया है. मान लीजिए कि K, X पर विहित बंडल को निरूपित करता है। फिर, रीमैन-रोच प्रमेय कहता है कि


 * $$h^0(X,L)-h^0(X,L^{-1}\otimes K)=\deg(L)+1-g.$$

पिछले अनुभाग का प्रमेय विशेष स्थिति है जब L बिंदु बंडल है।

प्रमेय को यह दिखाने के लिए प्रयुक्त किया जा सकता है कि K के g रैखिक रूप से स्वतंत्र होलोमोर्फिक खंड हैं, या X पर एक-रूप निम्नानुसार हैं। L को $$ h^0(X,L)=1$$ सामान्य बंडल मानते हुए, चूँकि X पर एकमात्र होलोमोर्फिक फलन स्थिरांक हैं। L की डिग्री शून्य है, और $$L^{-1}$$ सामान्य बंडल है. इस प्रकार,


 * $$1-h^0(X,K)=1-g.$$

इसलिए, $$h^0(X,K)=g$$, यह सिद्ध करते हुए कि G होलोमोर्फिक एक-रूप हैं।

विहित बंडल की डिग्री
चूँकि विहित बंडल $$K$$ में $$h^0(X,K)=g$$ है, रीमैन-रोच को $$L = K$$ पर प्रयुक्त करने से प्राप्त होता है


 * $$h^0(X,K)-h^0(X,K^{-1}\otimes K)=\deg(K)+1-g$$

जिसे पुनः इस प्रकार लिखा जा सकता है


 * $$g - 1 = \deg(K) + 1 - g$$

इसलिए विहित बंडल की डिग्री $$\deg(K) = 2g - 2$$ है.

बीजगणितीय वक्रों के लिए रीमैन-रोच प्रमेय
रीमैन सतहों पर विभाजकों के लिए रीमैन-रोच प्रमेय के उपरोक्त सूत्रीकरण में प्रत्येक आइटम का बीजगणितीय ज्यामिति में एनालॉग है। रीमैन सतह का एनालॉग बीजगणितीय विविधता का विलक्षण बिंदु है | क्षेत्र k पर गैर-एकवचन बीजगणितीय वक्र C शब्दावली में अंतर (वक्र बनाम सतह) इसलिए है क्योंकि वास्तविक मैनिफोल्ड के रूप में रीमैन सतह का आयाम दो है, किन्तु समिष्ट मैनिफोल्ड के रूप में है। रीमैन सतह की सघनता इस नियम के समानांतर है कि बीजगणितीय वक्र पूर्ण विविधता है, जो प्रक्षेप्य विविधता के समान है। सामान्य क्षेत्र k में, एकवचन (सह) समरूपता की कोई अच्छी धारणा नहीं है। तथाकथित ज्यामितीय जीनस को इस प्रकार परिभाषित किया गया है


 * $$g(C) := \dim_k \Gamma(C, \Omega^1_C)$$

अर्थात, विश्व स्तर पर परिभाषित (बीजगणितीय) एक-रूपों के समिष्ट के आयाम के रूप में (काहलर अंतर देखें)। अंत में, रीमैन सतह पर मेरोमोर्फिक कार्यों को स्थानीय रूप से होलोमोर्फिक कार्यों के अंशों के रूप में दर्शाया जाता है। इसलिए उन्हें तर्कसंगत कार्य द्वारा प्रतिस्थापित किया जाता है जो स्थानीय रूप से नियमित कार्य के अंश होते हैं। इस प्रकार, लेखन $$\ell(D)$$ वक्र पर तर्कसंगत कार्यों के समिष्ट के आयाम (k से अधिक) के लिए, जिसके प्रत्येक बिंदु पर ध्रुव D में संबंधित गुणांक से उत्तम नहीं हैं, ऊपर जैसा ही सूत्र है:


 * $$\ell(D)-\ell(K-D) = \deg(D) - g + 1.$$

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

प्रमेय $$\mathcal O$$ में सहजता की धारणा को भी शिथिल किया जा सकता है: बीजगणितीय रूप से संवृत क्षेत्र पर (प्रक्षेपी) वक्र के लिए, जिसके सभी स्थानीय वलय गोरेन्स्टीन वलय हैं, ऊपर जैसा ही कथन मान्य है, परंतु कि ऊपर परिभाषित ज्यामितीय जीनस है अंकगणित जीनस ga द्वारा प्रतिस्थापित, के रूप में परिभाषित है


 * $$g_a := \dim_k H^1(C, \mathcal O_C).$$

(स्मूथ वक्रों के लिए, ज्यामितीय जीनस अंकगणित से सहमत होता है।) प्रमेय को सामान्य एकवचन वक्रों (और उच्च-आयामी विविधताएँ) तक भी बढ़ाया गया है।

हिल्बर्ट बहुपद
रीमैन-रोच के महत्वपूर्ण परिणामों में से एक यह है कि यह एक वक्र पर रेखा बंडलों के हिल्बर्ट बहुपद की गणना के लिए एक सूत्र देता है। यदि एक रेखा बंडल $$\mathcal{L}$$ पर्याप्त है, तो हिल्बर्ट बहुपद पहली डिग्री $$\mathcal{L}^{\otimes n}$$ देगा, जो प्रोजेक्टिव स्पेस में एम्बेडिंग देगा। उदाहरण के लिए, कैनोनिकल शीफ़ $$\omega_C$$ में डिग्री होती है, जो जीनस $$2g - 2$$ के लिए पर्याप्त रेखा बंडल $$g \geq 2$$ देती है। यदि हम सेट करते हैं तो रीमैन-रोच $$\omega_C(n) = \omega_C^{\otimes n}$$ सूत्र पढ़ता है


 * $$\begin{align}

\chi(\omega_C(n)) &= \deg(\omega_C^{\otimes n}) - g + 1\\ &= n(2g - 2) - g + 1 \\ &= 2ng - 2n - g + 1 \\ &= (2n-1)(g-1) \end{align}$$

$$\omega_C$$ की डिग्री $$1$$ हिल्बर्ट बहुपद देता है
 * $$H_{\omega_C}(t) = 2(g-1)t - g + 1 $$

क्योंकि त्रि-विहित पूला $$\omega_C^{\otimes 3}$$ वक्र को एम्बेड करने के लिए हिल्बर्ट बहुपद का उपयोग किया जाता है

$$H_C(t) = H_{\omega_C^{\otimes 3}}(t)$$

सामान्यतः हिल्बर्ट योजना (और बीजीय वक्रों के मापांक) का निर्माण करते समय इस पर विचार किया जाता है। यह बहुपद है

$$\begin{align} H_C(t) &= (6t - 1)(g-1) \\ &= 6(g-1)t + (1-g) \end{align}$$

और इसे जीनस G वक्र का हिल्बर्ट बहुपद कहा जाता है।

प्लुरिकैनोनिकल एम्बेडिंग
इस समीकरण का आगे विश्लेषण करते हुए, यूलर विशेषता इस प्रकार पढ़ी जाती है


 * $$\begin{align}

\chi(\omega_C^{\otimes n}) &= h^0 \left (C, \omega_C^{\otimes n} \right ) - h^0 \left (C, \omega_C\otimes \left (\omega_C^{\otimes n} \right )^\vee \right ) \\ &= h^0 \left (C, \omega_C^{\otimes n} \right ) - h^0 \left (C, \left (\omega_C^{\otimes (n-1)} \right )^\vee \right ) \end{align}$$ तब से $$\deg(\omega_C^{\otimes n}) = n(2g-2)$$
 * $$h^0 \left (C, \left (\omega_C^{\otimes (n-1)} \right )^\vee \right ) = 0$$

$$n \geq 3$$ के लिए, चूँकि इसकी डिग्री सभी $$g \geq 2$$ के लिए ऋणात्मक है, जिसका अर्थ है कि इसमें कोई वैश्विक अनुभाग नहीं है, $$N = 5g - 5 - 1 = 5g - 6$$ के वैश्विक अनुभागों से कुछ प्रक्षेप्य समिष्ट में एम्बेडिंग है। विशेष रूप से, $$\omega_C^{\otimes n}$$ $$\omega_C^{\otimes 3}$$ में एक एम्बेडिंग देता है जहां $$\mathbb{P}^{N} \cong \mathbb{P}(H^0(C,\omega_C^{\otimes 3}))$$ से $$N = 5g - 5 - 1 = 5g - 6$$ होता है। यह बीजीय वक्रों के मॉड्यूलि स्पेस के निर्माण में उपयोगी है क्योंकि इसका उपयोग हिल्बर्ट बहुपद $$h^0(\omega_C^{\otimes 3}) = 6g - 6 - g + 1$$ के साथ हिल्बर्ट योजना के निर्माण के लिए प्रक्षेप्य समिष्ट के रूप में किया जा सकता है।

विलक्षणताओं के साथ समतल वक्रों की जाति
डिग्री d के अपरिवर्तनीय समतल बीजगणितीय वक्र में (d − 1)(d − 2)/2 − g विलक्षणताएं होती हैं, जब ठीक से गणना की जाती है। इसका तात्पर्य यह है कि, यदि किसी वक्र में (d − 1)(d − 2)/2 अलग-अलग विलक्षणताएं हैं, तो यह तर्कसंगत वक्र है और इस प्रकार, तर्कसंगत मानकीकरण को स्वीकार करता है।

रीमैन-हर्विट्ज़ सूत्र
रीमैन सतहों या बीजगणितीय वक्रों के बीच (विस्तारित) मानचित्रों से संबंधित रीमैन-हर्विट्ज़ सूत्र रीमैन-रोच प्रमेय का परिणाम है।

विशेष भाजक पर क्लिफोर्ड का प्रमेय
विशेष भाजक पर क्लिफोर्ड का प्रमेय भी रीमैन-रोच प्रमेय का परिणाम है। इसमें कहा गया है कि विशेष भाजक के लिए (अर्थात्, ऐसा कि $$\ell(K-D)>0$$) संतुष्टि देने वाला $$\ell(D)>0,$$ निम्नलिखित असमानता स्थिर है:
 * $$\ell(D) \leq \frac{\deg D}2+1.$$

बीजगणितीय वक्रों के लिए प्रमाण
बीजगणितीय वक्रों के कथन को सेरे द्वैत का उपयोग करके सिद्ध किया जा सकता है। पूर्णांक $$\mathcal L(D)$$ $$\ell(D)$$ (cf. कार्टियर विभाजक) से संबद्ध लाइन बंडल $$\ell (D) = \mathrm {dim} H^0 (X, \mathcal L(D))$$ के वैश्विक अनुभागों के समिष्ट का आयाम है। शीफ़ कोहोमोलोजी के संदर्भ में, हमारे पास $$\ell (\mathcal K_X - D) = \dim H^0 (X, \omega_X \otimes \mathcal L(D)^\vee) $$, और इसी तरह $$H^0 (X, \omega_X \otimes \mathcal L(D)^\vee)$$ भी है। किन्तु वक्र के विशेष स्थिति में गैर-एकवचन प्रक्षेप्य विविधताएँ के लिए सेरे द्वैत बताता है कि $$H^0 (X, \omega_X \otimes \mathcal L(D)^\vee)$$ दोहरे $$H^1 (X, \mathcal L (D))^\vee$$ के लिए समरूपी है। इस प्रकार बायां हाथ विभाजक डी की यूलर विशेषता के समान होता है। जब d = 0, हम पाते हैं कि संरचना शीफ के लिए यूलर विशेषता परिभाषा के अनुसार 1-g है। सामान्य विभाजक के लिए प्रमेय को सिद्ध करने के लिए, विभाजक में एक करके अंक जोड़कर आगे बढ़ सकते हैं और यह सुनिश्चित कर सकते हैं कि यूलर विशेषता दाहिने हाथ की ओर तदनुसार बदल जाती है।

कॉम्पैक्ट रीमैन सतहों के लिए प्रमाण
कॉम्पैक्ट रीमैन सतहों के लिए प्रमेय को बीजगणितीय ज्यामिति और विश्लेषणात्मक ज्यामिति का उपयोग करके बीजगणितीय संस्करण से निकाला जा सकता है Chow.27s प्रमेय या चाउ के प्रमेय और गागा सिद्धांत: वास्तव में, प्रत्येक कॉम्पैक्ट रीमैन सतह को कुछ समिष्ट प्रक्षेप्य समिष्ट में बीजगणितीय समीकरणों द्वारा परिभाषित किया जाता है। (चाउ का प्रमेय कहता है कि प्रक्षेप्य समिष्ट की किसी भी संवृत विश्लेषणात्मक उप-विविधता को बीजगणितीय समीकरणों द्वारा परिभाषित किया गया है, और जीएजीए सिद्धांत कहता है कि बीजगणितीय विविधता की शीफ कोहोलॉजी समान समीकरणों द्वारा परिभाषित विश्लेषणात्मक विविधता की शीफ कोहोलॉजी के समान है)।

कोई व्यक्ति बीजगणितीय वक्रों के स्थिति में प्रमाण के समान तर्क देकर चाउ के प्रमेय के उपयोग से बच सकता है, किन्तु $$\mathcal L(D)$$ को मेरोमोर्फिक फलन $$(h) + D$$ के शीफ़ $$\mathcal O_D$$ के साथ प्रतिस्थापित कर सकता है जिससे विभाजक के सभी गुणांक गैर-ऋणात्मक होंते है। यहां तथ्य यह है कि जब कोई विभाजक में एक बिंदु जोड़ता है तो यूलर विशेषता वांछित रूप में बदल जाती है, जिसे छोटे स्पष्ट अनुक्रम से प्रेरित लंबे स्पष्ट अनुक्रम से पढ़ा जा सकता है।


 * $$0 \to \mathcal O_D \to \mathcal O_{D + P} \to \mathbb C_P \to 0$$

जहां $$\mathbb C_P$$ P पर स्काइस्क्रैपर शीफ है, और मानचित्र $$\mathcal O_{D + P} \to \mathbb C_P$$ $$-k-1$$ लॉरेंट गुणांक लौटाता है, जहां $$k = D(P)$$ है

अंकगणित रीमैन-रोच प्रमेय
अंकगणित रीमैन-रोच प्रमेय के संस्करण में कहा गया है कि यदि k वैश्विक क्षेत्र है, और f, k के एडेल वलय का उपयुक्त स्वीकार्य कार्य है, तो प्रत्येक आदर्श a के लिए, पॉइसन योग सूत्र होता है:
 * $$\frac{1}{|a|}\sum_{x\in k}\hat f(x/a) = \sum_{x\in k}f(ax).$$

विशेष स्थिति में जब k परिमित क्षेत्र पर बीजगणितीय वक्र का कार्य क्षेत्र है और f कोई ऐसा वर्ण है जो k पर सामान्य है, तो यह ज्यामितीय रीमैन-रोच प्रमेय को पुनः प्राप्त करता है।

अंकगणित रीमैन-रोच प्रमेय के अन्य संस्करण पारंपरिक रीमैन-रोच प्रमेय से अधिक स्पष्ट रूप से मिलते-जुलते होने के लिए अरकेलोव सिद्धांत का उपयोग करते हैं।

रीमैन-रोच प्रमेय का सामान्यीकरण
वक्रों के लिए रीमैन-रोच प्रमेय को 1850 के दशक में रीमैन और रोच द्वारा रीमैन सतहों के लिए और 1931 में फ्रेडरिक कार्ल श्मिट द्वारा बीजगणितीय वक्रों के लिए सिद्ध किया गया था क्योंकि वह विशेषता (बीजगणित) के सही क्षेत्रों पर कार्य कर रहे थे। जैसा कि पीटर रॉकेट ने कहा है,

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

यह इस अर्थ में मूलभूत है कि वक्रों के लिए पश्चात् का सिद्धांत उससे प्राप्त जानकारी को परिष्कृत करने का प्रयास करता है (उदाहरण के लिए ब्रिल-नोएदर सिद्धांत में)।

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

आयाम दो की बीजगणितीय ज्यामिति में ऐसा सूत्र बीजगणितीय ज्यामिति के इतालवी स्कूल द्वारा पाया गया था; सतहों के लिए रीमैन-रोच प्रमेय सिद्ध हुआ (इसके कई संस्करण हैं, पहला संभवतः मैक्स नोएदर के कारण है)।

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

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

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

== यह भी देखें                                                                                                                                                                                                                                              ==


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

== टिप्पणियाँ                                                                                                                                                                                                                                                                      ==

संदर्भ

 * Grothendieck, Alexander, et al. (1966/67), Théorie des Intersections et Théorème de Riemann–Roch (SGA 6), LNM 225, Springer-Verlag, 1971.
 * See pages 208–219 for the proof in the complex situation. Note that Jost uses slightly different notation.
 * , contains the statement for curves over an algebraically closed field. See section IV.1.
 * Vector bundles on Compact Riemann Surfaces, M. S. Narasimhan, pp. 5–6.
 * Misha Kapovich, The Riemann–Roch Theorem (lecture note) an elementary introduction
 * J. Gray, The Riemann–Roch theorem and Geometry, 1854–1914.
 * Is there a Riemann–Roch for smooth projective curves over an arbitrary field? on MathOverflow
 * Vector bundles on Compact Riemann Surfaces, M. S. Narasimhan, pp. 5–6.
 * Misha Kapovich, The Riemann–Roch Theorem (lecture note) an elementary introduction
 * J. Gray, The Riemann–Roch theorem and Geometry, 1854–1914.
 * Is there a Riemann–Roch for smooth projective curves over an arbitrary field? on MathOverflow
 * Misha Kapovich, The Riemann–Roch Theorem (lecture note) an elementary introduction
 * J. Gray, The Riemann–Roch theorem and Geometry, 1854–1914.
 * Is there a Riemann–Roch for smooth projective curves over an arbitrary field? on MathOverflow
 * Misha Kapovich, The Riemann–Roch Theorem (lecture note) an elementary introduction
 * J. Gray, The Riemann–Roch theorem and Geometry, 1854–1914.
 * Is there a Riemann–Roch for smooth projective curves over an arbitrary field? on MathOverflow
 * Is there a Riemann–Roch for smooth projective curves over an arbitrary field? on MathOverflow