होशचाइल्ड होमोलॉजी: Difference between revisions

Revision as of 11:38, 14 July 2023

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

बीजगणित की होशचाइल्ड समरूपता की परिभाषा

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

HH_{n}(A,M)=\operatorname {Tor} _{n}^{A^{e}}(A,M)

HH^{n}(A,M)=\operatorname {Ext} _{A^{e}}^{n}(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{aligned}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{aligned}}

जहां $a_{i}$ सभी 1 $1\leq i\leq 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)$ है जिसे बार कॉम्प्लेक्स कहा जाता है जो औपचारिक रूप से होशचाइल्ड कॉम्प्लेक्स^[1]^{पृष्ठ 4-5} पृष्ठ 4-5 के समान दिखता है। वास्तव में, होशचाइल्ड कॉम्प्लेक्स $HH(A/k)$ को बार कॉम्प्लेक्स से पुनर्प्राप्त किया जा सकता है

HH(A/k)\cong A\otimes _{A\otimes A^{op}}B(A/k)

एक स्पष्ट समरूपता दे रहा है।

एक व्युत्पन्न स्व-प्रतिच्छेदन के रूप में

कम्यूटेटिव वलय के स्थिति में होशचाइल्ड कॉम्प्लेक्स की और उपयोगी व्याख्या है, और अधिक सामान्यतः कम्यूटेटिव वलय के संग्रहों के लिए: इसका निर्माण व्युत्पन्न योजना से किया गया है | योजना (गणित) (या यहां तक कि व्युत्पन्न योजना) के व्युत्पन्न स्व-प्रतिच्छेदन से $X$ कुछ आधार योजना पर $S$ . उदाहरण के लिए, हम योजनाओं का व्युत्पन्न फाइबर उत्पाद बना सकते हैं

X\times _{S}^{\mathbf {L} }X

जिसमें व्युत्पन्न वलय का पुलिंदा

{\mathcal {O}}_{X}\otimes _{{\mathcal {O}}_{S}}^{\mathbf {L} }{\mathcal {O}}_{X}

है। फिर, यदि X को विकर्ण मानचित्र के साथ एम्बेड करें

\Delta :X\to X\times _{S}^{\mathbf {L} }X

होशचाइल्ड कॉम्प्लेक्स का निर्माण विकर्ण उत्पाद योजना में विकर्ण के व्युत्पन्न स्व-प्रतिच्छेदन के पुलबैक के रूप में किया गया है

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 _{k}A\cong A\otimes _{k}A^{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$ के लिए, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय^[2]^{पृष्ठ 43-44} में कहा गया है कि समरूपता है

\Omega _{A/k}^{n}\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} _{A/k}^{i}=\Omega _{P_{\bullet }/k}^{i}\otimes _{P_{\bullet }}A

समुच्चयकरते हैं। फिर,

F_{\bullet }

पर अवरोही

\mathbb {N}

-निस्पंदन

HH_{n}(A/k)

उपस्थित है जिसके वर्गीकृत टुकड़े समरूपी हैं

{\frac {F_{i}}{F_{i+1}}}\cong \mathbb {L} _{A/k}^{i}[+i].

ध्यान दें कि यह प्रमेय न केवल सुचारु बीजगणित के लिए, किंतु स्थानीय पूर्ण प्रतिच्छेदन बीजगणित के लिए भी होशचाइल्ड समरूपता की गणना करना सुलभ बनाता है। इस स्थिति में,

A=R/I

के लिए प्रस्तुति

R=k[x_{1},\dotsc ,x_{n}]

दी गई है, कोटैंजेंट कॉम्प्लेक्स दो-टर्म कॉम्प्लेक्स

I/I^{2}\to \Omega _{R/k}^{1}\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{aligned}dx_{i}\cdot dx_{j}&=-dx_{j}\cdot dx_{i}\\dx_{i}\cdot dx_{i}&=0\end{aligned}}

के लिए

i\neq j

.

क्रमविनिमेय विशेषता पी केस

विशेषता p स्थिति में, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय का उपयोगी प्रति-उदाहरण है जो होशचाइल्ड होमोलॉजी को परिभाषित करने के लिए सरल बीजगणित से परे सिद्धांत की आवश्यकता को स्पष्ट करता है। $\mathbb {Z}$ -बीजगणित $\mathbb {F} _{p}$ पर विचार करें। हम मुक्त अंतर श्रेणीबद्ध बीजगणित के रूप में $\mathbb {F} _{p}$ के रिज़ॉल्यूशन की गणना कर सकते हैं

\mathbb {Z} \xrightarrow {\cdot p} \mathbb {Z}

व्युत्पन्न प्रतिच्छेदन

\mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}\cong \mathbb {F} _{p}[\varepsilon ]/(\varepsilon ^{2})

दे रहा है जहां

{\text{deg}}(\varepsilon )=1

और अंतर शून्य मानचित्र है। इसका कारण यह है कि हम ऊपर दिए गए कॉम्प्लेक्स को

\mathbb {F} _{p}

द्वारा टेंसर करते हैं, जिससे डिग्री

1

में जनरेटर के साथ औपचारिक कॉम्प्लेक्स मिलता है, जिसका वर्ग होता है

0

फिर, होशचाइल्ड कॉम्प्लेक्स द्वारा दिया गया है

\mathbb {F} _{p}\otimes _{\mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbb {L} }\mathbb {F} _{p}}^{\mathbb {L} }\mathbb {F} _{p}

इसकी गणना करने के लिए, हमें समाधान करना होगा

\mathbb {F} _{p}

के रूप में

\mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}

-बीजगणित. बीजगणित संरचना का निरीक्षण करें

