Counterexamples to the Jacobian conjecture in dimensions greater than two

तकनीकी सारांश: दो से अधिक आयामों में जैकोबियन अनुमान (Jacobian Conjecture) के प्रति-उदाहरण

समस्या विवरण
केलर द्वारा 1939 में प्रस्तावित जैकोबियन अनुमान यह दावा करता है कि कोई भी बहुपद मानचित्र $F: \mathbb{C}^n \to \mathbb{C}^n$ जिसका जैकोबियन सारणिक (Jacobian determinant) एक स्थिर गैर-शून्य मान (एक केलर मानचित्र) हो, उसे एक बहुपद ऑटोमोर्फिज्म (अर्थात, उसके पास एक बहुपद व्युत्क्रम होना चाहिए) होना चाहिए। जबकि $n=2$ के लिए यह अनुमान अनसुलझा बना हुआ है, यह शोध पत्र आयाम $n > 2$ के लिए अनुमान की स्थिति को संबोधित करता है। यह कार्य अल्पाज (Alpöge) द्वारा घोषित आयाम तीन में अनुमान के खंडन (19 जुलाई, 2026) पर आधारित है, जिसने एक विशिष्ट प्रति-उदाहरण प्रदान किया था, और गैलाघर (Gallagher) द्वारा बाद में निर्मित अनंत प्रति-उदाहरणों के परिवार पर भी आधारित है। यहाँ मुख्य समस्या इन प्रति-उदाहरणों के पीछे के तंत्र को सभी आयामों $n > 2$ के लिए सामान्यीकृत करना और मनमाने रूप से बड़े ज्यामितीय डिग्री वाले स्पष्ट उदाहरणों का निर्माण करना है।

कार्यप्रणाली
यह शोध पत्र स्पियर (Speyer) द्वारा मूल रूप से अलग किए गए "टैंजेंट स्वीप" (tangent sweep) तंत्र पर आधारित एक ज्यामितीय निर्माण का उपयोग करता है। कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

1. टैंजेंट स्वीपिंग (Tangent Sweeping): लेखक एक पैरामीट्रिक हाइपरसरफेस पर एक स्पर्श रेखा दिशा क्षेत्र (tangent direction field) को स्वीप करके एक बहुपद मानचित्र का निर्माण करता है। एक पैरामीट्रिक हाइपरसरफेस $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ और एक बहुपद टैंजेंट फील्ड $\Delta$ के लिए, एक "पैडेड स्वीप" (padded sweep) मानचित्र $F_0$ को परिभाषित किया गया है। यह दिखाया गया है कि इस स्वीप का जैकोबियन सारणिक एक मल्टीप्लायर वेरिएबल $\gamma$ में एक बहुपद है, जो विशेष रूप से $\det J(F_0) = \sum L_k \gamma^{k+1}$ के रूप में है।
2. शाखा चयन और सामान्यीकरण (Branch Selection and Normalization): निर्माण एक विशिष्ट "शाखाओं" (branches) के चयन पर निर्भर करता है जहाँ जैकोबियन सारणिक एक मोनोमियल टर्म $c \gamma^{k+1}$ में सरल हो जाता है। इसके लिए स्पर्शता मानदंडों ($\det(\Delta, J(X)) \equiv 0$) को संतुष्ट करने और उन सामान्यीकरण स्थितियों की आवश्यकता होती है जहाँ विशिष्ट गुणांक $L_k$ शून्य या स्थिरांक बन जाते हैं। यह विभिन्न आयामों में उपलब्ध विभिन्न प्रकार के दिशा क्षेत्रों (वक्र-जैसे, टॉटोलॉजिकल, और मिश्रित) के विश्लेषण के माध्यम से निर्धारित किया जाता है।
3. मोनोमियल ट्विस्ट (Monomial Twist): स्वीप (जिसका जैकोबियन गैर-स्थिर है) को एक केलर मानचित्र (स्थिर जैकोबियन) में बदलने के लिए, लेखक एक "मोनोमियल ट्विस्ट" लागू करता है। इसमें स्वीप को मोनोमियल मानचित्रों और एक एफ़ाइन चरण के साथ संयोजित करना शामिल है ताकि जैकोबियन में $\gamma$ कारक को रद्द किया जा सके। यह प्रक्रिया हाइपरसरफेस को परिभाषित करने वाले बहुपदों के गुणांकों पर "साइड कंडीशंस" (विभाज्यता संबंधी बाधाएं) पेश करती है। महत्वपूर्ण रूप से, यह ट्विस्ट रामिफिकेशन लोकस (जहाँ मानचित्र आक्षेपित/injective होने में विफल रहता है) को अनंत की ओर धकेल देता है, जिसके परिणामस्वरूप एक ऐसा मानचित्र प्राप्त होता है जो सर्वत्र अनरामिफाइड (étale) है लेकिन प्रोपर (proper) नहीं है।

