🔢 mathematics

Cohomological aspects of power ideals

यह शोध पत्र यह स्थापित करता है कि एक हाइपरप्लेन व्यवस्था (hyperplane arrangement) के संवर्धित अद्भुत विविधता (augmented wonderful variety) पर लाइन बंडलों के सेक्शन का स्थान पावर आइडियल्स (power ideals) के समरूप एक को-अलजेब्रा (coalgebra) बनाता है, जो ज़ोनोटोपल बीजगणित (zonotopal algebras) पर ज्ञात प्रमेयों को पुनः प्राप्त करने और सुपरस्पेस ज़ोनोटोपल बीजगणितों के लिए एक अनुमानित हिल्बर्ट सीरीज़ सूत्र को सिद्ध करने के लिए कोहोमोलॉजी विलोपन परिणामों (cohomology vanishing results) का उपयोग करता है।

मूल लेखक: Colin Crowley, Matt Larson

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

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

CC BY 4.0

मूल लेखक: Colin Crowley, Matt Larson

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

मुख्य विचार: एक "अद्भुत" शहर का निर्माण

कल्पना कीजिए कि आपके पास एक सपाट, अनंत शहर (एक वेक्टर स्पेस) है जहाँ अदृश्य दीवारों (हाइपरप्लेन) द्वारा कुछ सड़कें बंद कर दी गई हैं। ये दीवारें शहर को अलग-अलग मोहल्लों में विभाजित करती हैं। गणितज्ञ इस सेटअप को हाइपरप्लेन अरेंजमेंट (hyperplane arrangement) कहते हैं।

लंबे समय से, गणितज्ञ इन मोहल्लों में यातायात के प्रवाह को नियंत्रित करने वाले "नियमों" का अध्ययन कर रहे हैं। ये नियम अक्सर पॉलीनोमियल्स (polynomials) (चर जैसे $x, y, z$ वाले समीकरण) द्वारा वर्णित होते हैं। विशेष रूप से, वे "पावर आइडियल्स" (power ideals) को देखते हैं—ऐसे नियम जो कहते हैं, "यदि आप इस सड़क पर जाते हैं, तो आपको $k$ ब्लॉक के बाद रुकना होगा।"

इस शोध पत्र के लेखक इन नियमों को देखने का एक नया तरीका पेश करते हैं। केवल इस सपाट शहर को देखने के बजाय, वे इसके चारों ओर एक कॉम्पैक्ट, परिमित शहर (compact, finite city) बनाते हैं। वे इसे ऑगमेंटेड वंडरफुल वैरायटी (Augmented Wonderful Variety) कहते हैं। इसे ऐसे समझें जैसे आप अपने अनंत शहर को लेकर उसके चारों ओर एक विशाल, सुंदर, गोलाकार गुंबद बना देते हैं। यह गुंबद शहर के "अनंत" को विशिष्ट, प्रबंधनीय दीवारों में बदलकर उसे समाहित कर लेता है।

मुख्य खोज: "कोआल्जेब्रा" शहर

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

उपमा:
एक पुस्तकालय (पॉलीनोमियल्स) की कल्पना करें। आमतौर पर, आप केवल एक किताब पढ़ते हैं। लेकिन इस "कोआल्जेब्रा" पुस्तकालय में, हर किताब का एक जादुई गुण है: यदि आप एक किताब लेते हैं और उसे "विभाजित" करते हैं, तो वह दो छोटी, वैध किताबों में टूट जाती है जो अभी भी उसी पुस्तकालय से संबंधित हैं।

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

"ज़ोनोटोपल अलजेब्रा" के तीन प्रकार

यह शोध पत्र इन यातायात नियमपुस्तिकाओं के तीन विशिष्ट प्रकारों पर ध्यान केंद्रित करता है, जिन्हें ज़ोनोटोपल अलजेब्रा (Zonotopal Algebras) के रूप में जाना जाता है। आप इन्हें शहर के तीन अलग-अलग "मौसमों" या "मोड्स" के रूप में समझ सकते हैं:

एक्सटर्नल ( $k=0$ ): "समर" मोड। सब कुछ खुला है, और नियम बहुत ढीले हैं। यह समझने में सबसे आसान है।
सेंट्रल ( $k=-1$ ): "ऑटम" मोड। नियम सख्त होते जाते हैं। यह सबसे प्रसिद्ध और अध्ययन किया गया संस्करण है।
इंटरनल ( $k=-2$ ): "विंटर" मोड। नियम अत्यंत सख्त और पेचीदा हैं। लंबे समय तक, गणितज्ञों को इस मोड के लिए वैध पैटर्नों की एक पूर्ण सूची खोजने में संघर्ष करना पड़ा।

बड़ी सफलता:
लेखकों ने महसूस किया कि इन तीनों मोड्स को उनके "वंडरफुल सिटी" (गुंबद) की ज्यामिति को देखकर समझा जा सकता है।

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

"सुपरस्पेस" ट्विस्ट: भूतों और स्पूक्स को जोड़ना

यह शोध पत्र सुपरस्पेस (Superspace) पेश करके और आगे जाता है।

उपमा: कल्पना कीजिए कि आपके शहर में नियमित इमारतें (कम्यूटेटिव वेरिएबल्स) हैं और साथ ही "भूतिया इमारतें" (एंटीकम्यूटेटिव वेरिएबल्स) भी हैं जो एक समानांतर आयाम में मौजूद हैं।
इस सुपरस्पेस में, एक विशेष ऑपरेटर होता है जिसे $d$ (डेरिवेटिव) कहा जाता है। यह एक "भूत शिकारी" की तरह कार्य करता है। यह चीजों को नियमित इमारतों और भूतिया इमारतों के बीच स्थानांतरित करता है।
लेखक दिखाते हैं कि शहर का "इंटरनल" मोड वास्तव में इस "भूत दुनिया" के सेंट्रल मोड और इंटरनल मोड के बीच एक सेतु (ब्रिज) है।
सिद्ध किया गया अनुमान (Conjecture): अन्य गणितज्ञों (Rhoades, Tewari, और Wilson) ने अनुमान लगाया था कि इस "सुपरस्पेस" संस्करण के शहर की जटिलता कितनी है। अपने ज्यामितीय गुंबद का उपयोग करते हुए, क्राउली और लार्सन ने सिद्ध किया कि यह अनुमान सही था।

यह क्यों मायने रखता है? (टुटे पॉलीनोमियल कनेक्शन)

अंत में, यह शोध पत्र इस सारी ज्यामिति को एक प्रसिद्ध कॉम्बिनेटोरियल ऑब्जेक्ट टुटे पॉलीनोमियल (Tutte Polynomial) से जोड़ता है।

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

गैर-गणितज्ञ के लिए सारांश

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

संक्षेप में: उन्होंने कुछ जटिल बीजगणितीय पहेलियों को समझाने के लिए एक ज्यामितीय मॉडल बनाया, जिससे एक कठिन गणना एक सुंदर चित्र में बदल गई।

यहाँ कोलीन क्राउली और मैट लार्सन के शोध पत्र "Cohomological Aspects of Power Ideals" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र ज़ोनोटोपल बीजगणित (zonotopal algebras) और उनके सामान्यीकरण, विशेष रूप से हाइपरप्लेन व्यवस्था (hyperplane arrangements) से जुड़े पावर आइडियल्स (power ideals) के संरचनात्मक और संयोजन संबंधी गुणों को संबोधित करता है।

