Global $+$-regularity of regular del Pezzo surfaces in mixed characteristic

तकनीकी सारांश: मिश्रित अभिलक्षण (Mixed Characteristic) में नियमित डेल पेज़ो सतहों की वैश्विक $+$-नियमितता (Global $+$-Regularity)

समस्या का विवरण
यह शोध पत्र मिश्रित अभिलक्षण में नियमित डेल पेज़ो सतहों की वैश्विक $+$-नियमितता को संबोधित करता है। विशेष रूप से, यह विट वेक्टर रिंग $R = W(k)$ पर एक त्रिविमीय नियमित पूर्णांक सपाट (flat) प्रक्षेपिक योजना (projective scheme) $M$ पर विचार करता है, जहाँ $k$ एक बीजगणितीय रूप से बंद क्षेत्र है जिसका अभिलक्षण (characteristic) $p > 2$ है। यह माना गया है कि $M$ के लिए $H^0(M, \mathcal{O}_M) = R$ है और एक प्रचुर (ample) प्रति-कैनोनिकल शेलफ $\omega_M^{-1}$ विद्यमान है। मुख्य प्रश्न यह है कि क्या ऐसी योजना $M$ वैश्विक $+$-नियमित है, जो ताकामात्सु, योशिकावा और भट्ट द्वारा पेश की गई एक विशेषता है, जो मिश्रित अभिलक्षण में वैश्विक $F$-नियमितता का एक एनालॉग है। इस क्षेत्र में एक प्राथमिक कठिनाई कावामाता-विएहवेग (Kawamata–Viehweg) प्रकार के विलोपन (vanishing) सिद्धांतों का मिश्रित और धनात्मक अभिलक्षण में विफल होना है। जबकि धनात्मक अभिलक्षण में वैश्विक $F$-नियमितता विलोपन सिद्धांतों को पुनः प्राप्त करने के लिए एक विकल्प के रूप में कार्य करती है, इसके मिश्रित-अभिलक्षण समकक्ष, वैश्विक $+$-नियमितता, नए मानदंडों की मांग करती है। यह शोध पत्र उस मामले पर ध्यान केंद्रित करता है जहाँ बंद फाइबर (closed fiber) $M_k$ विलक्षण (singular) हो सकता है, जो पिछले परिणामों का विस्तार है जो केवल चिकनी (smooth) सतहों या विशिष्ट आधार रिंगों तक सीमित थे।

कार्यप्रणाली (Methodology)
प्रमाण की रणनीति मिश्रित अभिलक्षण में क्वासी-$F$-विभाजन (quasi-F-splitting) के सिद्धांत पर आधारित है, जो योबुको के धनात्मक अभिलक्षण संबंधी कार्य पर आधारित योशिकावा द्वारा पेश किया गया एक सिद्धांत है। कार्यप्रणाली निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ती है:

1. क्वासी-$F$-विभाजन तक न्यूनीकरण (Reduction to Quasi-F-splitting): लेखक एक पर्याप्त शर्त (प्रमेय 3.4) का उपयोग करते हैं जिसमें कहा गया है कि एक योजना $M$, जो विशिष्ट कोहोमोलॉजिकल और ज्यामितीय शर्तों (एक विशिष्ट बिशम-रेगुलर (BCM-regular) होने सहित) को पूरा करती है, वैश्विक $+$-नियमित होती है यदि वह क्वासी-$F$-विभाजित है।
2. बंद फाइबर का वर्गीकरण: प्रमाण को $M_k$ की विलक्षणताओं के आधार पर मामलों में विभाजित किया गया है। लेखक $M_k$ की संभावित संरचनाओं को वर्गीकृत करते हैं जब यह न्यूनीकरण (reduced) होता है, जो कि शून्य अभिलक्षण में विलक्षण फाइबर के फुजीता के वर्गीकरण और रीड (Reid) के गैर-सामान्य गोरस्टीन (nonnormal Gorenstein) डेल पेज़ो सतहों के वर्गीकरण से प्रेरित है।
   • तर्कसंगत द्वि-विलक्षण बिंदु (Rational Double Points - RDP): यदि $M_k$ में केवल RDPs हैं, तो क्वासी-$F$-विभाजन ओट्टेम, ताकामात्सु और योशिकावा के मौजूदा परिणामों से प्राप्त होता है।
   • सामान्य गैर-RDP (Normal Non-RDP): यदि $M_k$ सामान्य है लेकिन RDP डेल पेज़ो सतह नहीं है, तो इसे एक दीर्घवृत्त वक्र (elliptic curve) के ऊपर एक प्रक्षेपिक शंकु (projective cone) के रूप में पहचाना जाता है। लेखक प्रदर्शित करते हैं कि ऐसे विविध (varieties) क्वासी-$F$-विभाजित हैं।
   • गैर-सामान्य मामला (Nonnormal Case): यदि $M_k$ गैर-सामान्य है, तो लेखक $M_k$ का विस्तृत वर्गीकरण प्रदान करते हैं (प्रमेय 6.6 और 6.11)। इसमें न्यूनीकरण $Y \to M_k$ और कंडक्टर वर्ग (conductor square) का विश्लेषण शामिल है। वे अपरिभाजित (irreducible) और विभाज्य (reducible) गैर-सामान्य फाइबरों के बीच अंतर करते हैं, जिसमें रीड द्वारा वर्णित मंद (tame) गैर-सामान्य गोरस्टीन डेल पेज़ो सतहों के वर्गीकरण का उपयोग किया गया है।
