अंकगणितीय गतिशीलता

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

वैश्विक अंकगणितीय गतिशीलता असतत गतिशील प्रणालियों की सेटिंग में शास्त्रीय डायोफैंटाइन ज्यामिति के एनालॉग्स का अध्ययन है, जबकि स्थानीय अंकगणितीय गतिशीलता, जिसे p-एडिक या गैर-आर्किमिडीयन गतिशीलता भी कहा जाता है, समिष्ट गतिशीलता का एनालॉग है जिसमें कोई समिष्ट संख्या C को Q_p या C_p जैसे p-एडिक क्षेत्र द्वारा प्रतिस्थापित करता है और अराजक व्यवहार और फ़तौ और जूलिया सेट का अध्ययन करता है।

निम्नलिखित तालिका डायोफैंटाइन समीकरणों, विशेष रूप से एबेलियन विविधता और गतिशील प्रणालियों के मध्य रफ पत्राचार का वर्णन करती है:

डायोफैंटाइन समीकरण	गतिशील प्रणालियाँ
विविधता पर तर्कसंगत और पूर्णांक बिंदु	कक्षा में तर्कसंगत और पूर्णांक बिंदु
एबेलियन विविधता पर सीमित क्रम के बिंदु	तर्कसंगत फलन के पूर्व-आवधिक बिंदु

असतत गतिशीलता से परिभाषाएँ और संकेतन

मान लीजिए S समुच्चय है और मान लीजिए F : S → S, S से स्वयं का मानचित्र है। F की स्वयं के साथ n बार पुनरावृत्ति को दर्शाया गया है:

$F^{(n)}=F\circ F\circ \cdots \circ F.$

बिंदु P ∈ S आवर्त है यदि F⁽ⁿ⁾(P) = P कुछ n ≥ 1 के लिए है।

यदि F^(k)(P) किसी k ≥ 1के लिए आवर्त है तो बिंदु पूर्वआवधिक है।

P की (आगे की) कक्षा निर्धारित है:

$O_{F}(P)=\left\{P,F(P),F^{(2)}(P),F^{(3)}(P),\cdots \right\}.$

इस प्रकार P पूर्वआवधिक है यदि और केवल इसकी कक्षा O_F(P) परिमित है।

पूर्वआवधिक बिंदुओं की संख्या सैद्धांतिक गुण

See also: टोशन बिंदुओं के लिए समान सीमा अनुमान and तर्कसंगत बिंदुओं के लिए समान सीमा अनुमान

मान लीजिए कि F(x) Q में गुणांक के साथ कम से कम दो डिग्री का तर्कसंगत फलन है। डगलस नॉर्थकॉट का प्रमेय कहता है कि F में केवल सीमित रूप से कई Q-तर्कसंगत पूर्वआवधिक बिंदु हैं, अर्थात, F में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु P¹(Q) हैं। पैट्रिक मॉर्टन और जोसेफ सिल्वरमैन के पूर्वआवधिक बिंदुओं के लिए समान सीमा अनुमान का कहना है कि P¹(Q) में F के पूर्वआवधिक बिंदुओं की संख्या स्थिरांक से बंधी है जो केवल F की डिग्री पर निर्भर करती है।

सामान्यतः, मान लीजिए कि F : P^N → P^N संख्या क्षेत्र K पर परिभाषित कम से कम दो डिग्री का रूपवाद है। नॉर्थकॉट प्रमेय का कहना है कि F के निकट P^N(K) में केवल सीमित रूप से कई पूर्व-आवधिक बिंदु हैं, और सामान्य समान सीमा अनुमान कहता है कि P^N(K) में पूर्व-आवधिक बिंदुओं की संख्या पूर्ण रूप से N, F की डिग्री और Q पर K की डिग्री के संदर्भ में सीमित हो सकती है।

समरूप सीमा अनुमान परिमेय संख्या Q पर द्विघात बहुपद F_c(x) = x² + c के लिए भी ज्ञात नहीं है। इस स्थिति में यह ज्ञात है कि F_c(x) में अवधि चार, पाँच, या छह के आवधिक बिंदु नहीं हो सकते हैं, चूँकि अवधि छह का परिणाम बिर्च स्विनर्टन-डायर अनुमान की वैधता पर निर्भर है। ब्योर्न पूनेन ने अनुमान लगाया है कि F_c(x) किसी भी अवधि के तर्कसंगत आवधिक बिंदु तीन से अधिक बड़े नहीं हो सकते हैं।

कक्षाओं में पूर्णांक बिंदु

तर्कसंगत मानचित्र की कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं। उदाहरण के लिए, यदि F(x) पूर्णांक गुणांकों वाला बहुपद है और यदि a पूर्णांक है, तो यह स्पष्ट है कि संपूर्ण कक्षा O_F(a) में पूर्णांक होते हैं। इसी प्रकार, यदि F(x) तर्कसंगत मानचित्र है और कुछ पुनरावृत्त F⁽ⁿ⁾(x) पूर्णांक गुणांक वाला बहुपद है, तो कक्षा में प्रत्येक n-वीं प्रविष्टि पूर्णांक है। इस घटना का उदाहरण मानचित्र F(x) = x^−d है, जिसका दूसरा पुनरावृत्त बहुपद है। यह ज्ञात है कि यह एकमात्र विधि है जिससे कक्षा में अनंत संख्या में पूर्णांक हो सकते हैं।

