बिर्च और स्विनर्टन-डायर अनुमान

गणित में, बिर्च और स्विनर्टन-डियर अनुमान (जिसे अक्सर बिर्च-सविनर्टन-डायर अनुमान कहा जाता है) दीर्घवृत्ताकार वक्र को परिभाषित करने वाले समीकरणों के तर्कसंगत समाधान के सेट का वर्णन करता है। यह संख्या सिद्धांत के क्षेत्र में व्यापक रूप से सबसे चुनौतीपूर्ण गणितीय समस्याओं में से एक है। इसका नाम गणितज्ञ ब्रायन जॉन बिर्च और पीटर स्विनर्टन-डायर के नाम पर रखा गया है, जिन्होंने मशीन गणना की मदद से 1960 के दशक के पहलेार्ध के दौरान अनुमान विकसित किए थे। 2022 तक, अनुमान के केवल विशेष मामले सिद्ध हुए हैं।

अनुमान का आधुनिक सूत्रीकरण संख्या क्षेत्र K पर दीर्घवृत्तीय वक्र E से जुड़े अंकगणितीय डेटा को s = 1 पर E के हासे-विल L-फ़ंक्शन L(E, s) के व्यवहार से संबंधित करता है। अधिक विशेष रूप से, यह अनुमान लगाया गया है कि एबेलियन समूह E(K) के E के बिंदुओं की रैंक s = 1 पर L(E, s) के शून्य का क्रम है, और L(E, s के टेलर विस्तार में पहला गैर-शून्य गुणांक ) s = 1 पर अधिक परिष्कृत अंकगणितीय डेटा द्वारा दिया गया है जो E से अधिक K (Wiles 2006) से जुड़ा है।

अनुमान को क्ले गणित संस्थान द्वारा सूचीबद्ध सात सहस्राब्दी पुरस्कार समस्याओं में से एक के रूप में चुना गया था, जिसने पहले सही प्रमाण के लिए $1,000,000 पुरस्कार की पेशकश की है।

पृष्ठभूमि

मोर्डेल (1922) ने मोर्डेल के प्रमेय को सिद्ध किया: दीर्घवृत्त वक्र पर परिमेय बिंदुओं के समूह का एक परिमित आधार होता है। इसका मतलब यह है कि किसी भी अंडाकार वक्र के लिए वक्र पर तर्कसंगत बिंदुओं का परिमित उपसमुच्चय होता है, जिससे आगे के सभी तर्कसंगत बिंदु उत्पन्न हो सकते हैं।

यदि किसी वक्र पर तर्कसंगत बिंदुओं की संख्या अनंत है तो किसी परिमित आधार में किसी बिंदु पर अनंत क्रम होना चाहिए। अनंत क्रम के साथ स्वतंत्र आधार बिंदुओं की संख्या को वक्र का क्रम कहा जाता है, और यह दीर्घवृत्तीय वक्र का एक महत्वपूर्ण अपरिवर्तनीय गुण है।

यदि एक दीर्घवृत्ताकार वक्र का क्रम 0 है, तो वक्र में केवल परिमित संख्या में परिमेय बिंदु होते हैं। दूसरी ओर, यदि वक्र का क्रम 0 से अधिक है, तो वक्र में अनंत संख्या में तर्कसंगत बिंदु होते हैं।

हालांकि मोर्डेल का प्रमेय दर्शाता है कि दीर्घवृत्ताकार वक्र का रैंक हमेशा परिमित होता है, यह प्रत्येक वक्र के रैंक की गणना के लिए प्रभावी विधि नहीं देता है। कुछ दीर्घवृत्तीय वक्रों के रैंक की गणना संख्यात्मक विधियों का उपयोग करके की जा सकती है लेकिन (वर्तमान ज्ञान की स्थिति में) यह अज्ञात है कि ये विधियाँ सभी वक्रों को नियंत्रित करती हैं।

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

