अंतर्विरोध समरूपता

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

कज़दान-लुस्ज़टिग अनुमान और रीमैन-हिल्बर्ट पत्राचार को साबित करने के लिए इंटरसेक्शन कोहोमोलॉजी का उपयोग किया गया था। इसका L2 कोहोमोलॉजी से गहरा संबंध है|L2सहसंरचना.

गोरेस्की-मैकफ़र्सन दृष्टिकोण
सघन स्थान, उन्मुखता , जुड़ा हुआ स्थान , एन-डायमेंशनल कई गुना एक्स के होमोलॉजी समूहों में मौलिक संपत्ति होती है जिसे पोंकारे द्वैत कहा जाता है:  द्विरेखीय रूप होता है


 * $$ H_i(X,\Q) \times H_{n-i}(X,\Q) \to H_0(X,\Q) \cong \Q.$$

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


 * $$H_j(X)$$

जे-आयामी चक्र द्वारा दर्शाया गया है। यदि आई-डायमेंशनल और  $$(n-i)$$-आयामी चक्र सामान्य स्थिति में हैं, तो उनका प्रतिच्छेदन बिंदुओं का  सीमित संग्रह है। एक्स के अभिविन्यास का उपयोग करके इनमें से प्रत्येक बिंदु पर  चिन्ह निर्दिष्ट किया जा सकता है; दूसरे शब्दों में प्रतिच्छेदन  0-आयामी चक्र उत्पन्न करता है। कोई यह साबित कर सकता है कि इस चक्र का समरूपता वर्ग केवल मूल i- और के समरूपता वर्गों पर निर्भर करता है $$(n-i)$$-आयामी चक्र; कोई यह भी साबित कर सकता है कि यह जोड़ी एकदम सही जोड़ी है।

जब $$\R^n$$—ये विचार टूट जाते हैं। उदाहरण के लिए, चक्रों के लिए सामान्य स्थिति की धारणा को समझना अब संभव नहीं है। गोरेस्की और मैकफर्सन ने स्वीकार्य चक्रों का वर्ग पेश किया जिसके लिए सामान्य स्थिति समझ में आती है। उन्होंने स्वीकार्य चक्रों के लिए  तुल्यता संबंध पेश किया (जहां केवल स्वीकार्य सीमाएं शून्य के बराबर हैं), और समूह कहा जाता है


 * $$IH_i(X)$$

i-आयामी स्वीकार्य चक्र मॉड्यूलो के इस तुल्यता संबंध प्रतिच्छेदन समरूपता। उन्होंने इसके अलावा दिखाया कि i- और  का प्रतिच्छेदन $$(n-i)$$-आयामी स्वीकार्य चक्र  (सामान्य) शून्य-चक्र देता है जिसका समरूपता वर्ग अच्छी तरह से परिभाषित है।

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


 * $$ \emptyset = X_{-1} \subset X_0 \subset X_1 \subset \cdots \subset X_n = X $$

बंद उप-स्थानों द्वारा X का इस प्रकार:


 * प्रत्येक i के लिए और प्रत्येक बिंदु x के लिए $$X_i \setminus X_{i-1}$$, वहाँ पड़ोस मौजूद है $$ U \subset X $$ एक्स में एक्स का,  कॉम्पैक्ट $$(n-i-1)$$-आयामी स्तरीकृत स्थान एल, और  निस्पंदन-संरक्षण होमियोमोर्फिज्म $$ U \cong \R^i \times CL$$. यहाँ $$CL$$ L पर खुला शंकु है।
 * $$X_{n-1} = X_{n-2}$$.
 * $$X\setminus X_{n-1}$$ X में सघन है.

यदि X टोपोलॉजिकल स्यूडोमेनिफोल्ड है, तो X का i-आयामी 'स्ट्रेटम' स्थान है $$X_i \setminus X_{i-1}$$.

उदाहरण:
 * यदि
 * यदि

