On Ziegler pairs of line arrangements: from non-existence to abundance

तकनीकी सारांश: रेखा व्यवस्थाओं के ज़ीगलर युग्मों पर: गैर-अस्तित्व से प्रचुरता तक

समस्या विवरण
यह शोध पत्र इस बात की जांच करता है कि एक जटिल प्रक्षेपिक तल $\mathbb{P}^2$ में एक रेखा व्यवस्था (line arrangement) की संयोजन संरचना (combinatorial structure) उसके बीजगणितीय अपरचरों (algebraic invariants), विशेष रूप से जैकोबियन साइज़िगियों (Jacobian syzygies) के मॉड्यूल और संबद्ध मिलनुर बीजगणक (Milnor algebra) के न्यूनतम श्रेणीबद्ध मुक्त समाधान (minimal graded free resolution) को किस सीमा तक निर्धारित करती है। अध्ययन का केंद्रीय विषय ज़ीगलर युग्म (Ziegler pair) है: रेखा व्यवस्थाओं का एक युग्म $(A, A')$ जिनके पास समरूप प्रतिच्छेदन जालक (intersection lattices) $L(A) \cong L(A')$ हैं, लेकिन उन्हें उनके जैकोबियन-साइज़िगी डेटा द्वारा अलग किया जाता है।

लेखक दो पूरक दृष्टिकोणों को संबोधित करते हैं:

1. संख्यात्मक (Numerical): प्रतिच्छेदन जालक किस सीमा तक जैकोबियन साइज़िगियों के मॉड्यूल के घातांकों (न्यूनतम जनरेटरों की डिग्री) को निर्धारित करता है?
2. होमोलॉजिकल (Homological): क्या हम ऐसी व्यवस्थाओं के जोड़े बना सकते हैं जिनका एक ही प्रतिच्छेदन जालक हो और जैकोबियन संबंध की समान न्यूनतम डिग्री ($mdr$) हो, फिर भी उनके भिन्न न्यूनतम श्रेणीबद्ध मुक्त समाधान हों?

कार्यप्रणाली
लेखक संयोजन विश्लेषण (combinatorial analysis), बीजगणितीय ज्यामिति (algebraic geometry), और संगणनात्मक बीजगणित (SINGULAR सिस्टम का उपयोग करके) के संयोजन का उपयोग करते हैं।

• सैद्धांतिक सीमाएँ: अध्ययन रेखाओं की संख्या $d$, प्रतिच्छेदन बिंदुओं की अधिकतम बहुलता $m$, और जैकोबियन साइज़िगी की न्यूनतम डिग्री $r = mdr(f)$से संबंधित स्थापित सीमाओं पर आधारित है। प्रमुख उपकरणों में असमिका$r \ge \frac{2d}{m-2}$और विशिष्ट डिग्री में जैकोबियन मॉड्यूल के आयाम और बहुलता बिंदुओं ($n_k$) की गणना के बीच संबंध शामिल हैं।
• लघु $d$ के लिए मामला विश्लेषण: $d < 9$ रेखाओं वाली व्यवस्थाओं के लिए, लेखक $(d, m)$ जोड़ों के सभी संभावित विन्यासों का व्यवस्थित रूप से विश्लेषण करते हैं। वे यह निर्धारित करने के लिए कि क्या प्रतिच्छेदन जालक घातांक डेटा को अद्वितीय रूप से निर्धारित करता है, फ्री (free), नियरली फ्री (nearly free), और प्लस-वन जनरेटेड (POG) व्यवस्थाओं से संबंधित प्रमेयों का उपयोग करते हैं।
• परिवारों का निर्माण: $d \ge 10$ के लिए, लेखक एक रियलाइजेशन मैट्रिक्स $A(a, b)$ द्वारा परिभाषित 11-रेखाओं की एक द्वि-प्राचल (two-parameter) परिवार का निर्माण करते हैं। वे न्यूनतम जनरेटरों की संख्या में "जंप" (jumps) का पता लगाने के लिए गुणन मानचित्र (multiplication map) $\mu_m: S_1 \otimes AR(f)_m \to AR(f)_{m+1}$ के रैंक का विश्लेषण करते हैं।
• विलोपन तकनीक (Deletion Technique): कम रेखाओं वाले उदाहरण उत्पन्न करने के लिए, लेखक 11-रेखा परिवार के एक "जेनेरिक" (generic) सदस्य और एक "विशेष" (special) सदस्य दोनों से एक विशिष्ट रेखा को हटाकर विलोपन तकनीक लागू करते हैं। यह प्रक्रिया प्रतिच्छेदन जालक को संरक्षित करती है जबकि होमोलॉजिकल गुणों को बदल देती है।

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

1. $d < 9$ के लिए गैर-अस्तित्व:
   शोध पत्र यह सिद्ध करता है कि 9 से कम रेखाओं वाली रेखा व्यवस्थाओं के लिए, प्रतिच्छेदन जालक प्रासंगिक घातांक डेटा को निर्धारित करता है। विशेष रूप से, $2m > d$ या $m=2$ जैसे अपवादों को छोड़कर, शेष मामले $(d, m) \in \{(6,3), (7,3), (8,3), (8,4)\}$ थ्योरम 3.1, 3.3, 4.1, और 4.3 के माध्यम से विश्लेषित किए गए हैं। इन सभी उदाहरणों में, जालक से प्राप्त संख्यात्मक अपरचर (जैसे ट्यूरिनना संख्या $\tau$ और बहुलता बिंदुओं की गणना $n_k$) अद्वितीय रूप से न्यूनतम डिग्री $r$ और घातांक अनुक्रम को निर्धारित करते हैं। अतः, $d < 9$ के लिए कोई ज़ीगलर युग्म मौजूद नहीं हैं।