$\mathbb {F} _{p}[\varepsilon ]/(\varepsilon ^{2})\to \mathbb {F} _{p}$ बल $\varepsilon \mapsto 0$ यह संकुल का डिग्री शून्य पद देता है। फिर, क्योंकि हमें कर्नेल $\varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}$ को हल करना है, हम डिग्री 2 में स्थानांतरित $\mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}$ की प्रति ले सकते हैं और इसे डिग्री $\varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}$ में कर्नेल के साथ $\varepsilon \cdot \mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\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 _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p})\langle x\rangle ={\frac {(\mathbb {F} _{p}\otimes _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p})[x_{1},x_{2},\ldots ]}{x_{i}x_{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 _{\mathbb {Z} }^{\mathbf {L} }\mathbb {F} _{p}

से टेंसर करने पर परिणाम मिलता है

HH_{*}(\mathbb {F} _{p})=\mathbb {F} _{p}\langle x\rangle

चूँकि

\varepsilon

को

\mathbb {F} _{p}

में किसी भी तत्व से गुणा करने पर शून्य प्राप्त होता है। बीजगणित संरचना विभाजित शक्ति बीजगणित और विभेदक श्रेणीबद्ध बीजगणित पर सामान्य सिद्धांत से आती है।^[3] ध्यान दें कि इस गणना को तकनीकी कलाकृति के रूप में देखा जाता है क्योंकि वलय

\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)$ दर्शाया जाता है। ऊपर प्रस्तुत (गैर-टोपोलॉजिकल) होशचाइल्ड होमोलॉजी को $\mathbb {Z}$ -मॉड्यूल (एक ∞-श्रेणी के रूप में) की व्युत्पन्न श्रेणी ${\mathcal {C}}=D(\mathbb {Z} )$ के लिए लेकर, इन पंक्तियों के साथ फिर से व्याख्या की जा सकती है।

$\mathbb {Z}$ (या ईलेनबर्ग-मैकलेन-स्पेक्ट्रम $H\mathbb {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}$ पर सुचारु उचित किस्म के हस्से-वेइल ज़ेटा फलन को टोपोलॉजिकल होशचाइल्ड होमोलॉजी से जुड़े नियमित निर्धारकों का उपयोग करके व्यक्त किया जा सकता है।

यह भी देखें

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

संदर्भ

↑ Morrow, Matthew. "अंकगणितीय ज्यामिति में टोपोलॉजिकल होशचाइल्ड होमोलॉजी" (PDF). Archived (PDF) from the original on 24 Dec 2020.
↑ Ginzburg, Victor (2005-06-29). "नॉनकम्यूटेटिव ज्योमेट्री पर व्याख्यान". arXiv:math/0506603.
↑ "Section 23.6 (09PF): Tate resolutions—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-12-31.

Cartan, Henri; Eilenberg, Samuel (1956), Homological algebra, Princeton Mathematical Series, vol. 19, Princeton University Press, ISBN 978-0-691-04991-5, MR 0077480
Govorov, V.E.; Mikhalev, A.V. (2001) [1994], "Cohomology of algebras", Encyclopedia of Mathematics, EMS Press
Hesselholt, Lars (2016), Topological Hochschild homology and the Hasse-Weil zeta function, Contemporary Mathematics, vol. 708, pp. 157–180, arXiv:1602.01980, doi:10.1090/conm/708/14264, ISBN 9781470429119, S2CID 119145574
Hochschild, Gerhard (1945), "On the cohomology groups of an associative algebra", Annals of Mathematics, Second Series, 46 (1): 58–67, doi:10.2307/1969145, ISSN 0003-486X, JSTOR 1969145, MR 0011076
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.
Pirashvili, Teimuraz (2000). "Hodge decomposition for higher order Hochschild homology". Annales Scientifiques de l'École Normale Supérieure. 33 (2): 151–179. doi:10.1016/S0012-9593(00)00107-5.

बाहरी संबंध

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

डायलन जी.एल. एलेग्रेट्टी, नॉनकम्यूटेटिव स्पेस पर डिफरेंशियल फॉर्म। गैर-अनुवांशिक ज्यामिति का प्रारंभिक परिचय जो विभेदक रूपों को सामान्यीकृत करने के लिए होशचाइल्ड होमोलॉजी का उपयोग करता है)।
Ginzburg, Victor (2005). "नॉनकम्यूटेटिव ज्योमेट्री पर व्याख्यान". arXiv:math/0506603.
अंकगणित ज्यामिति में टोपोलॉजिकल होशचाइल्ड होमोलॉजी
Hochschild cohomology at the nLab

क्रमविनिमेय मामला

Antieau, Benjamin; Bhatt, Bhargav; Mathew, Akhil (2019). "विशेषता पी में होशचाइल्ड-कोस्टेंट-रोसेनबर्ग के प्रतिउदाहरण". arXiv:1909.11437 [math.AG].

नॉनकम्यूटेटिव केस

Richard, Lionel (2004). "होशचाइल्ड होमोलॉजी और कुछ शास्त्रीय और क्वांटम गैर-अनुवांशिक बहुपद बीजगणित की सह-होमोलॉजी". Journal of Pure and Applied Algebra. 187 (1–3): 255–294. doi:10.1016/S0022-4049(03)00146-4.
Quddus, Safdar (2020). "क्वांटम टोरस ऑर्बिफोल्ड्स पर गैर-कम्यूटेटिव पॉइसन संरचनाएं". arXiv:2006.00495 [math.KT].
Yashinski, Allan (2012). "गॉस-मैनिन कनेक्शन और नॉनकम्यूटेटिव टोरी". arXiv:1210.4531 [math.KT].

श्रेणी:वलय सिद्धांत श्रेणी:होमोलॉजिकल बीजगणित

[1] Morrow, Matthew. "अंकगणितीय ज्यामिति में टोपोलॉजिकल होशचाइल्ड होमोलॉजी" (PDF). Archived (PDF) from the original on 24 Dec 2020.

[2] Ginzburg, Victor (2005-06-29). "नॉनकम्यूटेटिव ज्योमेट्री पर व्याख्यान". arXiv:math/0506603.

[3] "Section 23.6 (09PF): Tate resolutions—The Stacks project". stacks.math.columbia.edu. Retrieved 2020-12-31.

[1]

[2]

[3]

@@ Line 2: / Line 2: @@
-गणित में, होशचाइल्ड होमोलॉजी (और कोहोमोलॉजी) वलय पर साहचर्य बीजगणित के लिए एक होमोलॉजी सिद्धांत है। कुछ फ़ंक्शनलर्स की होशचाइल्ड समरूपता के लिए एक सिद्धांत भी है। होशचाइल्ड कोहोमोलॉजी को गेरहार्ड होशचाइल्ड (1945) द्वारा एक क्षेत्र में बीजगणित के लिए प्रस्तुत किया गया था और हेनरी कार्टन और सैमुअल एलेनबर्ग (1956) द्वारा अधिक सामान्य वलय पर बीजगणित तक विस्तारित किया गया था।
+गणित में, होशचाइल्ड होमोलॉजी (और कोहोमोलॉजी) वलय पर साहचर्य बीजगणित के लिए होमोलॉजी सिद्धांत है। कुछ फलनलर्स की होशचाइल्ड समरूपता के लिए सिद्धांत भी है। होशचाइल्ड कोहोमोलॉजी को गेरहार्ड होशचाइल्ड (1945) द्वारा क्षेत्र में बीजगणित के लिए प्रस्तुत किया गया था और हेनरी कार्टन और सैमुअल एलेनबर्ग (1956) द्वारा अधिक सामान्य वलय पर बीजगणित तक विस्तारित किया गया था।
 ==बीजगणित की होशचाइल्ड समरूपता की परिभाषा==
-मान लीजिए कि k एक क्षेत्र है, A एक साहचर्य k-बीजगणित है, और M एक A-बिमॉड्यूल है। A का आवरण बीजगणित इसके विपरीत बीजगणित के साथ A का टेंसर उत्पाद <math>A^e=A\otimes A^o</math> है। A पर बिमॉड्यूल अनिवार्य रूप से A के आवरण बीजगणित पर मॉड्यूल के समान हैं, इसलिए विशेष रूप से A और एम को ''A<sup>e</sup>''-मॉड्यूल के रूप में माना जा सकता है। कार्टन और ईलेनबर्ग (1956) ने ए के होशचाइल्ड होमोलॉजी और कोहोमोलॉजी समूह को टोर कारक और एक्सट कारक के संदर्भ में एम में गुणांक के साथ परिभाषित किया गया था ।
+मान लीजिए कि k क्षेत्र है, A साहचर्य k-बीजगणित है, और M A-बिमॉड्यूल है। A का आवरण बीजगणित इसके विपरीत बीजगणित के साथ A का टेंसर उत्पाद <math>A^e=A\otimes A^o</math> है। A पर बिमॉड्यूल अनिवार्य रूप से A के आवरण बीजगणित पर मॉड्यूल के समान हैं, इसलिए विशेष रूप से A और एम को ''A<sup>e</sup>''-मॉड्यूल के रूप में माना जा सकता है। कार्टन और ईलेनबर्ग (1956) ने ए के होशचाइल्ड होमोलॉजी और कोहोमोलॉजी समूह को टोर कारक और एक्सट कारक के संदर्भ में एम में गुणांक के साथ परिभाषित किया गया था ।
 :<math> HH_n(A,M) = \operatorname{Tor}_n^{A^e}(A, M)
@@ Line 13: / Line 13: @@
 ===होच्सचाइल्ड कॉम्प्लेक्स===
-मान लीजिए कि k एक वलय है, A एक साहचर्य k-बीजगणित है जो एक प्रक्षेप्य k-मॉड्यूल है, और M एक A-बिमॉड्यूल है। हम K के ऊपर A के n-फोल्ड टेंसर उत्पाद के लिए <math>A^{\otimes n}</math> लिखेंगे। होशचाइल्ड होमोलॉजी को जन्म देने वाली श्रृंखला कॉम्प्लेक्स द्वारा दी गई है
+मान लीजिए कि k वलय है, A साहचर्य k-बीजगणित है जो प्रक्षेप्य k-मॉड्यूल है, और M A-बिमॉड्यूल है। हम K के ऊपर A के n-फोल्ड टेंसर उत्पाद के लिए <math>A^{\otimes n}</math> लिखेंगे। होशचाइल्ड होमोलॉजी को जन्म देने वाली श्रृंखला कॉम्प्लेक्स द्वारा दी गई है
 :<math> C_n(A,M) := M \otimes A^{\otimes n} </math>
@@ Line 27: / Line 27: @@
 :<math> b=\sum_{i=0}^n (-1)^i d_i, </math>
-फिर <math>b \circ b =0</math>, इसलिए <math>(C_n(A,M),b)</math> एक श्रृंखला परिसर है जिसे होशचाइल्ड कॉम्प्लेक्स कहा जाता है, और इसकी समरूपता एम में गुणांक के साथ A की होशचाइल्ड समरूपता है।
+फिर <math>b \circ b =0</math>, इसलिए <math>(C_n(A,M),b)</math> श्रृंखला परिसर है जिसे होशचाइल्ड कॉम्प्लेक्स कहा जाता है, और इसकी समरूपता एम में गुणांक के साथ A की होशचाइल्ड समरूपता है।
 ===टिप्पणी===
-मानचित्र <math>d_i</math> फेस मैप हैं जो मॉड्यूल के परिवार को बनाते हैं <math>(C_n(A,M),b)</math> जो कि k-मॉड्यूल की श्रेणी में एक सरल वस्तु है, अथार्त एक कारक Δo → k-mod, जहां Δ सरल श्रेणी है और k-mod है के-मॉड्यूल की श्रेणी। यहां Δo, Δ की विपरीत श्रेणी है। अधःपतन मानचित्रों को परिभाषित किया गया है
+मानचित्र <math>d_i</math> फेस मानचित्र हैं जो मॉड्यूल के परिवार को बनाते हैं <math>(C_n(A,M),b)</math> जो कि k-मॉड्यूल की श्रेणी में सरल वस्तु है, अथार्त कारक Δo → k-mod, जहां Δ सरल श्रेणी है और k-mod है के-मॉड्यूल की श्रेणी। यहां Δo, Δ की विपरीत श्रेणी है। अधःपतन मानचित्रों को परिभाषित किया गया है
 :<math>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.</math>
@@ Line 39: / Line 39: @@
 === एक व्युत्पन्न स्व-प्रतिच्छेदन के रूप में ===
-कम्यूटेटिव वलय के स्थिति में होशचाइल्ड कॉम्प्लेक्स की एक और उपयोगी व्याख्या है, और अधिक सामान्यतः कम्यूटेटिव वलय के संग्रहों के लिए: इसका निर्माण [[व्युत्पन्न योजना]] से किया गया है | एक [[योजना (गणित)]] (या यहां तक कि व्युत्पन्न योजना) के व्युत्पन्न स्व-प्रतिच्छेदन से <math>X</math> कुछ आधार योजना पर <math>S</math>. उदाहरण के लिए, हम योजनाओं का व्युत्पन्न फाइबर उत्पाद बना सकते हैं<math display="block">X\times^\mathbf{L}_SX</math>जिसमें व्युत्पन्न वलय का पुलिंदा <math>\mathcal{O}_X\otimes_{\mathcal{O}_S}^\mathbf{L}\mathcal{O}_X</math> है। फिर, यदि X को विकर्ण मानचित्र के साथ एम्बेड करें<math display="block">\Delta: X \to X\times^\mathbf{L}_SX</math>होशचाइल्ड कॉम्प्लेक्स का निर्माण विकर्ण उत्पाद योजना में विकर्ण के व्युत्पन्न स्व-प्रतिच्छेदन के पुलबैक के रूप में किया गया है<math display="block">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)</math>इस व्याख्या से, यह स्पष्ट होना चाहिए कि होशचाइल्ड होमोलॉजी का काहलर अंतर <math>\Omega_{X/S}</math> से कुछ संबंध होना चाहिए क्योंकि काहलर अंतर को विकर्ण से स्व-प्रतिच्छेदन का उपयोग करके परिभाषित किया जा सकता है, या अधिक सामान्यतः, कोटैंजेंट कॉम्प्लेक्स <math>\mathbf{L}_{X/S}^\bullet</math> चूंकि यह काहलर अंतर के लिए व्युत्पन्न प्रतिस्थापन है। हम सेटिंग द्वारा क्रमविनिमेय <math>k</math>-बीजगणित <math>A</math> के होशचाइल्ड कॉम्प्लेक्स की मूल परिभाषा को पुनर्प्राप्त कर सकते हैं<math display="block">S = \text{Spec}(k)</math> और <math display="block">X = \text{Spec}(A)</math>फिर, होशचाइल्ड कॉम्प्लेक्स [[अर्ध-समरूपता]] या |अर्ध-समरूपी है<math display="block">HH(A/k) \simeq_{qiso} A\otimes_{A\otimes_{k}^\mathbf{L}A}^\mathbf{L}A </math>यदि <math>A</math> एक समतल है <math>k</math>-बीजगणित, फिर समरूपता की श्रृंखला है<math display="block">A\otimes_k^\mathbf{L}A \cong A\otimes_kA \cong A\otimes_kA^{op}</math>होशचाइल्ड कॉम्प्लेक्स की एक वैकल्पिक किंतु समकक्ष प्रस्तुति दे रहा हूँ।
+कम्यूटेटिव वलय के स्थिति में होशचाइल्ड कॉम्प्लेक्स की और उपयोगी व्याख्या है, और अधिक सामान्यतः कम्यूटेटिव वलय के संग्रहों के लिए: इसका निर्माण [[व्युत्पन्न योजना]] से किया गया है | [[योजना (गणित)]] (या यहां तक कि व्युत्पन्न योजना) के व्युत्पन्न स्व-प्रतिच्छेदन से <math>X</math> कुछ आधार योजना पर <math>S</math>. उदाहरण के लिए, हम योजनाओं का व्युत्पन्न फाइबर उत्पाद बना सकते हैं<math display="block">X\times^\mathbf{L}_SX</math>जिसमें व्युत्पन्न वलय का पुलिंदा <math>\mathcal{O}_X\otimes_{\mathcal{O}_S}^\mathbf{L}\mathcal{O}_X</math> है। फिर, यदि X को विकर्ण मानचित्र के साथ एम्बेड करें<math display="block">\Delta: X \to X\times^\mathbf{L}_SX</math>होशचाइल्ड कॉम्प्लेक्स का निर्माण विकर्ण उत्पाद योजना में विकर्ण के व्युत्पन्न स्व-प्रतिच्छेदन के पुलबैक के रूप में किया गया है<math display="block">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)</math>इस व्याख्या से, यह स्पष्ट होना चाहिए कि होशचाइल्ड होमोलॉजी का काहलर अंतर <math>\Omega_{X/S}</math> से कुछ संबंध होना चाहिए क्योंकि काहलर अंतर को विकर्ण से स्व-प्रतिच्छेदन का उपयोग करके परिभाषित किया जा सकता है, या अधिक सामान्यतः, कोटैंजेंट कॉम्प्लेक्स <math>\mathbf{L}_{X/S}^\bullet</math> चूंकि यह काहलर अंतर के लिए व्युत्पन्न प्रतिस्थापन है। हम सेटिंग द्वारा क्रमविनिमेय <math>k</math>-बीजगणित <math>A</math> के होशचाइल्ड कॉम्प्लेक्स की मूल परिभाषा को पुनर्प्राप्त कर सकते हैं<math display="block">S = \text{Spec}(k)</math> और <math display="block">X = \text{Spec}(A)</math>फिर, होशचाइल्ड कॉम्प्लेक्स [[अर्ध-समरूपता]] या |अर्ध-समरूपी है<math display="block">HH(A/k) \simeq_{qiso} A\otimes_{A\otimes_{k}^\mathbf{L}A}^\mathbf{L}A </math>यदि <math>A</math> समतल है <math>k</math>-बीजगणित, फिर समरूपता की श्रृंखला है<math display="block">A\otimes_k^\mathbf{L}A \cong A\otimes_kA \cong A\otimes_kA^{op}</math>होशचाइल्ड कॉम्प्लेक्स की वैकल्पिक किंतु समकक्ष प्रस्तुति दे रहा हूँ।
 ==कारको की होशचाइल्ड समरूपता==
