Unbounded Gaps Between Ordinary and Equivariant Dehn Surgery Numbers

तकनीकी सारांश: साधारण और सममित (Equivariant) डेन सर्जरी संख्याओं के बीच अनबाउंडेड अंतराल

समस्या विवरण
यह शोध पत्र एक बंद उन्मुख 3-मैनिफोल्ड $Y$ और एक उन्मुखीकरण-संरक्षण डिफ़ेोमॉर्फिज्म (orientation-preserving diffeomorphism) $\phi$ के लिए, पूर्णांक डेन सर्जरी संख्या, $DS(Y)$, और सममित पूर्णांक डेन सर्जरी संख्या,$EDS(Y, \phi)$, के बीच संबंध के संबंध में दो विशिष्ट प्रश्नों को संबोधित करता है।

• $DS(Y)$ $S^3$ में एक लिंक पर $Y$ के एक पूर्णांक सर्जिकल विवरण में घटकों की न्यूनतम संख्या है।
• $EDS(Y, \phi)$ उस विशिष्ट डिफ़ेोमॉर्फिज्म $\phi$ को प्रेरित करने वाले एक आवधिक (periodic) सर्जिकल विवरण में घटकों की न्यूनतम संख्या है।
  जबकि यह ज्ञात है कि $DS(Y) \leq EDS(Y, \phi)$, लेखक इस असमानता की सीमा की जांच करते हैं। विशेष रूप से, वे K3 समस्या सूची (Baykur, Kirby, और Ruberman) से समस्याओं 1.15(b) और 1.15(c) को संबोधित करते हैं:

1. क्या अंतर $EDS(Y) - DS(Y)$ मनमाना रूप से बड़ा हो सकता है?
2. क्या जब $\phi$ एक इनवोल्यूशन (involution) हो, तो सख्त असमानता $DS(Y) < EDS(Y, \phi)$ घटित हो सकती है?

कार्यप्रणाली
लेखक होमोलॉजिकल बाधाओं (homological obstructions), सममित सर्जिकल सिद्धांत (equivariant surgery theory), और स्पष्ट ज्यामितीय निर्माणों के संयोजन का उपयोग करते हैं।

1. होमोलॉजिकल निचली सीमाएँ (Homological Lower Bounds):
   शोध पत्र $H_1(Y; \mathbb{Z})$ पर इनवोल्यूशन $\tau$ की क्रिया के आधार पर $EDS(Y, \tau)$ के लिए एक निचली सीमा स्थापित करता है।

• लेम्मा 2.7 और लेम्मा 2.8 का उपयोग करते हुए, लेखक लिंक एक्सटीरियर की होमोलॉजी के जनरेटरों से सर्जरी घटकों की संख्या को जोड़ते हैं।
• महत्वपूर्ण रूप से, लेम्मा 2.10 और कोरोलरी 2.11 दिखाते हैं कि यदि $H_1(Y; \mathbb{Z})$ पर $\tau_* \neq \pm \text{id}$ है, तो $EDS(Y, \tau) \geq 2$।
• लेखक विभिन्न अभाज्य क्षेत्रों (prime fields) $\mathbb{F}_\ell$ पर $\tau$ की क्रिया का विश्लेषण करके इसे परिष्कृत करते हैं। वे $b^\delta_\ell(Y, \tau)$ को $H_1(Y; \mathbb{F}_\ell)$ पर $\tau_*$ के $\delta$-इigensपेस (eigenspace) के आयाम के रूप में परिभाषित करते हैं, जहाँ $\delta \in \{+1, -1\}$।
• प्रपोजिशन 4.2 मुख्य असमानता सिद्ध करता है: $EDS(Y, \tau) \geq b^+(Y, \tau) + b^-(Y, \tau)$, जहाँ $b^\delta(Y, \tau)$ सभी विषम अभाज्य संख्याओं पर अधिकतम आयाम है। यह इस तथ्य पर निर्भर करता है कि लिंक एक्सटीरियर के मेरिडियन बेसिस पर इनवोल्यूशन की क्रिया एक साइन्ड परम्यूटेशन (signed permutation) है, जिसके इigenspace आयाम क्षेत्र-स्वतंत्र (field-independent) होते हैं (लेम्मा 4.1)।

2. ज्यामितीय निर्माण (मूल ब्लॉक):
   लेखक $(+4, +4)$ फ्रेमिंग के साथ $S^3$ में एक $\rho$-पीरियडिक हॉफ लिंक का उपयोग करके एक विशिष्ट मैनिफोल्ड $Y$ का निर्माण करते हैं।

• इनवोल्यूशन $\rho$ हॉफ लिंक के दो घटकों को बदलने वाला एक हाफ-टर्न (half-turn) है।
• परिणामी मैनिफोल्ड $Y$ को लेंस स्पेस $L(15, 4)$ के रूप में पहचाना जाता है।
• होमोलॉजिकल गणना दिखाती है कि $H_1(Y; \mathbb{Z}) \cong \mathbb{Z}/15$, और प्रेरित इनवोल्यूशन $\tau_*$ गुणांक $-4$ के रूप में कार्य करता है।
• चूंकि $-4 \not\equiv \pm 1 \pmod{15}$, इसलिए $DS(Y)=1$($1$सिंगल-नॉट सर्जरी विवरण के माध्यम से), लेकिन$EDS(Y, \tau) \geq 2$। विशेष रूप से, मोड्यूलो 5 के तहत,$\tau_*$ $+1$ के रूप में कार्य करता है (जो $b^+$ में योगदान देता है), और मोड्यूलो 3 के तहत, यह $-1$के रूप में कार्य करता है (जो$b^-$ में योगदान देता है)।