मुख्य योगदान और परिणाम

• सामान्य ढांचा (General Framework): यह शोध पत्र प्रत्येक आयाम $n > 2$ के लिए मान्य एक सामान्य निर्माण स्थापित करता है। यह प्रदर्शित करता है कि हाइपरसरफेस पर टैंजेंट दिशा क्षेत्रों को स्वीप करके और मोनोमियल ट्विस्ट लागू करके, $n \ge 3$ के सभी आयामों में केलर प्रति-उदाहरण उत्पन्न किए जा सकते हैं।
• मनमाना ज्यामितीय डिग्री (Arbitrary Geometric Degree): निर्माण मनमाने रूप से बड़े ज्यामितीय डिग्री (एक जेनेरिक फाइबर में बिंदुओं की संख्या) वाले प्रति-उदाहरण उत्पन्न करता है। $n=3$ के लिए, यह गैलाघर के परिवार को पुनः प्राप्त करता है। $n \ge 4$ के लिए, वक्र-प्रकार का दिशा क्षेत्र उच्च डिग्री के डेटा का चयन करके ज्यामितीय डिग्री को मनमाने ढंग से बढ़ाने की अनुमति देता है।
• पाँच स्पष्ट प्रति-उदाहरण: लेखक पाँच नए स्पष्ट बहुपद मानचित्रों पर कार्य करता है:
  • आयाम 3: एक मानचित्र $G$ जिसके घटक डिग्री 4, 11, और 12 (ज्यामितीय डिग्री 4) हैं, जो दो कस्प्स (cusps) और एक नोड वाली एक रैशनल क्वार्टिक वक्र पर आधारित है।
  • आयाम 4:
    • $F_4$: एक मानचित्र जिसके घटक डिग्री 4, 11, 12, और 21 (ज्यामितीय डिग्री 5) हैं, जो एक नॉन-सिलिंड्रिकल रूल्ड सरफेस से व्युत्पन्न है।
    • $F_5$: एक मानचित्र जिसके घटक डिग्री 3, 12, 14, और 16 (ज्यामितीय डिग्री 10) हैं, जो एक मिश्रित दिशा क्षेत्र के "M-branch" से व्युत्पन्न है।
  • आयाम 5:
    • $F_6$: एक मानचित्र जिसके घटक डिग्री 7, 38, 40, 42, और 44 (ज्यामितीय डिग्री 6) हैं, जो मिश्रित दिशा क्षेत्र $\Delta = (1, w_1, w_1^2, w_2)^T$ के "बॉटम ब्रांच" से व्युत्पन्न है।
    • $F_7$: एक मानचित्र जिसके घटक डिग्री 7, 86, 89, 92, और 95 (ज्यामितीय डिग्री 12) हैं, जो ट्रांसवर्स केलर-टाइप डेटा का उपयोग करते हुए "वक्र-प्रकार" के दिशा क्षेत्र से व्युत्पन्न है।
