होशचाइल्ड होमोलॉजी

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

बीजगणित की होशचाइल्ड समरूपता की परिभाषा
मान लीजिए कि k क्षेत्र है, A साहचर्य k-बीजगणित है, और M A-बिमॉड्यूल है। A का आवरण बीजगणित इसके विपरीत बीजगणित के साथ A का टेंसर उत्पाद $$A^e=A\otimes A^o$$ है। A पर बिमॉड्यूल अनिवार्य रूप से A के आवरण बीजगणित पर मॉड्यूल के समान हैं, इसलिए विशेष रूप से A और एम को Ae-मॉड्यूल के रूप में माना जा सकता है। कार्टन और ईलेनबर्ग (1956) ने ए के होशचाइल्ड होमोलॉजी और कोहोमोलॉजी समूह को टोर कारक और एक्सट कारक के संदर्भ में एम में गुणांक के साथ परिभाषित किया गया था ।


 * $$ HH_n(A,M) = \operatorname{Tor}_n^{A^e}(A, M)

$$
 * $$ HH^n(A,M) = \operatorname{Ext}^n_{A^e}(A, M)$$

होच्सचाइल्ड कॉम्प्लेक्स
मान लीजिए कि k वलय है, A साहचर्य k-बीजगणित है जो प्रक्षेप्य k-मॉड्यूल है, और M A-बिमॉड्यूल है। हम K के ऊपर A के n-फोल्ड टेंसर उत्पाद के लिए $$A^{\otimes n}$$ लिखेंगे। होशचाइल्ड होमोलॉजी को जन्म देने वाली श्रृंखला कॉम्प्लेक्स द्वारा दी गई है


 * $$ C_n(A,M) := M \otimes A^{\otimes n} $$

सीमा संचालक $$d_i$$ द्वारा परिभाषित के साथ


 * $$\begin{align}

d_0(m\otimes a_1 \otimes \cdots \otimes a_n) &= ma_1 \otimes a_2 \cdots \otimes a_n \\ d_i(m\otimes a_1 \otimes \cdots \otimes a_n) &= m\otimes a_1 \otimes \cdots \otimes a_i a_{i+1} \otimes \cdots \otimes a_n \\ d_n(m\otimes a_1 \otimes \cdots \otimes a_n) &= a_n m\otimes a_1 \otimes \cdots \otimes a_{n-1} \end{align} $$ जहां $$a_i$$ सभी 1$$1\le i\le n$$ और $$m\in M$$ के लिए A में है। यदि हम मान लें


 * $$ b=\sum_{i=0}^n (-1)^i d_i, $$

फिर $$b \circ b =0$$, इसलिए $$(C_n(A,M),b)$$ श्रृंखला परिसर है जिसे होशचाइल्ड कॉम्प्लेक्स कहा जाता है, और इसकी समरूपता एम में गुणांक के साथ A की होशचाइल्ड समरूपता है।

टिप्पणी
मानचित्र $$d_i$$ फेस मानचित्र हैं जो मॉड्यूल के परिवार को बनाते हैं $$(C_n(A,M),b)$$ जो कि k-मॉड्यूल की श्रेणी में सरल वस्तु है, अथार्त कारक Δo → k-mod, जहां Δ सरल श्रेणी है और k-mod है के-मॉड्यूल की श्रेणी। यहां Δo, Δ की विपरीत श्रेणी है। अधःपतन मानचित्रों को परिभाषित किया गया है


 * $$s_i(a_0 \otimes \cdots \otimes a_n) = a_0 \otimes \cdots \otimes a_i \otimes 1 \otimes a_{i+1} \otimes \cdots \otimes a_n.$$

होशचाइल्ड होमोलॉजी इस सरल मॉड्यूल की होमोलॉजी है।