-सरल वृत्त <math>S^1</math> परिमित नुकीले सेटों की <math>\operatorname{Fin}_*</math> में एक सरल वस्तु है, अर्थात, एक फ़नकार <math>\Delta^o \to \operatorname{Fin}_*.</math> इस प्रकार, यदि F एक फ़नकार <math>F\colon \operatorname{Fin} \to k-\mathrm{mod}</math> है, तो हमें F के साथ रचना करके एक सरल मॉड्यूल <math>S^1</math> मिलता है
+सरल वृत्त <math>S^1</math> परिमित नुकीले फलनं की <math>\operatorname{Fin}_*</math> में सरल वस्तु है, अर्थात, फ़नकार <math>\Delta^o \to \operatorname{Fin}_*.</math> इस प्रकार, यदि F फ़नकार <math>F\colon \operatorname{Fin} \to k-\mathrm{mod}</math> है, तब हमें F के साथ रचना करके सरल मॉड्यूल <math>S^1</math> मिलता है
 :<math> \Delta^o \overset{S^1}{\longrightarrow} \operatorname{Fin}_* \overset{F}{\longrightarrow} k\text{-mod}.</math>
-इस सरल मॉड्यूल की समरूपता कारक ''एफ'' की होशचाइल्ड समरूपता है। क्रमविनिमेय बीजगणित के होशचाइल्ड समरूपता की उपरोक्त परिभाषा एक विशेष स्थिति है जहां ''F'' लोडे कारक है।
+इस सरल मॉड्यूल की समरूपता कारक ''एफ'' की होशचाइल्ड समरूपता है। क्रमविनिमेय बीजगणित के होशचाइल्ड समरूपता की उपरोक्त परिभाषा विशेष स्थिति है जहां ''F'' लोडे कारक है।
 ===लोडे कारक ===