• फाइबर संरचना विश्लेषण (Fiber Structure Analysis): यह शोध पत्र इन मानचित्रों के लिए विस्तृत फाइबर संरचनाओं का विवरण प्रदान करता है। यह सिद्ध करता है कि जेनेरिक फाइबर का आकार ज्यामितीय डिग्री के बराबर होता है, जबकि विशिष्ट फाइबर्स विशिष्ट लोकी (जैसे, जेलोनेक हाइपरसरफेस) पर छोटे आकार (या खाली) में क्षीण हो जाते हैं। उदाहरण के लिए, मानचित्र $G$ प्रत्येक फाइबर आकार $\{4, 3, 2, 1, 0\}$ को प्राप्त करता है।
• कठोरता घटना (Rigidity Phenomenon): आयाम 5 में, मिश्रित दिशा क्षेत्र के "मिडल ब्रांच" का विश्लेषण एक कठोरता घटना को प्रकट करता है। इस ब्रांच के लिए शासी समीकरण एक विशेषता-अपरिवर्तनीयता लोकस (characteristic-invariance locus) पर एक रैखिक परिवहन समीकरण (linear transport equation) में क्षीण हो जाता है, जो यह सुझाव देता है कि वास्तविक पांच-आयामी डेटा इस ब्रांच को साकार नहीं कर सकता है; समाधान चार-आयामी स्वीप के सस्पेंशन (suspensions) प्रतीत होते हैं।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह प्लेन कर्व्स से हाइपरसरफेस पर दिशा क्षेत्रों तक टैंजेंट-स्वीप तंत्र का एक स्व-निहित विवरण प्रदान करता है। इसका प्राथमिक महत्व निम्नलिखित में निहित है:

1. खंडन को पूर्ण करना: यह पुष्टि करता है कि $n > 2$ के सभी आयामों के लिए जैकोबियन अनुमान गलत है, जिससे ऐसे सभी आयामों में प्रति-उदाहरणों के लिए एक एकीकृत तंत्र प्रदान होता है।
2. स्पष्टता (Explicitness): अमूर्त अस्तित्व प्रमाणों के विपरीत, यह कार्य पाँच पूर्णतः स्पष्ट बहुपद मानचित्र प्रदान करता है जिनके जैकोबियन सारणिक और फाइबर संरचनाएँ सत्यापित हैं।
3. ज्यामितीय अंतर्दृष्टि: यह प्रति-उदाहरणों की ज्यामितीय प्रकृति को स्पष्ट करता है: वे $\mathbb{C}^n \to \mathbb{C}^n$ के एलीट कवरिंग (étale coverings) हैं जो केवल इसलिए आक्षेपित (injective) होने में विफल होते हैं क्योंकि अलग-अलग प्री-इमेजेस (preimages) परिमित बिंदुओं पर टकराने के बजाय अनंत की ओर चले जाते हैं।
4. प्रसार (Propagation): निर्माण अनुक्रम $n \mapsto n+3$ के साथ प्रति-उदाहरणों के प्रसार की अनुमति देता है, जिससे यह सुझाव मिलता है कि निचले आयामों में प्रति-उदाहरण उच्च आयामों में प्रति-उदाहरण बनाने के लिए डेटा के रूप में काम कर सकते हैं।

लेखक नोट करता है कि सभी बहुपद पहचान और फाइबर गणनाओं को सटीक परिमेय अंकगणित (exact rational arithmetic) और जहाँ संभव हो ग्रोबनर बेसिस (Gröbner bases) का उपयोग करके सत्यापित किया गया था। वे स्वीकार करते हैं कि उच्च-आयामी मानचित्रों ($F_4$ से $F_7$ तक) के लिए पूर्ण फाइबर स्तरीकरण भविष्य के कार्य का विषय है, हालांकि जेनेरिक फाइबर गणनाएँ कठोर रूप से स्थापित की गई हैं।