बार कॉम्प्लेक्स के साथ संबंध
एक समान दिखने वाला कॉम्प्लेक्स $$B(A/k)$$ है जिसे बार कॉम्प्लेक्स कहा जाता है जो औपचारिक रूप से होशचाइल्ड कॉम्प्लेक्स पृष्ठ 4-5 पृष्ठ 4-5 के समान दिखता है। वास्तव में, होशचाइल्ड कॉम्प्लेक्स $$HH(A/k)$$ को बार कॉम्प्लेक्स से पुनर्प्राप्त किया जा सकता है$$HH(A/k) \cong A\otimes_{A\otimes A^{op}} B(A/k)$$एक स्पष्ट समरूपता दे रहा है।

एक व्युत्पन्न स्व-प्रतिच्छेदन के रूप में
कम्यूटेटिव वलय के स्थिति में होशचाइल्ड कॉम्प्लेक्स की और उपयोगी व्याख्या है, और अधिक सामान्यतः कम्यूटेटिव वलय के संग्रहों के लिए: इसका निर्माण व्युत्पन्न योजना से किया गया है | योजना (गणित) (या यहां तक ​​कि व्युत्पन्न योजना) के व्युत्पन्न स्व-प्रतिच्छेदन से $$X$$ कुछ आधार योजना पर $$S$$. उदाहरण के लिए, हम योजनाओं का व्युत्पन्न फाइबर उत्पाद बना सकते हैं$$X\times^\mathbf{L}_SX$$जिसमें व्युत्पन्न वलय का पुलिंदा $$\mathcal{O}_X\otimes_{\mathcal{O}_S}^\mathbf{L}\mathcal{O}_X$$ है। फिर, यदि X को विकर्ण मानचित्र के साथ एम्बेड करें$$\Delta: X \to X\times^\mathbf{L}_SX$$होशचाइल्ड कॉम्प्लेक्स का निर्माण विकर्ण उत्पाद योजना में विकर्ण के व्युत्पन्न स्व-प्रतिच्छेदन के पुलबैक के रूप में किया गया है$$HH(X/S) := \Delta^*(\mathcal{O}_X\otimes_{\mathcal{O}_X\otimes_{\mathcal{O}_S}^\mathbf{L}\mathcal{O}_X}^\mathbf{L}\mathcal{O}_X)$$इस व्याख्या से, यह स्पष्ट होना चाहिए कि होशचाइल्ड होमोलॉजी का काहलर अंतर $$\Omega_{X/S}$$ से कुछ संबंध होना चाहिए क्योंकि काहलर अंतर को विकर्ण से स्व-प्रतिच्छेदन का उपयोग करके परिभाषित किया जा सकता है, या अधिक सामान्यतः, कोटैंजेंट कॉम्प्लेक्स $$\mathbf{L}_{X/S}^\bullet$$ चूंकि यह काहलर अंतर के लिए व्युत्पन्न प्रतिस्थापन है। हम सेटिंग द्वारा क्रमविनिमेय $$k$$-बीजगणित $$A$$ के होशचाइल्ड कॉम्प्लेक्स की मूल परिभाषा को पुनर्प्राप्त कर सकते हैं$$S = \text{Spec}(k)$$ और $$X = \text{Spec}(A)$$फिर, होशचाइल्ड कॉम्प्लेक्स अर्ध-समरूपता या |अर्ध-समरूपी है$$HH(A/k) \simeq_{qiso} A\otimes_{A\otimes_{k}^\mathbf{L}A}^\mathbf{L}A $$यदि $$A$$ समतल है $$k$$-बीजगणित, फिर समरूपता की श्रृंखला है$$A\otimes_k^\mathbf{L}A \cong A\otimes_kA \cong A\otimes_kA^{op}$$होशचाइल्ड कॉम्प्लेक्स की वैकल्पिक किंतु समकक्ष प्रस्तुति दे रहा हूँ।

