Classification and nonexistence for $t$-structures on derived categories of schemes

तकनीकी सारांश: स्कीम्स के व्युत्पन्न श्रेणियों (Derived Categories) पर t-संरचनाओं का वर्गीकरण और अनस्तित्व

समस्या विवरण
यह शोध पत्र कोहेरेंट शीव्स ($D^b_{\text{coh}}(X)$) और परफेक्ट कॉम्प्लेक्स ($\text{Perf}(X)$) की व्युत्पन्न श्रेणियों पर टेंसर t-संरचनाओं (tensor t-structures) के वर्गीकरण को संबोधित करता है, विशेष रूप से एक बंद उपसमुच्चय $Z$ में निर्धारित समर्थन (support) के साथ। जबकि क्वैसी-कोहेरेंट शीव्स की अनबाउंडेड व्युत्पन्न श्रेणी ($D_{\text{qc}}(X)$) पर कॉम्पैक्टली जनरेटेड टेंसर t-संरचनाओं का वर्गीकरण थॉमसन फिल्ट्रेशन (Thomason filtrations) के माध्यम से अच्छी तरह से स्थापित है (जैसे [ATJLS10], [DS23], [Lan25] के कार्यों में), यह समस्या कि ये संरचनाएं कोहेरेंट या परफेक्ट कॉम्प्लेक्स के उपश्रेणियों (subcategories) में कब प्रतिबंधित होती हैं, अत्यंत सूक्ष्म बनी हुई है।

एक केंद्रीय प्रेरणा एंटी-जेपनर-हेलर अनुमान (Antieau–Gepner–Heller conjecture) है, जो यह प्रतिपादित करता है कि $\text{Perf}(X)$ में एक बाउंडेड t-संरचना तभी होती है जब $X$ रेगुलर (regular) हो। इसे हाल ही में नेमन [Nee24] द्वारा सामान्य मामले में और स्मिथ [Smi22] द्वारा एफ़ाइन मामले में हल किया गया है। यह शोध पत्र इन परिणामों को किसी भी बंद उपसमुच्चय $Z$ के लिए विस्तारित करने का प्रयास करता है और एक टोपोलॉजिकल लक्षण वर्णन प्रदान करता है कि कब $D_{\text{qc}}(X)$ पर t-संरचनाएं $D^b_{\text{coh}, Z}(X)$ और $\text{Perf}_Z(X)$ पर प्रतिबंधित होती हैं।

कार्यप्रणाली
लेखक एक "लोकल-टू-ग्लोबल" (स्थानीय-से-वैश्विक) रणनीति का उपयोग करते हैं, जो इस तथ्य का लाभ उठाती है कि स्कीम्स पर t-संरचनाओं के कई गुण स्थानीय एफ़ाइन ओपन सबशीम या स्टॉक्स (stalks) पर पहचाने जा सकते हैं। मुख्य तकनीकी उपकरण निम्नलिखित हैं:

1. थॉमसन फिल्ट्रेशन (Thomason Filtrations): वर्गीकरण $D_{\text{qc}}(X)$ पर कॉम्पैक्टली जनरेटेड टेंसर t-संरचनाओं और थॉमसन फिल्ट्रेशन (स्पेशलाइजेशन-क्लोज्ड उपसमुच्चयों के अनुक्रम) के बीच एक एक-से-एक पत्राचार (bijective correspondence) पर निर्भर करता है।
2. सापेक्ष कमजोर कॉसिन स्थिति (Relative Weak Cousin Condition): लेखक एक बंद उपसमुच्चय $Z$ के सापेक्ष थॉमसन फिल्ट्रेशन के लिए एक "सापेक्ष कमजोर कॉसिन" स्थिति पेश करते हैं और इसका उपयोग करते हैं। यह [ATJLS10] से शास्त्रीय कमजोर कॉसिन स्थिति को सापेक्ष सेटिंग में सामान्यीकृत करता है।
3. प्रतिबंध और स्थानीयकरण (Restriction and Localization): शोध पत्र यह स्थापित करता है कि एक बंद उपसमुच्चय $Z$ (या ओपन सबस्कीम) पर प्रतिबंध, संबंधित थॉमसन फिल्ट्रेशन के प्रतिबंध के अनुरूप होता है। लेम्मा 3.5, 3.6, और 3.17 यह प्रदर्शित करते हैं कि ट्रंकेशन फन्क्टर्स (truncation functors) ओपन एफ़ाइन और लोकल रिंग्स पर प्रतिबंध के साथ कम्यूट करते हैं, जिससे वैश्विक प्रश्नों को स्थानीय बीजगणितीय स्थितियों तक कम किया जा सके।
4. समर्थन सिद्धांत और नियमितता (Support Theory and Regularity): अनस्तित्व (nonexistence) के परिणाम कोसुल कॉम्प्लेक्स (Koszul complexes) और लोकल कोहोमोलॉजी के व्यवहार का विश्लेषण करके प्राप्त किए जाते हैं। विशेष रूप से, लेखक गैर-रेगुलर सेटिंग्स में परफेक्ट कॉम्प्लेक्स तक t-संरचनाओं के प्रतिबंधित होने की धारणाओं के विरुद्ध विरोधाभास उत्पन्न करने के लिए सपोर्ट के आयाम और स्थानीय रिंगों के गुणों का उपयोग करते हैं।

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