प्रमेय: मान लीजिए F(x) ∈ Q(x) कम से कम दो डिग्री वाला परिमेय फलन है, और मान लें कि F का कोई पुनरावृत्त बहुपद नहीं है। मान लीजिए a ∈ Q है। तब कक्षा O_F(a) में केवल सीमित संख्या में पूर्णांक होते हैं।

उपवर्गों पर स्थित गतिशील रूप से परिभाषित बिंदु

एस के बाद कोई झांग नहीं के कारण सामान्य अनुमान हैं और अन्य उन उप-किस्मों से संबंधित हैं जिनमें अनंत रूप से कई आवधिक बिंदु होते हैं या जो अनंत रूप से कई बिंदुओं में कक्षा को काटते हैं। ये क्रमशः, मैनिन-ममफोर्ड अनुमान|मैनिन-ममफोर्ड अनुमान, मिशेल रेनॉड द्वारा सिद्ध, और फाल्टिंग्स प्रमेय|मोर्डेल-लैंग अनुमान, गर्ड फाल्टिंग्स द्वारा सिद्ध, के गतिशील एनालॉग हैं। निम्नलिखित अनुमान इस मामले में सामान्य सिद्धांत को दर्शाते हैं कि उपविविधता वक्र है।

अनुमान. होने देना F : P^N → P^N रूपवाद हो और चलो C ⊂ P^N अपरिवर्तनीय बीजगणितीय वक्र बनें। मान लीजिए कि कोई बात है P ∈ P^N ऐसा है कि C कक्षा में अपरिमित रूप से कई बिंदु होते हैं O_F(P). तब C के लिए आवधिक है F इस अर्थ में कि कुछ पुनरावृति है F^(k) का F वह मानचित्र C खुद को।

पी-एडिक गतिशीलता

पी-एडिक गतिशीलता का क्षेत्र|p-एडिक (या नॉनआर्किमिडीयन) गतिकी क्षेत्र पर शास्त्रीय गतिशील प्रश्नों का अध्ययन है K जो गैर-आर्किमिडीयन निरपेक्ष मान के संबंध में पूर्ण है। ऐसे फ़ील्ड के उदाहरण हैं फ़ील्ड p-आदि तर्क Q_p और इसके बीजगणितीय समापन का पूरा होना C_p. मीट्रिक चालू है K और समसामयिकता की मानक परिभाषा तर्कसंगत मानचित्र के फतौ सेट और जूलिया सेट की सामान्य परिभाषा की ओर ले जाती है F(x) ∈ K(x). समिष्ट और गैर-आर्किमिडीयन सिद्धांतों के बीच कई समानताएं हैं, लेकिन कई अंतर भी हैं। उल्लेखनीय अंतर यह है कि गैर-आर्किमिडीयन सेटिंग में, फ़तौ सेट हमेशा खाली नहीं होता है, लेकिन जूलिया सेट खाली हो सकता है। यह सम्मिश्र संख्याओं पर सत्य के विपरीत है। नॉनआर्किमिडीयन गतिकी को बर्कोविच अंतरिक्ष तक विस्तारित किया गया है, जो कॉम्पैक्ट कनेक्टेड स्पेस है जिसमें पूरी तरह से डिस्कनेक्ट किया गया गैर-स्थानीय रूप से कॉम्पैक्ट फ़ील्ड सम्मिलित है C_p.

सामान्यीकरण

जिसमें अंकगणितीय गतिशीलता के प्राकृतिक सामान्यीकरण हैं Q और Q_p को संख्या फ़ील्ड और उनके द्वारा प्रतिस्थापित किया जाता है p-आदिक पूर्णताएँ। अन्य प्राकृतिक सामान्यीकरण स्व-मानचित्रों को प्रतिस्थापित करना है P¹ या P^N स्व-मानचित्रों के साथ (आकारिकी) V → V अन्य एफ़िन या प्रोजेक्टिव किस्म का।

अन्य क्षेत्र जिनमें संख्या सिद्धांत और गतिकी परस्पर क्रिया करते हैं

संख्या सैद्धांतिक प्रकृति की कई अन्य समस्याएं हैं जो गतिशील प्रणालियों की सेटिंग में दिखाई देती हैं, जिनमें सम्मिलित हैं:

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

अंकगणितीय गतिशीलता संदर्भ सूची अंकगणितीय गतिशील विषयों की विस्तृत श्रृंखला को कवर करने वाले लेखों और पुस्तकों की विस्तृत सूची देती है।

यह भी देखें

• अंकगणित ज्यामिति
• अंकगणित टोपोलॉजी
• कॉम्बिनेटरिक्स और डायनेमिक सिस्टम

अग्रिम पठन

• Lecture Notes on Arithmetic Dynamics Arizona Winter School, March 13–17, 2010, Joseph H. Silverman
• Chapter 15 of A first course in dynamics: with a panorama of recent developments, Boris Hasselblatt, A. B. Katok, Cambridge University Press, 2003, ISBN 978-0-521-58750-1

बाहरी संबंध

• The Arithmetic of Dynamical Systems home page
• Arithmetic dynamics bibliography
• Analysis and dynamics on the Berkovich projective line
• Book review of Joseph H. Silverman's "The Arithmetic of Dynamical Systems", reviewed by Robert L. Benedetto