कारको की होशचाइल्ड समरूपता
सरल वृत्त $$S^1$$ परिमित नुकीले फलनं की $$\operatorname{Fin}_*$$ में सरल वस्तु है, अर्थात, फ़नकार $$\Delta^o \to \operatorname{Fin}_*.$$ इस प्रकार, यदि F फ़नकार $$F\colon \operatorname{Fin} \to k-\mathrm{mod}$$ है, तब हमें F के साथ रचना करके सरल मॉड्यूल $$S^1$$ मिलता है


 * $$ \Delta^o \overset{S^1}{\longrightarrow} \operatorname{Fin}_* \overset{F}{\longrightarrow} k\text{-mod}.$$

इस सरल मॉड्यूल की समरूपता कारक एफ की होशचाइल्ड समरूपता है। क्रमविनिमेय बीजगणित के होशचाइल्ड समरूपता की उपरोक्त परिभाषा विशेष स्थिति है जहां F लोडे कारक है।

लोडे कारक
परिमित नुकीले फलनं की श्रेणी के लिए स्केलेटन (श्रेणी सिद्धांत) वस्तुओं द्वारा दिया गया है


 * $$ n_+ = \{0,1,\ldots,n\},$$

जहां 0 आधारबिंदु है, और आकारिकी समुच्चयमानचित्रों को संरक्षित करने वाला आधारबिंदु है। मान लीजिए A क्रमविनिमेय k-बीजगणित है और M सममित A-बिमॉड्यूल है लॉडे फ़ैक्टर $$L(A,M)$$ को $$\operatorname{Fin}_*$$ में ऑब्जेक्ट पर दिया गया है


 * $$ n_+ \mapsto M \otimes A^{\otimes n}.$$

एक रूपवाद


 * $$f:m_+ \to n_+$$

द्वारा दिए गए रूपवाद $$f_*$$पर भेजा जाता है


 * $$ f_*(a_0 \otimes \cdots \otimes a_m) = b_0 \otimes \cdots \otimes b_n $$

जहाँ


 * $$\forall j \in \{0, \ldots, n \}: \qquad b_j =

\begin{cases} \prod_{i \in f^{-1}(j)} a_i & f^{-1}(j) \neq \emptyset\\ 1 & f^{-1}(j) =\emptyset \end{cases}$$

बीजगणित की होशचाइल्ड समरूपता का और विवरण
एक सममित A-बिमॉड्यूल एम में गुणांक के साथ क्रमविनिमेय बीजगणित A की होशचाइल्ड समरूपता रचना से जुड़ी समरूपता है


 * $$\Delta^o \overset{S^1}{\longrightarrow} \operatorname{Fin}_* \overset{\mathcal{L}(A,M)}{\longrightarrow} k\text{-mod},$$

और यह परिभाषा उपरोक्त से सहमत है।

उदाहरण
होशचाइल्ड होमोलॉजी गणनाओं के उदाहरणों को अधिक सामान्य प्रमेयों के साथ अनेक अलग-अलग स्थितियों में स्तरीकृत किया जा सकता है, जो सहयोगी बीजगणित ए के लिए होमोलॉजी समूहों और होमोलॉजी वलय $$HH_*(A)$$ की संरचना का वर्णन करते हैं। क्रमविनिमेय बीजगणित के स्थिति के लिए, संख्या है विशेषता $$A$$ से अधिक गणनाओं का वर्णन करने वाले प्रमेयों से होमोलॉजी और कोहोमोलॉजी की गणना की सीधी समझ प्राप्त होती है।