पृष्ठभूमि: ज़ोनोटोपल बीजगणित (जिसे होल्टज़ और रॉन द्वारा पेश किया गया था, और अर्डिला और पोस्टनिकोव द्वारा सामान्यीकृत किया गया था) बहुपद वलयों (polynomial rings) के कोटिशेष (quotients) हैं जो रैखिक रूपों (linear forms) की घातों द्वारा जनित आइडियल्स द्वारा परिभाषित होते हैं। ये सन्निकटन सिद्धांत (approximation theory), संयोजन विज्ञान (combinatorics), और बीजगणितीय ज्यामिति में उत्पन्न होते हैं।
अंतराल (The Gap): जबकि मानक ज़ोनोटोपल बीजगणित (पैरामीटर्स $k=0, -1, -2$ के लिए) के हिल्बर्ट सीरीज़ (Hilbert series) के बारे में ज्ञात है कि वे व्यवस्था के ट्यूट पॉलीनोमियल (Tutte polynomial) द्वारा संयोजन रूप से निर्धारित होते हैं, अन्य पैरामीटर्स (विशेष रूप से $k \le -2$ और $k \ge 1$ ) के लिए उनका व्यवहार कम समझा गया है।
विशिष्ट चुनौतियाँ:
- आंतरिक ज़ोनोटोपल बीजगणित ( $k=-2$ ) के लिए विलोपन-संकुचन (deletion-contraction) अनुक्रमों की दक्षिण-तंतुकता (right-exactness) को सिद्ध करना ऐतिहासिक रूप से कठिन रहा है और इसके लिए विशेष संयोजन संबंधी तर्कों की आवश्यकता थी।
- रोड्स, टेवारी और विल्सन (RTW) द्वारा पेश किए गए ज़ोनोटोपल बीजगणित के "सुपरस्पेस" सामान्यीकरण (जिसमें अवकल रूप शामिल हैं) में सभी पैरामीटर्स $k$ के लिए एक एकीकृत ज्यामितीय व्याख्या का अभाव था।
- सुपरस्पेस ज़ोनोटोपल बीजगणित के हिल्बर्ट सीरीज़ के संबंध में अनुमान (conjectures) अब तक अप्रामाणिक थे।

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

लेखक एक हाइपरप्लेन व्यवस्था $L$ से जुड़ी संवर्धित वंडरफुल वैराइटीज़ (augmented wonderful varieties - $W_L$ ) का उपयोग करते हुए एक ज्यामितीय दृष्टिकोण अपनाते हैं।

संवर्धित वंडरफुल वैराइटीज़: ये $L$ के वेक्टर स्पेस के सुचारू, प्रक्षेपवत् संकुचन (smooth, projective compactifications) हैं, जिन्हें व्यवस्था के फ्लैट्स (flats) के अनुरूप स्ट्रेटा के साथ पुनरावृत्ति से ब्लो-अप (blow up) करके बनाया जाता है।
कोहोमोलॉजिकल व्याख्या: मुख्य कार्यप्रणाली विशिष्ट लाइन बंडल्स (line bundles) के सेक्शन को पावर आइडियल्स के इनवर्स सिस्टम्स (Macaulay duals) के साथ पहचानने में निहित है।
- वे स्थापित करते हैं कि वैश्विक सेक्शन (global sections) $H^0(W_L, \mathcal{O}(D))$ का स्थान $L$ की योज्य समूह (additive group) की क्रिया के तहत एक कोआल्जेब्रा (coalgebra) बनाता है।
- वे एक पावर आइडियल के इनवर्स सिस्टम को लाइन बंडल्स $\mathcal{O}(1, \dots, 1)(k\alpha)$ और उनके लॉग-कोटैजेंट बंडल $\Omega_L$ के ट्विस्ट द्वारा प्राप्त सेक्शन के बीच संबंध स्थापित करते हैं।
वैनिशिंग थीम्स (Vanishing Theorems): एक महत्वपूर्ण तकनीकी घटक लाइन बंडल्स और लॉग-कोटैजेंट बंडल्स के विशिष्ट ट्विस्ट के लिए कोहोमोलॉजी वैनिशिंग परिणाम ( $H^i(W_L, \mathcal{F}) = 0$ जब $i > 0$ ) को सिद्ध करना है। यह लेखकों को कोहोमोलॉजी में लंबे सटीक अनुक्रमों (long exact sequences) को वैश्विक सेक्शन के लघु सटीक अनुक्रमों (short exact sequences) में बदलने की अनुमति देता है।
सुपरस्पेस और लॉगरिदमिक फॉर्म्स: सुपरस्पेस के मामले में, वे लॉग-कोटैजेंट बंडल $\Omega_L$ (सीमा के साथ लॉगरिदमिक पोल वाले फॉर्म्स) का उपयोग करते हैं ताकि सेक्शन को $L$ पर अवकल रूपों (differential forms) के रूप में व्याख्यायित किया जा सके, जो उन्हें बहुपद अवकल रूपों (polynomial differential forms/superspace) के रिंग से जोड़ता है।

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

