Proportion of periodic points in reduction of polynomials

तकनीकी सारांश: बहुपदों के न्यूनीकरण (Reduction) में आवधिक बिंदुओं का अनुपात

1. समस्या विवरण
यह शोध पत्र जुुल, कुर्लबर्ग, माधु और टकर (2014) द्वारा उठाए गए एक मौलिक प्रश्न को संबोधित करता है जो अंकगणितीय गतिकी (arithmetic dynamics) से संबंधित है। दिए गए संख्या क्षेत्र (number field) $K$ और $K$ के गुणांकों वाले एक परिमेय फलन (rational function) $f$ के लिए, मान लीजिए कि $f_{\mathfrak{p}}$, पूर्णांकों के वलय (ring of integers) $\mathcal{O}_K$ के एक अभाज्य आदर्श (prime ideal) $\mathfrak{p}$ के सापेक्ष $f$ का न्यूनीकरण (reduction) है। चूंकि अवशेष क्षेत्र (residue field) $\mathbb{F}_{\mathfrak{p}} = \mathcal{O}_K/\mathfrak{p}$ परिमित है, इसलिए प्रत्येक बिंदु या तो आवधिक (periodic) होता है या सख्ती से पूर्व-आवधिक (strictly preperiodic) होता है।

मुख्य प्रश्न निम्नलिखित मान को निर्धारित करना है:
$$\text{Per}_{\inf}(f, K) := \liminf_{N(\mathfrak{p}) \to \infty} \frac{\# \text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$
जहाँ $N(\mathfrak{p})$ अभाज्य आदर्श का मान (norm) है। यद्यपि यादृच्छिक मानचित्र (random maps) यह सुझाव देते हैं कि यह अनुपात शून्य की ओर प्रवृत्त होना चाहिए, बहुपदों की विशिष्ट बीजगणितीय संरचना अक्सर इस अनुमान को चुनौती देती है। पिछले कार्यों ने द्विघाती बहुपदों और विसंयुक्त क्रिटिकल ऑर्बिट्स (disjoint critical orbits) वाले बहुपदों के लिए इस मामले का वर्गीकरण किया था, लेकिन सभी बहुपदों के लिए एक पूर्ण वर्गीकरण खुला रह गया था।

2. कार्यप्रणाली (Methodology)
लेखक अंकगणितीय गतिकी (arithmetic dynamics), गैलोआ सिद्धांत (Galois theory), और बीजगणितीय संख्या सिद्धांत (algebraic number theory) के संयोजन का उपयोग करता है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

• पुनरावृत्त गैलोआ समूह और स्थिर-बिंदु अनुपात (Iterated Galois Groups and Fixed-Point Proportion - FPP):
  यह शोध पत्र जुुल आदि द्वारा स्थापित ऊपरी सीमा का उपयोग करता है:
  $$\text{Per}_{\inf}(f, K) \leq \text{FPP}(G_{\infty}(\mathbb{C}, f, t))$$
  जहाँ $G_{\infty}$ $\mathbb{C}$ पर $f$ का पुनरावृत्त गैलोआ समूह है और $\text{FPP}$ उस प्रोफ़िनाइट समूह (profinite group) के तत्वों का अनुपात है जो प्रीइमेज ट्री (preimage tree) के प्रत्येक स्तर में कम से कम एक बिंदु को स्थिर (fix) करता है।

  • फरिना-अस्तेगुई और लेखक (2024) द्वारा हाल ही में किए गए एक महत्वपूर्ण कार्य ने बहुपदों के लिए FPP को वर्गीकृत किया है। यह तभी गैर-शून्य होता है जब $f$, $\mathbb{C}$ पर चेबिशेव बहुपद (Chebyshev polynomial) $\pm T_d$ के रैखिक अनुरूप (linearly conjugate) हो। अन्य सभी मामलों में, FPP शून्य होता है, जिसका अर्थ है कि $\text{Per}_{\inf}(f, K) = 0$।

• चेबिशेव बहुपदों तक न्यूनीकरण (Reduction to Chebyshev Polynomials):
  उन बहुपदों $f$ के लिए जो $\mathbb{C}$ पर $\pm T_d$ के रैखिक अनुरूप हैं, ऊपरी सीमा अपर्याप्त है। लेखक सिद्ध करता है कि $\text{Per}_{\inf}(f, K) = \text{Per}_{\inf}(T_d, K)$, भले ही संयुग्मन मानचित्र (conjugation map) $L$ के गुणांक $K$ में न हों।

  • यदि संयुजन एक द्विघाती विस्तार $K'/K$ पर परिभाषित है, तो लेखक उन अभाज्य आदर्शों के व्यवहार का विश्लेषण करता है जो विभाजित (split) होते हैं बनाम वे जो जड़ित (inert) रहते हैं, यह दिखाते हुए कि 'लिमिट इन्फिमम' (limit inferior) अपरिवर्तित रहता है।

• चेबोटेव घनत्व प्रमेय (Chebotarev's Density Theorem) के माध्यम से स्पष्ट गणना:
  $T_d$ के लिए $\text{Per}_{\inf}(T_d, K)$ की गणना करने के लिए, लेखक परिमित क्षेत्रों पर $T_d$ के आवधिक बिंदुओं की संख्या पर आधारित एक सूत्र व्युत्पन्न करता है। यह गणना $d$ के साथ सह-अभाज्य (coprime) $N(\mathfrak{p}) \pm 1$ के विभाजकों पर निर्भर करती है।

  • मुख्य तकनीकी उपकरण प्रस्ताव 2.5 है, जो चेबोटेव घनत्व प्रमेय का एक परिणाम है। यह ऐसे अनंत अभाज्य आदर्शों $\mathfrak{p}$ के निर्माण की अनुमति देता है कि $N(\mathfrak{p})$, $m_K$ (क्षेत्र $K$ में मूल इकाइयों की अधिकतम कोटि) और अन्य पूर्णांकों के मॉड्यूलो (modulo) विशिष्ट सर्वांगसमता (congruence) स्थितियों को संतुष्ट करता है।
  • इन सर्वांगसमताओं को हेरफेर करके, लेखक "सह-अभाज्य विभाजकों" $r(N(\mathfrak{p}) \pm 1, d)$ को $N(\mathfrak{p})$ के सापेक्ष छोटा बनाने के लिए मजबूर करता है, जिससे लिमिट इन्फिमम निर्धारित होता है।

3. प्रमुख योगदान और परिणाम
यह शोध पत्र किसी भी $f \in K[x]$ बहुपद के लिए $\text{Per}_{\inf}(f, K)$ का पूर्ण वर्गीकरण प्रदान करता है।

प्रमेय 1 (मुख्य वर्गीकरण):
मान लीजिए $d = \deg(f)$ और $m_K$ वह अधिकतम पूर्णांक है कि $K$ में एक प्रिमिटिव $m_K$-वें मूल इकाई (primitive $m_K$-th root of unity) मौजूद है।

1. तुच्छ मामले (Trivial Cases):
   • यदि $d=0$, $\text{Per}_{\inf} = 0$।
   • यदि $d=1$, $\text{Per}_{\inf} = 1$।
2. गैर-चेबिशेव मामले (Non-Chebyshev Cases):
   • यदि $d \geq 2$ और $f$, $\mathbb{C}$ पर $\pm T_d$ के रैखिक अनुरूप नहीं है, तो $\text{Per}_{\inf}(f, K) = 0$।
3. चेबिशेव मामले ($f \sim \pm T_d$):
   इसका मान $d$ के अभाज्य गुणनखंड और $m_K$ के साथ इसके संबंध पर निर्भर करता है:
   • शून्य मामले:
     • यदि $d$ के $\geq 2$ अभाज्य गुणनखंड हैं और $\text{rad}(d) \nmid \text{rad}(m_K)$।
     • यदि $d$ सम है, $\geq 2$ अभाज्य गुणनखंड हैं, $\text{rad}(d) \mid \text{rad}(m_K)$, लेकिन $v_2(m_K) = 1$।
   • गैर-शून्य मामले:
     • यदि $d$ एक विषम अभाज्य घात (odd prime power) है: $\text{Per}_{\inf} = 1/2$।
     • यदि $d$ एक सम अभाज्य घात (even prime power) है: $\text{Per}_{\inf} = 1/4$।
     • यदि $d$ विषम है, $\geq 2$ अभाज्य गुणनखंड हैं, और $\text{rad}(d) \mid \text{rad}(m_K)$: $\text{Per}_{\inf} = 1/2$।
     • यदि $d$ सम है, $\geq 2$ अभाज्य गुणनखंड हैं, $\text{rad}(d) \mid \text{rad}(m_K)$, और $v_2(m_K) \geq 2$: $\text{Per}_{\inf} = 1/4$।

अनुवर्ती 2 (मामला $K=\mathbb{Q}$):
चूंकि $m_{\mathbb{Q}} = 2$ है, इसलिए वर्गीकरण काफी सरल हो जाता है। $f \in \mathbb{Q}[x]$ के लिए $d \geq 2$ होने पर:

• यदि $d$ एक विषम अभाज्य घात है और $f \sim \pm T_d$, तो $\text{Per}_{\inf} = 1/2$।
• यदि $d$ एक सम अभाज्य घात है और $f \sim \pm T_d$, तो $\text{Per}_{\inf} = 1/4$।
• अन्यथा, $\text{Per}_{\inf} = 0$।

4. महत्व

• पूर्णता: यह कार्य 2014 में शुरू किए गए बहुपद वर्गीकरण समस्या को हल करता है, जो विशिष्ट उदाहरणों (जैसे द्विघाती) से आगे बढ़कर सभी डिग्री के लिए एक सामान्य सिद्धांत की ओर ले जाता है।
• क्षेत्रों का अंतर्संबंध: यह आधार क्षेत्र की अंकगणित (विशेष रूप से मूल इकाइयों, $m_K$, की उपस्थिति) और बहुपदों के न्यूनीकरण के गतिक व्यवहार के बीच एक गहरा संबंध प्रदर्शित करता है। $K$ में मूल इकाइयों की उपस्थिति बहुपदों के आवधिक बिंदुओं के अनुपात को शून्य से "बचा" सकती है, भले ही उनकी घात मिश्रित (composite) हो।
• कार्यप्रणालीगत प्रगति: यह शोध पत्र पुनरावृत्त गैलोआ समूहों और स्थिर-बिंदु अनुपातों के उपयोग को परिष्कृत करता है, यह दिखाते हुए कि जहाँ ज्यामितीय सीमा (geometric bound) सकारात्मक होती है, वहाँ अभाज्य के सापेक्ष न्यूनीकरण का स्पष्ट अंकगणितीय विश्लेषण कैसे किया जाए।
• भावी दिशाएँ: लेखक नोट करते हैं कि जबकि बहुपद मामला सुलझ गया है, सामान्य परिमेय फलनों (rational functions) के लिए मामला खुला है, विशेष रूप से लैटे मानचित्रों (Lattès maps) के संबंध में, जहाँ पुनरावृत्त गैलोआ समूह का स्थिर-बिंदु अनुपात अभी भी पूरी तरह से समझ में नहीं आया है।