विकृतियाँ
प्रतिच्छेदन समरूपता समूह $$I^\mathbf{p}H_i(X)$$ विकृति की पसंद पर निर्भर रहें $$\mathbf{p}$$, जो मापता है कि चक्रों को ट्रांसवर्सेलिटी से कितनी दूर तक विचलित होने की अनुमति है। (विकृति नाम की उत्पत्ति किसके द्वारा बताई गई थी .) विकृति $$\mathbf{p}$$  फ़ंक्शन है
 * $$\mathbf{p}\colon\Z_{\geq 2} \to \Z$$

पूर्णांकों से $$\geq 2$$ ऐसे पूर्णांकों के लिए
 * $$\mathbf{p}(2) = 0$$.
 * $$\mathbf{p}(k+1) - \mathbf{p}(k) \in \{0,1\}$$.

दूसरी स्थिति का उपयोग स्तरीकरण के परिवर्तन के तहत प्रतिच्छेदन समरूपता समूहों की अपरिवर्तनीयता को दिखाने के लिए किया जाता है।

पूरक विकृति $$\mathbf{q}$$ का $$\mathbf{p}$$ के साथ है


 * $$\mathbf{p}(k)+\mathbf{q}(k)=k-2$$.

पूरक आयाम और पूरक विकृति के प्रतिच्छेदन समरूपता समूह दोहरे युग्मित हैं।

विकृतियों के उदाहरण

 * न्यूनतम विकृति है $$p(k) = 0$$. इसका पूरक अधिकतम विकृति है $$q(k)=k-2$$.
 * (निचली) मध्य विकृति एम द्वारा परिभाषित की गई है $$m(k)=[(k-2)/2]$$, फर्श और छत के कार्य $$(k-2)/2$$. इसका पूरक ऊपरी मध्य विकृति है, मूल्यों के साथ $$[(k-1)/2]$$. यदि विकृति निर्दिष्ट नहीं है, तो आमतौर पर इसका मतलब निम्न मध्य विकृति है। यदि किसी स्थान को सम आयाम के सभी स्तरों (उदाहरण के लिए, किसी भी जटिल विविधता) के साथ स्तरीकृत किया जा सकता है, तो प्रतिच्छेदन समरूपता समूह विषम पूर्णांकों पर विकृति के मूल्यों से स्वतंत्र होते हैं, इसलिए ऊपरी और निचले मध्य विकृतियाँ समतुल्य होती हैं।

एकवचन प्रतिच्छेदन समरूपता
कुछ स्तरीकरण और विकृति पी के साथ आयाम एन के  टोपोलॉजिकल स्यूडोमैनिफोल्ड एक्स को ठीक करें।

मानक सिम्प्लेक्स|आई-सिंप्लेक्स से नक्शा σ $$\Delta^i$$ यदि एक्स (एकवचन सिम्पलेक्स) को 'स्वीकार्य' कहा जाता है


 * $$\sigma^{-1} \left (X_{n-k}\setminus X_{n-k-1} \right)$$

में निहित है $$i-k+p(k)$$ का कंकाल $$\Delta^i$$.

द कॉम्प्लेक्स $$I^p(X)$$ एक्स पर एकवचन श्रृंखलाओं के परिसर का उप-संकुल है जिसमें सभी एकवचन श्रृंखलाएं शामिल हैं जैसे कि श्रृंखला और इसकी सीमा दोनों स्वीकार्य एकवचन सिंप्लेक्स के रैखिक संयोजन हैं। एकवचन प्रतिच्छेदन समरूपता समूह (विकृतता पी के साथ)
 * $$I^pH_i(X)$$

इस परिसर के समरूपता समूह हैं।

यदि एक्स में स्तरीकरण के साथ संगत त्रिकोण है, तो सरल प्रतिच्छेदन समरूपता समूहों को समान तरीके से परिभाषित किया जा सकता है, और स्वाभाविक रूप से एकवचन प्रतिच्छेदन समरूपता समूहों के लिए आइसोमोर्फिक हैं।