A. पावर आइडियल्स का ज्यामितीय लक्षण वर्णन

प्रमेय 1.1: लेखक सिद्ध करते हैं कि एक सामान्य पावर आइडियल (जो प्रत्येक फ्लैट $F$ के लिए घातांक $a_F$ द्वारा परिभाषित है) का इनवर्स सिस्टम, $H^0(W_L, \mathcal{O}(\sum a_F D_F))$ के वैश्विक सेक्शन के स्थान के समरूप (isomorphic) है। यह विशिष्ट मामलों तक सीमित पिछले परिणामों का सामान्यीकरण करता है।
उपप्रमेय 1.2: वे मानक ज़ोनोटोपल बीजगणित ( $Z_{L,k}$ ) के इनवर्स सिस्टम्स को $W_L$ पर लाइन बंडल्स $\mathcal{O}(1, \dots, 1)(k\alpha)$ के सेक्शन के रूप में पहचानते हैं।

B. परिशुद्धता (Exactness) और पुनरावृत्ति का समाधान

विलोपन-संकुचन अनुक्रम (Deletion-Contraction Sequences): यह शोध पत्र सभी $k \ge -2$ $k \geq - 2$ के लिए ज़ोनोटोपल बीजगणित के लिए विलोपन-संकुचन लघु सटीक अनुक्रम की दक्षिण-तंतुकता (right-exactness) के लिए एक एकीकृत प्रमाण प्रदान करता है।
- पूर्व में, $k=-2$ (आंतरिक ज़ोनोटोपल बीजगणित) का मामला कठिन था; लेखक इसे लॉग-कोटैजेंट बंडल के गुणों और इंडक्शन के माध्यम से $H^1(W_L, \mathcal{O}(1, \dots, 1)(-2\alpha))$ के वैनिशिंग का उपयोग करके सिद्ध करते हैं।
- यह पुष्टि करता है कि $Z_{L,k}$ का हिल्बर्ट सीरीज़ $k \ge -2$ के लिए विलोपन-संककुचन पुनरावृत्ति का पालन करता है, जिससे यह सिद्ध होता है कि यह मैट्रॉइड द्वारा संयोजन रूप से निर्धारित है।
पदानुक्रमित ज़ोनोटोपल बीजगणित (Hierarchical Zonotopal Algebras): वे कोहोमोलॉजिकल वैनिशिंग का उपयोग करके आयामी सूत्रों (dimension formulas) को पुनः प्राप्त करते हुए, लेन (Lenz) द्वारा पेश किए गए पदानुक्रमित ज़ोनोटोपल बीजगणित तक इन परिणामों का विस्तार करते हैं।

C. सुपरस्पेस ज़ोनोटोपल बीजगणित

ज्यामितीय व्याख्या (प्रमेय 1.5): $k \le 0$ के लिए, सुपरस्पेस ज़ोनोटोपल बीजगणित $Z_{L,k}$ के इनवर्स सिस्टम को लॉग-कोटैजेंट बंडल के एक्सटीरियर पावर्स द्वारा ट्विस्ट किए गए लाइन बंडल्स के सेक्शन के प्रत्यक्ष योग (direct sum) के रूप में पहचाना जाता है:
$C_{L,k} = \bigoplus_j H^0(W_L, \mathcal{O}(1, \dots, 1)(k\alpha) \otimes \wedge^j \Omega_L)$
सटीक अनुक्रम (प्रमेय 1.6): वे विलोपन और संकुचन को शामिल करते हुए एक सटीक अनुक्रम स्थापित करते हैं, जिसमें एक वेक्टर के चयन पर निर्भर स्प्लिटिंग टर्म (splitting term) शामिल है।
अनुमान का प्रमाण (उपप्रमेय 1.7): एक सटीक अनुक्रम और वैनिशिंग परिणामों का उपयोग करते हुए, वे सुपरस्पेस सेंट्रल ज़ोनोटोपल बीजगणित ( $k=-1$ ) के बिग्रेडेड हिल्बर्ट सीरीज़ के संबंध में रोड्स, टेवारी और विल्सन के एक अनुमान को सिद्ध करते हैं:
$\text{Hilb}(Z_{L,-1}) = (1+t)^r q^{n-r} T_L\left(\frac{1}{1+t}, \frac{1}{q}\right)$
जहाँ $T_L$ ट्यूट पॉलीनोमियल है।

