Extended operational Chow group and Lefschetz (1,1)-theorem

तकनीकी सारांश: विस्तारित परिचालन चो समूह (Extended Operational Chow Group) और लेफ़्शेट्ज़ (1, 1)-प्रमेय

समस्या विवरण
शास्त्रीय लेफ़्शेट्ज़ (1, 1)-प्रमेय यह बताता है कि एक चिकनी (smooth) प्र been projective variety $X$ के लिए, प्रत्येक पूर्णांक (integral) $(1, 1)$ Hodge class एक लाइन बंडल का प्रथम चेर्न क्लास (first Chern class) होती है। विलक्षण (singular) किस्मों (varieties) तक इस परिणाम को विस्तारित करने में महत्वपूर्ण चुनौतियाँ हैं। एक विलक्षण किस्म $X$ के लिए, कोहोमोलॉजी समूह $H^2(X, \mathbb{Q})$ एक शुद्ध Hodge structure नहीं रखता है; इसके बजाय, इसमें एक मिश्रित Hodge structure (mixed Hodge structure) होता है। फलस्वरूप, $(1, 1)$-वर्गों की परिभाषा को भार-2 (weight-2) के ग्रेडेड भाग, $Gr^W_2 H^2(X, \mathbb{Q}) \cap F^1 Gr^W_2 H^2(X, \mathbb{C})$ तक सीमित किया जाना चाहिए।

सामान्यीकरण के पिछले प्रयास, जैसे कि $\text{Pic}(X)$ से इन वर्गों तक प्रथम चेर्न क्लास मानचित्र की अधिसुरजिता (surjectivity) की जाँच करना, सामान्य रूप से विफल रहे हैं (तोतारो [8])। इसके अतिरिक्त, ब्लॉच-गिल्लेट-सोल (BGS) चक्र वर्ग मानचित्र (cycle class map), जो परिचालन चो समूह $A^p(X)$ को $(p, p)$-Hodge वर्गों में मैप करता है, विलक्षण किस्मों के लिए हमेशा अधिसुरजक नहीं होता है, भले ही $p=1$ हो। यह शोध पत्र BGS मानचित्र की अधिसुरजकता की विफलता और एक बड़े चक्र समूह (cycle group) को पहचानने की आवश्यकता को संबोधित करता है जो अधिसुरजकता को बहाल कर सके, विशेष रूप से पृथक विलक्षणताओं (isolated singularities) के मामले में।

कार्यप्रणाली (Methodology)
लेखक फल्टन, मैक्फर्सन और तोतारो के कार्य पर आधारित परिचालन चो समूहों (operational Chow groups) और हाइपरएनवेलोप्स (hyperenvelopes) के ढांचे का उपयोग करते हैं।

1. परिचालन चो समूह (Operational Chow Groups): यह शोध पत्र परिचालन चो समूह $A^p(X)$ का उपयोग करता है, जिसे $X$ के चिकने एनवेलोप्स (hyperenvelopes) के चो समूहों के बीच एक मॉर्फिज्म के कर्नेल (kernel) के माध्यम से परिभाषित किया गया है।
2. विलक्षणता का समाधान (Resolution of Singularities): लेखक विलक्षणता के समाधान $\phi: \tilde{X} \to X$ के तहत BGS मानचित्र के व्यवहार का विश्लेषण करते हैं। वे अपवादिक लोकस (exceptional locus) $E$ के चो समूहों और $A^p(X), A^p(\tilde{X})$ के बीच संबंध स्थापित करने वाले सटीक अनुक्रमों (exact sequences) का उपयोग करते हैं।
3. व्युत्क्रम सीमाएँ (Inverse Limits): मानक BGS मानचित्र की गैर-अधिसुरजकता को दूर करने के लिए, लेखक एक विस्तारित परिचालन चो समूह (extended operational Chow group), जिसे $A^p_{\text{ext}}(X)$ के रूप में अंकित किया गया है, प्रस्तुत करते हैं। यह समूह $X$ के सभी समाधानों (resolutions) के श्रेणी (category) पर एक विशिष्ट उपसमुच्चय $A^p(\tilde{X})$ के व्युत्क्रम सीमा (inverse limit) के रूप में परिभाषित है। विशेष रूप से, $A^p_{\text{ext}}(\phi)$ उन वर्गों का समूह है जिनका चक्र वर्ग मानचित्र अपवादिक विभाजक (exceptional divisor) पर प्रतिबंधित होने पर शून्य हो जाता है।
4. फंक्टोरियलिटी और सीमाएँ (Functoriality and Limits): शोध पत्र यह स्थापित करता है कि $A^p_{\text{ext}}(X)$ इन उपसमुच्चयों का समाधानों की श्रेणी पर एक व्युत्क्रम सीमा है, जिससे यह सुनिश्चित होता है कि चक्र वर्ग मानचित्र स्वाभाविक रूप से इस नए समूह तक विस्तारित होता है।

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

1. तर्कसंगत सतह विलक्षणताओं के लिए अधिसुरजकता (Surjectivity for Rational Surface Singularities):
   लेखक सिद्ध करते हैं कि यदि $X$ एक सामान्य प्र been projective सतह है जिसमें केवल तर्कसंगत विलक्षणताएँ (rational singularities) हैं, तो मानक BGS चक्र वर्ग मानचित्र $cl_1: A^1(X) \to H^{1,1}_{\text{Hdg}}(X)$ अधिसुरजक है। यह इस विशिष्ट प्रकार की विलक्षण सतहों के लिए लेफ़्शेट्ज़ (1, 1)-प्रमेय का विस्तार करता है। इस मामले में, $A^1(X) = A^1_{\text{ext}}(X)$ है।