-परिमित नुकीले सेटों की श्रेणी के लिए एक [[कंकाल (श्रेणी सिद्धांत)|स्केलेटन (श्रेणी सिद्धांत)]] वस्तुओं द्वारा दिया गया है
+परिमित नुकीले फलनं की श्रेणी के लिए [[कंकाल (श्रेणी सिद्धांत)|स्केलेटन (श्रेणी सिद्धांत)]] वस्तुओं द्वारा दिया गया है
 :<math> n_+ = \{0,1,\ldots,n\},</math>
-जहां 0 आधारबिंदु है, और आकारिकी सेट मानचित्रों को संरक्षित करने वाला आधारबिंदु है। मान लीजिए A एक क्रमविनिमेय k-बीजगणित है और M एक सममित A-बिमॉड्यूल है लॉडे फ़ैक्टर <math>L(A,M)</math> को <math>\operatorname{Fin}_*</math> में ऑब्जेक्ट पर दिया गया है
+जहां 0 आधारबिंदु है, और आकारिकी समुच्चयमानचित्रों को संरक्षित करने वाला आधारबिंदु है। मान लीजिए A क्रमविनिमेय k-बीजगणित है और M सममित A-बिमॉड्यूल है लॉडे फ़ैक्टर <math>L(A,M)</math> को <math>\operatorname{Fin}_*</math> में ऑब्जेक्ट पर दिया गया है
 :<math> n_+ \mapsto M \otimes A^{\otimes n}.</math>
