🔢 mathematics

A proof of $p$ -adic Gross--Zagier theorem via BDP formula

यह शोध पत्र काल्पनिक द्विघाती क्षेत्रों (imaginary quadratic fields) में कस्पिडल आइगन-न्यूफॉर्म्स (cuspidal eigen-newforms) के बेस परिवर्तनों (base changes) के लिए $p$ -adic ग्रॉस–ज़ैगियर प्रमेय का एक नवीन प्रमाण प्रस्तुत करता है, जो पारंपरिक कर्नेल तुलनाओं के बजाय BDP सूत्र और बेइलिनसन–फ्लाच तत्वों (Beilinson–Flach elements) पर आधारित एक "वॉल-क्रॉसिंग" रणनीति का उपयोग करके साधारण (ordinary) और गैर-साधारण (non-ordinary) दोनों मामलों (जिसमें $k>2$ के साथ $\mathrm{ord}_p(a_p(f)) > 0$ शामिल है) को कवर करता है।

मूल लेखक: Kâzım Büyükboduk, Peter Neamti

प्रकाशित 2026-07-24

📖 8 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Kâzım Büyükboduk, Peter Neamti

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक विशाल, ब्रह्मांडीय पहेली को हल करने की कोशिश कर रहे हैं जहाँ टुकड़े संख्याओं के हैं, लेकिन वे कोई साधारण संख्याएँ नहीं हैं—ये रहस्यमय "अभाज्य संख्याएँ" (prime numbers) हैं जो अंकगणित के परमाणुओं की तरह कार्य करती हैं। सदियों से, गणितज्ञों ने दो बहुत ही अलग दुनियाओं को जोड़ने की कोशिश की है: ज्यामिति (geometry) की दुनिया (आकृतियाँ, वक्र और अंतरिक्ष में तैरते बिंदु) और विश्लेषण (analysis) की दुनिया (सुचारू वक्र, अवकलज और फलनों का प्रवाह)। यह कुछ ऐसा है जैसे यह सिद्ध करने की कोशिश करना कि एक वायलिन के तार के कंपन की ध्वनि ठीक वैसी ही है जैसे एक तालाब में फैलती लहरों का पैटर्न।

संख्या सिद्धांत (number theory) के इस विशिष्ट कोने में, जिसे ग्रॉस-ज़िगलर फॉर्मूला (Gross–Zagier formula) नामक एक प्रसिद्ध सेतु कहा जाता है, एक विशेष ज्यामितीय आकृति (जिसे हीगनर पॉइंट कहा जाता है) की "ऊंचाई" को एक जटिल फलन (L-function) के एक विशिष्ट स्थान पर "ढलान" से जोड़ा जाता है। सोचिए कि "ऊंचाई" यह है कि एक हाइकर (हाइकर) ने पहाड़ पर कितनी चढ़ाई की है, और "ढलान" यह है कि शिखर पर पहाड़ कितना ढालू है। यदि पहाड़ समतल है (ढलान शून्य है), तो हाइकर नीचे है; यदि ढलान तीव्र है, तो हाइकर ऊपर है। यह संबंध महत्वपूर्ण है क्योंकि यह गणितज्ञों को यह समझने में मदद करता है कि संख्याएँ वास्तव में कैसे व्यवहार करती हैं, विशेष रूप से एलिप्टिक कर्व्स (elliptic curves - जो शानदार, डोनट के आकार के समीकरण हैं) और उनके L-फंक्शन्स (L-functions - जो गुप्त कोड की तरह हैं जो हमें समीकरणों के समाधानों की संख्या बताते हैं) के संबंध में।

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

शोध पत्र: महल की दीवारों के माध्यम से एक नया शॉर्टकट

यह शोध पत्र, जिसे काज़िम बुयुकबोदुक (Kâzım Büyükboduk) और पीटर नेमटी (Peter Neamti) द्वारा लिखा गया है, p-adic Gross–Zagier theorem का एक नया, एकीकृत प्रमाण प्रस्तुत करता है। गणित की दुनिया में, "p-adic" संख्याओं को मापने का एक विशेष तरीका है जो एक विशिष्ट अभाज्य संख्या (मान लीजिए p) पर ध्यान केंद्रित करता है, न कि उस सामान्य दूरी पर जिसका हम रोजमर्रा की जिंदगी में उपयोग करते हैं। लेखक यह सिद्ध करने की कोशिश कर रहे हैं कि एक विशेष p-adic फलन की "ढलान" सीधे तौर पर एक ज्यामितीय बिंदु की "ऊंचाई" से जुड़ी हुई है, यहाँ तक कि उन कठिन स्थितियों में भी जहाँ संख्याएँ ठीक से व्यवहार नहीं करती हैं (जिसे गणितज्ञ "non-ordinary" परिदृश्य कहते हैं)।