प्रतिच्छेदन गृहविज्ञान समूह एक्स के स्तरीकरण की पसंद से स्वतंत्र हैं।

यदि एक्स टोपोलॉजिकल मैनिफोल्ड है, तो इंटरसेक्शन होमोलॉजी समूह (किसी भी विकृति के लिए) सामान्य होमोलॉजी समूहों के समान हैं।

छोटे संकल्प
विलक्षणताओं का संकल्प
 * $$f:X\to Y$$

जटिल किस्म के Y को 'छोटा रिज़ॉल्यूशन' कहा जाता है यदि प्रत्येक r > 0 के लिए, Y के बिंदुओं का स्थान जहां फाइबर का आयाम r है, कोड आयाम 2r से अधिक है। मोटे तौर पर कहें तो इसका मतलब है कि अधिकांश फाइबर छोटे होते हैं। इस मामले में रूपवाद एक्स के (प्रतिच्छेदन) समरूपता से वाई के प्रतिच्छेदन समरूपता (मध्यम विकृति के साथ) तक समरूपता को प्रेरित करता है।

दो अलग-अलग छोटे रिज़ॉल्यूशन वाली किस्म होती है, जिनकी सह-समरूपता पर अलग-अलग रिंग संरचनाएं होती हैं, जिससे पता चलता है कि आमतौर पर प्रतिच्छेदन (सह) समरूपता पर कोई प्राकृतिक रिंग संरचना नहीं होती है।

शीफ़ सिद्धांत
इंटरसेक्शन कोहोमोलॉजी के लिए डेलिग्ने का सूत्र बताता है कि
 * $$I^pH_{n-i}(X) = I^pH^i(X) = H^{i}_c(IC_p(X))$$

कहाँ $$IC_p(X)$$ इंटरसेक्शन कॉम्प्लेक्स है, एक्स पर निर्माण योग्य शीफ का निश्चित कॉम्प्लेक्स (व्युत्पन्न श्रेणी के  तत्व के रूप में माना जाता है, इसलिए दाईं ओर कोहोलॉजी का मतलब कॉम्प्लेक्स की हाइपरकोहोमोलॉजी है)। द कॉम्प्लेक्स $$IC_p(X)$$ खुले सेट पर स्थिर शीफ से शुरू करके दिया जाता है $$X\setminus X_{n-2}$$ और बार-बार इसे बड़े खुले सेटों तक विस्तारित किया जा रहा है $$X\setminus X_{n-k}$$ और फिर इसे व्युत्पन्न श्रेणी में छोटा करना; अधिक सटीक रूप से यह डेलिग्ने के सूत्र द्वारा दिया गया है
 * $$IC_p(X) = \tau_{\le p(n)-n}\mathbf{R}i_{n*}\tau_{\le p(n-1)-n}\mathbf{R}i_{n-1*}\cdots\tau_{\le p(2)-n}\mathbf{R}i_{2*} \Complex_{X\setminus X_{n-2}}$$

कहाँ $$\tau_{\le p}$$ व्युत्पन्न श्रेणी में ट्रंकेशन फ़ैक्टर है, $$i_k$$ का समावेश है $$X\setminus X_{n-k}$$ में $$X\setminus X_{n-k-1}$$, और $$\Complex_{X\setminus X_{n-2}}$$ निरंतर शीफ़ चालू है $$X\setminus X_{n-2}$$. स्थिर शीफ़ को चालू करके $$X\setminus X_{n-2}$$ स्थानीय प्रणाली के साथ, कोई स्थानीय प्रणाली में गुणांकों के साथ प्रतिच्छेदन सहसंगति को परिभाषित करने के लिए डेलिग्ने के सूत्र का उपयोग कर सकता है।

