Gelfand-Fuks cohomology of vector fields on algebraic varieties

तकनीकी सारांश: बीजगणितीय किस्मों पर सदिश क्षेत्रों का गेलफंड-फक्स कोहोमोलॉजी (Gelfand-Fuks Cohomology)

समस्या विवरण
सदिश क्षेत्रों (vector fields) के ली (Lie) बीजगणितों का अध्ययन एक लंबा इतिहास रखता है, फिर भी उनके सामान्य कोहोमोलॉजी की गणना सरल उदाहरणों से परे जटिल बनी हुई है। जबकि गेलफंड और फक्स ने $C^\infty$ मैनिफोल्ड्स के लिए विश्लेषणात्मक सेटिंग में एक कोहोमोलॉजी सिद्धांत पेश किया था, और बाद के कार्यों (जैसे कि सुजीशिता द्वारा) ने जटिल सेटिंग में विकर्ण परिसरों (diagonal complexes) की खोज की, मानक दृष्टिकोण ऐतिहासिक रूप से गणनात्मक रूप से कठिन रहे हैं। हालिया प्रगति में फॅक्टराइजेशन बीजगणितों (factorization algebras) का उपयोग करके स्मूथ एफ़ाइन वैराइटीज़ पर ली बीजगणित कोहोमोलॉजी की परिमित-विमियता (finite-dimensionality) की हेनियन और कपरानोव द्वारा प्रमाण शामिल है, और विलियम्स का कार्य स्थानीय कोहोमोलॉजी को विकर्ण परिसर से जोड़ने का कार्य भी महत्वपूर्ण है।

यह शोध पत्र एक शुद्ध बीजगणितीय ढांचे (purely algebraic framework) में मौजूद अंतराल को संबोधित करता है। लेखक एफ़ाइन बीजगणितीय किस्मों (affine algebraic varieties) पर बहुपद सदिश क्षेत्रों के लिए एक बीजगणितीय गेलफंड-फक्स कोहोमोलॉजी विकसित करने का लक्ष्य रखते हैं। विशिष्ट चुनौती डिफरेंशिएबल $AV$-मॉड्यूल (वे मॉड्यूल जहाँ सदिश क्षेत्रों का एक्शन ग्रोटेंडिक के अर्थ में एक डिफरेंशियल ऑपरेटर है) के गुणांकों (coefficients) के साथ इसे परिभाषित करना और उन किस्मों के लिए इसे स्पष्ट रूप से संगणना करना है जिनमें यूनिफॉर्माइजिंग पैरामीटर्स (uniformizing parameters) उपलब्ध हैं।

कार्यप्रणाली
लेखक प्रतिनिधित्व सिद्धांत (representation theory) और जेट्स (jets) के सिद्धांत के हालिया विकास का लाभ उठाते हुए एक बहु-चरणीय बीजगणितीय दृष्टिकोण अपनाते हैं:

1. बीजगणितीय परिभाषा: वे एक रिनहार्ट पेयर (Rinehart pair) $(A, V)$ (जहाँ $A$ कोऑर्डिनेट रिंग है और $V$ सदिश क्षेत्रों का ली बीजगणित है) और एक डिफरेंशिएबल $AV$-मॉड्यूल$M$के लिए बीजगणितीय गेलफंड-फक्स कोहोमोलॉजी$H^*_{GF}(V, M)$ को परिभाषित करते हैं। कोचेन कॉम्प्लेक्स (cochain complex) उन डिफरेंशियल ऑपरेटरों से बना होता है जो ग्रोटेंडिक के अर्थ में होते हैं और तर्कों के परिमित अंतरों (finite differences) से संबंधित एक विशिष्ट लुप्त होने की स्थिति (vanishing condition) को संतुष्ट करते हैं।
2. जेट आइसोमोर्फिज्म (Jet Isomorphism): एक केंद्रीय तकनीकी उपकरण के रूप में, वे गेलफंड-फक्स कॉम्प्लेक्स को बहुपद जेट्स के ली बीजगणित $A^\#V$ के परिमित कोचेन्स (finite cochains) के साथ पहचानते हैं। वे सिद्ध करते हैं कि एक डिफरेंशिएबल $AV$-मॉड्यूल$M$के लिए, कोहोमोलॉजी$H^*(V, M)$, $A$-लीनियर कोहोमोलॉजी $H^*_A(A^\#V, M)$ के समरूप (isomorphic) है।
3. पूर्णता और अपघटन (Completion and Decomposition): जेट बीजगणक के पूर्णता (completion) $\hat{A}^\#V$ (अनंत-जेट्स का ली बीजगणित) पर विचार करते हुए, वे [BI22] के एक संरचनात्मक परिणाम का उपयोग करते हैं। यूनिफॉर्माइजिंग पैरामीटर्स वाली किस्मों के लिए (जो एक एकल एटेले चार्ट द्वारा कवर की जाती हैं), $\hat{A}^\#V$ एक सेमी-डायरेक्ट प्रोडक्ट के रूप में अपघटित होता है:
   $$\hat{A}^\#V \cong V \ltimes (\hat{A} \otimes L_+)$$
   जहाँ $L_+$ मूल बिंदु पर शून्य होने वाले सदिश क्षेत्रों का ली बीजगणित है (ग्रेडेड डेरिवेशंस का धनात्मक भाग)।
4. कुनेथ फॉर्मूला (Künneth Formula): वे एक सेमी-डायरेक्ट प्रोडक्ट $V \ltimes (A \otimes \mathfrak{g})$ के लिए कुनेथ फॉर्मूला स्थापित करते हैं। वे सिद्ध करते हैं कि एक टेंसर मॉड्यूल $S \otimes W$ के साथ ऐसे उत्पाद का $A$-लीनियर कोहोमोलॉजी इस प्रकार अपघटित होता है:
   $$H^*_A(V \ltimes (A \otimes \mathfrak{g}), S \otimes W) \cong H^*_A(V, S) \otimes H^*(\mathfrak{g}, W)$$
   यह हॉचशिल्ड-सेरेस स्पेक्ट्रल सीक्वेंस (Hochschild-Serre spectral sequence) पर निर्भर करता है, जिसे वे दिखाते हैं कि यह $E_2$ टर्म पर स्थिर हो जाता है।
5. डी राम पहचान (De Rham Identification): वे प्रदर्शित करते हैं कि फलन बीजगणक $A$ के गुणांकों के साथ सदिश क्षेत्रों की $A$-लीनियर कोहोमोलॉजी, किस्म की डी राम कोहोमोलॉजी के समरूप है: $H^*_A(V, A) \cong H^*_{dR}(X)$।

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

• बीजगणितीय गेलफंड-फक्स कोहोमोलॉजी की परिभाषा: यह शोध पत्र डिफरेंशिएबल $AV$-मॉड्यूल के लिए कोहोमोलॉजी सिद्धांत को औपचारिक रूप से प्रस्तुत और मान्य करता है, यह दिखाते हुए कि यह चेवले-आइलेंबर्ग कॉम्प्लेक्स (Chevalley-Eilenberg complex) का एक सुव्यवस्थित उप-कॉम्प्लेक्स (subcomplex) बनाता है।
• मुख्य अपघटन प्रमेय (प्रमेय 1.1 और 6.1): यूनिफॉर्माइजिंग पैरामीटर्स वाली एक एफ़ाइन बीजगणितीय किस्म $X$ के लिए, और एक टेंसर मॉड्यूल $M = A \otimes W$ (जहाँ $W$, $L_+$ के लिए एक परिमित-विमिय $W$ है) के लिए, गेलफंड-फक्स कोहोमोलॉजी एक टेंसर उत्पाद के रूप में अपघटित होती है:
  $$H^*_{GF}(V, A \otimes W) \cong H^*_{dR}(X) \otimes H^*(L_+, W)$$
  यह परिणाम उनके बीजगणितीय गणना को $C^\infty$ सेटिंग में ज्ञात परिणामों के साथ संरेखित करता है।
