🔢 mathematics

Faithful perversities

यह शोध पत्र द्वैत अपवाद संग्रहों (dual exceptional collections) और कोहोमोलॉजिकल विलोपन (cohomological vanishing) के माध्यम से बीजगणितीय त्रिकोणीय श्रेणियों (algebraic triangulated categories) और स्तरीकृत स्थानों (stratified spaces) पर पर्वर्ज़ शिफ़ों (perverse sheaves) में निष्ठावान उच्चतम भार वाले हृदयों (faithful highest weight hearts) को अभिलक्षणित करता है, जबकि यह स्थापित करता है कि ऐसी श्रेणियों की वैश्विक विमा (global dimension) स्थान की विमा द्वारा सीमित है और हाइपरकोहोमोलॉजी तथा प्रक्षेप्य समाधान (projective resolutions) प्रतिच्छेदन कोहोमोलॉजी (intersection cohomology) के माध्यम से परस्पर गणनीय हैं।

मूल लेखक: Alessio Cipriani, Jon Woolf

प्रकाशित 2026-04-29

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Alessio Cipriani, Jon Woolf

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक जटिल, ऊबड़-खाबड़ परिदृश्य को समझने की कोशिश कर रहे हैं—एक पर्वत श्रृंखला जिसमें गहरी घाटियाँ, खड़ी चट्टानें और सपाट पठार हैं। गणित में, इस तरह के परिदृश्य को स्ट्रैटिफाइड स्पेस (stratified space) कहा जाता है। यह कोई चिकनी सतह नहीं है; यह विभिन्न आयामों वाली अलग-अलग परतों (स्ट्रेटा/strata) से बना है, जैसे कि 2D सतहों, 1D रेखाओं और 0D बिंदुओं से बनी एक 3D वस्तु।

गणितज्ञ इन परिदृश्यों का अध्ययन करने के लिए परवर्स शीफ्स (perverse sheaves) नामक उपकरणों का उपयोग करते हैं। "परवर्स" नाम से डरने की ज़रूरत नहीं है; इस संदर्भ में, इसका अर्थ डेटा को व्यवस्थित करने का एक बहुत ही विशिष्ट, चतुर तरीका है ताकि इन ऊबड़-खाबड़ परिदृश्यों के छिपे हुए टोपोलॉजिकल रहस्यों (जैसे छेद या घुमाव) को पकड़ा जा सके।

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

यहाँ उनकी खोज का दैनिक उपमाओं (analogies) का उपयोग करके विवरण दिया गया है:

1. "फिथफुल" (Faithful) संबंध: एक आदर्श अनुवाद

आमतौर पर, एक जटिल ज्यामितीय आकार को एक सरल बीजगणितीय सूत्र में अनुवादित करने से कुछ जानकारी खो जाती है। यह एक संगीत रचना (सिम्फनी) को केवल सुरों की सूची का उपयोग करके वर्णित करने जैसा है; आप भावना और समय (timing) को खो देते हैं।

हालाँकि, लेखक एक विशेष स्थिति की पहचान करते हैं जिसे "फिथफुलनेस" (faithfulness) कहा जाता है।

उपमा: कल्पना कीजिए कि एक अनुवादक इतना पूर्ण है कि वह न केवल शब्दों का अनुवाद करता है, बल्कि कहानी की पूरी आत्मा का अनुवाद करता है। यदि आपके पास एक 'फिथफुल' अनुवादक है, तो आप कहानी (ज्यामिति) ले सकते हैं, उसे कोड (बीजगणित) में बदल सकते हैं, कोड में अपनी सभी गणनाएँ कर सकते हैं, और फिर वापस अनुवाद करके ठीक वही कहानी प्राप्त कर सकते हैं बिना एक भी विवरण खोए।
परिणाम: यह शोधपत्र सिद्ध करता है कि जब एक 'परवर्स शीफ कैटेगरी' "फिथफुल" होती है, तो स्थान की ज्यामिति और समीकरणों का बीजगणित एक ही सिक्के के दो पहलू होते हैं। आप बीजगणित का उपयोग करके ज्यामितीय समस्याओं को हल कर सकते हैं और इसके विपरीत भी।