क्रमविनिमेय विशेषता 0 स्थिति
क्रमविनिमेय बीजगणित $$A/k$$ जहां $$\mathbb{Q}\subseteq k$$ के स्थिति में, होशचाइल्ड होमोलॉजी में चिकने बीजगणित और अधिक सामान्य गैर-सपाट बीजगणित $$A$$ से संबंधित दो मुख्य प्रमेय हैं; किंतु दूसरा पहले का प्रत्यक्ष सामान्यीकरण है। सहज स्थिति में, अथार्त सहज बीजगणित $$A$$ के लिए, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय पृष्ठ 43-44 में कहा गया है कि समरूपता है $$\Omega^n_{A/k} \cong HH_n(A/k)$$ प्रत्येक $$n \geq 0$$ के लिए। इस समरूपता को एंटी-सिमेट्रिज़ेशन मानचित्र का उपयोग करके स्पष्ट रूप से वर्णित किया जा सकता है। अर्थात् विभेदक $$n$$-रूप में मानचित्र होता है$$a\,db_1\wedge \cdots \wedge db_n \mapsto \sum_{\sigma \in S_n}\operatorname{sign}(\sigma) a\otimes b_{\sigma(1)}\otimes \cdots \otimes b_{\sigma(n)}.$$ यदि बीजगणित $$A/k$$ चिकना या सपाट भी नहीं है, तब कोटैंजेंट कॉम्प्लेक्स का उपयोग करते हुए अनुरूप प्रमेय है। सरल समाधान $$P_\bullet \to A$$ के लिए, हम $$\mathbb{L}^i_{A/k} = \Omega^i_{P_\bullet/k}\otimes_{P_\bullet} A$$ समुच्चयकरते हैं। फिर, $$F_\bullet$$ पर अवरोही $$\mathbb{N}$$ -निस्पंदन $$HH_n(A/k)$$ उपस्थित है जिसके वर्गीकृत टुकड़े समरूपी हैं $$\frac{F_i}{F_{i+1}} \cong \mathbb{L}^i_{A/k}[+i].$$ ध्यान दें कि यह प्रमेय न केवल सुचारु बीजगणित के लिए, किंतु स्थानीय पूर्ण प्रतिच्छेदन बीजगणित के लिए भी होशचाइल्ड समरूपता की गणना करना सुलभ बनाता है। इस स्थिति में, $$A = R/I$$ के लिए प्रस्तुति $$R = k[x_1,\dotsc,x_n]$$ दी गई है, कोटैंजेंट कॉम्प्लेक्स दो-टर्म कॉम्प्लेक्स $$I/I^2 \to \Omega^1_{R/k}\otimes_k A$$ है

परिमेय पर बहुपद वलय
एक सरल उदाहरण $$n$$-जनरेटर के साथ $$\mathbb{Q}$$ की बहुपद वलय की होशचाइल्ड होमोलॉजी की गणना करना है। एचकेआर प्रमेय समरूपता देता है $$HH_*(\mathbb{Q}[x_1,\ldots, x_n]) = \mathbb{Q}[x_1,\ldots, x_n]\otimes \Lambda(dx_1,\dotsc, dx_n)$$ जहां बीजगणित $$\bigwedge(dx_1,\ldots, dx_n)$$ $$n$$-जनरेटर में $$\mathbb{Q}$$ से अधिक मुक्त एंटीसिमेट्रिक बीजगणित है। इसकी उत्पाद संरचना वैक्टर के वेज उत्पाद द्वारा दी गई है $$\begin{align} dx_i\cdot dx_j &= -dx_j\cdot dx_i \\ dx_i\cdot dx_i &= 0 \end{align}$$ के लिए $$i \neq j$$.