2. विस्तारित परिचालन चो समूह का परिचय:
   लेखक $A^p_{\text{ext}}(X)$ को समाधानों के परिचालन चो समूहों के उपसमुच्चयों के व्युत्क्रम सीमा के रूप में परिभाषित करते हैं।

• समावेशन (Containment): $A^p(X) \subseteq A^p_{\text{ext}}(X)$।
• मानचित्र का विस्तार (Extension of the Map): BGS चक्र वर्ग मानचित्र $cl_p: A^p_{\text{ext}}(X) \to Gr^W_{2p} H^{2p}(X, \mathbb{Q})$ तक विस्तारित होता है।
• फंक्टोरियलिटी (Functoriality): $p=1$ के लिए, विस्तारित समूह $A^1_{\text{ext}}(X)$ पृथक विलक्षणताओं वाली किस्मों के बीच मॉर्फिज्म के प्रति फंकटोरियल (functorial) है।

3. पृथक विलक्षणताओं के लिए लेफ़्शेट्ज़ (1, 1)-प्रमेय:
   प्राथमिक परिणाम यह है कि यदि $X$ में अधिकतम पृथक विलक्षणताएँ (isolated singularities) हैं (अनिवार्य रूप से सतह नहीं), तो विस्तारित चक्र वर्ग मानचित्र $cl_1: A^1_{\text{ext}}(X) \to H^{1,1}_{\text{Hdg}}(X)$ अधिसुरजक है। यह दर्शाता है कि $H^2(X, \mathbb{Q})$ में प्रत्येक Hodge $(1, 1)$-वर्ग विस्तारित परिचालन चो समूह के एक तत्व से उत्पन्न होता है, जो मानक मानचित्र द्वारा छोड़ी गई रिक्ति को भरता है।

4. प्रति-उदाहरण और गैर-अधिसुरजकता (Counterexamples and Non-Surjectivity):
   शोध पत्र स्पष्ट उदाहरण प्रदान करता है (तोतारो के अनुसरण में) जहाँ मानक BGS मानचित्र $cl_1: A^1(X) \to H^{1,1}_{\text{Hdg}}(X)$ अधिसुरजक नहीं है। विशेष रूप से, एक सतह $X$ के लिए जिसे $\mathbb{P}^2$ पर 10 सामान्य बिंदुओं के ब्लूप (blow-up) में एक वक्र $C'$ (एक क्यूबिक का स्ट्रिक्ट ट्रांसफॉर्म) को संकुचित (contract) करके प्राप्त किया गया है, $A^1(X) \neq A^1_{\text{ext}}(X)$, और मानक मानचित्र अधिसुरजक होने में विफल रहता है। यह विस्तारित समूह को प्रस्तुत करने की आवश्यकता को अनिवार्य बनाता है।

5. उच्च को-डायमेंशन और Hodge अनुमान (Higher Codimension and the Hodge Conjecture):
   उच्च को-डायमेंशन ($p > 1$) के लिए, बिना अतिरिक्त धारणाओं के विस्तारित मानचित्र की अधिसुरजकता सुनिश्चित नहीं है। लेखक एक और विस्तार, $A^p_{\text{wide}}(X)$, को समाधानों के एक उप-वर्ग के आधार पर परिभाषित करते हैं जहाँ होमोलॉजिकल रूप से विलुप्त (homologically trivial) चक्रों के पुलबैक (pullbacks) अधिसुरजक होते हैं। वे दिखाते हैं कि यदि चिकनी प्र been projective किस्मों के लिए Hodge अनुमान सत्य है, तो $cl_p: A^p_{\text{wide}}(X) \to H^{p,p}_{\text{Hdg}}(X)$ सभी $p > 0$ के लिए अधिसुरजक है।

महत्व
यह शोध पत्र दावा करता है कि यह शास्त्रीय लेफ़्शेट्ज़ (1, 1)-प्रमेय को विलक्षण किस्मों के संदर्भ में सामान्यीकृत करता है, विशेष रूप से प्रथम चेर्न क्लास मानचित्र और मानक परिचालन चो समूह से जुड़ी सीमाओं को संबोधित करता है। विस्तारित परिचालन चो समूह को पेश करके, लेखक एक स्वाभाविक ढांचा प्रदान करते हैं जहाँ चक्र वर्ग मानचित्र पृथक विलक्षणताओं वाली किस्मों के लिए अधिसुरजक हो जाता है। यह परिणाम विलक्षणताओं की उपस्थिति में बीजगणिक चक्रों (algebraic cycles) और Hodge वर्गों के बीच संबंध को स्पष्ट करता है, यह दिखाते हुए कि जबकि मानक चक्र पर्याप्त नहीं हो सकते हैं, समाधानों पर एक सीमा (limit over resolutions - विस्तारित समूह) सभी $(1, 1)$-वर्गों को कैप्चर करती है। यह कार्य एरापुरा (Arapura) के मोटिविक कोहोमोलॉजी (motivic cohomology) पर परिणामों के विरुद्ध अपने निष्कर्षों को संदर्भ देता है, यह नोट करते हुए कि जबकि एरापुरा का मानचित्र एक छोटे उपसमष्टि ($F^1 H^2 \cap H^2$) पर अधिसुरजक है, विस्तारित परिचालन चो समूह विलक्षण संरचना के अंतर्निहित बड़े Hodge $(1, 1)$-वर्गों के स्थान को कैप्चर करता है।