2. $d \ge 10$ के लिए प्रचुरता और होमोलॉजिकल विशिष्टता:
   लेखक प्रदर्शित करते हैं कि $d \ge 10$ के लिए ज़ीगलर युग्म प्रचुर मात्रा में हो जाते हैं। वे 11-रेखाओं के एक द्वि-प्राचल परिवार का निर्माण करते हैं जहाँ एक विशिष्ट ओपन सेट के लिए सभी प्राचलों के लिए प्रतिच्छेदन जालक स्थिर रहता है।

• जेनेरिक मामला: एक सामान्य प्राचल मान (जैसे $(31, 17)$) पर, जैकोबियन साइज़िगियों का डिग्री अनुक्रम $(6, 7, 7, 8)$ है।
• विशेष मामला: एक विशिष्ट प्राचल बिंदु $p = (3/10, 2/7)$ पर, गुणन मानचित्र का रैंक गिर जाता है, जिसके परिणामस्वरूप एक अतिरिक्त न्यूनतम जनरेटर प्राप्त होता है। डिग्री अनुक्रम $(6, 7, 7, 8, 8)$ हो जाता है।
• हिल्बर्ट फलन अपरिवर्तनीयता (Hilbert Function Invariance): जनरेटरों की संख्या में अंतर के बावजूद, लेखक दिखाते हैं कि दोनों मामलों के मिलनुर बीजगणकों के न्यूनतम श्रेणीबद्ध मुक्त समाधान समान हिल्बर्ट फलन प्रदान करते हैं। अंतर विशुद्ध रूप से होमोलॉजिकल है (भिन्न बेट्टी संख्याएँ)।

3. नए दस-रेखा ज़ीगलर युग्म:
   एक उपयुक्त रेखा ($\ell_1$) को जेनेरिक और विशेष 11-रेखा व्यवस्थाओं दोनों से हटाकर, लेखक 10 रेखाओं का एक ज़ीगलर युग्म $(B_{gen}, B_p)$ निर्मित करते हैं।

• दोनों व्यवस्थाएं एक ही प्रतिच्छेदन जालक और कमजोर संयोजन (weak combinatorics) $(n_2, n_3) = (15, 10)$ साझा करती हैं।
• वे जैकोबियन संबंध की समान न्यूनतम डिग्री: $mdr = 6$ साझा करते हैं।
• वे समान हिल्बर्ट फलन साझा करते हैं।
• उन्हें केवल उनके न्यूनतम श्रेणीबद्ध मुक्त समाधानों द्वारा अलग किया जाता है, जिनके डिग्री अनुक्रम क्रमशः $(6, 6, 6, 7)$ और $(6, 6, 6, 7, 7)$ हैं।

4. ज्ञात उदाहरणों का वर्गीकरण:
   यह शोध पत्र $d=9$ और $d=10$ के लिए ज्ञात ज़ीगलर युग्मों की समीक्षा करके अपने नए निष्कर्षों को संदर्भ प्रदान करता है। वे उनके अंतर की प्रकृति के आधार पर मौजूदा उदाहरणों को वर्गीकृत करते हैं:

• MDR अंतर: शास्त्रीय उदाहरण (जैसे ज़ीगलर का 9-रेखा युग्म) जहाँ $mdr$ मान भिन्न होते हैं।
• होमोलॉजिकल अंतर: वे उदाहरण जहाँ $mdr$समान है, लेकिन समाधान भिन्न हैं (जैसे$T_{10}$-मैट्रॉइड उदाहरण और यहाँ निर्मित नए 10-रेखा युग्म)।

महत्व
यह शोध पत्र ज़ीगलर युग्मों के अस्तित्व के लिए एक तीक्ष्ण सीमा (sharp threshold) स्थापित करता है: वे $d < 9$ के लिए मौजूद नहीं हैं, लेकिन $d \ge 10$ के लिए प्रचुर मात्रा में हैं। इसका एक प्राथमिक योगदान ऐसे ज़ीगलर युग्मों का निर्माण करना है जो जैकोबियन संबंध की न्यूनतम डिग्री ($mdr$) या मिलनुर बीजगणक के हिल्बर्ट फलन द्वारा अविभेद्य हैं। ये उदाहरण दर्शाते हैं कि प्रतिच्छेदन जालक, भले ही उसे$mdr$ अपरचर के साथ जोड़ा जाए, रेखा व्यवस्थाओं के पूर्ण होमोलॉजिकल ढांचे (न्यूनतम मुक्त समाधान) को निर्धारित करने के लिए पर्याप्त नहीं है। यह कार्य रेखा व्यवस्थाओं के अध्ययन में संख्यात्मक अपरचरों से होमोलॉजिकल सूक्ष्मताओं की ओर ध्यान केंद्रित करता है।