2. "हाइएस्ट वेट" (Highest Weight) संरचना: LEGO से निर्माण

यह शोधपत्र दिखाता है कि इन 'फिथफुल' श्रेणियों में एक बहुत ही विशिष्ट आंतरिक संरचना होती है जिसे "हाइएस्ट वेट" (highest weight) कहा जाता है।

उपमा: LEGO ईंटों से एक मीनार बनाने के बारे में सोचें। एक "हाइएस्ट वेट" संरचना में, आपके पास एक सख्त नियम होता है: आप एक ईंट को दूसरी ईंट के ऊपर तभी रख सकते हैं जब वह एक विशिष्ट पैटर्न में फिट बैठती हो। आप एक आधार से शुरू करते हैं, एक परत जोड़ते हैं, फिर दूसरी, और यह पूरा ढांचा एक बहुत ही व्यवस्थित, पदानुक्रमित (hierarchical) तरीके से बनाया जाता है।
खोज: लेखक सिद्ध करते हैं कि यदि आपका ज्यामितीय परिदृश्य इस प्रकार के "फिथफुल" अनुवाद की अनुमति देता है, तो इसकी आंतरिक संरचना अनिवार्य रूप से यह व्यवस्थित LEGO टावर ही होगी। वे यह भी दिखाते हैं कि यह व्यवस्था "एक्सिप्शनल कलेक्शंस" (exceptional collections) से जुड़ी है, जो मास्टर की-ब्रिक्स (key-bricks) के एक सेट की तरह हैं जो पूरी संरचना को अनलॉक कर सकते हैं।

3. "लिंक" टेस्ट: पड़ोस की जाँच करना

आप बिना सारा भारी गणित किए यह कैसे जान सकते हैं कि किसी विशिष्ट परिदृश्य में यह पूर्ण "फिथफुल" संरचना है? लेखक परतों के बीच के "लिंक्स" (links) पर आधारित एक चेकलिस्ट देते हैं।

उपमा: कल्पना कीजिए कि आप एक चट्टान (एक स्ट्रैटम) पर खड़े हैं। पूरे पर्वत को समझने के लिए, आप चट्टान के किनारे के आसपास के भूभाग के "लिंक" यानी दृश्य को देखते हैं। शोधपत्र कहता है: "यदि प्रत्येक चट्टान के किनारे से दृश्य एक विशिष्ट तरीके से 'खाली' या 'सरल' है (गणितीय रूप से, यदि कुछ कोहोमोलॉजी समूह शून्य हो जाते हैं), तो पूरा पर्वत पूर्ण संरचना रखता है।"
परिणाम: वे एक टोपोलॉजिकल परीक्षण प्रदान करते हैं: यदि परतों के बीच के "पड़ोस" पर्याप्त रूप से सरल हैं, तो पूरा तंत्र बीजगणितीय रूप से पूर्ण है।

4. आकार की सीमा: पर्वत उतना बड़ा नहीं हो सकता जितना वह दिखता है

इनमें से एक सबसे व्यावहारिक खोज जटिलता की एक सीमा है।

उपमा: यदि आपका एक पर्वत 10 मील चौड़ा है, तो उसे वर्णित करने के लिए आवश्यक "LEGO टावर" की जटिलता 10 स्तरों से अधिक नहीं हो सकती।
परिणाम: लेखक सिद्ध करते हैं कि "ग्लोबल डायमेंशन" (एक माप कि बीजगणितीय समीकरण कितने जटिल हैं) हमेशा स्थान के वास्तविक भौतिक आयाम के बराबर या उससे कम होता है। यदि 'फिथफुलनेस' की स्थिति पूरी होती है, तो एक 3D स्थान को वर्णित करने के लिए 100-चरणीय बीजगणितीय प्रक्रिया की आवश्यकता नहीं हो सकती।