(E, s) की प्राकृतिक परिभाषा केवल Re(s) > 3/2 के साथ मिश्रित तल में s के मानों के लिए अभिसरित होती है। हेल्मुट हास ने अनुमान लगाया कि L(E, s) को पूरे मिश्रित तल में विश्लेषणात्मक निरंतरता से बढ़ाया जा सकता है। मिश्रित गुणन के साथ दीर्घवृत्ताकार वक्रों के लिए यह अनुमान पहली बार ड्यूरिंग (1941) द्वारा सिद्ध किया गया था। बाद में 2001 में मॉड्यूलरिटी प्रमेय के परिणामस्वरूप, Q पर सभी अंडाकार वक्रों के लिए यह सच साबित हुआ।

एक सामान्य दीर्घवृत्ताकार वक्र पर तर्कसंगत बिंदुओं का पता लगाना एक कठिन समस्या है। दिए गए अभाज्य p पर बिंदुओं का पता लगाना अवधारणात्मक रूप से सीधा है, क्योंकि जांच करने के लिए केवल सीमित संख्या में संभावनाएं हैं। हालांकि, बड़े समय के लिए यह अभिकलनीयत रूप से गहन है।

इतिहास

1960 के दशक की शुरुआत में पीटर स्विनर्टन-डायर ने EDSAC 2|EDSAC-2 कंप्यूटर का उपयोग कैंब्रिज विश्वविद्यालय की कंप्यूटर प्रयोगशाला में बिंदुओं की संख्या की गणना करने के लिए किया था।_p) अण्डाकार वक्रों पर बड़ी संख्या में अभाज्य p के लिए जिनकी रैंक ज्ञात थी। इन संख्यात्मक परिणामों से Birch & Swinnerton-Dyer (1965) अनुमान लगाया कि एन_pएक वक्र E के लिए रैंक r के साथ एक स्पर्शोन्मुख कानून का पालन करता है

$\prod _{p\leq x}{\frac {N_{p}}{p}}\approx C\log(x)^{r}{\mbox{ as }}x\rightarrow \infty$

जहां सी स्थिर है।

प्रारंभ में यह ग्राफिकल भूखंडों में कुछ कमजोर प्रवृत्तियों पर आधारित था; इसने J. W. S. कैसल्स (बर्च के पीएचडी सलाहकार) में संदेह के एक उपाय को प्रेरित किया। समय के साथ संख्यात्मक साक्ष्य ढेर हो गए।

इसने बदले में उन्हें s = 1 पर एक वक्र के L-फ़ंक्शन L(E, s) के व्यवहार के बारे में एक सामान्य अनुमान लगाने के लिए प्रेरित किया, अर्थात् इस बिंदु पर इसका क्रम r का शून्य होगा। यह उस समय के लिए एक दूरदर्शी अनुमान था, यह देखते हुए कि L(E, s) की विश्लेषणात्मक निरंतरता केवल मिश्रित गुणन वाले वक्रों के लिए स्थापित की गई थी, जो संख्यात्मक उदाहरणों के मुख्य स्रोत भी थे। (एनबी कि एल-फ़ंक्शन का पारस्परिक (गणित) कुछ दृष्टिकोणों से अध्ययन की एक अधिक प्राकृतिक वस्तु है; इस अवसर पर इसका अर्थ है कि किसी को शून्य के बजाय ध्रुवों पर विचार करना चाहिए।)

अनुमान को बाद में एस = 1 पर एल-फ़ंक्शन के सटीक अग्रणी टेलर गुणांक की भविष्यवाणी को शामिल करने के लिए विस्तारित किया गया था। यह अनुमानित रूप से दिया गया है