पुराना तरीका बनाम नया तरीका

पूर्व में, गणितज्ञों ने इस प्रमेय को दो अलग-अलग, विशाल इंजनों का निर्माण करके सिद्ध किया था। एक इंजन ज्यामितीय ऊंचाई की गणना करता था, और दूसरा विश्लेतिक ढलान की। फिर उन्हें इन दोनों इंजनों के आउटपुट की तुलना करनी पड़ती थी ताकि यह देखा जा सके कि क्या वे मेल खाते हैं। यह दो अलग-अलग घड़ियों के समय को सत्यापित करने जैसा था। यह कठिन था, विशेष रूप से जब "घड़ियाँ" टूटी हुई हों या अजीब व्यवहार कर रही हों (जैसे कि जब फॉर्म का भार 2 से अधिक हो, या जब अभाज्य संख्या p फॉर्म के स्तर को एक जटिल तरीके से विभाजित करती हो)।

इस शोध पत्र के लेखक कहते हैं, "आइए एक अलग दृष्टिकोण अपनाएं।" दोनों इंजनों की सीधे तुलना करने के बजाय, वे एक वॉल-क्रॉसिंग रणनीति (wall-crossing strategy) का उपयोग करते हैं। कल्पना कीजिए कि आप कई कमरों वाले एक महल में हैं। पुराना तरीका था कि आप पूरे महल के चक्कर लगाकर ज्यामितीय कमरे से विश्लेतिक कमरे तक जाएँ। नया तरीका है एक गुप्त दरवाजा (एक "दीवार") खोजना जो उन्हें सीधे जोड़ता है।

गुप्त दरवाजा: BDP फॉर्मूला और Beilinson–Flach तत्व

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

इस मानचित्र का उपयोग करने के लिए, लेखक दो मुख्य पात्र पेश करते हैं:

हीगनर साइकल (Heegner Cycles): ये वे ज्यामितीय हाइकर हैं जो पहाड़ पर चढ़ रहे हैं।
Beilinson–Flach तत्व (Beilinson–Flach Elements): ये वे विश्लेतिक संदेशवाहक हैं जो ढलान का डेटा ले जा रहे हैं।

शोध पत्र दिखाता है कि ये दोनों पात्र वास्तव में एक ही व्यक्ति हैं जिन्होंने अलग-अलग वेशभूषा पहनी है। एक रुबिन-शैली के फॉर्मूला (Rubin-style formula) का उपयोग करके, लेखक दिखाते हैं कि ज्यामितीय हाइकर की "ऊंचाई" ठीक उतनी ही होती है जितनी विश्लेतिक संदेशवाहक की "ढलान" होती है, एक बार जब आप कुछ विशिष्ट बीजगणितीय कारकों (जैसे कि पहाड़ का आकार या हाइकर के बैकपैक का भार) को ध्यान में रख लेते हैं।

बड़ी खोज

इस शोध पत्र की मुख्य खोज एक सटीक समीकरण (Theorem A) है जो p-adic L-फंक्शन के अवकलज (derivative) को हीगनर साइकिल की p-adic ऊंचाई से जोड़ता है। यह सूत्र इस प्रकार दिखता है:

$\text{Slope} \propto \text{Height}$

लेकिन लेखक केवल यह नहीं कहते कि "वे संबंधित हैं।" वे आपको सटीक रेसिपी देते हैं कि वे कैसे संबंधित हैं, जिसमें विशिष्ट संख्याएँ शामिल हैं जो इस बात पर निर्भर करती हैं कि अभाज्य संख्या p फॉर्म के स्तर को विभाजित करती है या नहीं।

यह शोध पत्र क्या सिद्ध करता है:

यह "बुरे" मामलों के लिए भी काम करता है: पिछले प्रमाण तब संघर्ष करते थे जब फॉर्म का भार 2 से अधिक होता था या जब अभाज्य संख्या p "non-ordinary" तरीके से व्यवहार करती थी (अर्थात संख्याएँ अच्छी तरह से व्यवहार नहीं करती थीं)। यह शोध पत्र सिद्ध करता है कि फॉर्मूला इन कठिन परिदृश्यों में भी काम करता है, जिसमें वे मामले भी शामिल हैं जहाँ भार $k > 2$ है और एक विशिष्ट संख्या का p-adic मान धनात्मक है।
यह सिद्धांत को एकीकृत करता है: यह "आसान" मामलों (जहाँ संख्याएँ अच्छा व्यवहार करती हैं) और "कठिन" मामलों (जहाँ वे अच्छा व्यवहार नहीं करती हैं) को एक ही विधि के साथ मानता है। अब आपको अलग-अलग समस्याओं के लिए अलग-अलग उपकरण की आवश्यकता नहीं है।
यह "बड़े" तत्वों का उपयोग करता है: लेखक "बड़े" हीगनर क्लासेस और "बड़े" Beilinson–Flach तत्वों का उपयोग करते हैं। इन्हें मानक तत्वों के सुपर-वर्जन के रूप में समझें जो एक समय में केवल एक संख्या के बजाय संख्याओं के पूरे परिवार को संभाल सकते हैं। यह उन्हें एक साथ रूपों के पूरे परिवार के लिए परिणाम सिद्ध करने की अनुमति देता है।

यह शोध पत्र क्या खारिज करता है

यह शोध पत्र बहुत सावधान है कि यह क्या कवर नहीं करता है। यह स्पष्ट रूप से बताता है कि इसकी विधि एक बहुत ही विशिष्ट, जटिल मामले के लिए काम नहीं करती है: जब अभाज्य संख्या p फॉर्म के स्तर को विभाजित करती है ( $p | N_f$ ) और एक विशिष्ट संख्या जिसे $a_p(f)$ कहा जाता है, वह $p^{k/2}$ के बराबर होती है। लेखक स्वीकार करते हैं कि यह मामला अभी भी एक रहस्य है और अन्य गणितज्ञों द्वारा इस पर काम किया जा रहा है। वे यह भी नोट करते हैं कि यदि कुछ शर्तें (NV लेबल वाली) पूरी नहीं होती हैं, तो फॉर्मूला केवल "0 = 0" कह सकता है, जो तकनीकी रूप से सही है लेकिन बहुत उपयोगी नहीं है। हालांकि, वे दिखाते हैं कि यदि वे शर्तें पूरी होती हैं, तो फॉर्मूला एक सार्थक, गैर-शून्य उत्तर देता है।

वे कितने आश्वस्त हैं?

लेखक अत्यंत आश्वस्त हैं। वे केवल यह सुझाव नहीं देते कि यह सच हो सकता है; वे एक कठोर, चरण-दर-चरण प्रमाण (proof) प्रदान करते हैं। वे सेल्मर कॉम्प्लेक्स (Selmer complexes) (जो संख्याओं के महत्वपूर्ण हिस्सों को पकड़ने वाले सुरक्षा जाल की तरह हैं) और यूलर सिस्टम (Euler systems) (जो डोमिनो की एक श्रृंखला की तरह हैं, जिसे एक बार धक्का देने पर पूरी श्रृंखला गिर जाती है और सब सिद्ध हो जाता है) जैसे स्थापित उपकरणों का उपयोग करते हैं। तर्क ठोस आधार पर बना है, जो "Big Image" स्थिति (एक तकनीकी आवश्यकता जो यह सुनिश्चित करती है कि संख्याएँ इतनी जटिल हों कि वे दिलचस्प हों) और "Heegner Hypothesis" (एक नियम जो यह सुनिश्चित करता है कि ज्यामितीय बिंदु मौजूद हों) पर निर्भर करता है।

संक्षेप में, बुयुकबोदुक और नेमटी ने ज्यामितीय और विश्लेतिक दुनिया के बीच एक नया, सुंदर पुल बनाया है। उन्होंने केवल पुल पार नहीं किया; उन्होंने हमें एक गुप्त सुरंग दिखाई जो तब भी काम करती है जब पुल निर्माणाधीन हो या मौसम तूफानी हो। यह प्रमाण पुष्टि करता है कि एक बिंदु की ऊंचाई और एक फलन की ढलान के बीच गहरा संबंध संख्याओं के ब्रह्मांड का एक मौलिक सत्य है, जो सबसे अराजक और गैर-साधारण परिदृश्यों में भी सत्य रहता है।