5. रेज़ोल्यूशन के साथ गिनती: ब्लूप्रिंट विधि

अंत में, शोधपत्र दिखाता है कि इस संबंध का उपयोग चीजों को गिनने के लिए कैसे किया जाए।

उपमा: कल्पना कीजिए कि आप एक छिपी हुई दीवार में कितनी ईंटें हैं यह जानना चाहते हैं। इसे खोदने के बजाय, आपके पास एक "ब्लूप्रिंट" (एक प्रोजेक्टिव रेज़ोल्यूशन) है जो 'कांस्टेंट शीफ' (स्थान का बुनियादी निर्माण खंड) का है। इस ब्लूप्रिंट पर अपने "गिनती मशीन" (एक विशिष्ट गणितीय ऑपरेशन) को चलाकर, आप तुरंत बता सकते हैं कि दीवार में कितनी ईंटें हैं, या पर्वत में कितने छेद हैं।
परिणाम: वे दिखाते हैं कि आप कांस्टेंट शीफ के बीजगणितीय ब्लूप्रिंट को देखकर स्थान के "हाइपरकोहोमोलॉजी" (स्थान के छेदों और घुमावों को गिनने का एक फैंसी तरीका) की गणना कर सकते हैं। इसके विपरीत, आप स्थान के 'इंटरसेक्शन कोहोमोलॉजी' (ज्यामितीय छेद) को देखकर बीजगणितीय टुकड़ों को गिन सकते हैं।

सारांश

संक्षेप में, सिप्रियानी और वूलफ ने एक विशिष्ट प्रकार के ज्यामितीय स्थान के लिए "स्वर्ण नियम" (Golden Rule) खोजा है। उन्होंने सिद्ध किया कि जब ये स्थान "फिथफुल" होते हैं, तो वे एक पूरी तरह से व्यवस्थित, पदानुक्रमित LEGO सेट की तरह व्यवहार करते हैं। यह उन्हें ज्यामिति और बीजगणित के बीच सहजता से बदलने की अनुमति देता है, यह सुनिश्चित करता है कि गणित की जटिलता स्थान के भौतिक आकार से अधिक न हो, और परिदृश्य की छिपी हुई विशेषताओं को गिनने के लिए एक ब्लूप्रिंट विधि प्रदान करती है।

यहाँ अलेसियो सिप्रियानी और जॉन वुल्फ के शोध पत्र "Faithful Perversities" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ (Problem Statement and Context)

यह शोध पत्र परवर्स शीव्स (perverse sheaves) की श्रेणियों के बीजगणितीय संरचना और अंतर्निहित स्तरीकृत स्थानों (stratified spaces) के टोपोलॉजिकल गुणों के बीच संबंध की जांच करता है।