${\frac {L^{(r)}(E,1)}{r!}}={\frac {\#\mathrm {Sha} (E)\Omega _{E}R_{E}\prod _{p|N}c_{p}}{(\#E_{\mathrm {Tor} })^{2}}}$

जहां दाहिनी ओर की राशियां वक्र के अपरिवर्तनीय हैं, कैसल्स, जॉन टेट (गणितज्ञ), इगोर शफारेविच और अन्य द्वारा अध्ययन किया गया (Wiles 2006):

$\#E_{\mathrm {Tor} }$ मरोड़ समूह का क्रम है,

$\#\mathrm {Sha} (E)$ टेट-शफारेविच समूह का आदेश है,

$\Omega _{E}$ ई की वास्तविक अवधि को ई के जुड़े घटकों की संख्या से गुणा किया जाता है,

$R_{E}$ ई की नेरॉन-टेट ऊंचाई है जिसे तर्कसंगत बिंदुओं के आधार पर विहित ऊंचाई के माध्यम से परिभाषित किया गया है,

$c_{p}$ ई के कंडक्टर एन को विभाजित करने वाले प्राइम पी पर ई की तमागावा संख्या है। इसे टेट के एल्गोरिदम द्वारा पाया जा सकता है।

वर्तमान स्थिति

का एक प्लॉट $\prod _{p\leq X}{\frac {N_{p}}{p}}$ वक्र वाई के लिए² = x³ − 5x क्योंकि X पहले 100000 अभाज्य संख्याओं में भिन्न होता है। एक्स-एक्सिस लॉग (लॉग (एक्स)) है और वाई-एक्सिस लॉगरिदमिक स्केल में है इसलिए अनुमान भविष्यवाणी करता है कि डेटा को वक्र के रैंक के बराबर ढलान की रेखा बनानी चाहिए, जो इस मामले में 1 है। तुलना के लिए, ग्राफ पर ढलान 1 की एक रेखा लाल रंग में खींची गई है।

बिर्च और स्विनर्टन-डायर अनुमान केवल विशेष मामलों में ही सिद्ध हुए हैं:

1. Coates & Wiles (1977) ने साबित किया कि यदि E वर्ग संख्या 1, F = K या Q के काल्पनिक द्विघात क्षेत्र K द्वारा जटिल गुणन के साथ संख्या क्षेत्र F पर वक्र है, और L(E, 1) 0 नहीं है तो E (F) एक परिमित समूह है। इसे उस मामले तक बढ़ा दिया गया था जहां F, Arthaud (1978) द्वारा K का कोई परिमित एबेलियन विस्तार है।
2. Gross & Zagier (1986) ने दिखाया कि यदि एक मॉड्यूलर दीर्घवृत्ताकार वक्र का प्रथम क्रम शून्य होता है तो यह अनंत क्रम का परिमेय बिंदु होता है; ग्रॉस-ज़ैगियर प्रमेय देखें।
3. Kolyvagin (1989) ने दिखाया कि एक मॉड्यूलर दीर्घवृत्ताकार वक्र E, जिसके लिए L(E, 1) शून्य नहीं है, उसका रैंक 0 है और मॉड्यूलर दीर्घवृत्ताकार वक्र E जिसके लिए L(E, 1) का s = 1 पर प्रथम-क्रम शून्य है।
4. Rubin (1991) ने दिखाया कि के द्वारा जटिल गुणा के साथ एक काल्पनिक द्विघात क्षेत्र k पर दीर्घवृत्ताकार वक्र के लिए परिभाषित किया गया है, अगर दीर्घवृत्ताकार वक्र की L-श्रृंखला s = १ पर शून्य नहीं था, तो Tate-Shafareevich समूह के p-भाग बिर्च और स्विनर्टन-डियर अनुमान द्वारा, सभी अभाज्य p> ७ के लिए क्रम अनुमानित था।
5. Breuil et al. (2001), का विस्तार कार्य Wiles (1995), ने साबित किया कि मॉड्यूलरिटी प्रमेय, जो परिमेय पर सभी अण्डाकार वक्रों के परिणाम #2 और #3 का विस्तार करता है, और दिखाता है कि 'Q' पर सभी अण्डाकार वक्रों के L-फ़ंक्शन s = 1 पर परिभाषित हैं।
6. Bhargava & Shankar (2015) साबित कर दिया कि क्यू पर अंडाकार वक्र के मोर्डेल-वील समूह का औसत रैंक 7/6 से ऊपर है। इसे p-समता प्रमेय के साथ जोड़कर Nekovář (2009) तथा Dokchitser & Dokchitser (2010) और जीएल (2) द्वारा इवासावा सिद्धांत के मुख्य अनुमान के प्रमाण के साथ Skinner & Urban (2014), वे निष्कर्ष निकालते हैं कि क्यू पर दीर्घवृत्त वक्रों के एक सकारात्मक अनुपात में विश्लेषणात्मक रैंक शून्य है, और इसलिए, द्वारा Kolyvagin (1989), बिर्च और स्विनर्टन-डायर अनुमान को संतुष्ट करें।

वर्तमान में 1 से अधिक रैंक वाले वक्रों को शामिल करने वाले कोई प्रमाण नहीं हैं।

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

परिणाम

रीमैन परिकल्पना की तरह, इस अनुमान के कई परिणाम हैं, जिनमें निम्नलिखित दो शामिल हैं:

• मान लीजिए कि n एक विषम वर्ग रहित पूर्णांक है। बर्च और स्विनर्टन-डायर अनुमान को मानते हुए, n तर्कसंगत पार्श्व लंबाई (एक सर्वांगसम संख्या) के साथ समकोण त्रिभुज का क्षेत्रफल है यदि और केवल यदि पूर्णांकों (x, y, z) के त्रिक की संख्या 2x² + y² + 8z² = n को पूरा करती है, 2x² + y² + 32z² = n त्रिकों की संख्या का दुगुना है। टनल की प्रमेय (टनल 1983),के कारण यह कथन, इस तथ्य से संबंधित है कि n एक सर्वांगसम संख्या है यदि और केवल यदि अण्डाकार वक्र y² = x³ − n²x में अनंत क्रम का एक परिमेय बिंदु है (इस प्रकार, बिर्च और स्विनर्टन के तहत -डायर अनुमान, इसका L-फ़ंक्शन 1 पर शून्य है)। इस कथन में रुचि यह है कि स्थिति को आसानी से सत्यापित किया जा सकता है।
• एक अलग दिशा में, कुछ विश्लेषणात्मक तरीके L-फ़ंक्शंस के वर्ग की महत्वपूर्ण पट्टी के केंद्र में शून्य के क्रम के आकलन की अनुमति देते हैं। BSD के अनुमान को स्वीकार करते हुए, ये अनुमान दीर्घवृत्ताकार वक्र के वर्ग के बारे में जानकारी के अनुरूप हैं। उदाहरण के लिए: मान लीजिए सामान्यीकृत रीमैन परिकल्पना और BSD अनुमान, y² = x³ + ax+ b द्वारा दिए गए वक्रों का औसत रैंक 2 से छोटा है।

संदर्भ

• Arthaud, Nicole (1978). "On Birch and Swinnerton-Dyer's conjecture for elliptic curves with complex multiplication". Compositio Mathematica. 37 (2): 209–232. MR 0504632.
• Bhargava, Manjul; Shankar, Arul (2015). "Ternary cubic forms having bounded invariants, and the existence of a positive proportion of elliptic curves having rank 0". Annals of Mathematics. 181 (2): 587–621. arXiv:1007.0052. doi:10.4007/annals.2015.181.2.4. S2CID 1456959.
• Birch, Bryan; Swinnerton-Dyer, Peter (1965). "Notes on Elliptic Curves (II)". J. Reine Angew. Math. 165 (218): 79–108. doi:10.1515/crll.1965.218.79. S2CID 122531425.
• Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001). "On the Modularity of Elliptic Curves over Q: Wild 3-Adic Exercises". Journal of the American Mathematical Society. 14 (4): 843–939. doi:10.1090/S0894-0347-01-00370-8.
• Coates, J.H.; Greenberg, R.; Ribet, K.A.; Rubin, K. (1999). Arithmetic Theory of Elliptic Curves. Lecture Notes in Mathematics. Vol. 1716. Springer-Verlag. ISBN 3-540-66546-3.
• Coates, J.; Wiles, A. (1977). "On the conjecture of Birch and Swinnerton-Dyer". Inventiones Mathematicae. 39 (3): 223–251. Bibcode:1977InMat..39..223C. doi:10.1007/BF01402975. S2CID 189832636. Zbl 0359.14009.
• Deuring, Max (1941). "Die Typen der Multiplikatorenringe elliptischer Funktionenkörper". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 14 (1): 197–272. doi:10.1007/BF02940746. S2CID 124821516.
• Dokchitser, Tim; Dokchitser, Vladimir (2010). "On the Birch–Swinnerton-Dyer quotients modulo squares". Annals of Mathematics. 172 (1): 567–596. arXiv:math/0610290. doi:10.4007/annals.2010.172.567. MR 2680426. S2CID 9479748.
• Gross, Benedict H.; Zagier, Don B. (1986). "Heegner points and derivatives of L-series". Inventiones Mathematicae. 84 (2): 225–320. Bibcode:1986InMat..84..225G. doi:10.1007/BF01388809. MR 0833192. S2CID 125716869.
• Kolyvagin, Victor (1989). "Finiteness of E(Q) and X(E, Q) for a class of Weil curves". Math. USSR Izv. 32 (3): 523–541. Bibcode:1989IzMat..32..523K. doi:10.1070/im1989v032n03abeh000779.
• Mordell, Louis (1922). "On the rational solutions of the indeterminate equations of the third and fourth degrees". Proc. Camb. Phil. Soc. 21: 179–192.
• Nekovář, Jan (2009). "On the parity of ranks of Selmer groups IV". Compositio Mathematica. 145 (6): 1351–1359. doi:10.1112/S0010437X09003959.
• Rubin, Karl (1991). "The 'main conjectures' of Iwasawa theory for imaginary quadratic fields". Inventiones Mathematicae. 103 (1): 25–68. Bibcode:1991InMat.103...25R. doi:10.1007/BF01239508. S2CID 120179735. Zbl 0737.11030.
• Skinner, Christopher; Urban, Éric (2014). "The Iwasawa main conjectures for GL₂". Inventiones Mathematicae. 195 (1): 1–277. Bibcode:2014InMat.195....1S. doi:10.1007/s00222-013-0448-1. S2CID 120848645.
• Tunnell, Jerrold B. (1983). "A classical Diophantine problem and modular forms of weight 3/2" (PDF). Inventiones Mathematicae. 72 (2): 323–334. Bibcode:1983InMat..72..323T. doi:10.1007/BF01389327. hdl:10338.dmlcz/137483. S2CID 121099824. Zbl 0515.10013.
• Wiles, Andrew (1995). "Modular elliptic curves and Fermat's last theorem". Annals of Mathematics. Second Series. 141 (3): 443–551. doi:10.2307/2118559. ISSN 0003-486X. JSTOR 2118559. MR 1333035.
• Wiles, Andrew (2006). "The Birch and Swinnerton-Dyer conjecture" (PDF). In Carlson, James; Jaffe, Arthur; Wiles, Andrew (eds.). The Millennium prize problems. American Mathematical Society. pp. 31–44. ISBN 978-0-8218-3679-8. MR 2238272.

बाहरी संबंध

• Weisstein, Eric W. "Swinnerton-Dyer Conjecture". MathWorld.
• "Birch and Swinnerton-Dyer Conjecture". PlanetMath.
• The Birch and Swinnerton-Dyer Conjecture: An Interview with Professor Henri Darmon by Agnes F. Beaudry
• What is the Birch and Swinnerton-Dyer Conjecture? lecture by Manjul Bhargava (september 2016) given during the Clay Research Conference held at the University of Oxford