Tropical intersection homology

तकनीकी सारांश: उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी (Tropical Intersection Homology)

समस्या विवरण
यह शोध पत्र उष्णकटिबंधीय ज्यामिति (tropical geometry) के संदर्भ में बीजगणितीय चक्रों (algebraic cycles) के संख्यात्मक तुल्यता (numerical equivalence) के बीजगणितीय सिद्धांत और ज्यामितीय कोहोमोलॉजी सिद्धांतों के बीच के अंतर को संबोधित करता है। शास्त्रीय रूप से, चिकने सम्मिश्र उचित टोरिक वैराइटी $T_\Sigma$ के लिए, बाउ (Chow) समूह का संख्यात्मक तुल्यता द्वारा भागफल, $CH^p_{\text{Num}}(T_\Sigma) \otimes \mathbb{Q}$, सिंगुलर कोहोमोलॉजी $H^{2p}_{\text{sing}}(T_\Sigma(\mathbb{C}); \mathbb{Q})$ के समाकृतिक (isomorphic) होता है। इसके अतिरिक्त, यह IKMZ (इटेनबर्ग-काट्ज़ार्कव-मिलिहाकिन-ज़ारकोव) द्वारा स्थापित उष्णकटिबंधीय कोहोमोलॉजी $H^{p,p}_{\text{Trop}}(\text{Trop}(T_\Sigma); \mathbb{Q})$ के भी समाकृतिक है।

हालाँकि, एक सामान्य चिकने उचित वैराइटी $Y$ के लिए, जो एक टोरिक वैराइटी $T_\Lambda$ में अंतर्निहित है (विशेष रूप से एक "उष्णकटिबंधीय रूप से सघन" उप-वैराइटी), उष्णकटिबंधीय कोहोमोलॉजी $H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q})$ आवश्यक रूप से पोइनकेयर द्वैतता (Poincaré duality) का पालन नहीं करती है। फलस्वरूप, उष्णकटिबंधीय कोहोमोलॉजी से संख्यात्मक बाउ समूह $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ में प्राकृतिक मानचित्र सर्जिव (surjective) तो है, लेकिन अनिवार्य रूप से एक समाकारिता (isomorphism) नहीं है। विलक्षण (singular) या गैर-चिकनी वैराइटी के लिए उष्णकटिबंधीय सेटिंग में पोइनकेयर द्वैतता की विफलता, विलक्षण सम्मिश्र वैराइटी के लिए सिंगुलर कोहोमोलॉजी में होने वाली विफलता को दर्शाती है। यह शोध पत्र उपयुक्त युग्मों $(Y, D)$ के लिए $CH^p_{\text{Num}}(Y) \otimes \mathbb{Q}$ का एक ज्यामितीय विवरण प्रदान करने और द्वैतता को बहाल करने के लिए एक उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी (tropical analog of intersection homology) पेश करने का प्रयास करता है।

कार्यप्रणाली (Methodology)
लेखक एक द्वैत दृष्टिकोण अपनाते हैं, जिसमें उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी को ज्यामितीय (शृंखलाओं/chains के माध्यम से) और शिफ-सैद्धांतिक (sheaf-theoretically - व्युत्पन्न श्रेणियों/derived categories के माध्यम से) दोनों तरह से परिभाषित किया गया है, और उनकी समानता को सिद्ध किया गया है।

