On spectral sequences for semiabelian varieties over non-closed fields

तकनीकी सारांश: गैर-बंद क्षेत्रों (Non-Closed Fields) पर अर्ध-एबेलियन किस्मों (Semiabelian Varieties) के लिए स्पेक्ट्रल अनुक्रमों पर

समस्या विवरण
यह शोध पत्र एक गैर-बंद क्षेत्र $k$ पर बीजगणितीय किस्मों $X$ के लिए एतले कोहोमोलॉजी कॉम्प्लेक्स (étale cohomology complex) $R\Gamma_{\text{\'et}}(X_{k^s}, \mathbb{Z}_\ell)$ की संरचना की जांच करता है। जबकि डेलिग्ने का अपघटन प्रमेय (Deligne's decomposition theorem) यह सुनिश्चित करता है कि चिकने प्रक्षेपवत् (smooth projective) विविधताओं के लिए, परिमेय एतले कोहोमोलॉजी कॉम्प्लेक्स अपने व्यक्तिगत कोहोमोलॉजी समूहों के प्रत्यक्ष योग (direct sum) के कवाज़ी-आइसोमोर्फिक (quasi-isomorphic) होता है, यह गुण पूर्णांक गुणांकों (integral coefficients) के लिए विफल हो जाता है। यह विफलता होचिल्ड–सिएर्स स्पेक्ट्रल अनुक्रम (Hochschild–Serre spectral sequence) में प्रकट होती है:
$$E_2^{p,q} = H^p(k, H^q_{\text{\'et}}(X_{k^s}, \mathbb{Z}_\ell)) \Rightarrow H^{p+q}_{\text{\'et}}(X, \mathbb{Z}_\ell)$$
जो सामान्यतः गैर-शून्य अंतरों (differentials) को धारण करती है। लेखक अर्ध-एबेलियन किस्मों (एबेलियन किस्मों और टोरी के विस्तार) के लिए पहले संभावित रूप से गैर-शून्य अंतरों का सटीक विवरण प्रदान करने और उन स्थितियों को निर्धारित करने का लक्ष्य रखते हैं जिनमें ये अंतर शून्य या गैर-शून्य होते हैं।

कार्यप्रणाली
लेखक व्युत्पन्न श्रेणी तकनीकों (derived category techniques), समूह कोहोमोलॉजी (group cohomology), और अंकगणितीय ज्यामिति (arithmetic geometry) के संयोजन का उपयोग करते हैं:

1. व्युत्पन्न श्रेणी विश्लेषण (Derived Category Analysis): वे स्पेक्ट्रल अनुक्रम में विस्तार वर्गों (extension classes) के अनुरूप अंतरों की पहचान करने के लिए ट्रंकेशन $\tau^{[i, i+1]}R\Gamma_{\text{\'et}}(X_{k^s}, \mathbb{Z}/n)$ का विश्लेषण करते हैं।
2. समूह कोहोमोलॉजी में न्यूनीकरण (Reduction to Group Cohomology): यह तथ्य उपयोग करते हुए कि अर्ध-एबेलियन किस्में एतले $K(\pi, 1)$-स्थान हैं, वे एतले कोहोमोलॉजी कॉम्प्लेक्स को टेट मॉड्यूल (या टोरी के लिए कैरेक्टर मॉड्यूल) के निरंतर समूह कोहोमोलॉजी कॉम्प्लेक्स के रूप में पहचानते हैं।
3. विस्तार का स्पष्ट निर्माण (Explicit Construction of Extensions): वे $\text{Ext}^2_\Gamma$ में विस्तार वर्गों का प्रतिनिधित्व करने के लिए द्विघात फलनों (quadratic functions) और टेंसर उत्पादों को शामिल करते हुए स्पष्ट 2-विस्तार (2-extensions) का निर्माण करते हैं। विशेष रूप से, वे अंतर $\delta_2^{p,2}$ को द्विघात फलनों के अनुक्रम $0 \to M \to Q(M) \to M \otimes 2 \to \wedge^2 M \to 0$ द्वारा परिभाषित विस्तार से जोड़ते हैं।
4. अंकगणितीय युग्मन (Arithmetic Pairings): एबेलियन किस्मों, विशेष रूप से जैकोबियन्स (Jacobians) के लिए, लेखक कैसल–टेट युग्मन (Cassels–Tate pairing) और पोइटो–टेट द्वैतता (Poitou–Tate duality) का उपयोग विशिष्ट कोहोमोलॉजी वर्गों (जो थीटा-विशेषताओं के टोरसर से संबंधित हैं) की विभाज्यता (divisibility) का परीक्षण करने के लिए करते हैं।
5. ब्रेर–मैनिन अवरोध (Brauer–Manin Obstruction): वे स्थानीय रूप से सुलभ (locally soluble) किस्मों पर ब्रेर–मैनिन युग्मन के माध्यम से कोहोमोलॉजिकल अवरोधों की व्याख्या करते हैं ताकि स्पष्ट प्रति-उदाहरणों का निर्माण किया जा सके।

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

• अर्ध-एबेलियन किस्मों के लिए अंतरों का सामान्य विवरण (प्रमेय 1.6, 1.13):
  लेखक एक अर्ध-एबेलियन किस्म $A$ के लिए अंतर $\delta_2^{p,2}: H^p(k, \wedge^2 M) \to H^{p+2}(k, M)$ (जहाँ $M = H^1_{\text{\'et}}(A_{k^s}, \mathbb{Z}_2)$) का वर्णन करने के लिए एक नया, संक्षिप्त प्रमाण प्रदान करते हैं। वे दिखाते हैं कि यह अंतर द्विघात फलनों वाले एक विशिष्ट 2-विस्तार के कनेक्टिंग मैप (connecting map) के अनुरूप है। इस विवरण को बोकस्टीन होमोमोर्फिज्म (Bockstein homomorphisms) के माध्यम से गुणांक $\mathbb{Z}/2^m$ के लिए सामान्यीकृत किया गया है।

• एबेलियन सतहों के लिए गैर-अपघटन (Non-Degeneration) (प्रमेय 1, प्रमेय 3.5):
  तर्कसंगत भाजक वर्गों (rational divisor classes) वाले जैकोबियन्स के व्यवहार के विपरीत, लेखक यह सिद्ध करते हैं कि होचिल्ड–सिएर्स स्पेक्ट्रल अनुक्रम सभी एबेलियन किस्मों के लिए आवश्यक रूप से अपघटित (degenerate) नहीं होता है। वे $\mathbb{Q}$ पर एक स्पष्ट मुख्य रूप से ध्रुवीकृत (principally polarized) एबेलियन सतह $A$ का निर्माण करते हैं जहाँ अंतर $\delta_2^{0,2}$ गैर-शून्य है। यह तब होता है जब थीटा-विशेषताओं (या अल्बनेस टोरसर) के टोरसर का वर्ग गैलवा कोहोमोलॉजी समूह $H^1(k, J)$ में 2 से विभाज्य नहीं होता है। दो स्पष्ट जेनस 2 हाइपरएलिप्टिक वक्रों के उदाहरण दिए गए हैं जहाँ यह स्थिति लागू होती है, जिसमें गैर-विभाज्यता को सत्यापित करने के लिए ब्रेर–मैनिन अवरोध का उपयोग किया गया है।

• तर्कसंगत भाजकों वाले जैकोबियन्स के लिए अपघटन (प्रमेय 3, प्रमेय 2.1):
  यह शोध पत्र स्थापित करता है कि यदि वक्र $C$ में डिग्री 1 का $k$-तर्कसंगत भाजक वर्ग है, तो इसके जैकोबीयन $J$ का एतले कोहोमोलॉजी कॉम्प्लेक्स $D(\Gamma, \mathbb{Z}/n)$ में अपघटित होता है। फलस्वरूप, ऐसे जैकोबियन्स के लिए होचिल्ड–सिएर्स स्पेक्ट्रल अनुक्रम दूसरे पृष्ठ पर अपघटित हो जाता है। यह परिणाम ज्ञात तथ्यों को सामान्य करता है लेकिन इसे $k$ पर परिभाषित इंटीग्रल कुनेथ प्रोजेक्टरों (integral Künneth projectors) का उपयोग करके एक प्रमाण के साथ प्रस्तुत किया गया है।

• टोरसर और अल्बनेस टोरसर (प्रमेय 4, प्रमेय 5.1):
  एक अर्ध-एबेलियन किस्म $A$ के टोरसर $X$ के लिए, लेखक $\tau^{[0,1]}R\Gamma_{\text{\'et}}(X_{k^s}, \mathbb{Z}/n)$ के विभाजन (splitting) के अवरोध का वर्णन करते हैं। वे सिद्ध करते हैं कि $\text{Ext}^2_\Gamma$ में इस अवरोध के अनुरूप वर्ग $H^1(k, A)$ में टोरसर $[X]$ के बोकस्टीन होमोमोर्फिज्म के तहत छवि है। यह कोहोमोलॉजी कॉम्प्लेक्स के गैर-विभाजन को सीधे टोरसर की गैर-तुच्छता (non-triviality) से जोड़ता है।

• टोरी का ब्रेर समूह (प्रमेय 4.1):
  लेखक $\mathbb{G}_m$ के गुणांकों के साथ एक टोरी $T$ के लिए होचिल्ड–सिएर्स स्पेक्ट्रल अनुक्रम में अंतर $d_3^{0,2}$ का वर्णन करते हैं। यह अंतर $Br(T) \to Br(T_{k^s})^\Gamma$ के अधिसुरिक्षमता (surjectivity) के अवरोध की गणना करता है। वे बोकस्टीन मैप्स और कैरेक्टर मॉड्यूल के विस्तार वर्ग का उपयोग करके 2-प्राथमिक टोरशन उपसमूह पर इस अंतर के लिए एक स्पष्ट सूत्र प्रदान करते हैं। एक परिणाम के रूप में, वे पुष्टि करते हैं कि अर्ध-तुच्छ (quasi-trivial) टोरी या स्थानीय/वैश्विक क्षेत्रों पर टोरी के लिए, यह मानचित्र अधिसुरक्षी (surjective) है।

• वक्रों के लिए अंतर (प्रस्तावना 6.1, 6.5, उप-प्रमेय 6.6):
  चिकने प्रक्षेपवत् वक्रों के लिए, यह शोध पत्र सुस्लिन के लेम्मा (Suslin's lemma) का सामान्यीकरण करता है। यह दूसरे पृष्ठ के अंतरों को अल्बनेस टोरसर के संदर्भ में अभिलक्षणित करता है। यदि अल्बनेस टोरसर $n$ द्वारा विभाज्य है, तो दूसरे पृष्ठ के अंतर शून्य हो जाते हैं, और लेखक तीसरे पृष्ठ पर गैर-शून्य अंतरों का वर्णन करते हैं। इन तीसरे पृष्ठ के अंतरों को दिखाया गया है कि वे वक्र के पिकार्ड स्टैक (Picard stack) से प्राप्त $H^3(k, \mu_n)$ में एक विशिष्ट वर्ग द्वारा प्रेरित हैं।

महत्व और दावे
शोध पत्र का दावा है कि यह अर्ध-एबेलियन किस्मों के लिए होचिल्ड–सिएर्स स्पेक्ट्रल अनुक्रम के पहले गैर-शून्य अंतर के सूत्र का एक "नया, संक्षिप्त प्रमाण" प्रदान करता है, जो एबेलियन किस्मों और टोरी के उपचार को एकीकृत करता है। इसका प्राथमिक महत्व निम्नलिखित है:

1. स्पष्ट प्रति-उदाहरण: एबेलियन किस्मों (विशेष रूप से सतहों) के पहले ज्ञात उदाहरण प्रदान करना जहाँ स्पेक्ट्रल अनुक्रम अपघटित होने में विफल रहता है, जो इस अंतर्ज्ञान को चुनौती देता है कि ऐसे अपघटन सभी एबेलियन किस्मों के लिए लागू हो सकते हैं।
2. अंकगणितीय व्याख्या: अंतरों की गैर-शून्यता को गहरे अंकगणितीय गुणों, विशेष रूप से थीटा-विशेषताओं के टोरसर के 2-विभाज्यता और ब्रेर–मैनिन अवरोध से जोड़ना।
3. गणना उपकरण: टोरी के ब्रेर समूह और वक्रों के अंतरों की गणना के लिए स्पष्ट सूत्र प्रदान करना, जो पूर्व साहित्य (जैसे [CTS21] में टोरी के ब्रेर समूह के संबंध में) में उठाए गए विशिष्ट प्रश्नों का उत्तर देते हैं।
4. सामान्यीकरण: तर्कसंगत भाजक वर्गों वाले जैकोबियन्स के उत्पादों के प्रत्यक्ष कारकों पर कोहोमोलॉजी कॉम्प्लेक्स के अपघटन के परिणामों का विस्तार करना, जिसे लेखक नोट करते हैं कि यह विशेषज्ञों को ज्ञात हो सकता है लेकिन पहले साहित्य में उपलब्ध नहीं था।

लेखक टोरी के लिए अंतरों की गैर-शून्यता के संबंध में विनम्र रहते हैं, यह नोट करते हुए कि हालांकि वे एक सूत्र प्रदान करते हैं, वर्तमान में यह अज्ञात है कि क्या टोरी के लिए गैर-शून्य उदाहरण मौजूद हैं (टिप्पणी 4.2)। इसी तरह, एबेलियन सतह का निर्माण क्रेउट्ज़ और विराय के मौजूदा अंकगणितीय निर्माणों पर निर्भर करता है, जिन्हें लेखक गैर-अपघटन घटना को प्रदर्शित करने के लिए संश्लेषित करते हैं।