A no-go theorem for special Ulrich bundles, with a complement on primary Burniat surfaces

तकनीकी सारांश: विशेष उलरिक बंडलों के लिए एक 'नो-गो' प्रमेय, प्राथमिक बर्नियट सतहों पर एक पूरक के साथ

समस्या विवरण
यह शोध पत्र उन चिकनी प्रक्षेपिक सतहों $X$ पर रैंक दो उलरिक बंडलों के अस्तित्व की जांच करता है जिनका ज्यामितिक जनस (geometric genus) $p_g = 0$ है। विशेष रूप से, यह उस "विशेष" मामले को संबोधित करता है जहाँ प्रथम चेर्न वर्ग (first Chern class) $\text{Pic}(X)$ में $c_1(E) = 3H + K_X$ संतुष्ट करता है, न कि केवल संख्यात्मक रूप से। साहित्य में एक केंद्रीय प्रश्न यह है कि क्या मानक केले-बैकरach (Cayley–Bacharach) निर्माण (एक विस्तार जिसका रूप $0 \to \mathcal{O}_X(H+K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$ है) ऐसे बंडलों को उत्पन्न कर सकता है जब ध्रुवीकरण (polarization) $H$ विशेष (अर्थात, $h^1(\mathcal{O}_X(H)) \neq 0$) हो। जबकि गैर-विशेषता ($h^1=0$) अस्तित्व प्रमेयों (जैसे, Casnati [Ca17], Beauville [Be16b]) में एक मानक परिकल्पना है, यह शोध पत्र पूछता है कि क्या यह इस विशिष्ट निर्माण के लिए एक आवश्यक शर्त है या केवल एक सुविधाजनक शर्त है।

कार्यप्रणाली
लेखक कोहॉमोलॉजिकल विश्लेषण, विस्तार सिद्धांत (extension theory), और विशिष्ट सतह वर्गों की ज्यामिति के संयोजन का उपयोग करते हैं:

1. विस्तार मानदंड (Extension Criteria): शोध पत्र सेर-ग्रिफिथ्स-हैरिस पत्राचार (Serre–Griffiths–Harris correspondence) का उपयोग करता है, जो एक स्थानीय मुक्त विस्तार (locally free extension) के अस्तित्व को एक रैखिक तंत्र (linear system) के सापेक्ष एक 0-आयामी उप-स्कीम $Z$ के केले-बैकरach (CB) गुण से जोड़ता है।
2. कोहॉमोलॉजिकल तनाव (Cohomological Tension): मुख्य तर्क CB गुण (जो स्थानीय मुक्तता सुनिश्चित करने के लिए एक रैखिक तंत्र पर निर्भरता की आवश्यकता रखता है) और उलरिक लुप्तता (vanishing) की स्थिति $h^0(E(-H)) = 0$ (जिसके लिए $Z$ को स्वतंत्र शर्तों को लागू करना चाहिए) के बीच तनाव का विश्लेषण करने में निहित है।
3. जेनेरिक बनाम विशेष तंत्र: लेखक Li–Qin [LQ94] के "जेनेरिक" तंत्र (जो जेनेरिक 0-चक्रों पर निर्भर करता है और गैर-विशेषता की आवश्यकता रखता है) और [An94] के "वक्र-पर-बिंदु" (points-on-a-curve) तंत्र (जो $Z$ को एक अविरक्त वक्र पर रखता है) के बीच अंतर करते हैं। वे प्रदर्शित करते हैं कि एडजॉइंट कर्नेल (adjoint kernel) के लिए भी दूसरा तंत्र विफल हो जाता है जब $H$ विशेष होता है।
4. प्राथमिक बर्नियट सतह विश्लेषण: सकारात्मक परिणामों के लिए, लेखक प्राथमिक बर्नियट सतहों (सामान्य प्रकार की न्यूनतम सतहें जहाँ $p_g=q=0$ और $K_X^2=6$ है) पर स्पष्ट गणना करते हैं। वे एक बिडबल कवर संरचना $\pi: X \to Y$ (जहाँ $Y$ एक डिग्री 6 वाली डेल पेज़ो सतह है) का उपयोग करके कोहॉमोलॉजी गणनाओं को परिमेय सतह $Y$ तक कम करते हैं, जिसमें ईजनशीफ (eigensheaf) अपघटन और लैटिस थ्योरी का उपयोग किया गया है।

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

1. नो-गो प्रमेय (Theorem 1.3)
प्राथमिक नकारात्मक परिणाम यह स्थापित करता है कि एक ऐसी सतह के लिए जिसका $p_g=0$ है और एक एम्पल (ample) डिवाइजर $H$ है जहाँ $h^1(\mathcal{O}_X(H)) \neq 0$ (और $\chi(\mathcal{O}_X(H)) \ge q$), कोई भी रैंक दो वेक्टर बंडल $E$ जिसके $c_1(E) = 3H + K_X$ और सही $c_2(E)$ है, एडजॉइंट-कर्नेल विस्तार से उत्पन्न नहीं हो सकता है:
$$0 \to \mathcal{O}_X(H + K_X) \to E \to \mathcal{O}_X(2H) \otimes \mathcal{I}_Z \to 0$$
जो $h^0(E(-H)) = 0$ को संतुष्ट करता है।

• तंत्र: प्रमाण दिखाता है कि उलरिक स्थिति $Z$ की लंबाई को $\ell(Z) = \chi(\mathcal{O}_X(H)) + \chi(\mathcal{O}_X)$ के रूप में मजबूर करती है। लुप्तता $h^0(E(-H))=0$ यह सूचित करती है कि $h^0(\mathcal{O}_X(H) \otimes \mathcal{I}_Z) \le q$ है। हालाँकि, CB गुण (जो स्थानीय मुक्तता के लिए आवश्यक है) यह दर्शाता है कि $Z$ आश्रित शर्तें लागू करता है, जिससे एक विरोधाभास उत्पन्न होता है जब तक कि $h^1(\mathcal{O}_X(H)) = 0$ न हो।
• महत्व: यह सिद्ध करता है कि गैर-विशेषता इस विशिष्ट बंडल आकार के लिए एक स्वाभाविक एडजॉइंट-कर्नेल निर्माण हेतु एक आवश्यक परिकल्पना है, न कि केवल एक सुविधाजनक धारणा। यह खंडन करता है कि "विशेष-स्थिति" तंत्र (जैसे बिंदुओं को वक्रों पर रखना) इस विशिष्ट बंडल आकार के लिए गैर-विशेषता की आवश्यकता को दरकिनार कर सकते हैं।

2. प्राथमिक बर्नियट सतहों पर अस्तित्व (Theorem 1.5)
लेखक अपने परिणामों को प्राथमिक बर्नियट सतहों पर लागू करते हैं।

• वैश्विक गैर-विशेषता: वे सिद्ध करते हैं कि प्राथमिक बर्नियट सतह पर प्रत्येक एम्पल और बेस-पॉइंट-फ्री डिवाइजर गैर-विशेष ($h^1(\mathcal{O}_X(H)) = 0$) है। यह एक डिग्री सीमा से प्राप्त होता है: एक एम्पल बेस-पॉइंट-फ्री डिवाइजर का सतह की छह एलिप्टिक रामिफिकेशन कर्व्स के साथ प्रतिच्छेदन अंक $\ge 2$ होना चाहिए। चूँकि $K_X$ का इन कर्व्स के साथ प्रतिच्छेदन 1 है, इसलिए $H - K_X$ एम्पल है, और कोडा इरा लुप्तता (Kodaira vanishing) लागू होती है।
• परिणाम: फलस्वरूप, प्रत्येक ध्रुवीकरण पर एक प्राथमिक बर्नियट सतह पर एक $\mu_H$-स्टेबल विशेष उलरिक रैंक दो का बंडल मौजूद है। इसके अतिरिक्त, ये सतहएँ प्रत्येक ध्रुवीकरण के संबंध में "स्ट्रिक्टली उलरिक वाइल्ड" (strictly Ulrich wild) हैं, जिनमें प्रत्येक सम रैंक $r \ge 2$ के लिए अत्यधिक बड़े आयाम के परिवारों में सरल उलरिक बंडल मौजूद हैं।

3. विशेष एम्पल वर्गों का वर्गीकरण
जबकि इन सतहों पर कोई ध्रुवीकरण (अत्यंत एम्पल डिवाइजर) विशेष नहीं है, लेखक "विशेष एम्पल वर्गों" (एम्पल लेकिन बेस-पॉइंट-फ्री नहीं) को वर्गीकृत करते हैं।

• वे दिखाते हैं कि सभी विशेष एम्पल वर्ग $K_X$ के माध्यम से तीन विशिष्ट संख्यात्मक किरणों (numerical rays) पर स्थित हैं।
• वे इन किरणों के अनुदिश कोहॉमोलॉजी की गणना करते हैं, यह दिखाते हुए कि वर्ग $H_u = K_X + \pi^*\mathcal{O}_Y(u(e_0 - e_1))$ विशेष हैं जब $u \ge 2$।
• महत्वपूर्ण रूप से, वे सिद्ध करते हैं कि इन किरणों पर कोई भी वर्ग बेस-पॉइंट-फ्री नहीं है, जो यह स्पष्ट करता है कि वे ध्रुवीकरण की गैर-विशेषता का विरोध क्यों नहीं करते हैं।

4. ट्विस्टेड कर्नेल और बाधाएं
शोध पत्र इस बात की जांच करता है कि क्या "ट्विस्टेड" कर्नेल (जैसे, $0 \to \mathcal{O}_X(H+K_X-\epsilon) \to E \to \mathcal{O}_X(2H+\epsilon) \otimes \mathcal{I}_Z \to 0$) विशेष ध्रुवीकरणों के लिए निर्माण को बचा सकते हैं।

• प्राथमिक बर्नियट सतहों पर, वे रामिफिकेशन कर्व्स को शामिल करते हुए एक विशिष्ट ट्विस्टेड संस्करण का विश्लेषण करते हैं।
• वे प्रदर्शित करते हैं कि ट्विस्टिंग के साथ भी, विशिष्ट विशेष वर्गों के लिए यह निर्माण विफल हो जाता है। कोहॉमोलॉजी का "बजट" (कनेक्टिंग मैप का लक्ष्य आयाम) ध्रुवीकरण की विशिष्टता को बनाए रखते हुए आवश्यक लुप्तता स्थितियों को अवशोषित करने के लिए अपर्याप्त है।

5. उच्च रैंक और वाइल्डनेस
रैंक दो बंडलों के अस्तित्व पर निर्माण करते हुए, लेखक उच्च सम रैंकों के सरल उलरिक बंडलों के परिवारों के निर्माण के लिए फयेनी-पोंस-लोपिस (Faenzi–Pons-Llopis) मानदंड का उपयोग करते हैं। वे स्थापित करते हैं कि प्राथमिक बर्नियट सतहएँ स्ट्रिक्टली उलरिक वाइल्ड हैं, जो स्पष्ट आयाम गणना और सरलता (केवल अविभाज्य होने के बजाय) प्रदान करके पिछले परिणामों में सुधार करती हैं।

महत्व और दावे
लेखक दो मुख्य योगदानों का दावा करते हैं:

1. एक नकारात्मक परिणाम: यह केले-बैकरach निर्माण की सीमाओं को स्पष्ट करता है, यह सिद्ध करता है कि ध्रुवीकरण की गैर-विशेषता एडजॉइंट-कर्नेल आकार के लिए एक अंतर्निहित आवश्यकता है, न कि केवल प्रमाण तकनीक का एक प्रभाव। यह साहित्य के एक अंतराल को भरता है जहाँ इस परिकल्पना की आवश्यकता को स्पष्ट रूप से दर्ज नहीं किया गया था।
2. बर्नियट सतहों पर एक सकारात्मक परिणाम: यह प्राथमिक बर्नियट सतहओं पर उलरिक बंडलों की एक पूर्ण तस्वीर प्रदान करता है। यह पुष्टि करता है कि इसकी जटिलता के बावजूद, ज्यामिति यह सुनिश्चित करती है कि सभी ध्रुवीकरण गैर-विशेष हों, जिससे प्रत्येक ध्रुवीकरण के लिए स्थिर विशेष उलरिक बंडलों का अस्तित्व सुनिश्चित होता है। यह चो [Cho26] के कार्य से भिन्न है, जिन्होंने विशिष्ट वर्गों (जैसे $3K_X$) के लिए गैर-विशेषता स्थापित की थी, लेकिन वैश्विक परिणाम या स्ट्रिक्ट वाइल्डनेस के परिणामों को प्रस्तुत नहीं किया था।

लेखक नोट करते हैं कि एलिप्टिक कर्व्स पर डिग्री बाउंड के संबंध में उनके परिणाम चो के कार्य के साथ ओवरलैप होते हैं, लेकिन उनका व्युत्पत्ति स्वतंत्र है और अधिक वैश्विक निष्कर्षों की ओर ले जाती है। वे यह भी रेखांकित करते हैं कि जबकि उनके मौलिक तरीके (केले-बैकरach) कुछ विशेष मामलों (जैसे $\mathbb{P}^3$ में क्विंटिक सतह) के लिए विफल हो जाते हैं, बंडल संभवतः अभी भी मौजूद हैं, जो सुझाव देता है कि बाधा संख्यात्मक (numerical) के बजाय स्थितिजन्य (positional) है।