1. ज्यामितीय परिभाषा:

   • शोध पत्र एक उष्णकटिबंधीय वैराइटी $X$ (जो अनंत पर नियमित है) पर उष्णकटिबंधीय प्रतिच्छेदन शृंखलाओं $IC^{p,q}_{\text{Trop}}$ को विलक्षण शृंखलाओं (singular chains) पर "अनुमेयता" (allowability) की शर्तें लागू करके परिभाषित करता है।
   • ये शर्तें गोरेस्की-मैकफर्सन की प्रतिच्छेदन होमोलॉजी के समान हैं। वे शृंखलाओं के स्ट्रेटा (strata) के साथ प्रतिच्छेदन को स्ट्रेटा के को-डायमेंशन (codimension) और शृंखला गुणांकों के "भार" (weight) के आधार पर प्रतिबंधित करती हैं।
   • उपयोग किए गए गुणांक गुबलेर-जेल-राबिनोफ़ के नए उष्णकटिबंधीय गुणांकों $F^{p,w}$ से प्राप्त हैं, जिन्हें 1-कोडायमेंशनल स्ट्रेटा के पास पोइनकेयर-वर्दियर द्वैतता को संतुष्ट करने के लिए डिज़ाइन किया गया है, जो कि मूल IKMZ गुणांकों में एक कमी थी।
   • इस परिभाषा में फैन (fan) की स्थानीय ज्यामिति के आधार पर शृंखला संकुलों (chain complexes) पर फिल्ट्रेशन शामिल है, जो विशेष रूप से शंकुओं (cones) $\sigma_S$ और स्ट्रेटा $S$ के आयामों का उपयोग करता है।

2. शिफ-सैद्धांतिक निर्माण (Sheaf-Theoretic Construction):

   • पोइनकेयर-वर्दियर द्वैतता को कठोरता से स्थापित करने के लिए, शोध पत्र व्युत्पन्न श्रेणियों (derived categories) में उष्णकटिबंधीय प्रतिच्छेदन संकुल (intersection complex) का निर्माण करता है।
   • एक प्रमुख तकनीकी नवाचार स्थानीय रूप से वर्गीकृत शिफ (locally graded sheaves) का परिचय है। लेखक एक व्युत्पन्न श्रेणी $D_{\text{LG}}$ को परिभाषित करते हैं जो वर्गीकृत शिफ की व्युत्पन्न श्रेणी को "LG-क्वासी-आइसोमोर्फिज्म" के सापेक्ष लोकलाइज़ (localize) करके बनाई गई है। यह लोकलाइज़ेशन आवश्यक है क्योंकि ट्रंकेशन फंक्टर्स (truncation functors) जिनका उपयोग प्रतिच्छेदन संकुल को परिभाषित करने के लिए किया जाता है, उन फिल्ट्रेशनों का उपयोग करते हैं जो केवल स्ट्रेटा के स्थानीय खुले पड़ोसों पर ही परिभाषित होते हैं।
   • उष्णकटिबंधीय प्रतिच्छेदन संकुल $\text{IC}^p_{\text{Trop,sheaf}}$ का निर्माण चिकने भाग $X_{\text{sm}}$ से विलक्षण लोकस (singular locus) तक उष्णकटिबंधीय रूपों के शिफ को विस्तारित करके किया जाता है, जिसमें विशिष्ट "स्वयंसिद्धों" (axioms) (स्थानीय लुप्त होने और जोड़ने के गुणों) का उपयोग किया जाता है जो डेलिग्न के प्रतिच्छेदन संकुल के निर्माण के समान हैं।

3. तुलना और द्वैतता:

   • शोध पत्र यह सिद्ध करता है कि ज्यामितीय और शिफ-सैद्धांतिक परिभाषाएँ समाकृतिक होमोलॉजी समूहों को उत्पन्न करती हैं।
   • यह उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी के लिए एक पोइनकेयर-वर्दियर द्वैतता प्रमेय स्थापित करता है: $I H^{p,q}_{\text{Trop}}(X)$ और $I H^{d-p, d-q}_{\text{Trop}, c}(X)$ के बीच एक गैर-अपभ्रष्ट युग्मन (non-degenerate pairing)।
   • लेखक उष्णकटिबंधीय संरचनाओं के विश्लेषण के लिए स्पेक्ट्रल अनुक्रमों (spectral sequences) का उपयोग करते हैं जो उष्णकटिबंधीय कोहोमोलॉजी और सिंगुलर कोहोमोलॉजी (उष्णकटिबंधीय मानचित्र के माध्यम से) के साथ तुलना करते हैं।

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

• उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी की परिभाषा: शोध पत्र अनंत पर नियमित उष्णकटिबंधीय वैराइटी $X$ के लिए $I H^{p,q}_{\text{Trop}}(X; \mathbb{Q})$ को प्रस्तुत करता है। यह सिद्धांत चिकने उष्णकटिबंधीय वैराइटी के मामले में मानक उष्णकटिबंधीय कोहोमोलॉजी के साथ मेल खाता है, लेकिन विलक्षण मामलों के लिए एक परिष्कृत सिद्धांत प्रदान करता है।
• पोइनकेयर द्वैतता की बहाली: प्रमेय 1.2 उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी के लिए एक गैर-अपभ्रष्ट युग्मन स्थापित करता है, जो चिकने उष्णकटिबंधीय वैराइटी के लिए ज्ञात द्वैतता का विलक्षण सेटिंग में सामान्यीकरण करता है।
• संख्यात्मक तुल्यता के साथ समाकारिता: केंद्रीय परिणाम (प्रमेय 1.2, कोरोलरी 7.3) बताता है कि एक चिकने टोरिक वैराइटी $T_\Lambda$ में उष्णकटिबंधीय रूप से सघन एक चिकने उचित वैराइटी $Y$ के लिए (विशिष्ट अपरिहार्यता और सर्जिविटी शर्तों को पूरा करते हुए), एक प्राकृतिक समाकारिता होती है:
  $$I H^{p,q}_{\text{Trop}}(\text{Trop}(Y); \mathbb{Q}) \cong \begin{cases} CH^p_{\text{Num}}(Y) \otimes \mathbb{Q} & \text{यदि } p=q \\ 0 & \text{यदि } p \neq q \end{cases}$$
  इस समाकारिता के तहत, प्रतिच्छेदन होमोलॉजी पर युग्मन बीजगणितीय चक्रों के प्रतिच्छेदन संख्याओं के अनुरूप होता है।
• बहुफलकीय संरचना से स्वतंत्रता: शोध पत्र यह सिद्ध करता है कि उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी उष्णकटिबंधीय वैराइटी के विशिष्ट बहुफलकीय विभाजन (subdivision) से स्वतंत्र है, बशर्ते कि वैराइटी अनंत पर नियमित रहे।
• तकनीकी ढांचा: स्थानीय रूप से वर्गीकृत शिफ और संबंधित व्युत्पन्न श्रेणियों के विकास ने उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी में निहित स्थानीय-से-वैश्विक मुद्दों को संभालने के लिए एक मजबूत शिफ-सैद्धांतिक ढांचा प्रदान किया है।

महत्व
यह शोध पत्र टोरिक वैराइटी से परे एक व्यापक वर्ग की चिकनी उचित वैराइटी के लिए उष्णकटिबंधीयकरण (tropicalization) के माध्यम से संख्यात्मक तुल्यता के ज्यामितीय विवरण का सामान्यीकरण करने का दावा करता है। उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी पेश करके, लेखक उष्णकटिबंधीय सेटिंग में संख्यात्मक तुल्यता के बीजगणितीय विचार और कोहोमोलॉजी के टोपोलॉजिकल विचार के बीच के अंतर को पाटते हैं, विशेष रूप से विलक्षण वैराइटी के लिए मानक उष्णकटिबंधीय कोहोमोलॉजी में पोइनकेयर द्वैतता की विफलता को संबोधित करते हैं। यह एक शास्त्रीय परिणाम का उष्णकटिबंधीय संस्करण प्रदान करता है कि एक विलक्षण सम्मिश्र वैराइटी की प्रतिच्छेदन होमोलॉजी अंतर्निहित बीजगणितीय संरचना से संबंधित सही कोहोमोलॉजिकल इनवेरिएंट्स को पुनः प्राप्त करती है। यह कार्य सुझाव देता है कि उष्णकटिबंधीय प्रतिच्छेदन होमोलॉजी उन वैराइटी के चक्रों के संख्यात्मक तुल्यता वर्गों को पकड़ने के लिए सही कोहोमोलॉजिकल सिद्धांत है जो उष्णकटिबंधीय सघनता (tropical compactification) को स्वीकार करती हैं।