3. $F$-विभाजन का सत्यापन: गैर-सामान्य मामलों के लिए, लेखक न्यूनीकरण के माध्यम से $F$-विभाजन के मानदंडों को लागू करके (प्रस्ताव 2.25) और कंडक्टर डैवाइजर (conductor divisor) तथा न्यूनीकरण के घटकों के विशिष्ट ज्यामिति का विश्लेषण करके यह स्थापित करते हैं कि $M_k$ वैश्विक $F$-विभाजित (और इस प्रकार क्वासी-$F$-विभाजित) है।

प्रमुख योगदान और परिणाम
प्राथमिक परिणाम प्रमेय A है, जो $p > 2$ के तहत $M$ की वैश्विक $+$-नियमितता को स्थापित करता है।

• प्रमेय A: मान लीजिए $R = W(k)$ जहाँ $\text{char}(k) = p > 2$ है। यदि $M$ एक नियमित पूर्णांक सपाट प्रक्षेपिक $R$-योजना है, $\dim M = 3$, $H^0(M, \mathcal{O}_M) = R$, और $\omega_M^{-1}$ प्रचुर है, और यदि बंद फाइबर $M_k$ न्यूनीकरण (reduced) है, तो $M$ वैश्विक $+$-नियमित है।
• प्रमेय B: प्रमेय A और भट्ट के विलोपन प्रमेय के परिणाम के रूप में, यह शोध पत्र इन सतहों के लिए एक कावामाता-विएहवेग-प्रकार का विलोपन प्रमेय निकालता है: $M$ पर किसी भी प्रचुर और अर्ध-प्रचुर (big and semiample) लाइन बंडल $A$ के लिए, $H^i(M, \omega_M \otimes A) = 0$ सभी $i > 0$ के लिए।

शोध पत्र गैर-सामान्य मामले में बंद फाइबरों $M_k$ का एक व्यापक वर्गीकरण भी प्रदान करता है:

• अपरिभाजित गैर-सामान्य फाइबर: यदि $M_k$ अपरिभाजित और गैर-सामान्य है, तो इसकी डिग्री $d=6$ है, और इसका न्यूनीकरण (normalization) या तो $\mathbb{F}_2$ या $\mathbb{F}_4$ है (प्रमेय 6.6)।
• विभाज्य गैर-सामान्य फाइबर: यदि $M_k$ विभाज्य और न्यूनीकरण (reduced) है, तो घटकों और उनके अंतर्संबंधों के लिए सटीक रूप से आठ संभावित विन्यास हैं, जिनकी डिग्री $d=8$ या $d=9$ है (प्रमेय 6.11)।

महत्व और दावे
यह शोध पत्र दावा करता है कि यह मिश्रित अभिलक्षण में कम-विमीय फानो (Fano) योजनाओं की वैश्विक $+$-नियमितता की व्यवस्थित जांच करता है, एक ऐसा विषय जहाँ उदाहरण पहले निहित थे लेकिन पूरी तरह से विश्लेषित नहीं थे। नियमित डेल पेज़ो सतहों को वैश्विक $+$-नियमित सिद्ध करके, लेखक चिकनी सतहों से परे मिश्रित अभिलक्षण में विलोपन सिद्धांतों की प्रयोज्यता का विस्तार करते हैं।

इस कार्य का महत्व यहाँ है:

1. अभिलक्षण अंतराल को पाटना: यह विलक्षण फाइबरों को संभालने के लिए मिश्रित अभिलक्षण में क्वासी-$F$-विभाजन के सिद्धांत को सफलतापूर्वक अनुकूलित करता है, जो मानक विलोपन सिद्धांतों की कमी को दूर करता है।
2. वर्गीकरण: यह शून्य अभिलक्षण में ज्ञात परिणामों के अनुरूप, मिश्रित अभिलक्षण में नियमित डेल पेज़ो सतहों के विलक्षण बंद फाइबरों का पूर्ण वर्गीकरण प्रदान करता है।
3. आधारभूत चरण: लेखक नोट करते हैं कि जबकि $M_k$ का न्यूनीकरण (reducedness) माना गया है, यह उम्मीद करना उचित है कि यह अन्य धारणाओं से स्वतः सिद्ध होता है, और यह कार्य भविष्य के अनुसंधान में इस परिकल्पना को हटाने के लिए आधार तैयार करता है।

यह शोध पत्र $p=2$ या गैर-न्यूनीकरण (non-reduced) वाले बंद फाइबर के मामले को हल करने का दावा नहीं करता है, इन्हें खुले प्रश्नों के रूप में चिह्नित करता है। परिणाम विलक्षण फाइबरों वाले मिश्रित अभिलक्षण परिवेशों में न्यूनतम मॉडल प्रोग्राम (minimal model program) उपकरणों के एक कठोर विस्तार के रूप में प्रस्तुत किए गए हैं।