A nine-line counterexample to a conjecture on the minimal degree of Jacobian relations

तकनीकी सारांश: जैकोबियन संबंधों के न्यूनतम डिग्री पर एक अनुमान का नौ-रेखा प्रतिउदाहरण (Counterexample)

समस्या विवरण
यह शोध पत्र सम्मिश्र प्रक्षेपिक तल $\mathbb{P}^2$ में रेखा विन्यासों (line arrangements) से जुड़े बीजगणितीय अपरिवर्तों (algebraic invariants) के संयोजनपरक निर्धारण (combinatorial determination) की जांच करता है। विशेष रूप से, यह सामान्यीकृत टेराओ अनुमान (Generalized Terao Conjecture) (लेखक द्वारा [4] में प्रतिपादित) की जांच करता है, जो यह प्रस्तावित करता है कि यदि $d$ डिग्री वाले एक रेखा विन्यास $A$ के लिए, जैकोबियन संबंध की न्यूनतम डिग्री, जिसे $mdr(f)$द्वारा दर्शाया गया है, यदि$mdr(f) < d/2$की सख्त असमानता को संतुष्ट करती है, तो$mdr(f)$ केवल विन्यास के संयोजनपरक गुणों (अर्थात, इसके प्रतिच्छेदन जालक/intersection lattice) द्वारा निर्धारित होता है।

जबकि ज़िगलर और युज़्विंस्की के शास्त्रीय उदाहरण उन विन्यासों को प्रदर्शित करते हैं जिनमें समरूप प्रतिच्छेदन जालक होने के बावजूद भिन्न जैकोबियन सिज़ीगी (syzygy) व्यवहार होता है, ये उदाहरण आमतौर पर केवल द्वि-बिंदु (double points) और त्रि-बिंदु (triple points) वाले विन्यासों से संबंधित होते हैं। यह अनुमान सुझाव देता है कि $mdr(f) < d/2$ की सीमा एक कठोरता (rigidity) लाती है जो संयोजनपरक निर्धारण को मजबूर करती है। लेखक उच्च बहुलता वाले बिंदुओं (higher multiplicity points) वाले विन्यासों के "सीमावर्ती" (borderline) मामले में इस अनुमान की वैधता का परीक्षण करने का प्रयास करते हैं।

कार्यप्रणाली
लेखक नौ रेखाओं के दो भिन्न विन्यासों का निर्माण करते हैं, जिन्हें $A$ (बहुपद $f$ द्वारा परिभाषित) और $B$ (बहुपद $g$ द्वारा परिभाषित) कहा जाता है, जो परिमेय क्षेत्र $\mathbb{Q}$ पर आधारित हैं।

1. संयोजनपरक सत्यापन (Combinatorial Verification): रैखिक बीजगणित (रेखा वेक्टर के निर्धारक गणना) का उपयोग करते हुए, लेखक सत्यापित करते हैं कि $A$ और $B$ के पास समरूप प्रतिच्छेदन जालक हैं। दोनों विन्यास एक ही दुर्बल संयोजनपरक संरचना (weak combinatorics) साझा करते हैं: एक चतुष्कोण बिंदु ($n_4=1$), सात त्रि-बिंदु ($n_3=7$), और नौ द्वि-बिंदु ($n_2=9$), जिससे कुल ट्ज़ुरिना संख्या (Tjurina number) $\tau = 46$ प्राप्त होती है। यह उन्हें शास्त्रीय ज़िगलर-युज़्विंस्की युग्म से अलग करता है, जिसमें भिन्न संयोजनपरक गुण होते हैं।
2. संगणनात्मक बीजगणित (Computational Algebra): जैकोबियन संबंधों की न्यूनतम डिग्री, $mdr(f)$, को एक पूर्णांक$q$के रूप में परिभाषित किया गया है जो$\Phi_{f,q}: S^3_q \to S_{q+d-1}$ के रैखिक मानचित्र के गैर-तुच्छ (non-trivial) कर्नेल को दर्शाता है। लेखक दोनों बहुपदों $f$ और $g$ के लिए $q = 0, \dots, 7$ के लिए इन मानचित्रों की रैंक की गणना करते हैं।
3. होमोलॉजिकल विश्लेषण (Homological Analysis): $mdr$ की गणना करने के अलावा, वे लघुगणकीय व्युत्पन्न (logarithmic derivations) $D_0(f)$ और $D_0(g)$ के न्यूनतम श्रेणीबद्ध मुक्त समाधानों (minimal graded free resolutions) को भी निर्धारित करते हैं (तुल्यतः मिलनर बीजगणित $M(f)$ और $M(g)$)। वे [2] में पेश किए गए होमोलॉजिकल प्रकार पदानुक्रम के अनुसार विन्यासों को वर्गीकृत करते हैं, विशेष रूप से "प्रकार" $t(C) = d_1 + d_2 + 1 - d$ को देखते हुए, जहाँ $d_i$ न्यूनतम जनरेटरों की डिग्री हैं।