• स्पष्ट गणनाएँ: लेखक इस ढांचे को विशिष्ट मामलों के लिए कोहोमोलॉजी की गणना करने हेतु लागू करते हैं:
  • एफ़ाइन स्पेस ($A^n$): कोहोमोलॉजी $H^*(L_+, W)$ में कम हो जाती है, क्योंकि एफ़ाइन स्पेस की डी राम कोहोमोलॉजी धनात्मक डिग्री में शून्य होती है। यह बहुपद सदिश क्षेत्रों $W_n$ के ज्ञात परिणामों को पुनः प्राप्त करता है।
  • टोरस ($T^n$): कोहोमोलॉजी को टोरस आयाम के द्विपद गुणांकों (binomial coefficients) और $L_+$ की कोहोमोलॉजी के योग के रूप में व्यक्त किया गया है।
  • क्रिचवेर-नोविकोव बीजगणक (Krichever-Novikov Algebras): एक छिद्रित रीमैन स्फीयर (punctured Riemann sphere) पर मर्कोमेरिक सदिश क्षेत्रों के लिए, कोहोमोलॉजी को छिद्रित स्फीयर की डी राम कोहोमोलॉजी और $L_+$ की कोहोमोलॉजी के प्रत्यक्ष योग के रूप में संगणित किया गया है।

महत्व और दावे
लेखक इस कार्य को गेलफंड-फक्स कोहोमोलॉजी के लिए एक "नए बीजगणितीय दृष्टिकोण" के विकास के रूप में प्रस्तुत करते हैं। वे स्पष्ट रूप से कहते हैं कि प्राप्त परिणाम "आश्चर्यजनक नहीं" हैं क्योंकि वे विश्लेषणात्मक ($C^\infty$) सेटिंग में प्राप्त परिणामों के अनुरूप हैं। इसका महत्व निम्नलिखित में निहित है:

1. शुद्ध बीजगणितीय ढांचा: जेट्स, $AV$-मॉड्यूल, और रिनहार्ट पेयर्स (Rinehart pairs) जैसे बीजगणितीय उपकरणों का उपयोग करके सिद्धांत को विश्लेषणात्मक मैनिफोल्ड्स से एफ़ाइन बीजगणितीय किस्मों तक ले जाना।
2. संगणनात्मक सुगमता (Computational Tractability): किस्मों की एक विस्तृत श्रेणी (वे किस्में जिनमें यूनिफॉर्माइजिंग पैरामीटर्स हैं) के लिए इन कोहोमोलॉजी को गणना करने का एक तरीका प्रदान करना, जिससे समस्या को किस्म की डी राम कोहोमोलॉजी और $L_+$ के ली बीजगणित की कोहोमोलॉजी में कम किया जा सके।
3. एकीकरण: सदिश क्षेत्रों के बीजगणितीय सिद्धांत को डी राम कोहोमोलॉजी और अनंत-विमिय ली बीजगणित (विशेष रूप से $L_+$ और उसके मॉड्यूल्स) के प्रतिनिधित्व सिद्धांत के साथ जोड़ना।

यह शोध पत्र प्रदान की गई विशिष्ट गणनाओं (जैसे एफ़ाइन स्पेस, टोरस और क्रिचवेर-नोविकोव बीजगणक) के अलावा किसी नए प्रयोगात्मक अनुप्रयोग या भविष्य के निहितार्थों का प्रस्ताव नहीं करता है। यह एक सैद्धांतिक सेतु के रूप में कार्य करता है, जो यह प्रमाणित करता है कि बीजगणितीय तंत्र स्थापित विश्लेषणात्मक सिद्धांत के अनुरूप परिणाम देता है।