उदाहरण
चिकना अण्डाकार वक्र दिया गया है $$X \subset \mathbb{CP}^2$$ घन सजातीय बहुपद द्वारा परिभाषित $$f$$, जैसे कि $$x^3 + y^3 + z^3$$, एफ़िन शंकु $$\mathbb{V}(f) \subset \mathbb{C}^3$$ तब से मूल में  पृथक विलक्षणता है $$f(0) = 0$$ और सभी आंशिक व्युत्पन्न $$\partial_if(0) = 0$$ गायब होना। ऐसा इसलिए है क्योंकि यह डिग्री में सजातीय है $$3$$, और व्युत्पन्न डिग्री 2 के सजातीय हैं। सेटिंग $$U = \mathbb{V}(f) -\{0\}$$ और $$i:U \hookrightarrow X$$ समावेशन मानचित्र, चौराहा परिसर $$IC_{\mathbb{V}(f)}$$ के रूप में दिया गया है$$\tau_{\leq 1} \mathbf{R}i_*\mathbb{Q}_U$$ इसकी गणना कोहोलॉजी के आधारों को देखकर स्पष्ट रूप से की जा सकती है। पर $$p \in \mathbb{V}(f)$$ कहाँ $$p \neq 0$$ व्युत्पन्न पुशफॉरवर्ड चिकने बिंदु पर पहचान मानचित्र है, इसलिए एकमात्र संभावित कोहोलॉजी डिग्री में केंद्रित है $$0$$. के लिए $$p = 0$$ तब से कोहोलॉजी अधिक दिलचस्प है $$\mathbf{R}^ki_*\mathbb{Q}_U|_{p=0} = \mathop{\underset{V \subset U}\text{colim}} H^k(V; \mathbb{Q})$$ के लिए $$V$$ जहां का समापन $$i(V)$$ मूल शामिल है $$p=0$$. चूँकि ऐसा कोई भी $$V$$ खुली डिस्क के प्रतिच्छेदन पर विचार करके इसे परिष्कृत किया जा सकता है $$\mathbb{C}^3$$ साथ $$U$$, हम केवल सह-समरूपता की गणना कर सकते हैं $$H^k(U;\mathbb{Q})$$. यह निरीक्षण करके किया जा सकता है $$U$$ है $$\mathbb{C}^*$$ अण्डाकार वक्र पर बंडल $$X$$, हाइपरप्लेन बंडल, और वांग अनुक्रम कोहोमोलॉजी समूह देता है$$\begin{align} H^0(U;\mathbb{Q})&\cong H^0(X;\mathbb{Q})=\mathbb{Q} \\ H^1(U;\mathbb{Q})&\cong H^1(X;\mathbb{Q})=\mathbb{Q}^{\oplus 2}\\ H^2(U;\mathbb{Q})&\cong H^1(X;\mathbb{Q})=\mathbb{Q}^{\oplus 2} \\ H^3(U;\mathbb{Q})&\cong H^2(X;\mathbb{Q})=\mathbb{Q} \\ \end{align}$$इसलिए कोहोमोलॉजी डंठल पर ढेर हो जाती है $$p=0$$ हैं$$\begin{matrix} \mathcal{H}^2\left(\mathbf{R}i_*\mathbb{Q}_U|_{p=0}\right) & = & \mathbb{Q}_{p=0} \\ \mathcal{H}^1\left(\mathbf{R}i_*\mathbb{Q}_U|_{p=0}\right) & = & \mathbb{Q}_{p=0}^{\oplus 2} \\ \mathcal{H}^0\left(\mathbf{R}i_*\mathbb{Q}_U|_{p=0}\right) & = & \mathbb{Q}_{p=0} \end{matrix}$$ इसे छोटा करने से गैर-तुच्छ कोहोलॉजी शेव्स मिलते हैं $$\mathcal{H}^0,\mathcal{H}^1$$, इसलिए चौराहा परिसर $$IC_{\mathbb{V}(f)}$$ कोहोमोलोजी शेव्स हैं $$\begin{matrix} \mathcal{H}^0(IC_{\mathbb{V}(f)}) & = & \mathbb{Q}_{\mathbb{V}(f)} \\ \mathcal{H}^1(IC_{\mathbb{V}(f)}) & = & \mathbb{Q}_{p=0}^{\oplus 2} \\ \mathcal{H}^i(IC_{\mathbb{V}(f)}) & = & 0 & \text{for }i\ne 0,1 \end{matrix}$$