मुख्य परिणाम
गणनाएँ निम्नलिखित निर्णायक परिणाम प्रदान करती हैं:

• भिन्न न्यूनतम डिग्री: विन्यास $A$ के लिए, $mdr(f) = 4$है। विन्यास$B$के लिए,$mdr(g) = 5$ है।
• संयोजनपरक समानता: $mdr(f) \neq mdr(g)$ होने के बावजूद, $A$ और $B$ के प्रतिच्छेदन जालक समरूप हैं।
• अनुमान का उल्लंघन: चूंकि विन्यासों की डिग्री $d=9$ है, इसलिए $mdr(f) < d/2$(अर्थात,$4 < 4.5$) की स्थिति विन्यास$A$के लिए संतुष्ट होती है। हालांकि, विन्यास$B$समान संयोजनपरक गुणों को साझा करता है लेकिन इसमें$mdr(g) = 5$ है। यह सीधे तौर पर अनुमान 1.1 (अनुमान 3.5 [4] में) का खंडन करता है।
• होमोलॉजिकल भिन्नता: विन्यास उनके होमोलॉजिकल ढांचे में महत्वपूर्ण रूप से भिन्न हैं:
  • विन्यास $A$ प्रकार 1 (plus-one generated) है जिसके घातांक (exponents) $(4, 5, 6)$ हैं।
  • विन्यास $B$ प्रकार 2B (चार-सिज़ीगी वक्र) है जिसके घातांक $(5, 5, 5, 5)$ हैं।
  • फलस्वरूप, उनके मिलनर बीजगणितों के न्यूनतम श्रेणीबद्ध मुक्त समाधान और भिन्न हिल्बर्ट फलन (Hilbert functions) हैं, हालांकि वे समान ट्ज़ुरिना संख्या पर स्थिर होते हैं।
• फ्रीनेस दोष (Freeness Defect): लेखक नोट करते हैं कि दोनों विन्यासों के लिए फ्रीनेस दोष $\nu$ समान है ($\nu(A) = \nu(B) = 2$)। अतः, यह प्रतिउदाहरण विशेष रूप से निर्दिष्ट सीमा में $mdr$ की संयोजनपरकता को लक्षित करता है, न कि फ्रीनेस दोष को।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह $mdr(f) < d/2$ की सीमा में सामान्यीकृत टेराओ अनुमान का पहला स्पष्ट प्रतिउदाहरण प्रदान करता है। इसका महत्व निम्नलिखित है:

1. कठोरता का खंडन (Refuting Rigidity): यह प्रदर्शित करना कि उस सीमा में भी जहाँ $mdr(f)$ के संयोजनपरक रूप से कठोर (अर्थात, डिग्री के आधे से कम) होने की अपेक्षा की जाती है, यह अपरिवर्त (invariant) केवल प्रतिच्छेदन जालक द्वारा निर्धारित नहीं होता है।
2. उदाहरण की नवीनता: यह उदाहरण शास्त्रीय ज़िगलर-युज़्विंस्की युग्म से भिन्न है, जो एक चतुष्कोण बिंदु और एक विशिष्ट दुर्बल संयोजनपरक संरचना $(9, 7, 1)$ वाले विन्यास का उपयोग करता है, जो एक "सीमावर्ती" नौ-रेखा मामला है।
3. होमोलॉजिकल तीक्ष्णता: यह प्रतिउदाहरण सुदृढ़ है, क्योंकि दोनों विन्यास न केवल संख्यात्मक अपरिवर्त $mdr$ में बल्कि अपने संपूर्ण होमोलॉजिकल प्रकार और न्यूनतम समाधानों में भी भिन्न हैं।

लेखक निष्कर्ष निकालते हैं कि अनुमान जैसा कि दिया गया है वह गलत है, जो यह रेखांकित करता है कि संक्रमण सीमा $d_1 \geq (d-2)/2$ गैर-संयोजनपरक व्यवहार की अनुमति देती है।