क्रमविनिमेय विशेषता पी केस
विशेषता p स्थिति में, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय का उपयोगी प्रति-उदाहरण है जो होशचाइल्ड होमोलॉजी को परिभाषित करने के लिए सरल बीजगणित से परे सिद्धांत की आवश्यकता को स्पष्ट करता है। $$\mathbb{Z}$$ -बीजगणित $$\mathbb{F}_p$$ पर विचार करें। हम मुक्त अंतर श्रेणीबद्ध बीजगणित के रूप में $$\mathbb{F}_p$$ के रिज़ॉल्यूशन की गणना कर सकते हैं$$\mathbb{Z}\xrightarrow{\cdot p} \mathbb{Z}$$व्युत्पन्न प्रतिच्छेदन $$\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p \cong \mathbb{F}_p[\varepsilon]/(\varepsilon^2)$$ दे रहा है जहां $$\text{deg}(\varepsilon) = 1$$ और अंतर शून्य मानचित्र है। इसका कारण यह है कि हम ऊपर दिए गए कॉम्प्लेक्स को $$\mathbb{F}_p$$ द्वारा टेंसर करते हैं, जिससे डिग्री $$1$$ में जनरेटर के साथ औपचारिक कॉम्प्लेक्स मिलता है, जिसका वर्ग होता है $$0$$ फिर, होशचाइल्ड कॉम्प्लेक्स द्वारा दिया गया है$$\mathbb{F}_p\otimes^\mathbb{L}_{\mathbb{F}_p\otimes^\mathbb{L}_\mathbb{Z} \mathbb{F}_p}\mathbb{F}_p$$इसकी गणना करने के लिए, हमें समाधान करना होगा $$\mathbb{F}_p$$ के रूप में $$\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p$$-बीजगणित. बीजगणित संरचना का निरीक्षण करें

$$\mathbb{F}_p[\varepsilon]/(\varepsilon^2) \to \mathbb{F}_p$$ बल $$\varepsilon \mapsto 0$$ यह संकुल का डिग्री शून्य पद देता है। फिर, क्योंकि हमें कर्नेल $$\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p$$ को हल करना है, हम डिग्री 2 में स्थानांतरित $$\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p$$की प्रति ले सकते हैं और इसे डिग्री $$\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p$$ में कर्नेल के साथ $$\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p = \text{Ker}({\displaystyle \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}} \to {\displaystyle \varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}}).$$ पर मानचित्र कर सकते हैं, हम विभाजित शक्ति बीजगणित के अंतर्निहित मॉड्यूल को प्राप्त करने के लिए इसे पुनरावर्ती रूप से निष्पादित कर सकते हैं$$(\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p)\langle x \rangle = \frac{ (\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p)[x_1,x_2,\ldots] }{x_ix_j = \binom{i+j}{i}x_{i+j}}$$$$dx_i = \varepsilon\cdot x_{i-1}$$ के साथ और$$x_i$$ की डिग्री $$2i$$ है, अर्थात् $$|x_i| = 2i$$ इस बीजगणित को $$\mathbb{F}_p$$ ओवर $$\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p$$ से टेंसर करने पर परिणाम मिलता है$$HH_*(\mathbb{F}_p) = \mathbb{F}_p\langle x \rangle$$चूँकि $$\varepsilon$$ को $$\mathbb{F}_p$$ में किसी भी तत्व से गुणा करने पर शून्य प्राप्त होता है। बीजगणित संरचना विभाजित शक्ति बीजगणित और विभेदक श्रेणीबद्ध बीजगणित पर सामान्य सिद्धांत से आती है। ध्यान दें कि इस गणना को तकनीकी कलाकृति के रूप में देखा जाता है क्योंकि वलय $$\mathbb{F}_p\langle x \rangle$$ का व्यवहार अच्छा नहीं है। उदाहरण के लिए, $$x^p = 0$$ इस समस्या की तकनीकी प्रतिक्रिया टोपोलॉजिकल होशचाइल्ड होमोलॉजी के माध्यम से है, जहां बेस वलय $$\mathbb{Z}$$ को गोलाकार स्पेक्ट्रम $$\mathbb{S}$$ द्वारा प्रतिस्थापित किया जाता है।