पृष्ठभूमि: परवर्स शीव्स, जिन्हें बीलिनसन, बर्नस्टीन और डेलिगने (BBD) द्वारा प्रस्तुत किया गया था, एक स्तरीकृत स्थान $X$ के कंस्ट्रक्टिबल डेरिवड कैटेगरी $D_c(X)$ के एक बाउंडेड $t$ -स्ट्रक्चर का केंद्र हैं। वे सिंगुलर टोपोलॉजी, प्रतिनिधित्व सिद्धांत (representation theory) और हॉज थ्योरी (Hodge theory) में महत्वपूर्ण भूमिका निभाते हैं।
मुख्य प्रश्न: किन परिस्थितियों में, परवर्स शीव्स की श्रेणी, जिसे $p\text{Perv}(X)$ $p Perv (X)$ द्वारा दर्शाया जाता है, एक फिथफुल हार्ट (faithful heart) होती है?
- एक हार्ट $\mathcal{H} \subset \mathcal{D}$ फिथफुल है यदि रियलाइजेशन फलन (realization functor) $D^b(\mathcal{H}) \to \mathcal{D}$ एक तुल्यता (equivalence) है।
- महत्व: यदि $p\text{Perv}(X)$ फिथफुल है, तो डेरिवड कैटेगरी $D_c(X)$ में निहित टोपोलॉजिकल जानकारी को $p\text{Perv}(X)$ की अबेलियन कैटेगरी के बीजगणित (विशेष रूप से, एक परिमित-आयामी बीजगणित के मॉड्यूल्स के रूप में) के माध्यम से पूरी तरह से प्राप्त किया जा सकता है। यह टोपोलॉजिकल इनवैरिएंट्स को बीजगणितीय रूप से और इसके विपरीत भी गणना योग्य बनाता है।
अंतराल (Gap): जबकि सिम्पलीशियल कॉम्प्लेक्स (जैसे कि सिमपलीशियल कॉम्प्लेक्स, स्मूथ कॉम्प्लेक्स वैराइटीज़ विद एफाइन स्ट्रैटिफिकेशन) के विशिष्ट मामलों में फिथफुलनेस ज्ञात है, सामान्य रूप से टोपोलॉजिकली स्ट्रैटिफाइड स्पेस के लिए एक सामान्य लक्षण वर्णन और ग्लोबल डायमेंशन तथा कोहोमोलॉजिकल गणनाओं की व्यवस्थित समझ का अभाव था।

2. कार्यप्रणाली (Methodology)

लेखक कैटेगोरिकल अलजेब्रा और स्ट्रैटिफाइड टोपोलॉजी के संश्लेषण का उपयोग करते हैं:

कैटेगोरिकल फ्रेमवर्क:
- वे हाइएस्ट वेट कैटेगरीज (highest weight categories) और एक्सेप्शनल कलेक्शंस (exceptional collections) के सिद्धांत का उपयोग करते हैं।
- वे सेरियली फिथफुल हार्ट्स (serially faithful hearts) की अवधारणा पेश करते हैं, जिसे एक एडमिसिबल थिक फिल्ट्रेशन के माध्यम से परिभाषित किया गया है जहाँ प्रत्येक चरण एक फिथफुल हार्ट है।
- वे ग्लूड हार्ट्स (glued hearts/recollements) और ड्यूल पेयर्स ऑफ एक्सेप्शनल कलेक्शंस (standard और costandard ऑब्जेक्ट्स) की अवधारणा का लाभ उठाते हैं।
- वे तब तक डेरिवड कैटेगरी और एक परिमित-आयामी बीजगणित के मॉड्यूल्स की डेरिवड कैटेगरी के बीच तुल्यता पर निर्भर करते हैं जब हार्ट फिथफुल होता है।
टोपोलॉजिकल टूल्स:
- वे परिमित स्ट्रेटा (finitely many strata) वाले टोपोलॉजिकली स्ट्रैटिफाइड स्पेस (Goresky-MacPherson के अर्थ में) का विश्लेषण करते हैं।
- वे स्ट्रेटा के बीच पेयरवाइज लिंक्स ( $L_{S<T}$ ) का उपयोग स्थानीय टोपोलॉजिकल बाधाओं को वर्गीकृत करने के लिए करते हैं।
- वे हाइपरकोहोमोलॉजी वैनिशिंग थ्योरम्स और स्ट्रैटिफिकेशन की गहराई पर इंडक्शन लागू करते हैं।
संश्लेषण (Synthesis):
- लेखक फिथफुलनेस को कैरेक्टराइज करने के लिए टोपोलॉजिकल स्थितियों (लिंक्स पर कोहोमोलॉजी का वैनिशिंग) को कैटेगोरिकल स्थितियों (फंक्टर्स की एक्सैक्टनेस, एक्सेप्शनल कलेक्शंस) में अनुवादित करते हैं।
- वे बीजगणितीय रेजोल्यूशन और टोपोलॉजिकल इनवैरिएंट्स के बीच के अंतर को पाटने के लिए कॉन्स्टेंट शीफ के प्रोजेक्टिव रेजोल्यूशन का उपयोग करते हैं।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. फिथफुल हाइएस्ट वेट हार्ट्स का लक्षण वर्णन (Theorem A)