@@ Line 69: / Line 69: @@
-===बीजगणित की होशचाइल्ड समरूपता का एक और विवरण===
+===बीजगणित की होशचाइल्ड समरूपता का और विवरण===
-एक सममित ''A''-बिमॉड्यूल एम में गुणांक के साथ एक क्रमविनिमेय बीजगणित ''A'' की होशचाइल्ड समरूपता रचना से जुड़ी समरूपता है
+एक सममित ''A''-बिमॉड्यूल एम में गुणांक के साथ क्रमविनिमेय बीजगणित ''A'' की होशचाइल्ड समरूपता रचना से जुड़ी समरूपता है
 :<math>\Delta^o \overset{S^1}{\longrightarrow} \operatorname{Fin}_* \overset{\mathcal{L}(A,M)}{\longrightarrow} k\text{-mod},</math>
@@ Line 76: / Line 76: @@
 == उदाहरण ==
-होशचाइल्ड होमोलॉजी गणनाओं के उदाहरणों को अधिक सामान्य प्रमेयों के साथ कई अलग-अलग स्थितियों में स्तरीकृत किया जा सकता है, जो एक सहयोगी बीजगणित ए के लिए होमोलॉजी समूहों और होमोलॉजी वलय <math>HH_*(A)</math> की संरचना का वर्णन करते हैं। क्रमविनिमेय बीजगणित के स्थिति के लिए, एक संख्या है विशेषता <math>A</math> से अधिक गणनाओं का वर्णन करने वाले प्रमेयों से होमोलॉजी और कोहोमोलॉजी की गणना की सीधी समझ प्राप्त होती है।
+होशचाइल्ड होमोलॉजी गणनाओं के उदाहरणों को अधिक सामान्य प्रमेयों के साथ अनेक अलग-अलग स्थितियों में स्तरीकृत किया जा सकता है, जो सहयोगी बीजगणित ए के लिए होमोलॉजी समूहों और होमोलॉजी वलय <math>HH_*(A)</math> की संरचना का वर्णन करते हैं। क्रमविनिमेय बीजगणित के स्थिति के लिए, संख्या है विशेषता <math>A</math> से अधिक गणनाओं का वर्णन करने वाले प्रमेयों से होमोलॉजी और कोहोमोलॉजी की गणना की सीधी समझ प्राप्त होती है।
 === क्रमविनिमेय विशेषता 0 स्थिति ===
-क्रमविनिमेय बीजगणित <math>A/k</math> जहां <math>\mathbb{Q}\subseteq k</math> के स्थिति में, होशचाइल्ड होमोलॉजी में चिकने बीजगणित और अधिक सामान्य गैर-सपाट बीजगणित <math>A</math> से संबंधित दो मुख्य प्रमेय हैं; किंतु दूसरा पहले का प्रत्यक्ष सामान्यीकरण है। सहज स्थिति में, अथार्त एक सहज बीजगणित <math>A</math> के लिए, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय<ref>{{cite arXiv|last=Ginzburg|first=Victor|date=2005-06-29|title=नॉनकम्यूटेटिव ज्योमेट्री पर व्याख्यान|eprint=math/0506603}}</ref><sup>पृष्ठ 43-44</sup> में कहा गया है कि एक समरूपता है <math display="block">\Omega^n_{A/k} \cong HH_n(A/k)</math> प्रत्येक <math>n \geq 0</math> के लिए। इस समरूपता को एंटी-सिमेट्रिज़ेशन मानचित्र का उपयोग करके स्पष्ट रूप से वर्णित किया जा सकता है। अर्थात् एक विभेदक <math>n</math>-रूप में मानचित्र होता है<math display="block">a\,db_1\wedge \cdots \wedge db_n \mapsto
+क्रमविनिमेय बीजगणित <math>A/k</math> जहां <math>\mathbb{Q}\subseteq k</math> के स्थिति में, होशचाइल्ड होमोलॉजी में चिकने बीजगणित और अधिक सामान्य गैर-सपाट बीजगणित <math>A</math> से संबंधित दो मुख्य प्रमेय हैं; किंतु दूसरा पहले का प्रत्यक्ष सामान्यीकरण है। सहज स्थिति में, अथार्त सहज बीजगणित <math>A</math> के लिए, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय<ref>{{cite arXiv|last=Ginzburg|first=Victor|date=2005-06-29|title=नॉनकम्यूटेटिव ज्योमेट्री पर व्याख्यान|eprint=math/0506603}}</ref><sup>पृष्ठ 43-44</sup> में कहा गया है कि समरूपता है <math display="block">\Omega^n_{A/k} \cong HH_n(A/k)</math> प्रत्येक <math>n \geq 0</math> के लिए। इस समरूपता को एंटी-सिमेट्रिज़ेशन मानचित्र का उपयोग करके स्पष्ट रूप से वर्णित किया जा सकता है। अर्थात् विभेदक <math>n</math>-रूप में मानचित्र होता है<math display="block">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)}.</math>
-यदि बीजगणित <math>A/k</math> चिकना या सपाट भी नहीं है, तो कोटैंजेंट कॉम्प्लेक्स का उपयोग करते हुए एक अनुरूप प्रमेय है। एक सरल समाधान <math>P_\bullet \to A</math> के लिए, हम <math>\mathbb{L}^i_{A/k} = \Omega^i_{P_\bullet/k}\otimes_{P_\bullet} A</math> सेट करते हैं। फिर, <math>F_\bullet</math> पर एक अवरोही <math>\mathbb{N}</math> -निस्पंदन <math>HH_n(A/k)</math> उपस्थित है जिसके वर्गीकृत टुकड़े समरूपी हैं <math display="block">\frac{F_i}{F_{i+1}} \cong \mathbb{L}^i_{A/k}[+i].</math>
+यदि बीजगणित <math>A/k</math> चिकना या सपाट भी नहीं है, तब कोटैंजेंट कॉम्प्लेक्स का उपयोग करते हुए अनुरूप प्रमेय है। सरल समाधान <math>P_\bullet \to A</math> के लिए, हम <math>\mathbb{L}^i_{A/k} = \Omega^i_{P_\bullet/k}\otimes_{P_\bullet} A</math> समुच्चयकरते हैं। फिर, <math>F_\bullet</math> पर अवरोही <math>\mathbb{N}</math> -निस्पंदन <math>HH_n(A/k)</math> उपस्थित है जिसके वर्गीकृत टुकड़े समरूपी हैं <math display="block">\frac{F_i}{F_{i+1}} \cong \mathbb{L}^i_{A/k}[+i].</math>
-ध्यान दें कि यह प्रमेय न केवल सुचारु बीजगणित के लिए, किंतु स्थानीय पूर्ण प्रतिच्छेदन बीजगणित के लिए भी होशचाइल्ड समरूपता की गणना करना सुलभ बनाता है। इस स्थिति में, <math>A = R/I</math> के लिए एक प्रस्तुति <math>R = k[x_1,\dotsc,x_n]</math> दी गई है, कोटैंजेंट कॉम्प्लेक्स दो-टर्म कॉम्प्लेक्स <math>I/I^2 \to \Omega^1_{R/k}\otimes_k A</math> है
+ध्यान दें कि यह प्रमेय न केवल सुचारु बीजगणित के लिए, किंतु स्थानीय पूर्ण प्रतिच्छेदन बीजगणित के लिए भी होशचाइल्ड समरूपता की गणना करना सुलभ बनाता है। इस स्थिति में, <math>A = R/I</math> के लिए प्रस्तुति <math>R = k[x_1,\dotsc,x_n]</math> दी गई है, कोटैंजेंट कॉम्प्लेक्स दो-टर्म कॉम्प्लेक्स <math>I/I^2 \to \Omega^1_{R/k}\otimes_k A</math> है
 ==== परिमेय पर बहुपद वलय ====