टोपोलॉजिकल होशचाइल्ड होमोलॉजी
होशचाइल्ड कॉम्प्लेक्स के उपरोक्त निर्माण को अधिक सामान्य स्थितियों के लिए अनुकूलित किया जा सकता है, अर्थात् $$k$$-मॉड्यूल की श्रेणी (कॉम्प्लेक्स) को ∞-श्रेणी (एक टेंसर उत्पाद से सुसज्जित) द्वारा प्रतिस्थापित करके, $$\mathcal{C}$$, और$$A$$ इस श्रेणी में साहचर्य बीजगणित द्वारा। इसे स्पेक्ट्रा की श्रेणी $$\mathcal{C}=\textbf{Spectra}$$ पर प्रयुक्त करने से, और $$A$$ साधारण वलय $$R$$ से जुड़ा ईलेनबर्ग-मैकलेन स्पेक्ट्रम होने के कारण टोपोलॉजिकल होशचाइल्ड होमोलॉजी प्राप्त होती है, जिसे $$THH(R)$$ दर्शाया जाता है। ऊपर प्रस्तुत (गैर-टोपोलॉजिकल) होशचाइल्ड होमोलॉजी को $$\Z$$-मॉड्यूल (एक ∞-श्रेणी के रूप में) की व्युत्पन्न श्रेणी $$\mathcal{C} = D(\mathbb{Z})$$ के लिए लेकर, इन पंक्तियों के साथ फिर से व्याख्या की जा सकती है।

$$\Z$$ (या ईलेनबर्ग-मैकलेन-स्पेक्ट्रम $$H\Z$$ से अधिक टेन्सर उत्पादों द्वारा गोलाकार स्पेक्ट्रम पर टेन्सर उत्पादों को प्रतिस्थापित करने से प्राकृतिक तुलना मानचित्र $$THH(R) \to HH(R)$$ प्राप्त होता है। यह 0, 1, और 2 डिग्री में समरूप समूहों पर समरूपता उत्पन्न करता है। सामान्यतः, चूँकि वे भिन्न होते हैं, और $$THH$$ एचएच की तुलना में सरल समूह उत्पन्न करते हैं। उदाहरण के लिए,


 * $$THH(\mathbb{F}_p) = \mathbb{F}_p[x],$$
 * $$HH(\mathbb{F}_p) = \mathbb{F}_p\langle x \rangle$$

एक चर में विभाजित शक्तियों की वलय की तुलना में, बहुपद वलय (डिग्री 2 में x के साथ) है।

लार्स हेसलहोल्ट (2016) ने दिखाया कि $$\mathbb{F}_p$$ पर सुचारु उचित किस्म के हस्से-वेइल ज़ेटा फलन को टोपोलॉजिकल होशचाइल्ड होमोलॉजी से जुड़े नियमित निर्धारकों का उपयोग करके व्यक्त किया जा सकता है।

यह भी देखें

 * चक्रीय समरूपता

संदर्भ

 * Jean-Louis Loday, Cyclic Homology, Grundlehren der mathematischen Wissenschaften Vol. 301, Springer (1998) ISBN 3-540-63074-0
 * Richard S. Pierce, Associative Algebras, Graduate Texts in Mathematics (88), Springer, 1982.
 * Jean-Louis Loday, Cyclic Homology, Grundlehren der mathematischen Wissenschaften Vol. 301, Springer (1998) ISBN 3-540-63074-0
 * Richard S. Pierce, Associative Algebras, Graduate Texts in Mathematics (88), Springer, 1982.
 * Jean-Louis Loday, Cyclic Homology, Grundlehren der mathematischen Wissenschaften Vol. 301, Springer (1998) ISBN 3-540-63074-0
 * Richard S. Pierce, Associative Algebras, Graduate Texts in Mathematics (88), Springer, 1982.

परिचयात्मक लेख

 * डायलन जी.एल. एलेग्रेट्टी, नॉनकम्यूटेटिव स्पेस पर डिफरेंशियल फॉर्म। गैर-अनुवांशिक ज्यामिति का प्रारंभिक परिचय जो विभेदक रूपों को सामान्यीकृत करने के लिए होशचाइल्ड होमोलॉजी का उपयोग करता है)।
 * अंकगणित ज्यामिति में टोपोलॉजिकल होशचाइल्ड होमोलॉजी
 * अंकगणित ज्यामिति में टोपोलॉजिकल होशचाइल्ड होमोलॉजी