D. डिफरेंशियल कॉम्प्लेक्स की परिशुद्धता (Exactness)

प्रमेय 1.8: वे सिद्ध करते हैं कि बाहरी अवकल (exterior derivative) $d$ , सुपरस्पेस बीजगणित के इनवर्स सिस्टम पर ( $k \ge -1$ के लिए) एक सटीक डिफरेंशियल के रूप में कार्य करता है, सिवाय बाइडिग्री $(0,0)$ के।
ब्रायव्स्की संबंधों का कैटेगोरिफिकेशन (Categorification of Brylawski's Relations): यह परिशुद्धता $\mathbb{C}$ पर रियलाइज़ेबल मैट्रॉइड्स के लिए ट्यूट पॉलीनोमियल के गुणांकों के बीच रैखिक संबंधों को दर्शाती है। लेखक दिखाते हैं कि ये संबंध ब्रायव्स्की द्वारा किए गए वर्गीकरण को कैटेगोरिफाई करते हैं, जो इन संयोजन संबंधी पहचानों के लिए एक ज्यामितीय प्रमाण प्रदान करते हैं।

E. $k \ge 1$ के लिए विस्तार

$k \ge 1$ के लिए, आइडियल का मानक डिफरेंशियल क्लोजर (differential closure) अच्छी तरह से व्यवहार नहीं करता है। लेखक लाइन बंडल्स के सेक्शन के माध्यम से एक नया कोटिशेष बीजगणित $W_{L,k}$ परिभाषित करते हैं। वे दिखाते हैं कि यह नया बीजगणित विलोपन-संकुचन पुनरावृत्ति का पालन करता है और इसका हिल्बर्ट सीरीज़ संयोजन रूप से निर्धारित है (जो कि "अम्ब्रल ट्यूट पॉलीनोमियल" का एक विशेषण है), भले ही यह मानक सुपरस्पेस कोटिशेष से भिन्न हो।

4. महत्व

एकीकरण: यह शोध पत्र विभिन्न प्रकार के ज़ोनोटोपल बीजगणितों (बाहरी, केंद्रीय, आंतरिक, पदानुक्रमित और सुपरस्पेस) को संवर्धित वंडरफुल वैराइटीज़ से जुड़े एक एकल ज्यामितीय ढांचे के तहत एकीकृत करता है।
अनुमानों का समाधान: यह सुपरस्पेस ज़ोनोटोपल बीजगणित के हिल्बर्ट सीरीज़ के संबंध में खुले अनुमानों और आंतरिक मामले ( $k=-2$ ) के लिए विलोपन-संकुचन अनुक्रमों की परिशुद्धता को हल करता है।
नए उपकरण: संवर्धित वंडरफुल वैराइटीज़ पर लॉग-कोटैजेंट बंडल्स के लिए कोहोमोलॉजिकल वैनिशिंग थीम्स का परिचय ज़ोनोटोपल बीजगणितों से परे हाइपरप्लेन व्यवस्था के इनवेरिएंट्स के अध्ययन के लिए एक शक्तिशाली नया उपकरण प्रदान करता है।
संयोजन-ज्यामितीय सेतु (Combinatorial-Geometric Bridge): हिल्बर्ट सीरीज़ को लाइन बंडल्स की कोहोमोलॉजी से सीधे जोड़कर, लेखक ट्यूट पॉलीनोमियल से संबंधित शास्त्रीय संयोजन संबंधी पहचानों (ब्रायव्स्की के संबंध) का "कैटेगोरिफिकेशन" प्रदान करते हैं।
सामान्यीकरण: उनके परिणाम पावर आइडियल्स की समझ को उन मामलों तक विस्तारित करते हैं जहाँ पहले हिल्बर्ट सीरीज़ अज्ञात या गैर-संयोजन संबंधी होने का संदेह था, यह दिखाते हुए कि हालांकि मानक बीजगणितीय निर्माण $k \ge 1$ के लिए विफल हो जाता है, एक ज्यामितीय रूप से परिभाषित विकल्प वांछित संयोजन संबंधी गुण बनाए रखता है।

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