-एक सरल उदाहरण <math>n</math>-जनरेटर के साथ <math>\mathbb{Q}</math> की एक बहुपद वलय की होशचाइल्ड होमोलॉजी की गणना करना है। एचकेआर प्रमेय समरूपता देता है <math display="block">HH_*(\mathbb{Q}[x_1,\ldots, x_n]) = \mathbb{Q}[x_1,\ldots, x_n]\otimes \Lambda(dx_1,\dotsc, dx_n)</math> जहां बीजगणित <math>\bigwedge(dx_1,\ldots, dx_n)</math> <math>n</math>-जनरेटर में <math>\mathbb{Q}</math> से अधिक मुक्त एंटीसिमेट्रिक बीजगणित है। इसकी उत्पाद संरचना वैक्टर के वेज उत्पाद द्वारा दी गई है <math display="block">\begin{align}
+एक सरल उदाहरण <math>n</math>-जनरेटर के साथ <math>\mathbb{Q}</math> की बहुपद वलय की होशचाइल्ड होमोलॉजी की गणना करना है। एचकेआर प्रमेय समरूपता देता है <math display="block">HH_*(\mathbb{Q}[x_1,\ldots, x_n]) = \mathbb{Q}[x_1,\ldots, x_n]\otimes \Lambda(dx_1,\dotsc, dx_n)</math> जहां बीजगणित <math>\bigwedge(dx_1,\ldots, dx_n)</math> <math>n</math>-जनरेटर में <math>\mathbb{Q}</math> से अधिक मुक्त एंटीसिमेट्रिक बीजगणित है। इसकी उत्पाद संरचना वैक्टर के वेज उत्पाद द्वारा दी गई है <math display="block">\begin{align}
 dx_i\cdot dx_j &= -dx_j\cdot dx_i \\
 dx_i\cdot dx_i &= 0
@@ Line 92: / Line 92: @@
 === क्रमविनिमेय विशेषता पी केस ===
-विशेषता p स्थिति में, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय का एक उपयोगी प्रति-उदाहरण है जो होशचाइल्ड होमोलॉजी को परिभाषित करने के लिए सरल बीजगणित से परे एक सिद्धांत की आवश्यकता को स्पष्ट करता है। <math>\mathbb{Z}</math> -बीजगणित <math>\mathbb{F}_p</math> पर विचार करें। हम मुक्त अंतर श्रेणीबद्ध बीजगणित के रूप में <math>\mathbb{F}_p</math> के रिज़ॉल्यूशन की गणना कर सकते हैं<math display="block">\mathbb{Z}\xrightarrow{\cdot p} \mathbb{Z}</math>व्युत्पन्न प्रतिच्छेदन <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p \cong \mathbb{F}_p[\varepsilon]/(\varepsilon^2)</math> दे रहा है जहां <math>\text{deg}(\varepsilon) = 1</math> और अंतर शून्य मानचित्र है। इसका कारण यह है कि हम ऊपर दिए गए कॉम्प्लेक्स को <math>\mathbb{F}_p</math> द्वारा टेंसर करते हैं, जिससे डिग्री <math>1</math> में जनरेटर के साथ एक औपचारिक कॉम्प्लेक्स मिलता है, जिसका वर्ग होता है <math>0</math> फिर, होशचाइल्ड कॉम्प्लेक्स द्वारा दिया गया है<math display="block">\mathbb{F}_p\otimes^\mathbb{L}_{\mathbb{F}_p\otimes^\mathbb{L}_\mathbb{Z} \mathbb{F}_p}\mathbb{F}_p</math>इसकी गणना करने के लिए, हमें समाधान करना होगा <math>\mathbb{F}_p</math> एक के रूप में <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math>-बीजगणित. बीजगणित संरचना का निरीक्षण करें
+विशेषता p स्थिति में, होशचाइल्ड-कोस्टेंट-रोसेनबर्ग प्रमेय का उपयोगी प्रति-उदाहरण है जो होशचाइल्ड होमोलॉजी को परिभाषित करने के लिए सरल बीजगणित से परे सिद्धांत की आवश्यकता को स्पष्ट करता है। <math>\mathbb{Z}</math> -बीजगणित <math>\mathbb{F}_p</math> पर विचार करें। हम मुक्त अंतर श्रेणीबद्ध बीजगणित के रूप में <math>\mathbb{F}_p</math> के रिज़ॉल्यूशन की गणना कर सकते हैं<math display="block">\mathbb{Z}\xrightarrow{\cdot p} \mathbb{Z}</math>व्युत्पन्न प्रतिच्छेदन <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p \cong \mathbb{F}_p[\varepsilon]/(\varepsilon^2)</math> दे रहा है जहां <math>\text{deg}(\varepsilon) = 1</math> और अंतर शून्य मानचित्र है। इसका कारण यह है कि हम ऊपर दिए गए कॉम्प्लेक्स को <math>\mathbb{F}_p</math> द्वारा टेंसर करते हैं, जिससे डिग्री <math>1</math> में जनरेटर के साथ औपचारिक कॉम्प्लेक्स मिलता है, जिसका वर्ग होता है <math>0</math> फिर, होशचाइल्ड कॉम्प्लेक्स द्वारा दिया गया है<math display="block">\mathbb{F}_p\otimes^\mathbb{L}_{\mathbb{F}_p\otimes^\mathbb{L}_\mathbb{Z} \mathbb{F}_p}\mathbb{F}_p</math>इसकी गणना करने के लिए, हमें समाधान करना होगा <math>\mathbb{F}_p</math> के रूप में <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math>-बीजगणित. बीजगणित संरचना का निरीक्षण करें
 <math>\mathbb{F}_p[\varepsilon]/(\varepsilon^2) \to \mathbb{F}_p</math>