• समर्थित कोहेरेंट शीव्स पर वर्गीकरण (थ्योरम 1.2 और प्रोपोज़िशन 1.1):
  एक क्वासी-कॉम्पैक्ट CM-एक्सीलेंट स्कीम $X$ (परिमित क्रिल आयाम वाली) और एक बंद उपसमुच्चय $Z$ के लिए, यह शोध पत्र निम्नलिखित के बीच एक एक-से-एक पत्राचार स्थापित करता है:

  • $D^b_{\text{coh}, Z}(X)$ पर टेंसर t-संरचनाएं (या $\otimes$-aisles)।
  • $X$ पर थॉमसन फिल्ट्रेशन जो "$Z$ के सापेक्ष कमजोर कॉसिन" हैं।

  एक फिल्ट्रेशन $\phi$ तब 'कमजोर कॉसिन अग्रेस $Z$' है यदि, $Z$ में किसी भी डायरेक्ट जनरलाइजेशन $p \leadsto q$ के लिए, $q \in \phi(n)$ होने पर $p \in \phi(n-1)$ होता है। यह परिणाम [ATJLS10, Tak23] के एफ़ाइन वर्गीकरण को वैश्विक सेटिंग में सामान्यीकृत करता है और ऐसी प्रतिबंधों के अस्तित्व के लिए एक टोपोलॉजिकल मानदंड प्रदान करता है।

• अनस्तित्व और नियमितता का पता लगाना (थ्योरम 1.3):
  यह शोध पत्र सिद्ध करता है कि एक नोथेरियन स्कीम $X$ का एक गैर-रिक्त बंद उपसमुच्चय $Z$, $X$ के रेगुलर लोकस (regular locus) के भीतर है यदि और केवल यदि $X$ पर एक गैर-कॉन्सटेंट (non-constant) थॉमसन फिल्ट्रेशन मौजूद है जिसका संबद्ध t-संरचना $\text{Perf}_Z(X)$ पर प्रतिबंधित होता है।

  • यदि $Z$ में एक सिंगुलर पॉइंट (singular point) है, तो कोई भी गैर-कॉन्सटेंट t-संरचना $\text{Perf}_Z(X)$ पर प्रतिबंधित नहीं हो सकती।
  • यह एफ़ाइन केस ($Z=X$) में नेमन के प्रमेय [Nee24] को पुनः प्राप्त करता है और स्मिथ के परिणाम [Smi22] को अनिश्चित क्रिल आयामों तक विस्तारित करता है।
  • प्रमाण स्थानीय बीजगणित तकनीकों (विशेष रूप से लोकल कोहोमोलॉजी और कोसुल कॉम्प्लेक्स के गुणों) का उपयोग करता है, न कि नेमन द्वारा उपयोग की जाने वाली अप्रॉक्सिमेबल ट्राइएंगुलेटेड कैटेगरी विधियों का।

• समर्थित परफेक्ट कॉम्प्लेक्स पर वर्गीकरण (कोरोलरी 1.4):
  उपरोक्त परिणामों को जोड़ते हुए, लेखक $\text{Perf}_Z(X)$ पर t-संरचनाओं का वर्गीकरण करते हैं। एक थॉमसन फिल्ट्रेशन $\phi$ एक ऐसी t-संरचना देता है जो $\text{Perf}_Z(X)$ पर प्रतिबंधित होती है यदि और केवल यदि, प्रत्येक कनेक्टेड कंपोनेंट $Z_t$ के लिए:

  • यदि $Z_t$ रेगुलर लोकस में है, तो $\phi \cap Z_t$ कमजोर कॉसिन स्थिति को संतुष्ट करता है।
  • यदि $Z_t$ रेगुलर लोकस में नहीं है, तो $\phi \cap Z_t$ को कॉन्सटेंट होना चाहिए।

महत्व और दावे
यह शोध पत्र टेंसर t-संरचनाओं के लिए मजबूत "लोकल-टू-ग्लोबल" सिद्धांतों को स्थापित करने का दावा करता है, जो एफ़ाइन केस और वैश्विक स्कीम सेटिंग के बीच के अंतर को पाटता है। थॉमसन फिल्ट्रेशन पर टोपोलॉजिकल स्थितियों के माध्यम से कोहेरेंट और परफेक्ट कॉम्प्लेक्स पर t-संरचनाओं के प्रतिबंध को चरित्रित करके, यह कार्य CM-एक्सीलेंट हाइपोथीसिस के तहत इन उपश्रेणियों के लिए एक पूर्ण वर्गीकरण प्रदान करता है।

इसके अतिरिक्त, अनस्तित्व के परिणाम होमोलॉजिकल अलजेब्रा और ज्यामितीय नियमितता (geometric regularity) के बीच संबंध पर एक नया दृष्टिकोण प्रदान करते हैं। लेखक नोट करते हैं कि उनकी विधियाँ एफीन केस के लिए एंटी-जेपनर-हेलर अनुमान के लिए एक वैकल्पिक प्रमाण प्रदान करती हैं और उन्हें अनंत क्रिल आयामों तक विस्तारित करती हैं, जो होचस्टर [Hoc73] द्वारा निर्मित गैर-रेगुलर नोथेरियन इंटीग्रल डोमेन के विशिष्ट उदाहरणों पर लागू होती हैं। इन परिणामों के पर्सर्विटी फंक्शन्स (perversity functions) से उत्पन्न होने वाली t-संरचनाओं के वर्गीकरण पर भी प्रभाव हैं, जो $D^b_{\text{coh}}(X)$ पर उस वर्गीकरण समस्या के लिए एक प्रभावी निष्कर्ष प्रदान करते हैं।