Diophantine stability for elliptic curves on average
Ray, Weston
Let $K$ be a number field and $\ell \geq 5$ a prime number. Mazur and Rubin introduced the notion of diophantine stability for a variety $X_{/K}$ at a prime $\ell$. We show that there is a positive density set of elliptic curves $E_{/\mathbb{Q}}$ of rank $1$ such that $E_{/K}$ is diophantine stable at $\ell$. This has implications for Hilbert's Tenth Problem over $\mathscr{O}_K$. This problem asks whether there exists an algorithm that decides in finite time whether a finite system of Diophantine equations over $\mathscr{O}_K$ has a solution.
academic
दीर्घवृत्तीय वक्रों के लिए डायोफैंटाइन स्थिरता औसत पर
मान लीजिए K एक संख्या क्षेत्र है और ℓ≥5 एक अभाज्य संख्या है। Mazur और Rubin ने अभाज्य ℓ पर विविधता X/K की डायोफैंटाइन स्थिरता की अवधारणा प्रस्तुत की। यह पेपर प्रमाणित करता है कि रैंक 1 के दीर्घवृत्तीय वक्रों E/Q का एक सकारात्मक घनत्व मौजूद है जैसे कि E/Kℓ पर डायोफैंटाइन स्थिर है। इसका संख्या वलय OK पर हिल्बर्ट की दसवीं समस्या के लिए महत्वपूर्ण निहितार्थ है। यह समस्या पूछती है कि क्या कोई एल्गोरिदम परिमित समय में यह निर्धारित कर सकता है कि OK पर परिमित डायोफैंटाइन समीकरणों की प्रणाली का समाधान है या नहीं।
यह पेपर दीर्घवृत्तीय वक्रों की डायोफैंटाइन स्थिरता और हिल्बर्ट की दसवीं समस्या के साथ इसके संबंध का अध्ययन करता है। हिल्बर्ट की दसवीं समस्या पूछती है कि क्या कोई एल्गोरिदम यह निर्धारित कर सकता है कि पूर्णांकों पर डायोफैंटाइन समीकरण का समाधान है, Matiyasevich ने प्रमाणित किया है कि यह समस्या पूर्णांक वलय Z के लिए नकारात्मक उत्तर है।
डायोफैंटाइन स्थिरता: दीर्घवृत्तीय वक्र E/K अभाज्य ℓ पर डायोफैंटाइन स्थिर है, यदि और केवल यदि सभी n≥1 और परिमित अभाज्य आदर्श समूह Σ के लिए, अनंत रूप से कई ℓn चक्रीय विस्तार L/K मौजूद हैं जैसे कि:
E(L)=E(K) (बिंदु समूह अपरिवर्तनीय)
Σ में सभी अभाज्य आदर्श L में पूरी तरह विभाजित होते हैं
प्रस्ताव 3.3: किसी भी दीर्घवृत्तीय वक्र A/Q के लिए, समान अवशेष प्रतिनिधित्व वाले दीर्घवृत्तीय वक्रों का समूह TA संतुष्ट करता है:
#C(X)#TA(X)=O(XlogX)
इसलिए TA का घनत्व शून्य है।
प्रमेय C: मान लीजिए ℓ≥5, K एक संख्या क्षेत्र है, ΣK के परिमित अभाज्य आदर्शों का समूह है। यदि ZOK में डायोफैंटाइन परिभाषित है, तो अनंत रूप से कई ℓn चक्रीय विस्तार L/K मौजूद हैं जैसे कि:
Σ में अभाज्य आदर्श L में पूरी तरह विभाजित होते हैं
ZOL में डायोफैंटाइन परिभाषित है
हिल्बर्ट की दसवीं समस्या OL के लिए नकारात्मक उत्तर है
यह पेपर दीर्घवृत्तीय वक्रों की डायोफैंटाइन स्थिरता के सांख्यिकीय अनुसंधान की दिशा खोलता है, संख्या क्षेत्रों के पूर्णांक वलय पर हिल्बर्ट की दसवीं समस्या के अंतिम समाधान को सीधे प्रभावित करता है, और महत्वपूर्ण सैद्धांतिक मूल्य और ऐतिहासिक महत्व रखता है।
यह पेपर डायोफैंटाइन स्थिरता, दीर्घवृत्तीय वक्रों की अंकगणितीय सांख्यिकी, हिल्बर्ट की दसवीं समस्या और अन्य क्षेत्रों के महत्वपूर्ण साहित्य का हवाला देता है, विशेष रूप से Mazur-Rubin के आधारभूत कार्य और Duke के दीर्घवृत्तीय वक्रों के गैलोइस प्रतिनिधित्व पर गहन परिणाम।