-बल <math>\varepsilon \mapsto 0</math> यह संकुल का डिग्री शून्य पद देता है। फिर, क्योंकि हमें कर्नेल <math>\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math> को हल करना है, हम डिग्री 2 में स्थानांतरित <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math>की एक प्रति ले सकते हैं और इसे डिग्री <math>\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math> में कर्नेल के साथ <math>\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}}).</math> पर मैप कर सकते हैं, हम विभाजित शक्ति बीजगणित के अंतर्निहित मॉड्यूल को प्राप्त करने के लिए इसे पुनरावर्ती रूप से निष्पादित कर सकते हैं<math display="block">(\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p)\langle x \rangle =
+बल <math>\varepsilon \mapsto 0</math> यह संकुल का डिग्री शून्य पद देता है। फिर, क्योंकि हमें कर्नेल <math>\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math> को हल करना है, हम डिग्री 2 में स्थानांतरित <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math>की प्रति ले सकते हैं और इसे डिग्री <math>\varepsilon \cdot \mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math> में कर्नेल के साथ <math>\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}}).</math> पर मानचित्र कर सकते हैं, हम विभाजित शक्ति बीजगणित के अंतर्निहित मॉड्यूल को प्राप्त करने के लिए इसे पुनरावर्ती रूप से निष्पादित कर सकते हैं<math display="block">(\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}}</math><math>dx_i = \varepsilon\cdot x_{i-1}</math> के साथ और<math>x_i</math> की डिग्री <math>2i</math> है, अर्थात् <math>|x_i| = 2i</math> इस बीजगणित को <math>\mathbb{F}_p</math> ओवर <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math> से टेंसर करने पर परिणाम मिलता है<math display="block">HH_*(\mathbb{F}_p) = \mathbb{F}_p\langle x \rangle</math>चूँकि <math>\varepsilon</math> को <math>\mathbb{F}_p</math> में किसी भी तत्व से गुणा करने पर शून्य प्राप्त होता है। बीजगणित संरचना विभाजित शक्ति बीजगणित और विभेदक श्रेणीबद्ध बीजगणित पर सामान्य सिद्धांत से आती है।<ref>{{Cite web|title=Section 23.6 (09PF): Tate resolutions—The Stacks project|url=https://stacks.math.columbia.edu/tag/09PF|access-date=2020-12-31|website=stacks.math.columbia.edu}}</ref> ध्यान दें कि इस गणना को एक तकनीकी कलाकृति के रूप में देखा जाता है क्योंकि वलय <math>\mathbb{F}_p\langle x \rangle</math> का व्यवहार अच्छा नहीं है। उदाहरण के लिए, <math>x^p = 0</math> इस समस्या की एक तकनीकी प्रतिक्रिया टोपोलॉजिकल होशचाइल्ड होमोलॉजी के माध्यम से है, जहां बेस वलय <math>\mathbb{Z}</math> को गोलाकार स्पेक्ट्रम <math>\mathbb{S}</math> द्वारा प्रतिस्थापित किया जाता है।
+}{x_ix_j = \binom{i+j}{i}x_{i+j}}</math><math>dx_i = \varepsilon\cdot x_{i-1}</math> के साथ और<math>x_i</math> की डिग्री <math>2i</math> है, अर्थात् <math>|x_i| = 2i</math> इस बीजगणित को <math>\mathbb{F}_p</math> ओवर <math>\mathbb{F}_p\otimes^\mathbf{L}_\mathbb{Z}\mathbb{F}_p</math> से टेंसर करने पर परिणाम मिलता है<math display="block">HH_*(\mathbb{F}_p) = \mathbb{F}_p\langle x \rangle</math>चूँकि <math>\varepsilon</math> को <math>\mathbb{F}_p</math> में किसी भी तत्व से गुणा करने पर शून्य प्राप्त होता है। बीजगणित संरचना विभाजित शक्ति बीजगणित और विभेदक श्रेणीबद्ध बीजगणित पर सामान्य सिद्धांत से आती है।<ref>{{Cite web|title=Section 23.6 (09PF): Tate resolutions—The Stacks project|url=https://stacks.math.columbia.edu/tag/09PF|access-date=2020-12-31|website=stacks.math.columbia.edu}}</ref> ध्यान दें कि इस गणना को तकनीकी कलाकृति के रूप में देखा जाता है क्योंकि वलय <math>\mathbb{F}_p\langle x \rangle</math> का व्यवहार अच्छा नहीं है। उदाहरण के लिए, <math>x^p = 0</math> इस समस्या की तकनीकी प्रतिक्रिया टोपोलॉजिकल होशचाइल्ड होमोलॉजी के माध्यम से है, जहां बेस वलय <math>\mathbb{Z}</math> को गोलाकार स्पेक्ट्रम <math>\mathbb{S}</math> द्वारा प्रतिस्थापित किया जाता है।
 ==टोपोलॉजिकल होशचाइल्ड होमोलॉजी==
@@ Line 104: / Line 104: @@
-होशचाइल्ड कॉम्प्लेक्स के उपरोक्त निर्माण को अधिक सामान्य स्थितियों के लिए अनुकूलित किया जा सकता है, अर्थात् <math>k</math>-मॉड्यूल की श्रेणी (कॉम्प्लेक्स) को ∞-श्रेणी (एक टेंसर उत्पाद से सुसज्जित) द्वारा प्रतिस्थापित करके, <math>\mathcal{C}</math>, और<math>A</math> इस श्रेणी में साहचर्य बीजगणित द्वारा। इसे स्पेक्ट्रा की श्रेणी <math>\mathcal{C}=\textbf{Spectra}</math> पर प्रयुक्त करने से, और ''<math>A</math>'' एक साधारण वलय <math>R</math> से जुड़ा ईलेनबर्ग-मैकलेन स्पेक्ट्रम होने के कारण टोपोलॉजिकल होशचाइल्ड होमोलॉजी प्राप्त होती है, जिसे <math>THH(R)</math> दर्शाया जाता है। ऊपर प्रस्तुत (गैर-टोपोलॉजिकल) होशचाइल्ड होमोलॉजी को <math>\Z</math>-मॉड्यूल (एक ∞-श्रेणी के रूप में) की व्युत्पन्न श्रेणी <math>\mathcal{C} = D(\mathbb{Z})</math> के लिए लेकर, इन पंक्तियों के साथ फिर से व्याख्या की जा सकती है।
+होशचाइल्ड कॉम्प्लेक्स के उपरोक्त निर्माण को अधिक सामान्य स्थितियों के लिए अनुकूलित किया जा सकता है, अर्थात् <math>k</math>-मॉड्यूल की श्रेणी (कॉम्प्लेक्स) को ∞-श्रेणी (एक टेंसर उत्पाद से सुसज्जित) द्वारा प्रतिस्थापित करके, <math>\mathcal{C}</math>, और<math>A</math> इस श्रेणी में साहचर्य बीजगणित द्वारा। इसे स्पेक्ट्रा की श्रेणी <math>\mathcal{C}=\textbf{Spectra}</math> पर प्रयुक्त करने से, और ''<math>A</math>'' साधारण वलय <math>R</math> से जुड़ा ईलेनबर्ग-मैकलेन स्पेक्ट्रम होने के कारण टोपोलॉजिकल होशचाइल्ड होमोलॉजी प्राप्त होती है, जिसे <math>THH(R)</math> दर्शाया जाता है। ऊपर प्रस्तुत (गैर-टोपोलॉजिकल) होशचाइल्ड होमोलॉजी को <math>\Z</math>-मॉड्यूल (एक ∞-श्रेणी के रूप में) की व्युत्पन्न श्रेणी <math>\mathcal{C} = D(\mathbb{Z})</math> के लिए लेकर, इन पंक्तियों के साथ फिर से व्याख्या की जा सकती है।
-<math>\Z</math> (या ईलेनबर्ग-मैकलेन-स्पेक्ट्रम <math>H\Z</math> से अधिक टेन्सर उत्पादों द्वारा गोलाकार स्पेक्ट्रम पर टेन्सर उत्पादों को प्रतिस्थापित करने से एक प्राकृतिक तुलना मानचित्र <math>THH(R) \to HH(R)</math> प्राप्त होता है। यह 0, 1, और 2 डिग्री में समरूप समूहों पर एक समरूपता उत्पन्न करता है। सामान्यतः, चूँकि वे भिन्न होते हैं, और <math>THH</math> एचएच की तुलना में सरल समूह उत्पन्न करते हैं। उदाहरण के लिए,
+<math>\Z</math> (या ईलेनबर्ग-मैकलेन-स्पेक्ट्रम <math>H\Z</math> से अधिक टेन्सर उत्पादों द्वारा गोलाकार स्पेक्ट्रम पर टेन्सर उत्पादों को प्रतिस्थापित करने से प्राकृतिक तुलना मानचित्र <math>THH(R) \to HH(R)</math> प्राप्त होता है। यह 0, 1, और 2 डिग्री में समरूप समूहों पर समरूपता उत्पन्न करता है। सामान्यतः, चूँकि वे भिन्न होते हैं, और <math>THH</math> एचएच की तुलना में सरल समूह उत्पन्न करते हैं। उदाहरण के लिए,
 :<math>THH(\mathbb{F}_p) = \mathbb{F}_p[x],</math>
@@ Line 112: / Line 112: @@
 एक चर में विभाजित शक्तियों की वलय की तुलना में, बहुपद वलय (डिग्री 2 में x के साथ) है।
-लार्स हेसलहोल्ट (2016) ने दिखाया कि <math>\mathbb{F}_p</math> पर एक सुचारु उचित किस्म के हस्से-वेइल ज़ेटा फलन को टोपोलॉजिकल होशचाइल्ड होमोलॉजी से जुड़े नियमित निर्धारकों का उपयोग करके व्यक्त किया जा सकता है।
+लार्स हेसलहोल्ट (2016) ने दिखाया कि <math>\mathbb{F}_p</math> पर सुचारु उचित किस्म के हस्से-वेइल ज़ेटा फलन को टोपोलॉजिकल होशचाइल्ड होमोलॉजी से जुड़े नियमित निर्धारकों का उपयोग करके व्यक्त किया जा सकता है।
 ==यह भी देखें==
@@ Line 135: / Line 135: @@
 === परिचयात्मक लेख ===
-* डायलन जी.एल. एलेग्रेट्टी, [http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Allegretti.pdf नॉनकम्यूटेटिव स्पेस पर डिफरेंशियल फॉर्म]। [[गैर-अनुवांशिक ज्यामिति]] का एक प्रारंभिक परिचय जो विभेदक रूपों को सामान्यीकृत करने के लिए होशचाइल्ड होमोलॉजी का उपयोग करता है)।
+* डायलन जी.एल. एलेग्रेट्टी, [http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Allegretti.pdf नॉनकम्यूटेटिव स्पेस पर डिफरेंशियल फॉर्म]। [[गैर-अनुवांशिक ज्यामिति]] का प्रारंभिक परिचय जो विभेदक रूपों को सामान्यीकृत करने के लिए होशचाइल्ड होमोलॉजी का उपयोग करता है)।
 * {{cite arXiv|eprint=math/0506603|last1=Ginzburg|first1=Victor|title=नॉनकम्यूटेटिव ज्योमेट्री पर व्याख्यान|year=2005}}
 * [https://www.math.arizona.edu/~swc/aws/2019/2019MorrowNotes.pdf अंकगणित ज्यामिति में टोपोलॉजिकल होशचाइल्ड होमोलॉजी]

Anonymous

Search

होशचाइल्ड होमोलॉजी: Difference between revisions

Namespaces

More

Page actions

Revision as of 11:38, 14 July 2023

Contents

बीजगणित की होशचाइल्ड समरूपता की परिभाषा

होच्सचाइल्ड कॉम्प्लेक्स

टिप्पणी

बार कॉम्प्लेक्स के साथ संबंध

एक व्युत्पन्न स्व-प्रतिच्छेदन के रूप में

कारको की होशचाइल्ड समरूपता

लोडे कारक

बीजगणित की होशचाइल्ड समरूपता का और विवरण

उदाहरण

क्रमविनिमेय विशेषता 0 स्थिति

परिमेय पर बहुपद वलय

क्रमविनिमेय विशेषता पी केस

टोपोलॉजिकल होशचाइल्ड होमोलॉजी

यह भी देखें

संदर्भ

बाहरी संबंध

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

क्रमविनिमेय मामला

नॉनकम्यूटेटिव केस

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

होशचाइल्ड होमोलॉजी: Difference between revisions

Revision as of 11:38, 14 July 2023

बीजगणित की होशचाइल्ड समरूपता की परिभाषा

होच्सचाइल्ड कॉम्प्लेक्स

टिप्पणी

बार कॉम्प्लेक्स के साथ संबंध

एक व्युत्पन्न स्व-प्रतिच्छेदन के रूप में

कारको की होशचाइल्ड समरूपता

लोडे कारक

बीजगणित की होशचाइल्ड समरूपता का और विवरण

उदाहरण

क्रमविनिमेय विशेषता 0 स्थिति

परिमेय पर बहुपद वलय

क्रमविनिमेय विशेषता पी केस

टोपोलॉजिकल होशचाइल्ड होमोलॉजी

यह भी देखें

संदर्भ

बाहरी संबंध

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

क्रमविनिमेय मामला

नॉनकम्यूटेटिव केस

Navigation

Wiki tools

Page tools

Other projects

Hidden categories