तकनीकी सारांश: BDP सूत्र के माध्यम से p-adic Gross–Zagier प्रमेय का एक प्रमाण

समस्या विवरण
यह शोध पत्र एक सामान्यीकृत कुसिडल आइगेन-न्यूफॉर्म (cuspidal eigen-newform) $f$ के भार $k \geq 2$ वाले बेस चेंज के लिए एक काल्पनिक द्विघाती क्षेत्र $K$ में संबद्ध $p$ -adic $L$ -फंक्शन के $p$ -adic Gross–Zagier सूत्र के प्रमाण को संबोधित करता है। लेखक एक केंद्रीय महत्वपूर्ण बिंदु पर इस $p$ -adic $L$ -फंक्शन के व्युत्पन्न (derivative) और एक हीगनर चक्र (Heegner cycle) के $p$ -adic ऊंचाई (height) के बीच एक सटीक संबंध स्थापित करने का लक्ष्य रखते हैं।

जबकि यह सूत्र पहले शास्त्रीय $p$ -ordinary मामलों (जहाँ $p \nmid N_f$ और रूप ordinary है) के लिए पेरीन-रियू (Perrin-Riou), नेकोवार (Nekovář), और कोबायाशी (Kobayashi) द्वारा स्थापित किया गया था, यह कार्य non-ordinary परिदृश्यों तक इस परिणाम का विस्तार करता है। विशेष रूप से, यह उन मामलों को कवर करता है जहाँ $k > 2$ है और Hecke eigenvalue का मान $\text{ord}_p(a_p(f)) > 0$ (non-ordinary) है, साथ ही उन मामलों को भी जहाँ $p \mid N_f$ (semi-stable reduction) है। प्रमाण "strong Heegner hypothesis" और विशिष्ट "big image" स्थितियों के अंतर्गत कार्य करता है।

कार्यप्रणाली
लेखक एक ऐसी रणनीति का उपयोग करते हैं जो ज्यामितीय और विश्लेषणात्मक कर्नेल (kernels) की तुलना करने वाले पारंपरिक दृष्टिकोण (जो $p$ -adic ऊंचाइयों बनाम Rankin–Selberg संवलनों (convolutions) से निर्मित मॉड्यूलर रूपों पर निर्भर करता है) से मौलिक रूप से भिन्न है। इसके बजाय, वे Bertolini–Darmon–Prasanna (BDP) सूत्र और Beilinson–Flach तत्वों के सिद्धांत पर केंद्रित एक "wall-crossing" रणनीति का उपयोग करते हैं।

मुख्य कार्यप्रणाली संबंधी चरण निम्नलिखित हैं:

Beilinson–Flach तत्व: $p$ -adic $L$ -फंक्शन को "प्रथम पारस्परिकता नियमों" (first reciprocity laws) के माध्यम से Beilinson–Flach तत्वों के रूप में वर्णित किया गया है।
Rubin-शैली का सूत्र: एक सूत्र व्युत्पन्न किया जाता है जो $p$ -adic $L$ -फंक्शन के व्युत्पन्न को एक Beilinson–Flach तत्व की $p$ -adic ऊंचाई के रूप में व्यक्त करता है।
स्थानीय छवियों (Local Images) की तुलना: Heegner चक्रों के लिए BDP सूत्र और Beilinson–Flach तत्वों के लिए "द्वितीय पारस्परिकता नियमों" का उपयोग करते हुए, लेखक Heegner बिंदुओं और Beilinson–Flach तत्वों की $p$ -स्थानीय छवियों की तुलना करते हैं।
Euler System के माध्यम से वैश्विक तुलना: Euler system मशीनरी (विशेष रूप से "big image" स्थिति) पर भरोसा करते हुए, स्थानीय छवियों की तुलना को उपयुक्त Selmer समूह के भीतर एक वैश्विक तुलना में परिष्कृत किया जाता है।
Wall-Crossing: प्रमाण स्पष्ट Gross–Zagier (GGP) सूत्रों के $p$ -adic परिवर्तनशील गुणों और विभिन्न क्षेत्रों (ordinary बनाम non-ordinary) के बीच उनके अंकगणितीय समकक्षों के बीच संबंध का लाभ उठाता है।