यह शोध पत्र एल्जेब्रिक ट्राइएंगुलेटेड कैटेगरी $\mathcal{D}$ के लिए एक मौलिक तुल्यता स्थापित करता है। एक हार्ट $\mathcal{H} \subset \mathcal{D}$ के लिए, निम्नलिखित तुल्य हैं:

$\mathcal{H}$ फिथफुल और हाइएस्ट वेट है।
स्टैंडर्ड ऑब्जेक्ट्स का अनुक्रम $(\Delta_0, \dots, \Delta_n)$ एक फुल एक्सेप्शनल कलेक्शन बनाता है, और कॉस्टैंडर्ड ऑब्जेक्ट्स का अनुक्रम $(\nabla_n, \dots, \nabla_0)$ उसका लेफ्ट ड्यूल पेयर है।
$\mathcal{H}$ में एक ड्यूल पेयर फुल एक्सेप्शनल कलेक्शंस का होता है।
$\mathcal{H}$ सेरियली फिथफुल है और एक एक्सेप्शनल कलेक्शन के साथ ग्लूड है।

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

B. फिथफुल परवर्स शीव्स का टोपोलॉजिकल लक्षण वर्णन (Theorem B)

परिमित कॉन्ट्रैक्टिबल स्ट्रेटा वाले टोपोलॉजिकली स्ट्रैटिफाइड स्पेस $X$ के लिए, $p\text{Perv}(X)$ एक फिथफुल हाइएस्ट वेट हार्ट है यदि और केवल यदि:

फंकटर्स $i_{S*}$ और $i_{S!}$ (एक स्ट्रटम का समावेश) $t$ -एक्सैक्ट हैं।
कोहोमोलॉजिकल वैनिशिंग: किसी भी दो भिन्न स्ट्रेटा $S \subset T$ के लिए, पेयरवाइज लिंक $L_{S<T}$ संतुष्ट करता है:
$H^{>p(S)-p(T)}(L_{S<T}) = 0 \quad \text{और} \quad H^{<p(S)-p(T)-1}_c(L_{S<T}) = 0$
जहाँ $p$ एक परवर्सिटी फंक्शन है।

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

C. ग्लोबल डायमेंशन पर सीमाएँ (Theorem C)

लेखक परवर्स शीव्स की श्रेणी के ग्लोबल डायमेंशन ( $\text{gldim}$ ) पर सीमाएँ सिद्ध करते हैं:

सामान्य सीमा: किसी भी $E, F \in p\text{Perv}(X)$ के लिए, $\text{Ext}^k_{D_c(X)}(E, F) = 0$ यदि $k < 0$ या $k > \dim(X)$ ।
फिथफुल केस: यदि $p\text{Perv}(X)$ फिथफुल है, तो $\text{gldim}(p\text{Perv}(X)) \leq \dim(X)$ ।
फिथफुल हाइएस्ट वेट केस: यदि $p\text{Perv}(X)$ फिथफुल और हाइएस्ट वेट है, तो $\text{gldim}(p\text{Perv}(X)) \leq 2 \cdot \text{depth}(X)$ ।

महत्व: यह फिथफुल परवर्स कैटेगरी के लिए ग्लोबल डायमेंशन की परिमितता के प्रश्न को हल करता है और स्पेस के ज्यामिति से संबंधित स्पष्ट सीमाएँ प्रदान करता है।

D. प्रोजेक्टिव रेजोल्यूशन के माध्यम से हाइपरकोहोमोलॉजी की गणना (Theorem D)

यह मानते हुए कि $p\text{Perv}(X)$ फिथफुल है और स्ट्रेटा के फाईनाइट फंडामेंटल ग्रुप्स हैं:

रेजोल्यूशन से हाइपरकोहोमोलॉजी: एक परवर्स शीफ $E$ की हाइपरकोहोमोलॉजी को $\text{Hom}(P_\bullet, E)$ की कोहोमोलॉजी के रूप में निकाला जा सकता है, जहाँ $P_\bullet$ कॉन्स्टेंट शीफ $k_X$ का एक प्रोजेक्टिव रेजोल्यूशन है।
मल्टीप्लिसिटीज एज इंटरसेक्शन बेट्टी नंबर्स: यदि कॉन्स्टेंट शीफ (शिफ्टेड) एक परवर्स है, तो मिनिमल प्रोजेक्टिव रेजोल्यूशन में इंडेकंपोजेबल प्रोजेक्टिव्स की मल्टीप्लिसिटीज इंटरसेक्शन बेट्टी नंबर्स (इंटरसेक्शन कोहोमोलॉजी ग्रुप्स) के अनुरूप होती हैं।
सिम्पलीशियल केस: एक सिमपलीशियल कॉम्प्लेक्स $X$ के लिए, कॉन्स्टेंट शीफ एक परिमित प्रोजेक्टिव रेजोल्यूशन स्वीकार करता है जो सिम्पलेक्स के परवर्स डायमेंशन द्वारा इंडेक्स्ड है। यह सेलुलर परवर्स शीव्स (गोरेसकी) के सिद्धांत को पुनः प्राप्त करता है, जो हाइपरकोहोमोलॉजी की गणना के लिए एक कॉम्बिनेटोरियल विधि प्रदान करता है।

4. महत्व और प्रभाव (Significance and Impact)

अलजेब्रा और टोपोलॉजी का एकीकरण: यह शोध पत्र कठोरता से प्रदर्शित करता है कि जब एक परवर्स हार्ट फिथफुल होता है, तो एक स्ट्रैटिफाइड स्पेस का जटिल टोपोलॉजिकल डेटा पूरी तरह से एक परिमित-आयामी बीजगणित के प्रतिनिधित्व सिद्धांत (representation theory) में एनकोड किया जाता है।
कंप्यूटेशनल पावर: परिणाम हाइपरकोहोमोलॉजी और इंटरसेक्शन कोहोमोलॉजी की गणना के लिए एक व्यावहारिक एल्गोरिदम प्रदान करते हैं, जो अक्सर टोपोलॉजिकल कॉम्प्लेक्स की तुलना में बीजगणितीय रूप से संभालना आसान होता है।
सामान्यीकरण: पेयरवाइज लिंक कोहोमोलॉजी के माध्यम से फिथफुलनेस का लक्षण वर्णन विशिष्ट ज्यामितीय सेटिंग्स (जैसे जटिल बीजगणितीय विविधताएं) से ज्ञात परिणामों को सामान्य टोपोलॉजिकली स्ट्रैटिफाइड स्पेस तक विस्तारित करता है।
काउंटर-एग्जम्पल्स और सूक्ष्मता: लेखक उदाहरण प्रदान करते हैं जो दिखाते हैं कि सभी फिथफुल ग्लूड हार्ट्स हाइएस्ट वेट नहीं होते हैं, और सभी हाइएस्ट वेट हार्ट्स फिथफुल नहीं होते हैं, जो इन अवधारणाओं की सटीक सीमाओं को स्पष्ट करते हैं।
भविष्य के कार्य के लिए आधार: फिथफुल परवर्स हार्ट्स को सेरियली फिथफुल ग्लूड हार्ट्स के रूप में पहचानना, स्ट्रैटिफाइड स्पेस पर परवर्स शीव्स के अध्ययन के लिए टिल्टिंग थ्योरी और सिलटिंग ऑब्जेक्ट्स (कोनिग-यांग पत्राचार के माध्यम से) की तकनीकों को लागू करने का मार्ग खोलता है।

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