A Counterexample to the Global Injectivity of a Jacobian Mapping in \mathbb{C}^5 and Its Analytical Roots

तकनीकी सारांश: $\mathbb{C}^5$ में एक जैकोबियन मैपिंग की वैश्विक इंजेक्शन (Global Injectivity) का प्रति-उदाहरण

समस्या विवरण
यह शोध पत्र जैकोबियन अनुमान (Jacobian Conjecture) को संबोधित करता है, जो यह प्रस्तावित करता है कि कोई भी बहुपद मैपिंग $F: \mathbb{C}^n \to \mathbb{C}^n$, जिसका जैकोबियन निर्धारित मान (determinant) एक स्थिर गैर-शून्य मान है, वैश्विक रूप से व्युत्क्रमणीय (globally invertible) है। बेस, कोनेल, राइट और ड्रुज़कोव्स्की द्वारा किए गए न्यूनीकरण सिद्धांतों (reduction theorems) ने इस अनुमान के दायरे को क्यूबिक-लीनियर (ड्रुज़कोव्स्की) मैपिंग तक सीमित कर दिया है, जबकि यह अध्ययन यूनिपोटेंट जैकोबियन स्थितियों के तहत वैश्विक इंजेक्शन की सीमाओं का परीक्षण करने के लिए $\mathbb{C}^5$ में एक विशिष्ट बहुपद संरचना की जांच करता है।

कार्यप्रणाली
लेखक एक विशिष्ट बहुपद मैपिंग $G: \mathbb{C}^5 \to \mathbb{C}^5$ का निर्माण करता है जो $G(x) = x - \nabla F(x)$ द्वारा परिभाषित है, जहाँ $F$ घात 6 का एक समरूप (homogeneous) बहुपद है। बहुपद $F$ चार "ट्रिडायगोनल हार्मोनिक ब्लॉक्स" से बना है जिनमें $(u+iv)^6$ के वास्तविक भाग से प्राप्त वास्तविक और काल्पनिक घटक शामिल हैं।

कार्यप्रणाली तीन चरणों में आगे बढ़ती है:

1. जैकोबियन विश्लेषण: लेखक यह प्रदर्शित करता है कि परिभाषित बहुपद $F$ का हेसियन मैट्रिक्स (Hessian matrix) $H_F(x)$ पूर्णतः ट्रिडायगोनल है। इसके गुणांकों की बीजगणितीय संरचना का विश्लेषण करके, यह दिखाया गया है कि $H_F(x)$ के सभी घातों के ट्रेस शून्य हैं ($\text{Tr}(H_F^k) = 0$ के लिए $k=1,\dots,5$)। यह सिद्ध करता है कि $H_F(x)$ हर जगह निल (nilpotent) है, जिससे मैपिंग $G$ का जैकोबियन निर्धारित मान वैश्विक रूप से स्थिर और 1 के बराबर सुनिश्चित होता है ($\det(I - H_F) \equiv 1$)।
2. इंजेक्शन परीक्षण: इस तथ्य का लाभ उठाते हुए कि $F$ सम घात वाले मोनॉमियल्स (monomials) से बना है, ग्रेडिएंट $\nabla F$ एक विषम फलन (odd function) है। लेखक $a \neq b$ जैसे भिन्न बिंदुओं को खोजने के समस्या को $\nabla F(a) = a$ (अर्थात $G(a) = \vec{0}$) समीकरण के गैर-तुच्छ मूलों (non-trivial roots) को खोजने में बदल देता है।
3. विश्लेषणात्मक वर्गीकरण: शोध पत्र $G(x) = \vec{0}$ के शून्य-समुच्चय (zero-set) का विस्तृत व्युत्पत्ति कार्य करता है। चरों को अलग करने और विशिष्ट उप-प्रणालियों पर आनुपातिकिकरण एंसेट्स (proportionality ansatzes) ($x_i = k x_j$) लागू करके, लेखक परिणामी बीजगणितीय समीकरणों को हल करता है ताकि समाधान के विशिष्ट परिवारों की पहचान की जा सके।

प्रमुख योगदान और परिणाम
प्राथमिक योगदान एक यूनिपोटेंट बहुपद मैपिंग के वैश्विक इंजेक्शन के प्रति-उदाहरण का निर्माण करना है जो $\mathbb{C}^5$ में है।

• स्पष्ट प्रति-उदाहरण: लेखक दो भिन्न विरल सदिश (sparse vectors) निर्मित करता है, $a = (c, 0, 0, 0, 0)$ और $b = (-c, 0, 0, 0, 0)$, जहाँ $c = 6^{-1/4}$ है। यह कठोरता से सिद्ध किया गया है कि $G(a) = G(b) = \vec{0}$ है, जिससे यह प्रदर्शित होता है कि मैपिंग वैश्विक रूप से इंजेक्शन योग्य नहीं है, बावजूद इसके कि इसका जैकोबियन निर्धारित मान हर जगह 1 है।
• शून्य-समुच्चयों का वर्गीकरण: शोध पत्र ग्रेडिएंट क्षेत्र के विश्लेषणात्मक मूलों का विस्तृत वर्गीकरण प्रदान करता है, जिसमें कुल 37 सटीक जटिल समाधानों की पहचान की गई है, जिन्हें छह विशिष्ट ज्यामितीय श्रेणियों में व्यवस्थित किया गया है:
  1. श्रेणी 1: चार पृथक समाधान जहाँ केवल पहला निर्देशांक गैर-शून्य है ($x_1^4 = 1/6$)।
  2. श्रेणी 2: चार समाधान जहाँ केवल अंतिम निर्देशांक गैर-शून्य है ($x_5^4 = i/6$)।
  3. श्रेणी 3: चार समाधान जहाँ केवल मध्य निर्देशांक गैर-शून्य है ($x_3^4 = 1/6$)।
  4. श्रेणी 4: सोलह समाधान जो पहले और तीसरे निर्देशांक के स्वतंत्र रैखिक संयोजनों से बने हैं।
  5. श्रेणी 5: युग्मित चरों $x_4$ और $x_5$ वाले दाहिने सीमा पर समाधानों का एक परिवार, जो स्केलिंग गुणांक $k_R$ में द्विघाती समीकरण द्वारा निर्धारित होता है।
  6. श्रेणी 6: $x_1$ और $x_2$ वाले युग्मित चरों वाले बाएं सीमा पर समाधानों का एक सममित परिवार, जो स्केलिंग गुणांक $k_L$ में द्विघाती समीकरण द्वारा निर्धारित होता है।

महत्व
शोध पत्र का दावा है कि ये परिणाम जैकोबियन अनुमान के ढांचे के भीतर स्थिरता और इंजेक्शन की स्थितियों की जटिल प्रकृति को उजागर करते हैं। एक यूनिपोटेंट मैपिंग को प्रदर्शित करके जो $\mathbb{C}^5$ में वैश्विक रूप से इंजेक्शन योग्य नहीं है, यह कार्य उच्च आयामों में जैकोबियन निर्धारित मान के वैश्विक रूप से स्थिर होने के बावजूद वैश्विक व्युक्रमणीयता की धारणा को चुनौती देते हुए, इस विशिष्ट वर्ग की मैपिंग के लिए गैर-इंजेक्शन की पुष्टि करता है। निष्कर्षों को सटीक विश्लेषणात्मक समाधान परिवारों के रूप में प्रस्तुत किया गया है जो उच्च आयामों में निरंतर जैकोबियन निर्धारित मान के बावजूद वैश्विक व्युक्रमणीयता की धारणा को चुनौती देते हैं।