प्रमुख योगदान और परिणाम
मुख्य परिणाम Theorem A है, जो $s = k/2 + 1$ पर $p$ -adic $L$ -फंक्शन $L_p(f_\alpha/K, s)$ के व्युत्पन्न के लिए निम्नलिखित समानता स्थापित करता है:

$\frac{A}{B} \cdot \frac{d}{ds} L_p(f_\alpha/K, s) \Big|_{s= k/2 +1} = (-1)^{k/2} \times \begin{cases} \left(1 - \frac{p^{k/2}}{\alpha}\right)^4 \cdot \frac{h_f(z_f, z_f)}{(4|D_K|)^{k/2}} & \text{यदि } p \nmid N_f \\ 4 \cdot \frac{h_f(z_f, z_f)}{(4|D_K|)^{k/2}} & \text{यदि } p \parallel N_f \text{ और } a_p(f) \neq p^{k/2} \end{cases}$

जहाँ:

$z_f$ $K$ में $f$ के बेस चेंज से संबद्ध Heegner चक्र है।
$h_f$ $p$ -adic ऊंचाई युग्मन (height pairing) है।
$A$ और $B$ गैर-शून्य बीजगणितीय स्थिरांक हैं।
अनुपात $A/B = 1$ है यदि कुछ गैर-शून्य स्थितियाँ (denote by NV) सत्य होती हैं।

विशिष्ट तकनीकी प्रगति:

एकरूपता (Uniformity): प्रमाण एकसमान है, जो ज्ञात $p$ -ordinary मामलों और नए non-ordinary मामलों (जिसमें $k > 2$ के साथ $\text{ord}_p(\alpha) > 0$ शामिल है) को एक साथ traite करता है।
सामान्यीकृत Heegner चक्र: परिणाम $f/K \times \chi$ के लिए सामान्यीकृत Heegner चक्रों के लिए $p$ -adic Gross–Zagier सूत्रों में विशेष होते हैं, जो Shnider (2016) के परिणामों को पुनः सिद्ध और सामान्यीकृत करते हैं।
Non-Ordinary मामलों को संभालना: शोध पत्र सफलतापूर्वक non-ordinary $p$ -adic ऊंचाइयों की कठिनाइयों से निपटता है, एक ऐसा परिदृश्य जहाँ पेरीन-रियू की तकनीक (Perrin-Riou's trick) पर निर्भर स्थानीय योगदानों के लिए पिछले शून्य तर्क (vanishing arguments) अपर्याप्त थे या भिन्न तकनीकों की आवश्यकता थी।

महत्व और दावे
लेखक दावा करते हैं कि यह कार्य $p$ -adic Gross–Zagier प्रमेय का एक नया प्रमाण प्रदान करता है जो उन विविक्त मामलों को एकीकृत करता जिन्हें पहले अलग-अलग माना जाता था। अपने ध्यान को कर्नेल तुलना से हटाकर BDP सूत्र के माध्यम से Beilinson–Flach तत्वों और Heegner चक्रों के बीच परस्पर क्रिया पर केंद्रित करके, यह शोध पत्र non-ordinary परिदृश्यों के लिए एक अधिक सुदृढ़ ढांचा प्रदान करता है।

शोध पत्र स्पष्ट रूप से नोट करता है कि यह उस मामले का उपचार नहीं करता है जहाँ $\text{ord}_p(N_f) = 1$ और $a_p(f) = p^{k/2}$ , इसे भविष्य के कार्य के विषय के रूप में पहचानता है। इसके अतिरिक्त, लेखक कहते हैं कि यदि गैर-शून्य स्थिति (NV) विफल हो जाती है, तो सूत्र $0=0$ की तुच्छ पहचान में बदल जाता है, जो पिछले साहित्य के अनुरूप है, लेकिन यदि (NV) सत्य है, तो सूत्र एक गैर-तुच्छ संबंध प्रदान करता है। प्रमाण Selmer समूह में आवश्यक वैश्विक तुलना सुनिश्चित करने के लिए "big image" स्थिति पर भारी रूप से निर्भर करता है।

यह कार्य हेनरी डार्मोन (Henri Darmon) को एक श्रद्धांजलि के रूप में प्रस्तुत किया गया है, यह स्वीकार करते हुए कि उनके तर्क का प्रत्येक चरण उनके मौलिक विचारों, विशेष रूप से BDP सूत्र और $p$ -adic $L$ -फंक्शंस और ऊंचाइयों के वैचारिक ढांचे पर निर्भर करता है।