संकुल आईसी(एक्स) के गुण

जटिल आई.सीp(एक्स) में निम्नलिखित गुण हैं
 * संहिता 2 के कुछ बंद सेट के पूरक पर, हमारे पास है
 * $$H^i(j_x^* IC_p) $$ i + m ≠ 0 के लिए 0 है, और i = −m के लिए समूह स्थिर स्थानीय प्रणाली 'C' बनाते हैं


 * $$H^i(j_x^* IC_p) $$ i + m < 0 के लिए 0 है
 * यदि मैं > 0 तो $$H^{-i}(j_x^* IC_p) $$ p(a) ≥ m − i के साथ सबसे छोटे a के लिए कम से कम कोड आयाम के सेट को छोड़कर शून्य है
 * यदि मैं > 0 तो $$H^{-i}(j_x^! IC_p) $$ q(a) ≥(i) के साथ सबसे छोटे a के लिए कम से कम a कोड आयाम के सेट को छोड़कर शून्य है

हमेशा की तरह, q, p की पूरक विकृति है। इसके अलावा, व्युत्पन्न श्रेणी में समरूपता तक, इन स्थितियों द्वारा जटिल को विशिष्ट रूप से चित्रित किया जाता है। स्थितियाँ स्तरीकरण की पसंद पर निर्भर नहीं होती हैं, इसलिए इससे पता चलता है कि प्रतिच्छेदन सहसंबद्धता स्तरीकरण की पसंद पर भी निर्भर नहीं होती है।

वर्डियर द्वंद्व आईसी लेता हैp आईसी कोq व्युत्पन्न श्रेणी में n=dim(X) द्वारा स्थानांतरित किया गया।

यह भी देखें

 * अपघटन प्रमेय
 * बोरेल-मूर होमोलॉजी
 * स्थलाकृतिक रूप से स्तरीकृत स्थान
 * प्रतिच्छेदन सिद्धांत
 * विकृत पुलिंदा
 * मिश्रित हॉज संरचना

संदर्भ

 * Armand Borel, Intersection Cohomology. Progress in Mathematics, Birkhauser Boston ISBN 0-8176-3274-3
 * Mark Goresky and Robert MacPherson, La dualité de Poincaré pour les espaces singuliers. C.R. Acad. Sci. t. 284 (1977), pp. 1549–1551 Serie A.
 * Goresky, Mark; MacPherson, Robert, Intersection homology theory, Topology 19 (1980), no. 2, 135–162.
 * Goresky, Mark; MacPherson, Robert, Intersection homology. II, Inventiones Mathematicae 72 (1983), no. 1, 77–129. 10.1007/BF01389130 This gives a sheaf-theoretic approach to intersection cohomology.
 * Frances Kirwan, Jonathan Woolf, An Introduction to Intersection Homology Theory ISBN 1-58488-184-4
 * Kleiman, Steven. The development of intersection homology theory. A Century of Mathematics in America, Part II, Hist. Math. 2, Amer. Math. Soc., 1989, pp. 543–585.
 * Kleiman, Steven. The development of intersection homology theory. A Century of Mathematics in America, Part II, Hist. Math. 2, Amer. Math. Soc., 1989, pp. 543–585.

बाहरी संबंध

 * What is the etymology of the term "perverse sheaf"? (includes discussion on the etymology of the term "intersection homology") – MathOverflow