3. मनमाने बड़े अंतराल (Theorem 1.1):
   एक मनमाना अंतराल $k$ प्राप्त करने के लिए, लेखक $k$ प्रतियों के कनेक्टेड सम (connected sum) के रूप में $Y_k$ का निर्माण करते हैं।

• इनवोल्यूशन $\tau_k$ प्रत्येक समैंड (summand) पर $\tau$ के रूप में कार्य करता है।
• होमोलॉजी $H_1(Y_k; \mathbb{Z}) \cong (\mathbb{Z}/15)^k$ हो जाती है।
• सममित सर्जरी संख्या $b^+ + b^- \geq k + k = 2k$ द्वारा सीमित है।
• साधारण सर्जरी संख्या $k$ (एकल-नॉट सर्जरी के $k$ स्प्लिट यूनियन के माध्यम से) द्वारा सीमित है।
• यह $DS(Y_k) = k$ और $EDS(Y_k, \tau_k) = 2k$ प्रदान करता है, जिससे $k$ का अंतराल बनता है।

4. अपरिमेय उदाहरण (Theorem 1.2):
   अपरिमेय (irreducible) मैनिफोल्ड्स को संबोधित करने के लिए, लेखक लेंस स्पेस $Z_a = L(p_a, q_a)$ का उपयोग करते हैं जहाँ $p_a = (a-1)(a^2+1)$ और $q_a = a^2$ है।

• वे टोरस नॉट सर्जरी पर मोसर के प्रमेय का उपयोग करके दिखाते हैं कि $DS(Z_a) = 1$।
• वे कोऑर्डिनेट एक्सचेंज $(z_1, z_2) \to (z_2, z_1)$ के माध्यम से एक इनवोल्यूशन $\sigma_a$ का निर्माण करते हैं, जो कोटिएंट (quotient) पर उतरता है क्योंकि $q_a^2 \equiv 1 \pmod{p_a}$।
• $H_1$ पर $\sigma_a$ की क्रिया $q_a$ द्वारा गुणा है। $a \geq 3$ के लिए, $1 < q_a < p_a - 1$, यह सुनिश्चित करता है कि $\sigma_{a*} \neq \pm \text{id}$।
• फलस्वरूप, $EDS(Z_a, \sigma_a) \geq 2 > 1 = DS(Z_a)$। चूंकि $p_a$ सख्ती से बढ़ता है, यह युग्मवार गैर-होमियोमोर्फिक (pairwise non-homeomorphic) अपरिमेय लेंस स्पेस का एक अनंत परिवार प्रदान करता है।

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

• Theorem 1.1: प्रत्येक पूर्णांक $k \geq 1$ के लिए, एक जोड़ा $(Y_k, \tau_k)$ मौजूद है ताकि $DS(Y_k) = k$ और $EDS(Y_k, \tau_k) = 2k$ हो। यह पुष्टि करता है कि अंतर $EDS - DS$ अनबाउंडेड है, यहाँ तक कि इनवोल्यूशन के लिए भी।
• Theorem 1.2: अपरिमेय लेंस स्पेस $Z$ के अनंत युग्मवार गैर-होमियोमोर्फिक परिवार मौजूद हैं जो इनवोल्यूशन $\sigma$ को स्वीकार करते हैं जहाँ $DS(Z) < EDS(Z, \sigma)$।
• होमोलॉजिकल असमानता: शोध पत्र एक मजबूत निचली सीमा स्थापित करता है जो विभिन्न अभाज्य क्षेत्रों पर इनवोल्यूशन की होमोलॉजी पर इigensपेस के आयामों पर आधारित है (Proposition 4.2)।

महत्व
यह शोध पत्र K3 समस्या सूची की समस्याओं 1.15(b) और 1.15(c) के लिए सकारात्मक उत्तर प्रदान करता है। यह प्रदर्शित करता है कि किसी विशिष्ट इनवोल्यूशन के सापेक्ष एक सर्जिकल विवरण के सममित होने की आवश्यकता एक महत्वपूर्ण टोपोलॉजिकल लागत लगा सकती है, जो गैर-सममित मामले की तुलना में आवश्यक सर्जिकल घटकों की संख्या को मनमाने ढंग से बढ़ा देती है। इसके अलावा, यह दिखाता है कि यह घटना केवल रिड्यूसिबल मैनिफोल्ड्स (कनेक्टेड सम) तक ही सीमित नहीं है, बल्कि अपरिमेय लेंस स्पेस के वर्ग के भीतर भी होती है। यह कार्य सममित सर्जिकल सिद्धांत को होमोलॉजिकल इनवेरिएंट्स के साथ जोड़ता है, जो कम-घटक आवधिक सर्जिकल विवरणों के लिए बाधाओं का पता लगाने के लिए एक ठोस विधि प्रदान करता है।